TRAMP
From MaRDI portal
Software:33151
swMATH21343MaRDI QIDQ33151FDOQ33151
Author name not available (Why is that?)
Cited In (19)
- 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
- Mechanizing Mathematical Reasoning
- Computer supported mathematics with \(\Omega\)MEGA
- Combined reasoning by automated cooperation
- Efficiently checking propositional refutations in HOL theorem provers
- Title not available (Why is that?)
- Proof planning with multiple strategies
- Extending Sledgehammer with SMT solvers
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
- Lemmatization for Stronger Reasoning in Large Theories
- Automation for interactive proof: first prototype
- Hammering towards QED
- A Foundational View on Integration Problems
This page was built for software: TRAMP
