Publikationen in Zusammenarbeit mit Forschern von United States Naval Academy (2)

2023

  1. Towards Detection of Partial Truth via Real Geometry

    CEUR Workshop Proceedings

2022

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

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