jinshanmu/CrouzeixConjecture
@jinshanmuResearch draft of a candidate proof of Crouzeix's conjecture
Bintang
509
Fork
71
Bahasa
Lean
Lisensi
—
Push terakhir
4 minggu yang lalu
Intel terkait (0)
Belum ada intel terkait
Repositori ini belum muncul di sumber mana pun yang dilacak radar. Kolektor berjalan sesuai jadwal — periksa kembali setelah mencakup repositori ini.