scientific article; zbMATH DE number 1552511
From MaRDI portal
Publication:4524769
zbMATH Open0970.68151MaRDI QIDQ4524769FDOQ4524769
Authors: Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Wolfram Menzel, Wolfgang Reif, Gerhard Schellhorn, Peter H. Schmitt 
Publication date: 15 January 2001
Title of this publication is not available (Why is that?)
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
- Title not available (Why is that?)
- Integrating testing and interactive theorem proving
- Iterative dialogues and automated proof.
- A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux
- 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
- Title not available (Why is that?)
- A light-weight integration of automated and interactive theorem proving
- Extending Sledgehammer with SMT solvers
- 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
Uses Software
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)
