swMATH10187MaRDI QIDQ22154FDOQ22154
Author name not available (Why is that?)
Official website: http://www4.informatik.tu-muenchen.de/~schulz/E/E.html
Cited In (only showing first 100 items - show all)
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
- LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description)
- A First Class Boolean Sort in First-Order Theorem Proving and TPTP
- SOLAR: An automated deduction system for consequence finding
- System for Automated Deduction (SAD): A Tool for Proof Verification
- ILTP
- LEO-II
- QOCA
- TPS
- MizarMode
- AFRA
- MPTP 0.2
- SMT-LIB
- SPASS
- Isar
- MoMM
- Mizar
- cvc3
- SPASS+T
- STRIP
- Prover9
- SIMPLIFY
- z3
- HOL
- ETPS
- FINDER
- HOL Light
- DCTP
- I-SATCHMO
- SATCHMO
- SCOTT
- E-Darvin
- TSPASS
- Satallax
- Mace4
- MML
- Zenon
- Sledgehammer
- ML4PG
- Isabelle/PIDE
- ESC4
- MaLeCoP
- SPIKE
- CVC Lite
- LoTREC
- HipSpec
- MaSh
- CERES
- StarExec
- CVC
- CVC4
- iProver-Eq
- iProver
- JAMPACK
- ileanCoP
- ForTheL
- DLog
- leanCoP
- KAON2
- SAD
- JProver
- leanTAP
- PARTHEO
- Gandalf
- Flyspeck
- Ivy
- PRocH
- MaLARea
- Octopus
- SystemOnTPTP
- HOLyHammer
- Cool
- ModalCasl
- OnTrack
- PVSio-web
- Jahob
- Eisbach
- Easychair
- HOT
- LeoPARD
- Lingva
- Divvy
- E-MaLeS
- TRP++
- randoCoP
- SigmaKEE
- BliStr
- HyLoRes
- MSPASS
- MizAR 40 for Mizar 40
- Model evolution with equality -- revised and implemented
- MPTP-motivation, implementation, first experiments
- MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics
- MPTP 0.2: Design, implementation, and initial experiments
- M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures
- The TPTP World -- infrastructure for automated reasoning
- MaLeCoP. Machine learning connection prover
- Automatic proof and disproof in Isabelle/HOL
- LEO-II and Satallax on the Sledgehammer test bench
- Metis
This page was built for software: E Theorem Prover
