Cited in
(45)- scientific article; zbMATH DE number 1696789 (Why is no real title available?)
- scientific article; zbMATH DE number 1863385 (Why is no real title available?)
- The use of embeddings to provide a clean separation of term and annotation for higher order rippling
- scientific article; zbMATH DE number 1980920 (Why is no real title available?)
- Automated Deduction – CADE-20
- KI 2004: Advances in Artificial Intelligence
- Discovering applications of higher order functions through proof planning
- scientific article; zbMATH DE number 1290992 (Why is no real title available?)
- scientific article; zbMATH DE number 2090057 (Why is no real title available?)
- A proof-centric approach to mathematical assistants
- Supporting the formal verification of mathematical texts
- MBase: Representing knowledge and context for the integration of mathematical software systems
- Computer supported mathematics with MEGA
- A proof-planning framework with explicit abstractions based on indexed formulas
- IsaPlanner
- MAYA
- IsaWin
- TAS
- TeXmacs
- MBase
- VSDITLU
- SicoTHEO
- Hat
- CLAM
- Omega-ANTS
- Oyster
- XBarnacle
- Prodigy
- Bliksem
- Doris
- Multi
- P.rex
- PROTEIN
- QuodLibet
- PROVERB
- Crystal: Integrating structured queries into a tactic language
- scientific article; zbMATH DE number 1405440 (Why is no real title available?)
- Computer-assisted human-oriented inductive theorem proving by \textit{descente infinie} -- a manifesto
- Proof planning with multiple strategies
- Failure reasoning in multiple-strategy proof planning
- TPS: A hybrid automatic-interactive system for developing proofs
- SAD as a mathematical assistant -- how should we go from here to there?
- On the comparison of proof planning systems: \(\lambda\)\textsc{clam}, \(\Omega\)\textsc{mega} and \textsc{IsaPlanner}
- Proceedings of the 12th symposium on the integration of symbolic computation and mechanized reasoning (Calculemus 2005), Newcastle-upon-Tyne, UK, July 18--19, 2005
- Enhancing theorem prover interfaces with program slice information
This page was built for software: Lambda-Clam
