Publication:4413895
From MaRDI portal
zbMath1022.68622MaRDI QIDQ4413895
Publication date: 21 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2594/25940203.htm
68T30: Knowledge representation
Related Items
Theorem Proving in Large Formal Mathematics as an Emerging AI Field, MPTP 0.1 - System Description, On the Structure of Mizar Types, Licensing the Mizar Mathematical Library, MizAR 40 for Mizar 40, MPTP-motivation, implementation, first experiments, MPTP 0.2: Design, implementation, and initial experiments, Experiences from exporting major proof assistant libraries, A new export of the Mizar mathematical library, Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\), Extracting Higher-Order Goals from the Mizar Mathematical Library, Translating a Dependently-Typed Logic to First-Order Logic
Uses Software