169 problems have been formalized.
103 problems have complete formalized solutions.
problem | solved? | tags |
---|---|---|
Imo1959P1 | ✅ | number theory |
Imo1959P2 | ✅ | algebra |
Imo1960P1 | ✅ | number theory |
Imo1960P2 | ✅ | algebra |
Imo1961P1 | ❌ | algebra |
Imo1962P1 | ✅ | number theory |
Imo1962P2 | ✅ | algebra |
Imo1962P4 | ✅ | algebra |
Imo1963P1 | ✅ | algebra |
Imo1963P5 | ❌ | algebra |
Imo1964P1 | ✅ | number theory |
Imo1964P2 | ✅ | algebrainequality |
Imo1964P4 | ✅ | combinatorics |
Imo1965P2 | ✅ | algebra |
Imo1966P4 | ❌ | algebra |
Imo1968P2 | ✅ | number theory |
Imo1968P5 | ✅ | algebra |
Imo1969P1 | ✅ | number theory |
Imo1970P4 | ❌ | number theory |
Imo1970P6 | ❌ | combinatorics |
Imo1971P5 | ❌ | combinatorics |
Imo1972P1 | ✅ | combinatorics |
Imo1972P3 | ✅ | number theory |
Imo1972P5 | ✅ | algebra |
Imo1974P5 | ✅ | algebra |
Imo1975P1 | ✅ | algebra |
Imo1976P4 | ❌ | number theory |
Imo1977P6 | ✅ | algebra |
Imo1979P1 | ✅ | number theory |
Imo1981P3 | ✅ | algebra |
Imo1981P6 | ✅ | algebra |
Imo1982P1 | ✅ | algebra |
Imo1983P1 | ✅ | algebra |
Imo1984P2 | ✅ | number theory |
Imo1985P4 | ❌ | number theory |
Imo1986P1 | ✅ | number theory |
Imo1986P5 | ✅ | algebra |
Imo1987P1 | ✅ | combinatorics |
Imo1987P4 | ✅ | algebra |
Imo1988P6 | ✅ | number theory |
Imo1989P5 | ✅ | number theory |
Imo1990P3 | ❌ | number theory |
Imo1991P6 | ❌ | algebra |
Imo1992P1 | ❌ | number theory |
Imo1992P2 | ✅ | algebra |
Imo1993P5 | ❌ | algebra |
Imo1994P1 | ✅ | combinatorics |
Imo1994P4 | ❌ | number theory |
Imo1995P2 | ❌ | algebrainequality |
Imo1996P3 | ❌ | algebra |
Imo1997P5 | ❌ | number theory |
Imo1998P2 | ✅ | combinatorics |
Imo1999P4 | ❌ | number theory |
Imo1999P6 | ✅ | algebra |
Imo2000P2 | ✅ | algebrainequality |
Imo2001P1 | ❌ | geometry |
Imo2001P2 | ✅ | algebrainequality |
Imo2001P3 | ❌ | combinatorics |
Imo2001P6 | ✅ | number theory |
Imo2002P5 | ✅ | algebra |
Imo2003P1 | ❌ | combinatorics |
Imo2003P2 | ❌ | number theory |
Imo2003P6 | ❌ | number theory |
Imo2004P2 | ❌ | algebra |
Imo2004P6 | ❌ | number theory |
Imo2005P3 | ✅ | algebra |
Imo2005P4 | ✅ | number theory |
Imo2006P3 | ✅ | algebra |
Imo2006P5 | ✅ | number theory |
Imo2007P1 | ❌ | algebra |
Imo2007P5 | ✅ | number theory |
Imo2008P2 | ✅ | algebra |
Imo2008P3 | ✅ | number theory |
Imo2008P4 | ✅ | algebra |
Imo2008P5 | ❌ | combinatorics |
Imo2009P5 | ✅ | algebra |
Imo2009P6 | ❌ | combinatorics |
Imo2010P1 | ✅ | algebra |
Imo2010P3 | ❌ | algebra |
Imo2011P3 | ✅ | algebra |
Imo2011P5 | ❌ | number theory |
Imo2012P2 | ❌ | algebra |
Imo2012P4 | ✅ | algebra |
Imo2013P1 | ✅ | number theory |
Imo2013P5 | ✅ | algebra |
Imo2014P1 | ✅ | algebra |
Imo2014P4 | ❌ | geometry |
Imo2015P2 | ❌ | number theory |
Imo2015P5 | ✅ | algebra |
Imo2016P4 | ❌ | number theory |
Imo2016P5 | ❌ | algebra |
Imo2017P1 | ❌ | number theory |
Imo2017P2 | ✅ | algebra |
Imo2017P6 | ❌ | number theory |
Imo2018P2 | ❌ | algebra |
Imo2018P3 | ❌ | combinatorics |
Imo2018P5 | ❌ | number theory |
Imo2019P1 | ✅ | algebra |
Imo2019P2 | ✅ | geometry |
Imo2019P4 | ✅ | number theory |
Imo2020P2 | ✅ | algebrainequality |
Imo2020P5 | ❌ | algebra |
Imo2021P1 | ✅ | algebra |
Imo2021P2 | ❌ | algebra |
Imo2021P6 | ❌ | algebra |
Imo2022P2 | ✅ | algebra |
Imo2022P5 | ❌ | number theory |
Imo2023P1 | ❌ | number theory |
Imo2023P3 | ❌ | number theory |
Imo2023P4 | ❌ | algebra |
Imo2023P5 | ❌ | combinatorics |
Usa1974P2 | ✅ | algebrainequality |
Usa1978P1 | ✅ | algebrainequality |
Usa1980P5 | ❌ | algebrainequality |
Usa1981P5 | ✅ | algebra |
Usa1982P4 | ✅ | number theory |
Usa1983P5 | ❌ | number theory |
Usa1985P1 | ✅ | algebra |
Usa1987P1 | ✅ | algebra |
Usa1989P5 | ✅ | algebra |
Usa1990P2 | ✅ | algebra |
Usa1993P1 | ✅ | algebra |
Usa1993P3 | ❌ | algebra |
Usa1996P1 | ✅ | algebra |
Usa1998P1 | ✅ | number theory |
Usa1998P3 | ✅ | algebrainequality |
Usa1998P4 | ❌ | combinatorics |
Usa1998P5 | ✅ | number theory |
Usa1999P1 | ❌ | combinatorics |
Usa2000P1 | ✅ | algebra |
Usa2000P5 | ❌ | geometry |
Usa2001P1 | ❌ | combinatorics |
Usa2001P3 | ✅ | algebra |
Usa2001P4 | ✅ | geometry |
Usa2002P1 | ✅ | combinatorics |
Usa2003P1 | ✅ | number theory |
Usa2005P2 | ✅ | number theory |
Usa2008P1 | ❌ | number theory |
Usa2011P4 | ✅ | number theory |
Usa2015P1 | ✅ | number theory |
Usa2017P5 | ❌ | combinatorics |
Usa2018P1 | ✅ | algebrainequality |
Usa2019P1 | ✅ | algebra |
Usa2022P1 | ❌ | combinatorics |
Usa2022P4 | ✅ | number theory |
Usa2023P2 | ✅ | algebra |
Usa2023P4 | ❌ | number theory |
Usa2023P5 | ❌ | combinatorics |
Usa2024P2 | ❌ | combinatorics |
Bulgaria1998P1 | ❌ | combinatorics |
Bulgaria1998P11 | ❌ | number theory |
Bulgaria1998P2 | ❌ | geometry |
Bulgaria1998P3 | ✅ | algebra |
Bulgaria1998P6 | ❌ | number theory |
Bulgaria1998P8 | ✅ | algebra |
CIIM2022P6 | ❌ | number theory |
Canada1998P3 | ✅ | algebrainequality |
Canada1998P5 | ❌ | algebra |
Hungary1998P6 | ✅ | algebra |
India1998P1 | ✅ | number theory |
IntegersInACircle | ✅ | combinatorics |
Iran1998P3 | ✅ | algebra |
Iran1998P9 | ✅ | algebrainequality |
KolmogorovStreams | ✅ | combinatorics |
Poland1998P4 | ✅ | number theory |
Romania1998P12 | ✅ | algebra |
Russia1998P42 | ✅ | algebra |
UpperLowerContinuous | ✅ | |
ZeroesOnesAndTwos | ✅ | number theory |