M
athematics/
M
isc
2023
Hardness of Lattice Problems
by
Katharina Kreuzer
Feb 02
2019
Selected Problems from the International Mathematical Olympiad 2019
by
Manuel Eberl
Aug 05
2008
Fun With Tilings
by
Tobias Nipkow
and
Lawrence C. Paulson
Nov 07
Fun With Functions
by
Tobias Nipkow
Aug 26