scientific article; zbMATH DE number 1552511
From MaRDI portal
Publication:4524769
Recommendations
Cited in
(22)- Integrating systems around the user: combining Isabelle, Maple, and QEPCAD in the prover's palette
- Extending Sledgehammer with SMT solvers
- Automating Algebraic Specifications of Non-freely Generated Data Types
- Collaborative Interactive Theorem Proving with Clide
- \(\Omega\)-ANTS -- An open approach at combining interactive and automated theorem proving
- scientific article; zbMATH DE number 3870635 (Why is no real title available?)
- Integrating testing and interactive theorem proving
- A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux
- Iterative dialogues and automated proof.
- Combining assisted and automated deduction
- Lightweight relevance filtering for machine-generated resolution problems
- Bounded Relational Analysis of Free Data Types
- Automated flaw detection in algebraic specifications
- scientific article; zbMATH DE number 1765687 (Why is no real title available?)
- Extending Sledgehammer with SMT solvers
- A light-weight integration of automated and interactive theorem proving
- Integration of automated and interactive theorem proving in ILF
- Tools and Algorithms for the Construction and Analysis of Systems
- Composable discovery engines for interactive theorem proving
- Automation for interactive proof: first prototype
- Source-Level Proof Reconstruction for Interactive Theorem Proving
- Theorem proving in large theories
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 Q4524769)
