Publications in collaboration with researchers from United States Naval Academy (4)

2024

  1. Computing with Tarski formulas and semi-algebraic sets in a web browser

    Journal of Symbolic Computation, Vol. 120

2023

  1. Towards Detection of Partial Truth via Real Geometry

    CEUR Workshop Proceedings

2022

  1. A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets

    Proceedings - 2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022

  2. Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom?

    Mathematics in Computer Science, Vol. 16, Núm. 4