Computing with Formal Power Series
ACM Transactions on Mathematical Software (TOMS)
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
Hi-index | 0.00 |
A programming system is described which accepts as input a formal description of a problem in ordinary differential equations and produces as output a program for solving that problem. It is capable of accepting arbitrary order, non-linear coupled sets of equations with initial conditions or the most general boundary conditions. Internal to the system is a package for performing symbolic algebra, and use is made of this in generating a program to do numerical work appropriate to the particular set of equations presented. This use of an algebra system thus makes sophisticated and powerful numerical techniques available to the non-specialist programmer.