An algorithm for solving DAEs with mechanization

Applied Mathematics and Computation

Volumn 167, Issue 2, 2005, Pages 1350-1372

  Wang, Weiming ^a  

^a WENZHOU UNIVERSITY   (China)

Author keywords

Algorithm; Differential algebraic equations; Maple; Mechanization; Pad series; Power series

Indexed keywords

ALGEBRA; DIFFERENTIAL EQUATIONS; MATHEMATICAL MODELS; MECHANIZATION; THEOREM PROVING;

DIFFERENTIAL-ALGEBRAIC EQUATIONS; MAPLE; PADÉ SERIES; POWER SERIES;

ALGORITHMS;

EID: 25144478380     PISSN: 00963003     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.amc.2004.08.010     Document Type: Article

References (20)

1. W. Wu Basic principles of mechnical theorem proving in elementary geometries J. Automat. Reasoning 2 1986 221 252
2. J.G. Glimm Mathematical Sciences, Technology, and Economic Competitiveness 1992 National Academy Press Washington, DC
3. M. Braun Differential Equations and Their Applications fourth ed. 1993 Springer-Verlag New York, Inc.
4. U.M. Ascher On symmertric schemes and differential-algebraic equations SIAM J. Sci. Stat. Comput. 10 1989 937 949
5. U.M. Ascher, and L.R. Petzold Projected implicit Runge-Kutta methods for differential-algebraic equations SIAM J. Numer. Anal. 28 1991 1097 1120
6. C.W. Gear, L.R. Petzold, Computer methods for ordinary differential equations and differential-algebraic equations, Philadelphia, PA, 1998.
7. I. Higueras, and B. Carcia-Celayta Runge-Kutta methods for DAEs. A new approach J. Comput. Appl. Math. 111 1999 49 61
8. Y. Ren, and A. Spence A note on bifurcation points for index-1 differential-algebraic problems J. Comput. Appl. Math. 110 1999 1 14
9. E. Celik, E. Karaduman, and M. Bayram A numerical method to solve chemical differential-algebraic equations Int. J. Quant.Chem. 89 2002 447 451
10. E. Celik, and M. Bayram Arbitrary order numerical method for solving differential-algebraic equations by Padé series Appl. Math. Comput. 137 2003 57 65
11. E. Celik, and M. Bayram On the numerical solution of differential-algebraic equations by Padé series Appl. Math. Comput. 137 2003 151 160
12. E. Celik, E. Karaduman, and M. Bayram Numerical solution of chemical differential-algebraic equations Appl. Math. Comput. 139 2003 259 264
13. E. Celik On the numerical solution of chemical differential-algebraic equations by Padé series Appl. Math. Comput. 153 2004 13 17
14. F. Ayaz Applications of differential transform method to differential-algebraic equations Appl. Math. Comput. 152 2004 649 657
15. E. Celik, and M. Bayram Numerical solution of differential-algebraic equation systems and application Appl. Math. Comput. 154 2004 405 413
16. E. Celik On the numerical solution of differential-algebraic equations with index-2 Appl. Math. Comput. 156 2004 541 550
17. M.M. Hosseini, Numerical solution of linear differential-algebraic equations, Appl. Math. Comput., in press.
18. W. Wang Computer Algebra System and Symbolic Computation 2004 Gansu Sci-Tech Press Lanzhou, China (in Chinese)
19. W. Wang, X. Lian, A new algorithm for symbolic integral with application, Appl. Math. Comput., in press.
20. W. Chen, Z. Lu, An algorithm for Adomian decomposition method, Appl. Math. Comput., 2004, in press.