FTP Search

Directory

Content Search

E

Equational Theorem Prover

/Main/Fedora/src/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:	src
Distribution:	Fedora
Filename:	E-0.999.006-2.fc10.src.rpm

Browse inside E-0.999.006-2.fc10.src.rpm:

pkg://E-0.999.006-2.fc10.src.rpm:1326042/  info  downloads

[DIR]usr/  65535+ twin directories
1.34 KB  2007-10-20HEADER  view  64 mirrors

Download E-0.999.006-2.fc10.src.rpm:

2008-10-29  ftp://ftp.uni-siegen.de/pub/fedora/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://ftp.ps.pl/dsk0/Fedora/fedora-enchilada/linux/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://ftp.net.usf.edu/pub/fedora/linux/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://64.50.238.52/.1/fedora/linux/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-30  ftp://ftp.sanguine.net/pub/linux/fedora/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-09-15  ftp://ftp.lug.udel.edu/pub/fedora/linux/development/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2007-09-18  ftp://200.17.202.16/fedora-enchilada/linux/development/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://ftp.udc.es/mirror/fedora/linux/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://alviss.et.tudelft.nl/pub/fedora/linux/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://ftp.tudelft.nl/pub/Linux/download.fedora.redhat.com/linux/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://ftp.li.kernel.org/pub/.3/fedora.redhat.com/linux/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://ftp.quicknet.nl/pub/Linux/download.fedora.redhat.com/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-09-16  ftp://200.17.202.17/fedora-enchilada/linux/development/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://ftp.in2p3.fr/pub/linux/fedora/core/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-09-16  ftp://204.152.191.7/fedora/development/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://ftp.cs.ucsb.edu/mirrors/fedora/linux/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://ftp.uga.edu/pub/unix/linux/fedora/linux/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://130.239.17.6/fedora/development/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-09-16  ftp://192.87.102.42/vol/3/fedora/linux/development/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-09-16  ftp://ftp.au.freebsd.org/disks/la4/.p/fedora/linux/development/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://ftp.ednet.ns.ca/fedora/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://130.239.17.6/fedora/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://ftp.linux.org.uk/pub/distributions/fedora/linux/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://200.236.31.1/fedora-enchilada/linux/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://packages.ndir.dscr.i18n.2008.11.29-21.31.00.gz/fedora-enchilada/linux/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://ftp.wsisiz.edu.pl/pub/Linux/RedHat/fedora/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://ftp.rz.uni-kiel.de/pub2/linux/fedora/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://ftp.uni-kl.de/pub/linux/fedora/linux/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://64.50.236.52/.1/fedora/linux/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://ftp.uci.edu/mirrors/fedora/linux/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://ftp.crc.dk/pub/mirrors/fedora/linux/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://ftp.ua.kernel.org/pub/mirrors/fedora/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://ftp.linux.ncsu.edu/mirror/ftp.redhat.com/pub/fedora/linux/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://ftp.inf.utfsm.cl/pub/Linux/RedHat/fedora/linux/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://ftp.uni-oldenburg.de/linux/ftp.fedoraproject.org/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://ftp.mathematik.uni-marburg.de/pub/mirror/fedora/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://ftp.upjs.sk/pub/fedora/linux/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://sunsite.mff.cuni.cz/MIRRORS/fedora.redhat.com/linux/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://ftp.uni-magdeburg.de/pub/mirror/linux/fedora/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://130.239.17.6/fedora-enchilada/linux/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://199.6.1.174/fedora/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://ftp.ip.pt/pub/fedora/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://128.118.2.96/mirror/mozilla/firefox/releases/3.0.4/update/win32/lt/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://128.118.2.96/pub/.mirrors/2/fedora.redhat.com/linux/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://83.166.201.99/fedora/linux/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://ftp.cru.fr/pub/linux/fedora/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://ftp.software.umn.edu/linux/fedora/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://mask-student.wsisiz.edu.pl/pub/Linux/RedHat/fedora/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://ftp.funet.fi/.m/mirrors2/ftp.redhat.com/pub/fedora/linux/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm
2008-10-29  ftp://ftp.ai.kyutech.ac.jp/.disk2/Fedora/releases/10/Everything/source/SRPMS/E-0.999.006-2.fc10.src.rpm