Windows Linux |- Audio |- Conferencing |- Database |- Drivers |- E-mail |- FTP |- Fax |- File Utilities |- Games |- Graphics |- Network |- Newsgroups |- Office Applications |- Programming | |-+ C/C++ | |-+ CGI | |-+ Compilers | |-+ Database | |-+ Debuggers | |-+ Development Environment | |-+ Editors | |-+ Graphics | |-+ Java | |-+ Kernel | |- Math | | |- calc | | |- Calc | | |- DNA | | |- E: An Equational Theo... | | |- GAP | | |- Genius Calculator | | |- gmp | | |- Gnuplot | | |- Goose: The GNU Object... | | |- Grace | | |- JACAL | | |- ksciplot | | |- Macaulay 2 | | |- MAXIMA | | |- MPC - multi-precision... | | |- Nightfall | | |- Octave | | |- pasu | | |- plotutils | | |- PSPP | | |- PV-WAVE CL for Linux | | |- R | | |- Scilab | | |- THX-1138 | | '- Tochnog | |-+ Network | |-+ Perl | |-+ Python | |-+ Shell | |-+ System | |-+ System Libraries | |-+ User Interface | |-+ Utilities | |-+ Web Authoring | |-+ X Windows | '-+ tcl/tk |- System Emulators |- System Utilities |- Telnet |- Tutorials |- Video '- Web Best of Linux Archive Getting Linux ENTER KEYWORDS

Home    New    Hot    SiteMap    About

<< Previous Product - Next Product >>

E: An Equational Theorem Prover 0.32 Copy Policy: GNU/GPL E is a a purely equational theorem prover for clausal logic. That means it is a program that you can stuff a mathematical specification (in clausal logic with equality) 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: An Equational Theorem Prover Home Page Publisher: Stephan Schulz Download Source Code (0.590M)

<< Previous Product - Next Product >>

Broken links?
Use this form to report broken links for this program.

Broken home page link Broken download link Other problems: