Please use this identifier to cite or link to this item:
http://dr.iiserpune.ac.in:8080/xmlui/handle/123456789/7768| Title: | Euclidean Geometry by High-performance Solvers? |
| Authors: | Gadgil, Siddhartha TADIPATRI, ANAND Dept. of Mathematics |
| Keywords: | Automated theorem proving Euclidean geometry SMT solvers 2022 |
| Issue Date: | May-2022 |
| Publisher: | Indian Academy of Sciences |
| Citation: | Resonance, 27(5), 801–816. |
| Abstract: | Tarski showed in the 1950s that (first-order) questions in Euclidean geometry could be answered algorithmically. Algorithms for doing this have greatly improved over the decades but still have high complexity (in terms of time taken). We experiment using state-of-the-art software, specifically so-called SMT Solvers, to see how practical it is to prove classical Euclidean geometry results in this way. |
| URI: | https://doi.org/10.1007/s12045-022-1373-7 http://dr.iiserpune.ac.in:8080/xmlui/handle/123456789/7768 |
| ISSN: | 0971-8044 0973-712X |
| Appears in Collections: | JOURNAL ARTICLES |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.