scientific article
From MaRDI portal
Publication:4032144
zbMath0773.03010MaRDI QIDQ4032144
Publication date: 25 April 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicNBG set theoryPeano arithmeticaxiomatizationnumber theoryincompleteness theoremsTarski geometryLöb's theoremtheorem prover OTTER
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Mechanization of proofs and logical operations (03B35)
Related Items
Finding proofs in Tarskian geometry ⋮ Learning to solve geometric construction problems from images ⋮ Learning theorem proving components ⋮ System Description: E.T. 0.1 ⋮ On the separability of subproblems in Benders decompositions ⋮ Computer proofs about finite and regular sets: The unifying concept of subvariance. ⋮ The GOEDEL program ⋮ MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance ⋮ Retrieving geometric information from images: the case of hand-drawn diagrams ⋮ Theorem Proving in Large Formal Mathematics as an Emerging AI Field ⋮ Layered map reasoning ⋮ Automated search for Gödel's proofs ⋮ A systematic methodology for automated theorem finding ⋮ Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) ⋮ Compiling dyadic first-order specifications into map algebra
Uses Software
This page was built for publication:
