Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential Equations

ISSN： 0928-8910

Source： Automated Software Engineering, Vol.5, Iss.3, 1998-07, pp. : 291-319

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Differential Equations and Algebraic Relations

By Compoint E.

Journal of Symbolic Computation, Vol. 25, Iss. 6, 1998-06 ,pp. : 705-725

Academic Press

Access to resources Recommend Favorite

Characteristic sets for ordinary differential equations

By Kondratieva M. Ovchinnikov A.

Programming and Computer Software, Vol. 31, Iss. 2, 2005-03 ,pp. : 91-96

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Global Optimization with Nonlinear Ordinary Differential Equations

By Singer Adam Barton Paul

Journal of Global Optimization, Vol. 34, Iss. 2, 2006-02 ,pp. : 159-190

Springer Publishing Company

Access to resources Recommend Favorite

INTEGRAL SURFACES FOR HYPERBOLIC ORDINARY DIFFERENTIAL EQUATIONS WITH IMPULSES

By HRISTOVA S.G. BAINOV D.D.

COMPEL: Int J for Computation and Maths. in Electrical and Electronic Eng., Vol. 4, Iss. 1, 1993-12 ,pp. : 1-18

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Generating algebraic laws from imperative programs

By Gumm H.P.

Theoretical Computer Science, Vol. 217, Iss. 2, 1999-04 ,pp. : 385-405

Elsevier

Access to resources Recommend Favorite