Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Predrag JaniăźIć"'
Publikováno v:
Automated Deduction in Geometry ISBN: 9783319213613
ADG
ADG
Over the last sixty years, a number of methods for automated theorem proving in geometry, especially Euclidean geometry, have been developed. Almost all of them focus on universally quantified theorems. On the other hand, there are only few studies a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3acbd8af3ad3e1f1137d3fc0e6882101
https://doi.org/10.1007/978-3-319-21362-0_5
https://doi.org/10.1007/978-3-319-21362-0_5
