Symmetry-Based Reasoning
The Role of Symmetry in Motivated Proofs
Posted by
Matei Mandache
on February 17, 2023 ·
24 mins read
Minimising Entropy: A Criterion for Library Membership
Posted by
Matei Mandache
on January 25, 2023 ·
3 mins read
Turán's theorem for triangles
Posted by
Timothy Gowers
on January 11, 2023 ·
16 mins read
Automatic abstraction
Posted by
Timothy Gowers
on January 03, 2023 ·
47 mins read
What library reasoning is acceptable in a motivated proof?
Posted by
Timothy Gowers
on September 12, 2022 ·
20 mins read