scientific article; zbMATH DE number 3870635
From MaRDI portal
Publication:3336730
zbMATH Open0546.68072MaRDI QIDQ3336730FDOQ3336730
Publication date: 1984
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 7715474
- Interactive theorem proving. Preface of the special issue
- scientific article; zbMATH DE number 1552511
- scientific article; zbMATH DE number 2177623
- Foreword to: Special issue on interactive theorem provers
- A synthesis of the procedural and declarative styles of interactive theorem proving
- Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0
- Interactive theorem proving from the perspective of Isabelle/Isar
- A light-weight integration of automated and interactive theorem proving
- Embedding complex decision procedures inside an interactive theorem prover.
Cited In (11)
- Theorema 2.0: A System for Mathematical Theory Exploration
- Collaborative Interactive Theorem Proving with Clide
- Interactive theorem proving. Preface of the special issue
- The Abella Interactive Theorem Prover (System Description)
- Interaction with the Boyer-Moore theorem prover: A tutorial study using the arithmetic-geometric mean theorem
- Title not available (Why is that?)
- Symlog automated advice in Fitch-style proof construction
- Integration of automated and interactive theorem proving in ILF
- Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0
- Title not available (Why is that?)
- An Interactive Driver for Goal-directed Proof Strategies
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 Q3336730)
