FTP Search

Directory

Content Search

E

Equational Theorem Prover

/Main/Fedora/i386/Applications/Engineering/

E is a purely equational theorem prover for full first-order logic. That means it is a program that you can stuff a mathematical specification (in first-order format) and a hypothesis into, and which will then run forever, using up all of your machines' resources. Very occasionally it will find a proof for the hypothesis and tell you so.

E's inference core is based on a modified version of the superposition calculus for equational clausal logic. Both clausification and reasoning on the clausal form can be documented in checkable proof objects.

E was the best-performing open source software prover in the 2008 CADE ATP System Competition (CASC) in the FOF, CNF, and UEQ divisions.

Info:

Homepage:	http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html
Package version:	0.999.006
Architecture:	i386
Distribution:	Fedora
Filename:	E-0.999.006-2.fc9.i386.rpm

Browse inside E-0.999.006-2.fc9.i386.rpm:

pkg://E-0.999.006-2.fc9.i386.rpm:974301/  info  downloads

[DIR]usr/  65535+ twin directories
1.28 KB  2007-09-26HEADER  view  73 mirrors

Download E-0.999.006-2.fc9.i386.rpm:

2007-09-04  ftp://ftp.inf.utfsm.cl/pub/Linux/RedHat/fedora/linux/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2007-09-04  ftp://debian.lcs.mit.edu/pub/fedora/linux/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2007-09-04  ftp://ftp.wustl.edu/pub/linux/distributions/fedora/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2007-09-04  ftp://ftp.uni-hannover.de/pub/mirror/linux/fedora/linux/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://ftp.cs.ucsb.edu/mirrors/fedora/linux/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2007-09-04  ftp://ftp.ai.kyutech.ac.jp/.disk2/Fedora/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2007-09-04  ftp://ftp.pslib.cz/pub/linux/fedora/linux/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2007-09-04  ftp://ftp.uni-jena.de/pub/linux/MIRROR.redhat/fedora/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2007-09-04  ftp://200.17.202.1/fedora-enchilada/linux/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2007-09-04  ftp://ftp.sanguine.net/pub/linux/fedora/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2007-09-04  ftp://ftp.padua.org/pub/linux/Mirrors/fedora.redhat.com/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2007-09-04  ftp://200.17.202.16/fedora-enchilada/linux/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://ftp.udc.es/mirror/fedora/linux/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://ftp.rz.uni-kiel.de/pub2/linux/fedora/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://ftp.uni-klu.ac.at/linux/fedora/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://204.152.191.39/fedora-enchilada/linux/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://ftp.quicknet.nl/pub/Linux/download.fedora.redhat.com/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://200.17.202.17/fedora-enchilada/linux/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://128.118.2.96/pub/.mirrors/2/fedora.redhat.com/linux/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://ftp.informatik.rwth-aachen.de/pub/comp/Linux/fedora/linux/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://ftp.filearena.net/mnt3/fedora/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://ftp.sfc.wide.ad.jp/pub/Linux/Fedora/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://core.ring.gr.jp/pub/linux/fedora/linux/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://ftp.in2p3.fr/pub/linux/fedora/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://204.152.191.7/fedora/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://130.239.17.6/fedora/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://192.87.102.42/vol/3/fedora/linux/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://ftp.twaren.net/pub/Linux/Fedora/linux/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://ftp2.ca.freebsd.org/fedora/linux/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://ftp.uni-bremen.de/pub/mirrors/fedora/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://ftp.cpan.nl/pub/os/Linux/distr/fedora/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://ftp2.pt.freebsd.org/pub/fedora/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://144.92.104.38/mirrors/linux/distributions/fedora/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://ftp.st.ryukoku.ac.jp/pub2/Linux/fedora/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://ftp.lug.udel.edu/pub/fedora/linux/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://wt t0_Series004_z005_ch01.tif/.sdb1/fedora/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://193.226.140.51/fedora/linux/core/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://77.88.19.74/fedora/linux/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://fr.rpmfind.net/linux/0/fedora/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://ftp.cuhk.hk/.1/Linux/distributions/fedora/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://ftp.cc.keio.ac.jp/mnt/fedora/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://ftp.uvigo.es/redhat-fedora/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://ftp.uvigo.es/mirror/redhat-fedora/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://ftp.cs.cuhk.hk/pub5/fedora/linux/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm
2008-09-02  ftp://ftp.cs.cuhk.hk/pub3/fedora/linux/updates/9/i386.newkey/E-0.999.006-2.fc9.i386.rpm