ロード中...
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...
保存先:
| 出版年: | Mathematical Software – ICMS 2020 |
|---|---|
| 第一著者: | |
| フォーマット: | Artigo |
| 言語: | Inglês |
| 出版事項: |
2020
|
| 主題: | |
| オンライン･アクセス: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7340953/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-52200-1_26 |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|