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