Thomas Ellman, Takahiro Murata. Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential Equations. Automated Software Engineering, 5(3):291-319, 1998.
@article{EllmanM98, title = {Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential Equations}, author = {Thomas Ellman and Takahiro Murata}, year = {1998}, tags = { algebra}, researchr = {https://researchr.org/publication/EllmanM98}, cites = {0}, citedby = {0}, journal = {Automated Software Engineering}, volume = {5}, number = {3}, pages = {291-319}, }