刘伯温. Verification of solutions differential equations examples. Stiripesurse.

2014 a3.