jinshanmu/CrouzeixConjecture
@jinshanmuResearch draft of a candidate proof of Crouzeix's conjecture
Sterne
509
Forks
71
Sprache
Lean
Lizenz
—
Letzter Push
vor 4 Wochen
Verwandte Intel (0)
Noch keine verwandte Intel
Dieses Repo ist noch in keiner der vom Radar verfolgten Quellen aufgetaucht. Der Collector läuft nach Zeitplan — schau wieder vorbei, sobald er dieses Repo abdeckt.