[<<][math][>>][..]Tue Jun 22 12:22:06 CEST 2010

Remarks from reading [1]. * Model transformation is straightforward, but the selection of the techniques still requires human insight. (I.e. too many degrees of freedom to automate). * Not only computation, also deduction is necessary (i.e. to prove that a particular computation can be eliminated). * Look into active libraries[2] and telescoping[4]. [1] http://www.cas.mcmaster.ca/~carette/newtongen/ [2] http://mozart-dev.sourceforge.net/activelib.html [3] http://awurl.com/SvpJqXPwZ [4] http://telescoping.rice.edu/

[Reply][About]

[<<][math][>>][..]