An Algorithm for Symbolic Solving of Differential Equations and Estimation of Accuracy.

Natasha Malaschonok

Browse the full CASC paper archive.