Calculemus

This EU funded project deals with the interaction of proof assistants (formal proofs) and computer algebra.

See the Calculemus project description page for more details.

Currently, at Eindhoven, Scott Murray works on the project.


last update amc, 20 aug 2001