swMATH21343MaRDI QIDQ33151FDOQ33151
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007/10721959_37
Cited In (46)
- Scalable fine-grained proofs for formula processing
- Understanding Resolution Proofs through Herbrand’s Theorem
- An interactive derivation viewer
- Title not available (Why is that?)
- KI 2004: Advances in Artificial Intelligence
- Mechanizing Mathematical Reasoning
- Semi-intelligible Isar proofs from machine-generated proofs
- A foundational view on integration problems
- Mechanizing Mathematical Reasoning
- Computer supported mathematics with \(\Omega\)MEGA
- Combined reasoning by automated cooperation
- Efficiently checking propositional refutations in HOL theorem provers
- MBase
- CERES
- Gandalf
- SicoTHEO
- MathWeb
- Prefuse
- Title not available (Why is that?)
- 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
- 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
