Alexey Solovyev

According to our database, Alexey Solovyev authored at least 14 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Rigorous Error Analysis for Logarithmic Number Systems.

Thanh Son Nguyen, Alexey Solovyev, Ganesh Gopalakrishnan

CoRR, 2024

2019

Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions.

Alexey Solovyev, Marek S. Baranowski, Ian Briggs, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan

ACM Trans. Program. Lang. Syst., 2019

2017

Rigorous floating-point mixed-precision tuning.

Wei-Fan Chiang, Mark Baranowski, Ian Briggs, Alexey Solovyev, Ganesh Gopalakrishnan, Zvonimir Rakamaric

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Moving the Needle on Rigorous Floating-Point Precision Tuning.

Marek S. Baranowski, Ian Briggs, Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev

Proceedings of the Automated Formal Methods, 2017

2015

A Computational, Tissue-Realistic Model of Pressure Ulcer Formation in Individuals with Spinal Cord Injury.

Cordelia Ziraldo, Alexey Solovyev, Ana Allegretti, Shilpa Krishnan, M. Kristi Henzel, Gwendolyn A. Sowa, David M. Brienza, Gary An, Qi Mi, Yoram Vodovotz

PLoS Comput. Biol., 2015

A Parameterized Floating-Point Formalizaton in HOL Light.

Charles Jacobsen, Alexey Solovyev, Ganesh Gopalakrishnan

Proceedings of the Seventh and Eighth International Workshops on Numerical Software Verification, 2015

A formal proof of the Kepler conjecture.

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

CoRR, 2015

Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions.

Alexey Solovyev, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan

Proceedings of the FM 2015: Formal Methods, 2015

2014

Efficient search for inputs causing high floating-point errors.

Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

2013

Hybrid Equation/Agent-Based Model of Ischemia-Induced Hyperemia and Pressure Ulcer Formation Predicts Greater Propensity to Ulcerate in Subjects with Spinal Cord Injury.

Alexey Solovyev, Qi Mi, Yi-Ting Tzen, David M. Brienza, Yoram Vodovotz

PLoS Comput. Biol., 2013

Formal Verification of Nonlinear Inequalities with Taylor Interval Approximations.

Alexey Solovyev, Thomas C. Hales

Proceedings of the NASA Formal Methods, 2013

A Machine-Checked Proof of the Odd Order Theorem.

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

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2011

Efficient Formal Verification of Bounds of Linear Programs.

Alexey Solovyev, Thomas C. Hales

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

2010

SPARK: A Framework for Multi-Scale Agent-Based Biomedical Modeling.

Alexey Solovyev, Maxim Mikheev, Leming Zhou, Joyeeta Dutta-Moscato, Cordelia Ziraldo, Gary An, Yoram Vodovotz, Qi Mi

Int. J. Agent Technol. Syst., 2010