A High-School Algebra and high-school (purely formal) calculus,. Wallet-Sized Proof, of the Bieberbach Conjecture [after L. Weinstein]
Shalosh B. Ekhad (Temple University), Doron Zeilberger (Temple, University)
TL;DR
This paper presents a concise, computer algebra-assisted proof of de Branges's Theorem, which confirms the Bieberbach Conjecture, making the proof more accessible and compact.
Contribution
It introduces a significantly shortened proof of de Branges's Theorem leveraging computer algebra, enhancing clarity and brevity.
Findings
Proof of the Bieberbach Conjecture confirmed
Computer algebra reduces proof complexity
Shorter, more accessible proof established
Abstract
L. Weinstein's brilliant short proof of de Branges's Theorem is made even shorter by using computer algebra.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsMathematics and Applications · Polynomial and algebraic computation · Commutative Algebra and Its Applications