Self-evident Automated Geometric Theorem Proving Based on Complex Number Identity.

Xicheng Peng Jingzhong Zhang Mao Chen Sannyuya Liu

Published in: J. Autom. Reason. (2023)

Keyphrases

theorem proving
geometry theorem proving
artificial intelligence
small number
parallel search
inference rules
theorem prover
automated theorem proving