Literature, Additional Internet Resources
Internet Resources for Self-Assessment
http://axiom.axiom-developer.org/axiom-website/books.html
Scratchpad II: An Abstract Datatype System for Mathematical Computations
Early Research Reports about Computer Algebra
Symbolic Integration
(PDF)
Symbolic Integration - The Stormy Decade
(PDF)
Full text of of Moses' thesis about symbolic integration
(268 pages, PDF)
Fatemans paper about algebraic simplification:
http://www.cs.berkeley.edu/~fateman/papers/paperocr.txt
