Taylor series solutions of explicit ODE's in a strongly typed algebra system

This paper describes how Taylor series solutions of explicit ODE's were implemented in a strongly typed algebra system. The use of hierarchical typing allows one to write code which can be modified and expanded easily in a mathematically structured way. We also give a brief explanation of recent work at UC Berkeley in the context of algebraic system building.