sbrt.ext.mma.algebra
Classes 
MathematicaSolver
MMaExprInterpretter