Cited in
(46)- Scalable fine-grained proofs for formula processing
- Understanding Resolution Proofs through Herbrand’s Theorem
- An interactive derivation viewer
- scientific article; zbMATH DE number 1980938 (Why is no real title available?)
- KI 2004: Advances in Artificial Intelligence
- Semi-intelligible Isar proofs from machine-generated proofs
- Mechanizing Mathematical Reasoning
- A foundational view on integration problems
- Mechanizing Mathematical Reasoning
- Computer supported mathematics with MEGA
- Combined reasoning by automated cooperation
- Efficiently checking propositional refutations in HOL theorem provers
- MBase
- CERES
- Gandalf
- SicoTHEO
- MathWeb
- Prefuse
- OMEGA
- CLAM
- Leo
- LOUI
- Omega-ANTS
- Oyster
- Waldmeister
- Prodigy
- Bliksem
- Doris
- IDV
- KOMET
- Medmaker
- Multi
- P.rex
- PROTEIN
- Psyche
- Robbins Conjecture
- Network Security Policy Verification
- Regular_Algebras
- Sqrt_Babylonian
- scientific article; zbMATH DE number 2090054 (Why is no real title available?)
- Lemmatization for stronger reasoning in large theories
- Proof planning with multiple strategies
- Extending Sledgehammer with SMT solvers
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
- Automation for interactive proof: first prototype
- Hammering towards QED
This page was built for software: TRAMP
