31 Oct 2026
IMO 1992 P2
A solution for IMO 1992 P2
Problems
MATHEMATICS · SUBJECT
Olympiad problems and functional equations, with complete solutions and Lean formalisations.
31 Oct 2026
IMO 2002 P5
Two solutions for IMO 2002 P5
30 Oct 2026
Functional Equations with Finitely Many Ratios
A technique for solving a functional equation with finitely many ratios
Notes © zzj · Content: CC BY-SA 4.0 · Code: MIT · Built with Astro + Starlight