FGeo-SSS: A Search-Based Symbolic Solver for Human-like Automated Geometric Reasoning - Zhang, Xiaokai; Zhu, Na; He, Yiming; Zou, Jia; Qin, Cheng; Li, Yang; Leng, Tuo (Symmetry (Basel), 2024)
Keywords: Algebra; Algorithms; Artificial intelligence; Asymmetry; Automated reasoning; Automation; Computational linguistics; Construction; Design; Geometric reasoning; Geometry; Heuristic; Language; Language processing; Methods; Natural language; Natural language interfaces; Predicate logic; Problem solving; Python; Readability; Search methods; Solvers; Symmetry; Technology application; Theorems; Germany