The following pages link to Are these the most beautiful? (Q2443390):
Displaying 7 items.
- The complexity of Euler's integer partition theorem (Q714811) (← links)
- Ugly mathematics: why do mathematicians dislike computer-assisted proofs? (Q1935355) (← links)
- Mathematical beauty, understanding, and discovery (Q2013386) (← links)
- Beautiful formalizations in Isabelle/Naproche (Q2128789) (← links)
- A Trigonometrical Approach to Morley's Observation (Q5113528) (← links)
- Highly Irregular (Q5506772) (← links)
- Algorithm and abstraction in formal mathematics (Q6637783) (← links)