Alex Kontorovich

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 5

Top Topics

Computer Algebra

Morphological Scale Space

Top Venues

Publications

Alex Kontorovich
Notes on a Path to AI Assistance in Mathematical Reasoning. CoRR (2023)
Nikolay Bogachev, Alexander Kolpakov, Alex Kontorovich
Kleinian sphere packings, reflection groups, and arithmeticity. Math. Comput. 93 (345) (2023)
Alex Kontorovich
Foreword to: Special Issue on Interactive Theorem Provers. Exp. Math. 31 (2) (2022)
Alex Kontorovich, Jeffrey C. Lagarias
On Toric Orbits in the Affine Sieve. Exp. Math. 30 (4) (2021)
Alex Kontorovich
Reviews. Am. Math. Mon. 127 (4) (2020)