Zulip Chat Archive

Stream: IMO-grand-challenge

Topic: Collecting scans of pre-2006 IMO papers


Joseph Myers (Sep 03 2024 at 22:06):

I've previously mentioned that sources of old IMO problems often paraphrase them rather than reproducing the exact wording given to contestants (including the problems on imo-official, which are generally retyped versions, sometimes paraphrased, before IMO 2006), which is unhelpful if you want to make a Lean version correspond as closely as possible to exactly what the original problem statement said. I've now set up a web page https://www.imo-register.org.uk/papers/ to collect scans of the actual pre-2006 papers given to contestants to make the original wording more accessible, and welcome contributions of more such scans (in all languages, though with a particular focus on getting the original English versions where available). So far I've just put up a few such scans where I already had copies of the original papers available: 1995 (English, French), 1994 (English), 1981 (English), 1979 (most languages, but missing English day 1, Russian day 1, Spanish day 2, which had gone astray from David Monk's file at some point before I scanned it in 2010), 1971 (English).


Last updated: May 02 2025 at 03:31 UTC