Lambda-Clam - MaRDI portal

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