//-->
Differential manifolds
Ames, W.F., (1993)
Scientific computing with automatic result verification
Mathematics and logic