239 problems have been formalized.
182 problems have complete formalized solutions.
problem | solved? | tags |
---|---|---|
Imo1959P1 | ✅ | number theory |
Imo1959P2 | ✅ | algebra |
Imo1960P1 | ✅ | number theory |
Imo1960P2 | ✅ | algebra |
Imo1961P1 | ✅ | algebra |
Imo1961P3 | ✅ | algebra |
Imo1962P1 | ✅ | number theory |
Imo1962P2 | ✅ | algebra |
Imo1962P4 | ✅ | algebra |
Imo1963P1 | ✅ | algebra |
Imo1963P4 | ✅ | algebra |
Imo1963P5 | ✅ | algebra |
Imo1964P1 | ✅ | number theory |
Imo1964P2 | ✅ | algebrainequality |
Imo1964P4 | ✅ | combinatorics |
Imo1965P1 | ✅ | algebra |
Imo1965P2 | ✅ | algebra |
Imo1966P1 | ✅ | combinatorics |
Imo1966P4 | ✅ | algebra |
Imo1966P5 | ❌ | algebra |
Imo1967P3 | ✅ | number theory |
Imo1968P2 | ✅ | number theory |
Imo1968P5 | ✅ | algebra |
Imo1969P1 | ✅ | number theory |
Imo1969P2 | ✅ | algebra |
Imo1970P3 | ✅ | number theory |
Imo1970P4 | ✅ | number theory |
Imo1970P6 | ❌ | combinatorics |
Imo1971P3 | ❌ | number theory |
Imo1971P5 | ❌ | combinatorics |
Imo1972P1 | ✅ | combinatorics |
Imo1972P3 | ✅ | number theory |
Imo1972P4 | ✅ | algebra |
Imo1972P5 | ✅ | algebra |
Imo1973P3 | ✅ | algebra |
Imo1973P5 | ✅ | algebra |
Imo1974P1 | ✅ | combinatorics |
Imo1974P3 | ✅ | number theory |
Imo1974P5 | ✅ | algebra |
Imo1975P1 | ✅ | algebra |
Imo1975P2 | ✅ | algebra |
Imo1976P4 | ✅ | number theory |
Imo1976P6 | ✅ | algebra |
Imo1977P4 | ✅ | algebra |
Imo1977P5 | ✅ | number theory |
Imo1977P6 | ✅ | algebra |
Imo1978P1 | ✅ | number theory |
Imo1978P5 | ✅ | algebra |
Imo1978P6 | ❌ | combinatorics |
Imo1979P1 | ✅ | number theory |
Imo1979P5 | ✅ | algebra |
Imo1981P3 | ✅ | algebra |
Imo1981P6 | ✅ | algebra |
Imo1982P1 | ✅ | algebra |
Imo1982P3 | ✅ | algebra |
Imo1982P4 | ✅ | number theory |
Imo1983P1 | ✅ | algebra |
Imo1983P5 | ❌ | combinatorics |
Imo1983P6 | ✅ | algebrainequality |
Imo1984P1 | ✅ | algebra |
Imo1984P2 | ✅ | number theory |
Imo1984P6 | ✅ | number theory |
Imo1985P2 | ✅ | combinatorics |
Imo1985P4 | ❌ | number theory |
Imo1985P6 | ✅ | algebra |
Imo1986P1 | ✅ | number theory |
Imo1986P5 | ✅ | algebra |
Imo1987P1 | ✅ | combinatorics |
Imo1987P4 | ✅ | algebra |
Imo1987P6 | ✅ | number theory |
Imo1988P3 | ❌ | algebra |
Imo1988P6 | ✅ | number theory |
Imo1989P5 | ✅ | number theory |
Imo1990P3 | ✅ | number theory |
Imo1991P6 | ❌ | algebra |
Imo1992P1 | ✅ | number theory |
Imo1992P2 | ✅ | algebra |
Imo1993P5 | ✅ | algebra |
Imo1994P1 | ✅ | combinatorics |
Imo1994P4 | ❌ | number theory |
Imo1994P5 | ✅ | algebra |
Imo1995P2 | ✅ | algebrainequality |
Imo1995P4 | ❌ | algebra |
Imo1996P3 | ✅ | algebra |
Imo1997P3 | ✅ | algebra |
Imo1997P5 | ✅ | number theory |
Imo1998P2 | ✅ | combinatorics |
Imo1998P3 | ❌ | number theory |
Imo1998P4 | ❌ | number theory |
Imo1998P6 | ❌ | algebra |
Imo1999P4 | ❌ | number theory |
Imo1999P6 | ✅ | algebra |
Imo2000P2 | ✅ | algebrainequality |
Imo2001P1 | ✅ | geometry |
Imo2001P2 | ✅ | algebrainequality |
Imo2001P3 | ✅ | combinatorics |
Imo2001P4 | ✅ | algebra |
Imo2001P5 | ✅ | geometry |
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 |
Imo2006P4 | ✅ | number theory |
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 |
Imo2015P6 | ✅ | 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 |
Imo2020P3 | ❌ | combinatorics |
Imo2020P5 | ❌ | algebra |
Imo2020P6 | ✅ | combinatorics |
Imo2021P1 | ✅ | algebra |
Imo2021P2 | ❌ | algebra |
Imo2021P6 | ❌ | algebra |
Imo2022P2 | ✅ | algebra |
Imo2022P3 | ❌ | number theory |
Imo2022P5 | ✅ | number theory |
Imo2023P1 | ✅ | number theory |
Imo2023P2 | ❌ | geometry |
Imo2023P3 | ❌ | number theory |
Imo2023P4 | ✅ | algebra |
Imo2023P5 | ❌ | combinatorics |
Imo2024P1 | ✅ | algebra |
Imo2024P2 | ✅ | number theory |
Imo2024P3 | ✅ | combinatorics |
Imo2024P5 | ✅ | combinatorics |
Imo2024P6 | ✅ | algebra |
Imo2025P1 | ✅ | combinatorics |
Imo2025P3 | ✅ | number theory |
Usa1972P1 | ✅ | number theory |
Usa1972P3 | ❌ | combinatoricsnumber theory |
Usa1973P2 | ❌ | algebranumber theory |
Usa1973P4 | ❌ | algebra |
Usa1974P2 | ✅ | algebrainequality |
Usa1978P1 | ✅ | algebrainequality |
Usa1979P1 | ✅ | algebrainequality |
Usa1980P5 | ✅ | algebrainequality |
Usa1981P5 | ✅ | algebra |
Usa1982P4 | ✅ | number theory |
Usa1983P5 | ❌ | number theory |
Usa1985P1 | ✅ | algebra |
Usa1987P1 | ✅ | algebra |
Usa1989P1 | ✅ | algebra |
Usa1989P5 | ✅ | algebra |
Usa1990P2 | ✅ | algebra |
Usa1992P1 | ✅ | algebra |
Usa1992P2 | ✅ | 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 |
Usa2017P6 | ✅ | algebrainequality |
Usa2018P1 | ✅ | algebrainequality |
Usa2019P1 | ✅ | algebra |
Usa2022P1 | ❌ | combinatorics |
Usa2022P3 | ✅ | algebra |
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 |
Poland2016S1P8 | ✅ | number theory |
Romania1998P12 | ✅ | algebra |
Russia1998P42 | ✅ | algebra |
Singapore2019P11 | ✅ | algebra |
Singapore2019P2 | ✅ | algebra |
Singapore2019P4 | ✅ | algebra |
Singapore2019P7 | ✅ | algebra |
UK2024R1P1 | ✅ | combinatorics |
UK2024R1P2 | ✅ | algebra |
UpperLowerContinuous | ✅ | |
ZeroesOnesAndTwos | ✅ | number theory |