×

E-SETHEO

swMATH ID: 7141
Software Authors: Stenz, Gernot; Wolf, Andreas
Description: E-SETHEO: An automated3 theorem prover We have developed a method for strategy evaluation and selection based on test data generated from the problem domain. We present the theorem prover e-SETHEO, which automatically handles training data management, strategy evaluation and selection, and actual proof tasks. We also give some experimental data produced with this system. We address the problem of test set extraction and give an assessment of our work.
Homepage: http://www4.informatik.tu-muenchen.de/~schulz/WORK/e-setheo.html
Related Software: SETHEO; TPTP; VAMPIRE; SATCHMO; OTTER; leanCoP; MiniSat; PROTEIN; Bliksem; leanTAP; SPASS; E-KRHyper; FEMaLeCoP; Easychair; FOCI; MathSAT5; Mace4; Princess; Prover9; ILF-SETHEO
Referenced in: 18 Publications

Referencing Publications by Year