Abstract
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.

This publication has 1 reference indexed in Scilit: