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.
