CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

Algebra: Computer algebra system implemented in Prolog

This directory contains Sergio Vaghi's computer algebra system. It includes Prolog programs for symbolic differentiation of algebraic functions and for symbolic simplification of algebraic functions. The programs run under PD Prolog version 1.90.
See Also: 


Version: 1.0 (12-APR-87) Requires: A.D.A. PD Prolog version 1.90 Copying: Public Domain CD-ROM: Prime Time Freeware for AI, Issue 1-1 Author(s): Sergio Vaghi ESTEC P.O. Box 299 2200 AG Noordwijk (ZH) The Netherlands Tel: +31 1719-83453 Keywords: ADA PD Prolog, Authors!Vaghi, Computer Algebra, Math, Prolog!Code, Prolog!Math, Public Domain, Simplification, Symbolic Differentiation References: Documentation is included in the distribution.
Last Web update on Mon Feb 13 10:33:49 1995