Danijela Simic, Sana Stojanovic Durdevic, Ivana Tanasijevic. Towards automated proving in solid geometry. Annals of Mathematics and Artificial Intelligence, 93(6):907-952, December 2025. [doi]
@article{SimicDT25,
title = {Towards automated proving in solid geometry},
author = {Danijela Simic and Sana Stojanovic Durdevic and Ivana Tanasijevic},
year = {2025},
month = {December},
doi = {10.1007/s10472-025-09975-9},
url = {https://doi.org/10.1007/s10472-025-09975-9},
researchr = {https://researchr.org/publication/SimicDT25},
cites = {0},
citedby = {0},
journal = {Annals of Mathematics and Artificial Intelligence},
volume = {93},
number = {6},
pages = {907-952},
}