Načítá se...
GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry
Domain of mathematical logic in computers is dominated by automated theorem provers (ATP) and interactive theorem provers (ITP). Both of these are hard to access by AI from the human-imitation approach: ATPs often use human-unfriendly logical foundations while ITPs are meant for formalizing existing...
Uloženo v:
| Vydáno v: | Mathematical Software – ICMS 2020 |
|---|---|
| Hlavní autor: | |
| Médium: | Artigo |
| Jazyk: | Inglês |
| Vydáno: |
2020
|
| Témata: | |
| On-line přístup: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7340953/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-52200-1_26 |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|