Verified Formula Evaluation in
Symbolic Algebra Systems and
Object Oriented Programming Environments
by
Andreas Steins

©Andreas  Steins