Lanean...
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...
Gorde:
| Argitaratua izan da: | Mathematical Software – ICMS 2020 |
|---|---|
| Egile nagusia: | |
| Formatua: | Artigo |
| Hizkuntza: | Inglês |
| Argitaratua: |
2020
|
| Gaiak: | |
| Sarrera elektronikoa: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7340953/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-52200-1_26 |
| Etiketak: |
Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|