Alexey Solovyev

Identifiers

• name variant Alexey Solovyev 0.60 · backfill

Papers (2)

1. A formal proof of the Kepler conjecture math.MG · 2015 · author #16
2. Formal Verification of Nonlinear Inequalities with Taylor Interval Approximations cs.LO · 2013 · author #1

Mentions

• 1501.02155 #16 · backfill · confidence 0.70 Alexey Solovyev
• 1301.1702 #1 · backfill · confidence 0.70 Alexey Solovyev

Frequent Coauthors

• An Hoai Thi Ta 1 shared papers
• Cezary Kaliszyk 1 shared papers
• Dat Tat Dang 1 shared papers
• Diep Thi Trieu 1 shared papers
• Gertrud Bauer 1 shared papers
• Jason Rute 1 shared papers
• John Harrison 1 shared papers
• Josef Urban 1 shared papers
• Joseph Pleso 1 shared papers
• Ky Khac Vu 1 shared papers
• Mark Adams 1 shared papers
• Roland Zumkeller 1 shared papers
• Sean McLaughlin 1 shared papers
• Steven Obua 1 shared papers
• Thang Tat Nguyen 1 shared papers
• Thomas C. Hales 1 shared papers
• Thomas Hales 1 shared papers
• Tobias Nipkow 1 shared papers
• Trung Nam Tran 1 shared papers
• Truong Le Hoang 1 shared papers