Crossmark

Automated Discovery of Geometric Theorems Based on Vector Equations

Published Online: 2021-04-26

Published Print: 2021-08

Authors

Peng, Xicheng

Chen, Qihang

Zhang, Jingzhong

Chen, Mao https://orcid.org/0000-0003-2853-2423
Funding

Funding for this research was provided by:

National Key R&D Program of China (2017YFB1401300)
License Information

Text and Data Mining valid from 2021-04-26

Version of Record valid from 2021-04-26
More Information

Article History

Received: 21 June 2019

Accepted: 30 March 2021

First Online: 26 April 2021

Document is current