Carregant...
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...
Guardat en:
| Publicat a: | Mathematical Software – ICMS 2020 |
|---|---|
| Autor principal: | |
| Format: | Artigo |
| Idioma: | Inglês |
| Publicat: |
2020
|
| Matèries: | |
| Accés en línia: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7340953/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-52200-1_26 |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|