On 8/28/08, Oliver Kullmann <O.Kullmann at swansea.ac.uk> wrote:
> This is based on the decision procedure for the first-order theory
> of the real number --- it would be really good if Maxima had that!
> In the article one finds a mathematica-implementation (of the decision
> procedure for probability calculus), based on mathematica's incorporation
> of the open-source implementation of the decision procedure for the reals:
> If Maxima could also incorporate that package, then a lot of power would
> be gained: http://www.cs.usna.edu/~qepcad/B/QEPCAD.html.
I looked at QEPCAD a few months ago and it is a very large library
written in C. We might be able to link it into Maxima via FFI.
It would probably be a lot of work but it could be worth the trouble.
I hope someone will take a look at the problem of linking it.
I also hope someone will scope out its capabilities to see what
QEPCAD could do for Maxima.
best
Robert Dodier