Package qepcad-1.65-2
| System | Binary Distributions | CVS/rsync Source Distributions | |
|---|---|---|---|
 stable | unstable | ||
10.7/x86_64 | |||
10.6/x86_64 | |||
10.6/i386 | |||
10.5/i386 | 1.65-2 | ||
10.5/powerpc | |||
| Description: | Tarski's Quantifier Elimination (1.65-2) | |
| Usage Hints: | ||
http://www.usna.edu/Users/cs/qepcad/B/user/UsingQEPCAD.html
For instructions on the use of help, type "help" at qepcad's prompt.
Can be spectacular as a simplifier.
E.g., run "slfq -N 20 /sw/share/doc/qepcad/simplify/Ex4" to see
what the beast is capable of (+/- 30 min here) - and view input file..
For QE , still limited .. | ||
| Section: | sci | |
| Maintainer: | JF Mertens <jfmertensATusersDOTsourceforgeDOTnet> | |
| Website: | http://www.usna.edu/Users/cs/qepcad/B/QEPCAD.html | |
| License: | OSI-Approved | |
| Info-File: | dists/10.4/unstable/main/finkinfo/sci/qepcad.info CVS log, Last Changed: Sun, 17 Jul 2011 00:55:34 (UTC) | |
Section list - Flat package list - Search packages
(*) = Unsupported distribution.