scientific article; zbMATH DE number 3880144
From MaRDI portal
Publication:3345810
Recommendations
Cited in
(25)- Automatic inductive theorem proving using Prolog
- Induction proofs with partial functions
- Automata-driven automated induction
- Using an induction prover for verifying arithmetic circuits
- The automation of proof by mathematical induction
- scientific article; zbMATH DE number 1696825 (Why is no real title available?)
- Automating Induction with an SMT Solver
- Automated Certification of Implicit Induction Proofs
- scientific article; zbMATH DE number 996399 (Why is no real title available?)
- scientific article; zbMATH DE number 4102511 (Why is no real title available?)
- scientific article; zbMATH DE number 67468 (Why is no real title available?)
- scientific article; zbMATH DE number 108494 (Why is no real title available?)
- scientific article; zbMATH DE number 408777 (Why is no real title available?)
- Conjecture synthesis for inductive theories
- Automatic Learning of Proof Methods in Proof Planning
- scientific article; zbMATH DE number 1500561 (Why is no real title available?)
- scientific article; zbMATH DE number 3995084 (Why is no real title available?)
- Automating Inductive Proofs Using Theory Exploration
- scientific article; zbMATH DE number 1389654 (Why is no real title available?)
- Synthesis of induction orderings for existence proofs
- Lazy generation of induction hypotheses
- Mechanizable inductive proofs for a class of \(\forall \exists\) formulas
- Logic Based Program Synthesis and Transformation
- Automated synthesis of induction axioms for programs with second-order recursion
- Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction
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 Q3345810)
