Towards automated proving in solid geometry
Crossref DOI link: https://doi.org/10.1007/s10472-025-09975-9
Published Online: 2025-04-01
Published Print: 2025-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Simić, Danijela
Stojanović-Đurđević, Sana
Tanasijević, Ivana
Text and Data Mining valid from 2025-04-01
Version of Record valid from 2025-04-01
Article History
Accepted: 28 February 2025
First Online: 1 April 2025
Declarations
:
: The authors declare no competing interests.