scientific article; zbMATH DE number 158462
From MaRDI portal
Publication:4032144
Recommendations
- Automated deduction in von Neumann-Bernays-Gödel set theory
- Automatic theorem proving and OTTER
- Set theory in first-order logic: Clauses for Gödel's axioms
- Computational logic and set theory. Applying formalized logic to analysis. Foreword by Martin Davis
- scientific article; zbMATH DE number 1865568
Cited in
(22)- Set theory in first-order logic: Clauses for Gödel's axioms
- Automated deduction in von Neumann-Bernays-Gödel set theory
- Computer proofs about finite and regular sets: The unifying concept of subvariance.
- Retrieving geometric information from images: the case of hand-drawn diagrams
- Automated search for Gödel's proofs
- Compiling dyadic first-order specifications into map algebra
- The GOEDEL program
- Learning to solve geometric construction problems from images
- Learning theorem proving components
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
- Finding proofs in Tarskian geometry
- scientific article; zbMATH DE number 5909822 (Why is no real title available?)
- A domain-independent system for modeling number theory using first-order predicate logic
- System description: E.T. 0.1
- Machine synthesis of mathematical theorems
- MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance
- scientific article; zbMATH DE number 3898269 (Why is no real title available?)
- Theorem proving in large formal mathematics as an emerging AI field
- Layered map reasoning: an experimental approach put to trial on sets
- Stepping stones in the TPTP world
- A systematic methodology for automated theorem finding
- On the separability of subproblems in Benders decompositions
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4032144)
