Erika 'Abrah'am

Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings pdf

James H. Davenport, Matthew England, Gereon Kremer, 2020, ArXiv.

New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract)

Matthew England, Gereon Kremer, James Davenport, 2020, PAAR+SC²@IJCAI.

Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@ETAPS 2017, Uppsala, Sweden, 22nd April 2017

Sergiy Bogomolov, Erika 'Abrah'am, 2017, SNR@ETAPS.