520 problems have been formalized.
515 problems have complete formalized solutions.
| problem | solved | tags |
|---|---|---|
| Imo1959P1 | ✅ | Number Theory |
| Imo1959P2 | ✅ | Algebra |
| Imo1959P3 | ✅ | Algebra |
| Imo1960P1 | ✅ | Number Theory |
| Imo1960P2 | ✅ | Algebra |
| Imo1961P1 | ✅ | Algebra |
| Imo1961P2 | ✅ | AlgebraInequality |
| Imo1961P3 | ✅ | Algebra |
| Imo1962P1 | ✅ | Number Theory |
| Imo1962P2 | ✅ | Algebra |
| Imo1962P4 | ✅ | Algebra |
| Imo1963P1 | ✅ | Algebra |
| Imo1963P4 | ✅ | Algebra |
| Imo1963P5 | ✅ | Algebra |
| Imo1963P6 | ✅ | Combinatorics |
| Imo1964P1 | ✅ | Number Theory |
| Imo1964P2 | ✅ | AlgebraInequality |
| Imo1964P4 | ✅ | Combinatorics |
| Imo1965P1 | ✅ | Algebra |
| Imo1965P2 | ✅ | Algebra |
| Imo1965P4 | ✅ | Algebra |
| Imo1966P1 | ✅ | Combinatorics |
| Imo1966P4 | ✅ | Algebra |
| Imo1966P5 | ✅ | Algebra |
| Imo1967P3 | ✅ | Number Theory |
| Imo1967P5 | ✅ | Algebra |
| Imo1967P6 | ✅ | Algebra |
| Imo1968P2 | ✅ | Number Theory |
| Imo1968P3 | ✅ | Algebra |
| Imo1968P5 | ✅ | Algebra |
| Imo1968P6 | ✅ | Algebra |
| Imo1969P1 | ✅ | Number Theory |
| Imo1969P2 | ✅ | Algebra |
| Imo1969P6 | ✅ | AlgebraInequality |
| Imo1970P2 | ✅ | AlgebraInequality |
| Imo1970P3 | ✅ | Number Theory |
| Imo1970P4 | ✅ | Number Theory |
| Imo1970P6 | ✅ | Combinatorics |
| Imo1971P1 | ✅ | Algebra |
| Imo1971P3 | ✅ | Number Theory |
| Imo1971P5 | ✅ | Combinatorics |
| Imo1971P6 | ✅ | CombinatoricsInequality |
| Imo1972P1 | ✅ | Combinatorics |
| Imo1972P3 | ✅ | Number Theory |
| Imo1972P4 | ✅ | Algebra |
| Imo1972P5 | ✅ | Algebra |
| Imo1973P3 | ✅ | Algebra |
| Imo1973P5 | ✅ | Algebra |
| Imo1973P6 | ✅ | AlgebraInequality |
| Imo1974P1 | ✅ | Combinatorics |
| Imo1974P3 | ✅ | Number Theory |
| Imo1974P4 | ✅ | Combinatorics |
| Imo1974P5 | ✅ | Algebra |
| Imo1974P6 | ✅ | Algebra |
| Imo1975P1 | ✅ | Algebra |
| Imo1975P2 | ✅ | Algebra |
| Imo1975P4 | ✅ | Number Theory |
| Imo1975P5 | ✅ | Combinatorics |
| Imo1975P6 | ✅ | Algebra |
| Imo1976P2 | ✅ | Algebra |
| Imo1976P3 | ✅ | Number Theory |
| Imo1976P4 | ✅ | Number Theory |
| Imo1976P5 | ✅ | Combinatorics |
| Imo1976P6 | ✅ | Algebra |
| Imo1977P2 | ✅ | Combinatorics |
| Imo1977P3 | ✅ | Number Theory |
| Imo1977P4 | ✅ | Algebra |
| Imo1977P5 | ✅ | Number Theory |
| Imo1977P6 | ✅ | Algebra |
| Imo1978P1 | ✅ | Number Theory |
| Imo1978P3 | ✅ | Algebra |
| Imo1978P5 | ✅ | Algebra |
| Imo1978P6 | ✅ | Combinatorics |
| Imo1979P1 | ✅ | Number Theory |
| Imo1979P2 | ✅ | Combinatorics |
| Imo1979P5 | ✅ | Algebra |
| Imo1979P6 | ✅ | Combinatorics |
| Imo1981P2 | ✅ | Combinatorics |
| Imo1981P3 | ✅ | Algebra |
| Imo1981P4 | ✅ | Number Theory |
| Imo1981P6 | ✅ | Algebra |
| Imo1982P1 | ✅ | Algebra |
| Imo1982P3 | ✅ | Algebra |
| Imo1982P4 | ✅ | Number Theory |
| Imo1983P1 | ✅ | Algebra |
| Imo1983P3 | ✅ | Number Theory |
| Imo1983P5 | ✅ | Combinatorics |
| Imo1983P6 | ✅ | AlgebraInequality |
| Imo1984P1 | ✅ | Algebra |
| Imo1984P2 | ✅ | Number Theory |
| Imo1984P3 | ✅ | Combinatorics |
| Imo1984P6 | ✅ | Number Theory |
| Imo1985P2 | ✅ | Combinatorics |
| Imo1985P3 | ✅ | Algebra |
| Imo1985P4 | ✅ | Number Theory |
| Imo1985P6 | ✅ | Algebra |
| Imo1986P1 | ✅ | Number Theory |
| Imo1986P3 | ✅ | Combinatorics |
| Imo1986P5 | ✅ | Algebra |
| Imo1986P6 | ✅ | Combinatorics |
| Imo1987P1 | ✅ | Combinatorics |
| Imo1987P3 | ✅ | Inequality |
| Imo1987P4 | ✅ | Algebra |
| Imo1987P6 | ✅ | Number Theory |
| Imo1988P2 | ✅ | Combinatorics |
| Imo1988P3 | ✅ | Algebra |
| Imo1988P4 | ✅ | Algebra |
| Imo1988P6 | ✅ | Number Theory |
| Imo1989P1 | ✅ | Combinatorics |
| Imo1989P3 | ✅ | Combinatorics |
| Imo1989P5 | ✅ | Number Theory |
| Imo1989P6 | ✅ | |
| Imo1990P2 | ✅ | Combinatorics |
| Imo1990P3 | ✅ | Number Theory |
| Imo1990P4 | ✅ | Number TheoryAlgebra |
| Imo1990P5 | ✅ | Combinatorics |
| Imo1991P2 | ✅ | Number Theory |
| Imo1991P3 | ✅ | CombinatoricsNumber Theory |
| Imo1991P4 | ✅ | Combinatorics |
| Imo1991P5 | ✅ | Geometry |
| Imo1991P6 | ✅ | Algebra |
| Imo1992P1 | ✅ | Number Theory |
| Imo1992P2 | ✅ | Algebra |
| Imo1992P3 | ✅ | Combinatorics |
| Imo1992P5 | ✅ | CombinatoricsInequality |
| Imo1992P6 | ✅ | Number Theory |
| Imo1993P1 | ✅ | Algebra |
| Imo1993P3 | ✅ | Combinatorics |
| Imo1993P5 | ✅ | Algebra |
| Imo1993P6 | ✅ | Combinatorics |
| Imo1994P1 | ✅ | Combinatorics |
| Imo1994P3 | ✅ | Number Theory |
| Imo1994P4 | ✅ | Number Theory |
| Imo1994P5 | ✅ | Algebra |
| Imo1994P6 | ✅ | Number Theory |
| Imo1995P2 | ✅ | AlgebraInequality |
| Imo1995P4 | ✅ | Algebra |
| Imo1995P6 | ✅ | CombinatoricsNumber Theory |
| Imo1996P1 | ✅ | Combinatorics |
| Imo1996P3 | ✅ | Algebra |
| Imo1996P4 | ✅ | Number Theory |
| Imo1996P6 | ✅ | Number Theory |
| Imo1997P3 | ✅ | Algebra |
| Imo1997P4 | ✅ | Combinatorics |
| Imo1997P5 | ✅ | Number Theory |
| Imo1997P6 | ✅ | CombinatoricsInequality |
| Imo1998P2 | ✅ | Combinatorics |
| Imo1998P3 | ✅ | Number Theory |
| Imo1998P4 | ✅ | Number Theory |
| Imo1998P6 | ✅ | Algebra |
| Imo1999P2 | ✅ | AlgebraInequality |
| Imo1999P3 | ✅ | Combinatorics |
| Imo1999P4 | ✅ | Number Theory |
| Imo1999P6 | ✅ | Algebra |
| Imo2000P2 | ✅ | AlgebraInequality |
| Imo2000P3 | ✅ | Combinatorics |
| Imo2000P4 | ✅ | Combinatorics |
| Imo2000P5 | ✅ | AlgebraNumber Theory |
| Imo2001P1 | ✅ | Geometry |
| Imo2001P2 | ✅ | AlgebraInequality |
| Imo2001P3 | ✅ | Combinatorics |
| Imo2001P4 | ✅ | Algebra |
| Imo2001P5 | ✅ | Geometry |
| Imo2001P6 | ✅ | Number Theory |
| Imo2002P1 | ✅ | Combinatorics |
| Imo2002P3 | ✅ | Algebra |
| Imo2002P4 | ✅ | Number Theory |
| Imo2002P5 | ✅ | Algebra |
| Imo2003P1 | ✅ | Combinatorics |
| Imo2003P2 | ✅ | Number Theory |
| Imo2003P5 | ✅ | AlgebraInequality |
| Imo2003P6 | ✅ | Number Theory |
| Imo2004P2 | ✅ | Algebra |
| Imo2004P3 | ✅ | Combinatorics |
| Imo2004P4 | ✅ | AlgebraInequality |
| Imo2004P6 | ✅ | Number Theory |
| Imo2005P2 | ✅ | Algebra |
| Imo2005P3 | ✅ | Algebra |
| Imo2005P4 | ✅ | Number Theory |
| Imo2005P6 | ✅ | Combinatorics |
| Imo2006P3 | ✅ | Algebra |
| Imo2006P4 | ✅ | Number Theory |
| Imo2006P5 | ✅ | Number Theory |
| Imo2007P1 | ✅ | Algebra |
| Imo2007P3 | ✅ | Combinatorics |
| Imo2007P5 | ✅ | Number Theory |
| Imo2007P6 | ✅ | Geometry |
| Imo2008P2 | ✅ | Algebra |
| Imo2008P3 | ✅ | Number Theory |
| Imo2008P4 | ✅ | Algebra |
| Imo2008P5 | ✅ | Combinatorics |
| Imo2009P1 | ✅ | Number Theory |
| Imo2009P3 | ✅ | Algebra |
| Imo2009P5 | ✅ | Algebra |
| Imo2009P6 | ✅ | Combinatorics |
| Imo2010P1 | ✅ | Algebra |
| Imo2010P3 | ✅ | Algebra |
| Imo2010P5 | ✅ | Combinatorics |
| Imo2010P6 | ✅ | Algebra |
| Imo2011P1 | ✅ | Number Theory |
| Imo2011P3 | ✅ | Algebra |
| Imo2011P4 | ✅ | Combinatorics |
| Imo2011P5 | ✅ | Number Theory |
| Imo2012P2 | ✅ | Algebra |
| Imo2012P3 | ✅ | Combinatorics |
| Imo2012P4 | ✅ | Algebra |
| Imo2012P5 | ✅ | Geometry |
| Imo2012P6 | ✅ | Algebra |
| Imo2013P1 | ✅ | Number Theory |
| Imo2013P2 | ✅ | CombinatoricsGeometry |
| Imo2013P5 | ✅ | Algebra |
| Imo2014P1 | ✅ | Algebra |
| Imo2014P2 | ✅ | Combinatorics |
| Imo2014P4 | ✅ | Geometry |
| Imo2014P5 | ✅ | Combinatorics |
| Imo2014P6 | ✅ | Combinatorics |
| Imo2015P2 | ✅ | Number Theory |
| Imo2015P5 | ✅ | Algebra |
| Imo2015P6 | ✅ | Algebra |
| Imo2016P2 | ✅ | Combinatorics |
| Imo2016P4 | ✅ | Number Theory |
| Imo2016P5 | ✅ | Algebra |
| Imo2017P1 | ✅ | Number Theory |
| Imo2017P2 | ✅ | Algebra |
| Imo2017P3 | ✅ | Combinatorics |
| Imo2017P5 | ✅ | Combinatorics |
| Imo2017P6 | ✅ | Number Theory |
| Imo2018P2 | ✅ | Algebra |
| Imo2018P3 | ✅ | Combinatorics |
| Imo2018P4 | ✅ | Combinatorics |
| Imo2018P5 | ✅ | Number Theory |
| Imo2019P1 | ✅ | Algebra |
| Imo2019P2 | ✅ | Geometry |
| Imo2019P3 | ✅ | Combinatorics |
| Imo2019P4 | ✅ | Number Theory |
| Imo2019P5 | ✅ | Combinatorics |
| Imo2020P2 | ✅ | AlgebraInequality |
| Imo2020P3 | ✅ | Combinatorics |
| Imo2020P4 | ✅ | |
| Imo2020P5 | ✅ | Algebra |
| Imo2020P6 | ✅ | Combinatorics |
| Imo2021P1 | ✅ | Algebra |
| Imo2021P2 | ✅ | Algebra |
| Imo2021P3 | ❌ | Geometry |
| Imo2021P5 | ✅ | |
| Imo2021P6 | ✅ | Algebra |
| Imo2022P1 | ✅ | Combinatorics |
| Imo2022P2 | ✅ | Algebra |
| Imo2022P3 | ✅ | Number Theory |
| Imo2022P5 | ✅ | Number Theory |
| Imo2022P6 | ✅ | Combinatorics |
| Imo2023P1 | ✅ | Number Theory |
| Imo2023P2 | ✅ | Geometry |
| Imo2023P3 | ✅ | Number Theory |
| Imo2023P4 | ✅ | Algebra |
| Imo2023P5 | ✅ | Combinatorics |
| Imo2023P6 | ❌ | Geometry |
| Imo2024P1 | ✅ | Algebra |
| Imo2024P2 | ✅ | Number Theory |
| Imo2024P3 | ✅ | Combinatorics |
| Imo2024P5 | ✅ | Combinatorics |
| Imo2024P6 | ✅ | Algebra |
| Imo2025P1 | ✅ | Combinatorics |
| Imo2025P2 | ❌ | Geometry |
| Imo2025P3 | ✅ | Number Theory |
| Imo2025P4 | ✅ | Algebra |
| Imo2025P5 | ✅ | |
| Imo2025P6 | ✅ | Combinatorics |
| Imo2026P1 | ✅ | Number Theory |
| Imo2026P3 | ✅ | Combinatorics |
| Imo2026P4 | ✅ | Combinatorics |
| Imo2026P5 | ✅ | AlgebraInequality |
| Imo2026P6 | ✅ | Number Theory |
| Usa1972P1 | ✅ | Number Theory |
| Usa1972P3 | ✅ | CombinatoricsNumber Theory |
| Usa1972P4 | ✅ | Algebra |
| Usa1973P2 | ✅ | AlgebraNumber Theory |
| Usa1973P4 | ✅ | Algebra |
| Usa1973P5 | ✅ | Number Theory |
| Usa1974P1 | ✅ | Number Theory |
| Usa1974P2 | ✅ | AlgebraInequality |
| Usa1974P4 | ✅ | Combinatorics |
| Usa1975P1 | ✅ | Algebra |
| Usa1975P3 | ✅ | Algebra |
| Usa1975P5 | ✅ | Combinatorics |
| Usa1976P1 | ✅ | Combinatorics |
| Usa1976P3 | ✅ | Number Theory |
| Usa1976P5 | ✅ | Algebra |
| Usa1977P1 | ✅ | Algebra |
| Usa1977P3 | ✅ | Algebra |
| Usa1977P5 | ✅ | AlgebraInequality |
| Usa1978P1 | ✅ | AlgebraInequality |
| Usa1978P3 | ✅ | Number Theory |
| Usa1978P5 | ✅ | Combinatorics |
| Usa1979P1 | ✅ | AlgebraInequality |
| Usa1979P3 | ✅ | CombinatoricsNumber Theory |
| Usa1979P5 | ✅ | Combinatorics |
| Usa1980P1 | ✅ | Algebra |
| Usa1980P2 | ✅ | Combinatorics |
| Usa1980P3 | ✅ | Algebra |
| Usa1980P5 | ✅ | AlgebraInequality |
| Usa1981P2 | ✅ | Combinatorics |
| Usa1981P5 | ✅ | Algebra |
| Usa1982P1 | ✅ | Combinatorics |
| Usa1982P2 | ✅ | Algebra |
| Usa1982P4 | ✅ | Number Theory |
| Usa1983P1 | ✅ | Combinatorics |
| Usa1983P2 | ✅ | Algebra |
| Usa1983P3 | ✅ | Combinatorics |
| Usa1983P5 | ✅ | Number Theory |
| Usa1984P1 | ✅ | Algebra |
| Usa1984P2 | ✅ | Number Theory |
| Usa1984P4 | ✅ | Combinatorics |
| Usa1984P5 | ✅ | Algebra |
| Usa1985P1 | ✅ | Algebra |
| Usa1985P2 | ✅ | Algebra |
| Usa1985P4 | ✅ | Combinatorics |
| Usa1985P5 | ✅ | Combinatorics |
| Usa1986P1 | ✅ | Number Theory |
| Usa1986P2 | ✅ | Combinatorics |
| Usa1986P3 | ✅ | Number Theory |
| Usa1986P5 | ✅ | Combinatorics |
| Usa1987P1 | ✅ | Algebra |
| Usa1987P3 | ✅ | Algebra |
| Usa1987P5 | ✅ | Combinatorics |
| Usa1988P1 | ✅ | Number Theory |
| Usa1988P2 | ✅ | Algebra |
| Usa1988P3 | ✅ | Combinatorics |
| Usa1988P4 | ❌ | Geometry |
| Usa1988P5 | ✅ | Algebra |
| Usa1989P1 | ✅ | Algebra |
| Usa1989P2 | ✅ | Combinatorics |
| Usa1989P3 | ✅ | Algebra |
| Usa1989P5 | ✅ | Algebra |
| Usa1990P1 | ✅ | Combinatorics |
| Usa1990P2 | ✅ | Algebra |
| Usa1990P3 | ✅ | Number Theory |
| Usa1990P4 | ✅ | Combinatorics |
| Usa1991P2 | ✅ | Algebra |
| Usa1991P3 | ✅ | Number Theory |
| Usa1991P4 | ✅ | Algebra |
| Usa1992P1 | ✅ | Algebra |
| Usa1992P2 | ✅ | Algebra |
| Usa1992P3 | ✅ | Combinatorics |
| Usa1992P5 | ✅ | Algebra |
| Usa1993P1 | ✅ | Algebra |
| Usa1993P3 | ✅ | Algebra |
| Usa1993P4 | ✅ | Number Theory |
| Usa1993P5 | ✅ | Algebra |
| Usa1994P1 | ✅ | Number Theory |
| Usa1994P2 | ✅ | Combinatorics |
| Usa1994P4 | ✅ | Inequality |
| Usa1994P5 | ✅ | Combinatorics |
| Usa1995P1 | ✅ | Number Theory |
| Usa1995P2 | ✅ | Algebra |
| Usa1995P4 | ✅ | AlgebraNumber Theory |
| Usa1995P5 | ✅ | Combinatorics |
| Usa1996P1 | ✅ | Algebra |
| Usa1996P2 | ✅ | Combinatorics |
| Usa1996P4 | ✅ | Combinatorics |
| Usa1996P6 | ✅ | CombinatoricsNumber Theory |
| Usa1997P1 | ✅ | Number Theory |
| Usa1997P3 | ✅ | Algebra |
| Usa1997P5 | ✅ | AlgebraInequality |
| Usa1997P6 | ✅ | Algebra |
| Usa1998P1 | ✅ | Number Theory |
| Usa1998P3 | ✅ | AlgebraInequality |
| Usa1998P4 | ✅ | Combinatorics |
| Usa1998P5 | ✅ | Number Theory |
| Usa1999P1 | ✅ | Combinatorics |
| Usa1999P3 | ✅ | Number Theory |
| Usa1999P4 | ✅ | Inequality |
| Usa1999P5 | ✅ | Combinatorics |
| Usa2000P1 | ✅ | Algebra |
| Usa2000P3 | ✅ | Combinatorics |
| Usa2000P4 | ✅ | Combinatorics |
| Usa2000P5 | ✅ | Geometry |
| Usa2000P6 | ✅ | AlgebraInequality |
| Usa2001P1 | ✅ | Combinatorics |
| Usa2001P3 | ✅ | Algebra |
| Usa2001P4 | ✅ | Geometry |
| Usa2001P5 | ✅ | Number Theory |
| Usa2002P1 | ✅ | Combinatorics |
| Usa2002P3 | ✅ | Algebra |
| Usa2002P4 | ✅ | Algebra |
| Usa2002P5 | ✅ | Number Theory |
| Usa2002P6 | ✅ | Combinatorics |
| Usa2003P1 | ✅ | Number Theory |
| Usa2003P3 | ✅ | Combinatorics |
| Usa2003P5 | ✅ | AlgebraInequality |
| Usa2003P6 | ✅ | Combinatorics |
| Usa2004P2 | ✅ | AlgebraNumber Theory |
| Usa2004P4 | ✅ | Combinatorics |
| Usa2004P5 | ✅ | AlgebraInequality |
| Usa2005P1 | ✅ | Number Theory |
| Usa2005P2 | ✅ | Number Theory |
| Usa2005P4 | ✅ | Combinatorics |
| Usa2005P6 | ✅ | CombinatoricsNumber Theory |
| Usa2006P1 | ✅ | Number Theory |
| Usa2006P2 | ✅ | Combinatorics |
| Usa2006P3 | ✅ | Number Theory |
| Usa2006P4 | ✅ | Number Theory |
| Usa2006P5 | ✅ | CombinatoricsNumber Theory |
| Usa2007P1 | ✅ | Number Theory |
| Usa2007P3 | ✅ | Combinatorics |
| Usa2007P4 | ✅ | Combinatorics |
| Usa2007P5 | ✅ | Number Theory |
| Usa2008P1 | ✅ | Number Theory |
| Usa2008P3 | ✅ | Combinatorics |
| Usa2008P5 | ✅ | Combinatorics |
| Usa2008P6 | ✅ | Combinatorics |
| Usa2009P2 | ✅ | Combinatorics |
| Usa2009P4 | ✅ | AlgebraInequality |
| Usa2009P6 | ✅ | Number Theory |
| Usa2010P2 | ✅ | Combinatorics |
| Usa2010P3 | ✅ | Algebra |
| Usa2010P5 | ✅ | Algebra |
| Usa2010P6 | ✅ | Combinatorics |
| Usa2011P1 | ✅ | AlgebraInequality |
| Usa2011P2 | ✅ | Combinatorics |
| Usa2011P4 | ✅ | Number Theory |
| Usa2011P6 | ✅ | Combinatorics |
| Usa2012P1 | ✅ | Combinatorics |
| Usa2012P2 | ✅ | Combinatorics |
| Usa2012P3 | ✅ | Number Theory |
| Usa2012P4 | ✅ | Number Theory |
| Usa2012P6 | ✅ | CombinatoricsInequality |
| Usa2013P2 | ✅ | Combinatorics |
| Usa2013P3 | ✅ | Combinatorics |
| Usa2013P4 | ✅ | Algebra |
| Usa2013P5 | ✅ | Number Theory |
| Usa2014P1 | ✅ | Algebra |
| Usa2014P2 | ✅ | Algebra |
| Usa2014P3 | ✅ | Geometry |
| Usa2014P4 | ✅ | Combinatorics |
| Usa2014P6 | ✅ | Number Theory |
| Usa2015P1 | ✅ | Number Theory |
| Usa2015P3 | ✅ | Combinatorics |
| Usa2015P4 | ✅ | Combinatorics |
| Usa2015P5 | ✅ | Number Theory |
| Usa2015P6 | ✅ | InequalityCombinatorics |
| Usa2016P1 | ✅ | Combinatorics |
| Usa2016P2 | ✅ | Number Theory |
| Usa2016P4 | ✅ | Algebra |
| Usa2016P6 | ✅ | Combinatorics |
| Usa2017P1 | ✅ | Number Theory |
| Usa2017P2 | ✅ | Combinatorics |
| Usa2017P4 | ✅ | Combinatorics |
| Usa2017P5 | ✅ | Combinatorics |
| Usa2017P6 | ✅ | AlgebraInequality |
| Usa2018P1 | ✅ | AlgebraInequality |
| Usa2018P2 | ✅ | Algebra |
| Usa2018P3 | ✅ | Number Theory |
| Usa2018P4 | ✅ | CombinatoricsNumber Theory |
| Usa2018P6 | ✅ | Combinatorics |
| Usa2019P1 | ✅ | Algebra |
| Usa2019P3 | ✅ | Number Theory |
| Usa2019P4 | ✅ | Combinatorics |
| Usa2019P5 | ✅ | Number Theory |
| Usa2019P6 | ✅ | Algebra |
| Usa2020P2 | ✅ | Combinatorics |
| Usa2020P3 | ✅ | Number Theory |
| Usa2020P4 | ✅ | Combinatorics |
| Usa2020P5 | ✅ | Combinatorics |
| Usa2020P6 | ✅ | Inequality |
| Usa2021P2 | ✅ | Combinatorics |
| Usa2021P3 | ✅ | Combinatorics |
| Usa2021P4 | ✅ | Number Theory |
| Usa2021P5 | ✅ | Algebra |
| Usa2022P1 | ✅ | Combinatorics |
| Usa2022P3 | ✅ | Algebra |
| Usa2022P4 | ✅ | Number Theory |
| Usa2022P5 | ✅ | AlgebraCombinatorics |
| Usa2022P6 | ✅ | Combinatorics |
| Usa2023P2 | ✅ | Algebra |
| Usa2023P4 | ✅ | Number Theory |
| Usa2023P5 | ✅ | Combinatorics |
| Usa2024P1 | ✅ | Number Theory |
| Usa2024P2 | ✅ | Combinatorics |
| Usa2024P4 | ✅ | Combinatorics |
| Usa2024P6 | ✅ | CombinatoricsInequality |
| Usa2025P1 | ✅ | Number Theory |
| Usa2025P2 | ✅ | Algebra |
| Usa2025P4 | ✅ | Geometry |
| Usa2025P5 | ✅ | Number Theory |
| Usa2025P6 | ✅ | Combinatorics |
| Usa2026P1 | ✅ | Algebra |
| Usa2026P2 | ✅ | Combinatorics |
| Usa2026P4 | ✅ | CombinatoricsNumber Theory |
| Usa2026P6 | ✅ | Number Theory |
| Bulgaria1998P1 | ✅ | Combinatorics |
| Bulgaria1998P11 | ✅ | Number Theory |
| Bulgaria1998P2 | ❌ | Geometry |
| Bulgaria1998P3 | ✅ | Algebra |
| Bulgaria1998P6 | ✅ | Number Theory |
| Bulgaria1998P8 | ✅ | Algebra |
| CIIM2022P6 | ✅ | Number Theory |
| Canada1998P3 | ✅ | AlgebraInequality |
| Canada1998P5 | ✅ | Algebra |
| Egmo2023P1 | ✅ | Number Theory |
| Hungary1998P6 | ✅ | Algebra |
| India1998P1 | ✅ | Number Theory |
| IntegersInACircle | ✅ | Combinatorics |
| Iran1998P3 | ✅ | Algebra |
| Iran1998P9 | ✅ | AlgebraInequality |
| KolmogorovStreams | ✅ | Combinatorics |
| Poland1998P4 | ✅ | Number Theory |
| Poland2016S1P8 | ✅ | Number Theory |
| Romania1998P12 | ✅ | Algebra |
| Russia1995P10 | ✅ | Number Theory |
| Russia1998P42 | ✅ | Algebra |
| Singapore2019P11 | ✅ | Algebra |
| Singapore2019P2 | ✅ | Algebra |
| Singapore2019P4 | ✅ | Algebra |
| Singapore2019P7 | ✅ | Algebra |
| UK2024R1P1 | ✅ | Combinatorics |
| UK2024R1P2 | ✅ | Algebra |
| UK2024R1P4 | ✅ | Number Theory |
| UpperLowerContinuous | ✅ | |
| ZeroesOnesAndTwos | ✅ | Number Theory |