home.social

#formalizationfixesthis — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #formalizationfixesthis, aggregated by home.social.

fetched live
  1. Thomas Kahle @[email protected] ·

    A Counter-Counterexample!!

    Comon’s Conjecture is undead now.

    epubs.siam.org/doi/full/10.113

    #tensors #formalizationFixesThis @MoritzFirsching

    #tensors #formalizationfixesthis
  2. Thomas Kahle @[email protected] ·

    A Counter-Counterexample!!

    Comon’s Conjecture is undead now.

    epubs.siam.org/doi/full/10.113

    #tensors #formalizationFixesThis @MoritzFirsching

    #tensors #formalizationfixesthis
  3. Thomas Kahle @[email protected] ·

    A Counter-Counterexample!!

    Comon’s Conjecture is undead now.

    epubs.siam.org/doi/full/10.113

    #tensors #formalizationFixesThis @MoritzFirsching

    #formalizationfixesthis #tensors