01. March 2013

Symbolic computation