Self-evident Automated Geometric Theorem Proving Based on Complex Number Identity
Crossref DOI link: https://doi.org/10.1007/s10817-023-09688-w
Published Online: 2023-11-20
Published Print: 2023-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Peng, Xicheng
Zhang, Jingzhong
Chen, Mao http://orcid.org/0000-0003-2853-2423
Liu, Sannyuya
Funding for this research was provided by:
National Natural Science Foundation of China (62077019)
Text and Data Mining valid from 2023-11-20
Version of Record valid from 2023-11-20
Article History
Received: 28 December 2021
Accepted: 16 October 2023
First Online: 20 November 2023