01. March 2012

Symbolic computation