Automated discovery of angle theorems
Crossref DOI link: https://doi.org/10.1007/s10472-023-09841-6
Published Online: 2023-05-09
Published Print: 2023-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Todd, Philip https://orcid.org/0000-0002-7118-8755
Text and Data Mining valid from 2023-05-09
Version of Record valid from 2023-05-09
Article History
Accepted: 7 March 2023
First Online: 9 May 2023
Declarations
:
: Not applicable.
: The authors declare that they have no conflict of interest.