• Introduction
  • Algorithms requiring global pattern matchers
    • Introduction
    • Types of transformations
    • Flexible pattern matching
    • Towards a solution
    • Composite factors
    • Simplification in the face of non-commuting algebras
  • How Yacas Deals With Sets of Solutions
    • Introduction
    • Implementation Semantics of Solve in Yacas
    • Use Case Scenarios
  • Reflection
  • Multi-valued expressions
  • Assume facilities
  • Defining a new function in the kernel
  • A user interface for Yacas
    • Use case scenarios
    • Yacas for fun
    • Yacas for profit
    • The current solution
    • Possible additional ways to offer information
    • Other facilities
  • The static code analyzer
  • GNU Free Documentation License