Challenging Theorem Provers with Mathematical Olympiad Problems in Solid Geometry
Crossref DOI link: https://doi.org/10.1007/s11786-016-0256-2
Published Online: 2016-04-02
Published Print: 2016-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Shao, Changpeng
Li, Hongbo
Huang, Lei
Text and Data Mining valid from 2016-03-01