Publications

2017

[bibtex]
Erika Abraham, Tudor Jebelean. Adapting Cylindrical Algebraic Decomposition for Proof Specific Tasks. Proc. of the 10th International Conference on Applied Informatics (ICAI'17), , 2017.