Software
A cross-platform free software for multi-scale Agent-based modeling.
Authors: Alexey Solovyev, Qi Mi, Maxim Mikheev
A programming language for rapid development of Agent-based models in SPARK.
Author: Alexey Solovyev
A formal proof of the Kepler conjecture.
Author: Thomas Hales
An implementation of the SSReflect proof language in HOL Light.
Author: Alexey Solovyev
Formal Verification of Nonlinear Inequalities
A tool for formal verification of multivariate nonlinear inequalities in HOL Light.
Author: Alexey Solovyev
Guided Random Testing for Floating-point Error Estimation
Author: Wei-Fan Chiang
A tool for rigorous estimation of floating-point round-off errors.
Author: Alexey Solovyev