Alexey Solovyev

17 papers A* 1B 3C 1Journal 7Unranked 5
YearRankTypeTitle / Venue / Authors
2025 C conf
Rigorous Error Analysis for Logarithmic Number Systems.
ARITH
Thanh Son Nguyen, Alexey Solovyev, Mark G. Arnold, Ganesh Gopalakrishnan
2024 J jnl
Rigorous Error Analysis for Logarithmic Number Systems.
CoRR
Thanh Son Nguyen, Alexey Solovyev, Ganesh Gopalakrishnan
2019 J jnl
Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions.
ACM Trans. Program. Lang. Syst.
Alexey Solovyev, Marek S. Baranowski, Ian Briggs, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan
2017 — conf
Moving the Needle on Rigorous Floating-Point Precision Tuning.
AFM@NFM
Marek S. Baranowski, Ian Briggs, Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev
2017 A* conf
Rigorous floating-point mixed-precision tuning.
POPL
Wei-Fan Chiang, Mark Baranowski, Ian Briggs, Alexey Solovyev, Ganesh Gopalakrishnan, Zvonimir Rakamaric
2015 J jnl
A Computational, Tissue-Realistic Model of Pressure Ulcer Formation in Individuals with Spinal Cord Injury.
PLoS Comput. Biol.
Cordelia Ziraldo, Alexey Solovyev, Ana Allegretti, Shilpa Krishnan, M. Kristi Henzel, Gwendolyn A. Sowa, David M. Brienza, Gary An, Qi Mi, Yoram Vodovotz
2015 — conf
A Parameterized Floating-Point Formalizaton in HOL Light.
NSV
Charles Jacobsen, Alexey Solovyev, Ganesh Gopalakrishnan
2015 J jnl
A formal proof of the Kepler conjecture.
CoRR
Thomas C. Hales, Mark Adams, Gertrud Bauer, Dat Tat Dang, John Harrison, Truong Le Hoang, Cezary Kaliszyk, Victor Magron, Sean McLaughlin, Thang Tat Nguyen, Truong Quang Nguyen, Tobias Nipkow, Steven Obua, Joseph Pleso, Jason M. Rute, Alexey Solovyev, An Hoai Thi Ta, Trung Nam Tran, Diep Thi Trieu, Josef Urban, Ky Khac Vu, Roland Zumkeller
2015 B conf
Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions.
FM
Alexey Solovyev, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan
2014 B conf
Efficient search for inputs causing high floating-point errors.
PPoPP
Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev
2013 B conf
A Machine-Checked Proof of the Odd Order Theorem.
ITP
Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, François Garillot, Stéphane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi, Laurent Théry
2013 J jnl
Formal Verification of Nonlinear Inequalities with Taylor Interval Approximations
CoRR
Alexey Solovyev, Thomas C. Hales
2013 — conf
Formal Verification of Nonlinear Inequalities with Taylor Interval Approximations.
NASA Formal Methods
Alexey Solovyev, Thomas C. Hales
2013 J jnl
Hybrid Equation/Agent-Based Model of Ischemia-Induced Hyperemia and Pressure Ulcer Formation Predicts Greater Propensity to Ulcerate in Subjects with Spinal Cord Injury.
PLoS Comput. Biol.
Alexey Solovyev, Qi Mi, Yi-Ting Tzen, David M. Brienza, Yoram Vodovotz
2011 — conf
Efficient Formal Verification of Bounds of Linear Programs.
Calculemus/MKM
Alexey Solovyev, Thomas C. Hales
2010 J jnl
SPARK: A Framework for Multi-Scale Agent-Based Biomedical Modeling.
Int. J. Agent Technol. Syst.
Alexey Solovyev, Maxim Mikheev, Leming Zhou, Joyeeta Dutta-Moscato, Cordelia Ziraldo, Gary An, Yoram Vodovotz, Qi Mi
2010 — conf
SPARK: a framework for multi-scale agent-based biomedical modeling.
SpringSim
Alexey Solovyev, Maxim Mikheev, Leming Zhou, Joyeeta Dutta-Moscato, Cordelia Ziraldo, Gary An, Yoram Vodovotz, Qi Mi