linearalgebra.symbolic
Interfaces 
SymbolicValue
Classes 
AbstractUnknown
Addition
ConstantSymbol
Equality
Inverse
LeafUnknown
Multiplication
Negative
PairOperator
UnaryOperator