Are these the most beautiful?
From MaRDI portal
Publication:2443390
Cites work
Cited in
(7)- Ugly mathematics: why do mathematicians dislike computer-assisted proofs?
- Mathematical beauty, understanding, and discovery
- Beautiful formalizations in Isabelle/Naproche
- A trigonometrical approach to Morley's observation
- Highly irregular
- Algorithm and abstraction in formal mathematics
- The complexity of Euler's integer partition theorem
This page was built for publication: Are these the most beautiful?
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2443390)