FGeo-SSS: A Search-Based Symbolic Solver for Human-like Automated Geometric Reasoning
Article in Symmetry (March 2024)
The most recent citing publications are shown below. View all 26 publications that cite this research output on Dimensions.
Article in Symmetry (March 2024)
Book chapter (January 2012)
Book chapter (January 2011)