Publish mathematics
Infinity Archive
Read mathematical writing and Lean libraries, or publish a network of your own.
Lean libraries
2 libraries
Digraphs of real-orthogonal upper Hessenberg matrices
Xinze Li, Simone SeveriniWhich directed graphs arise as the zero / non-zero pattern of an orthogonal upper Hessenberg matrix — and why the answer is a subset of .
- Comments:
- 43 files · 293 declarations · no sorry · 1106 edges (read from source) · submitted August 3, 2026 · counted 2026-11-03 · Publication details
- Subjects:
- linear-algebradigraphshessenberg
The Jordan curve theorem
Andrea E. V. FerrariA loop in the plane that does not cross itself divides the plane into an inside and an outside — and why that is a theorem rather than an observation.
- Comments:
- 20 files · 186 declarations · no sorry · 552 edges (from the compiler) · submitted August 11, 2026 (v2) · counted 2026-11-03 · Publication details
- Subjects:
- topologyplane-topologybrouwer
Mathematical writing
1 work
Sample Note: The min-max route to finite extinction of Ricci flow
Xinze Li
Publication detailsHow sweepouts by -spheres force the Ricci flow with surgery to die in finite time: the width, its evolution inequality, and the extinction they force.
SUBMIT A NETWORK
Enter a public GitHub repository; Infinity Archive checks and pins the commit you review.