Literaturhinweise, im Internet verfügbare Resourcen

Internet Resources for Self-Assessment

• http://axiom.axiom-developer.org/axiom-website/books.html
• How does one program in the AXIOM System
• Scratchpad II: An Abstract Datatype System for Mathematical Computations
• Scratchpad's View of Algebra I: Basic Commutative Algebra
• Scratchpad's View of Algebra II: A Categorial View ofFactorization
• The Scratchpad II Type System: Domains and Subdomains
• The Type Inference and Coercion Facilities in the Scratchpad II interpreter

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: