Notes on triangular sets and triangulation-decomposition algorithms II: Differential systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2630, Issue , 2003, Pages 40-87

  Hubert, Evelyne ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DIFFERENTIAL EQUATIONS; SURVEYING; TRIANGULATION;

DIFFERENTIAL SYSTEMS; MATHEMATICAL OBJECTS; TRIANGULAR SETS; TRIANGULATION DECOMPOSITION;

ALGORITHMS;

EID: 27644560295     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45084-x_2     Document Type: Article

References (75)

1. R. L. Anderson, V. A. Baikov, R. K. Gazizov, W. Hereman, N. H. Ibragimov, F. M. Mahomed, S. V. Meleshko, M. C. Nucci, P. J. Olver, M. B. Sheftel, A. V. Turbiner, and E. M. Vorob'ev. CRC handbook of Lie group analysis of differential equations. Vol. 3. CRC Press, Boca Raton, FL, 1996. New trends in theoretical developments and computational methods.
2. J. Apel. Passive Complete Orthonormal Systems of PDEs and Riquier Bases of Polynomial Modules. 2003. In this volume.
3. U. M. Ascher and L. R. Petzold. Computer methods for ordinary differential equations and differential-algebraic equations. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 1998.
4. P. Aubry and D. Wang. Reasonning about surfaces using differential zero and ideal decomposition. In J. Richet-Gebert and D. Wang, editors, ADG 2000, number 2061 in LNAI, pages 154-174, 2001.
5. T. Becker and V. Weispfenning. Gröbner Bases - A Computational Approach to Commutative Algebra. Springer-Verlag, New York, 1993.
6. F. Boulier. Étude et Implantation de Quelques Algorithmes en Algèbre Différentielle. PhD thesis, Université de Lille, 1994.
7. F. Boulier. A new criterion to avoid useless critical pairs in buchberger's algorithm. Technical Report 2001-07, LIFL, Université de Lille, ftp://ftp.lifl.fr/pub/ reports/internal/2001-07.ps, 2001.
8. F. Boulier and E. Hubert. DIFFALG: description, help pages and examples of use. Symbolic Computation Group, University of Waterloo, Ontario, Canada, 1998. Now available at http://www.inria.fr/cafe/Evelyne.Hubert/webdiffalg.
9. F. Boulier, D. Lazard, F. Ollivier, and M. Petitot. Representation for the radical of a finitely generated differential ideal. In A. H. M. Levelt, editor, ISSAC'95. ACM Press, New York, 1995.
10. F. Boulier, D. Lazard, F. Ollivier, and M. Petitot. Computing representations for radicals of finitely generated differential ideals. Technical Report IT-306, LIFL, 1997.
11. F. Boulier and F. Lemaire. Computing canonical representatives of regular differential ideals. In C. Traverse, editor, ISSAC. ACM-SIGSAM, ACM, 2000.
12. F. Boulier, F. Lemaire, and M. Moreno-Maza. Pardi! In ISSAC 2001. pp 38-17, ACM, 2001.
13. D. Bouziane, A. Kandri Rody, and H. Maârouf. Unmixed-dimensional decomposition of a finitely generated perfect differential ideal. Journal of Symbolic Computation, 31(6):631-649, 2001.
14. K. E. Brenan, S. L. Campbell, and L. R. Petzold. Numerical solution of initial value problems in differential-algebraic equations. North-Holland, 1989.
15. A. Buium and P. J. Cassidy. Differential algebraic geometry and differential algebraic groups: from algebraic differential equations to diophantine geometry. In Bass et al. [39].
16. G. Carra Ferro. Gröbner bases and differential algebra. In AAECC, volume 356 of Lecture Notes in Computer Science. Springer-Verlag Berlin, 1987.
17. G. Carrà Ferro and W. Y. Sit. On term-orderings and rankings. In Computational algebra (Fairfax, VA, 1993), number 151 in Lecture Notes in Pure and Applied Mathematics, pages 31-77. Dekker, New York, 1994.
18. E. Cartan. Les systèmes Différentiels Extérieurs et leurs Applications Géométrique. Hermann, 1945.
19. J. Chazy. Sur les équations différentielles du troisième ordre et d'ordre supérieur dont l'intégrale générale a ses points critiques fixes. Acta Mathematica, 34:317-385, 1911.
20. E. S. Cheb-Terrab. Odetools: A maple package for studying and solving ordinary differential equations. http://lie.uwaterloo.ca/description/odetools, 1998. presented for the incoming update of "Handbook of Computer Algebra".
21. E. S. Cheb-Terrab, L. G. S. Duarte, and L. A. C. P. da Mota. Computer algebra solving of first order ODEs using symmetry methods. Computer Physics Communications. An International Journal and Program Library for Computational Physics and Physical Chemistry, 101(3):254-268, 1997.
22. E. S. Cheb-Terrab, L. G. S. Duarte, and L. A. C. P. da Mota. Computer algebra solving of second order ODEs using symmetry methods. Computer Physics Communications. An International Journal and Program Library for Computational Physics and Physical Chemistry, 108(1):90-114, 1998.
23. S-C. Chou and X-S. Gao. Automated reasonning in differential geometry and mechanics using the characteristic set method. part II. mechanical theorem proving. Journal of Automated Reasonning, 10:173-189, 1993.
24. P. A. Clarkson, D. K. Ludlow, and T. J. Priestley. The classical, direct, and non-classical methods for symmetry reductions of nonlinear partial differential equations. Methods and Applications of Analysis, 4(2):173-195, 1997. Dedicated to Martin David Kruskal.
25. P. A. Clarkson and E. L. Mansfield. Symmetry reductions and exact solutions of a class of non-linear heat equations. Physica, D70:250-288, 1994.
26. T. Cluzeau and E. Hubert. Resolvent representation for regular differential ideals. Applicable Algebra in Engineering, Communication and Computing, 13(5):395-425, 2003.
27. S. Diop. Differential-algebraic decision methods and some applications to system theory. Theoretical Computer Science, 98(1):137-161, 1992.
28. Second Workshop on Algebraic and Computer-theoretic Aspects of Formal Power Series (Paris, 1990).
29. D. Eisenbud. Commutative Algebra with a View toward Algebraic Geometry. Graduate Texts in Mathematics. Springer-Verlag New York, 1994.
30. M. Fliess and S.T. Glad. An algebraic approach to linear and nonlinear control. In H.L. Trentelman and J.C. Willems, editors, Essays on control: Perspectives in the theory and its applications, volume 14 of PCST, pages 223-265. Birkhäuser, Boston, 1993.
31. L. Guo, W. F. Keigher, P. J. Cassidy, and W. Y. Sit, editors. Differential Algebra and Related Topics. World Scientific Publishing Co., 2002.
32. E. Hairer and G. Wanner. Solving Ordinary Differential Equations II - Stiff and Differential- Algebraic Problems - Second Revised Edition. Springer, 1996.
33. E. Hubert. Essential components of an algebraic differential equation. Journal of Symbolic Computation, 28(4-5):657-680, 1999.
34. E. Hubert. Factorisation free decomposition algorithms in differential algebra. Journal of Symbolic Computation, 29(4-5):641-662, 2000.
35. E. Hubert. Notes on triangular sets and triangulation-decomposition algorithms. I Polynomial systems. In this volume, 2003.
36. E. L. Ince. Ordinary Differential Equations. Dover Publications, Inc., 1956.
37. M. Janet. Sur les systèmes d'équations aux dérivées paritelles. Gauthier-Villars, 1929.
38. M. Kalkbrener. A generalized Euclidean algorithm for computing triangular representations of algebraic varieties. Journal of Symbolic Computation, 15(2):143-167, 1993.
39. I. Kaplansky. An Introduction to Differential Algebra. Hermann, Paris, 1970.
40. E. Kolchin. Selected works of Ellis Kolchin with commentary. Commentaries by Armand Borel, Michael F. Singer, Bruno Poizat, Alexandru Buium and Phyllis J. Cassidy, Edited and with a preface by Hyman Bass, Buium and Cassidy. American Mathematical Society, Providence, RI, 1999.
41. E. R. Kolchin. Differential Algebra and Algebraic Groups, volume 54 of Pure and Applied Mathematics. Academic Press, New York-London, 1973.
42. D. Lazard. Solving zero dimensional algebraic systems. Journal of Symbolic Computation, 15:117-132, 1992.
43. F. Lemaire. Contribution à l'algorithmique en algèbre différentielle. PhD thesis, Université des Sciences et Technoligies de Lille, http://www.lifl.fr/∼lemaire/ pub, 2002.
44. Z. Li. Mechanical theorem proving in the local theory of surfaces. Annals of Mathematics and Artificial Intelligence, 13(1-2):25-46, 1995.
45. Z. Li and D. Wang. Coherent, regular and simple system in zero decompositions of partial differential systems. Systems Sciences and Mathematical Sciences, 12 suppl, 1999.
46. B. Malgrange. Differential algebra and differential geometry. In Differential Geometry - Kyoto Nara 2000, 2000. to appear.
47. E. L. Mansfield. Differential Gröbner Bases. PhD thesis, University of Sydney, 1991.
48. E. L. Mansfield. DIFFGROB2: a symbolic algebra package for analysing systems of PDE using MAPLE. University of Exeter, 1994. Preprint M/94/4.
49. E. L. Mansfield, G. J. Reid, and P. A. Clarkson. Nonclassical reductions of a 3+1-cubic nonlinear Schrödinger system. Computer Physics Communications, 115:460-488, 1998.
50. G. Margaria, E. Riccomagno, M. J. Chappell, and H. P. Wynn. Differential algebra methods for the study of the structural identifiability of rational function state-space models in the biosciences. Mathematical Biosciences, 174(1):1-26, 2001.
51. M. Moreno Maza and R. Rioboo. Polynomial gcd computations over towers of algebraic extensions. In Applied algebra, algebraic algorithms and error-correcting codes (Paris, 1995), pages 365-382. Springer, Berlin, 1995.
52. ∞. Journal of Symbolic Computation, 28(4-5):631-656, 1999.
53. F. Ollivier. Canonical bases : Relations with standard bases, finiteness conditions and application to tame automorphisms. In Costiglioncello, editor, MEGA'90. Birkhauser, August 1990.
54. P. Olver. Applications of Lie Groups to Differential Equations. Number 107 in Graduate texts in Mathematics. Springer-Verlag, New York, 1986.
55. G. J. Reid. Algorithms for reducing a system of pde to standard form, determining the dimension of its solution space and calculating its taylor series solution. European Journal Of Applied Mathematics, 2:293-318, 1991.
56. G. J. Reid. Finding abstract Lie symmetry algebras of differential equations without integrating determining equations. European Journal of Applied Mathematics, 2(4):319-340, 1991.
57. G. J. Reid, A. D. Wittkopf, and A. Boulton. Reduction of systems of nonlinear partial differential equations to simplified involutive forms. Eur. J. ofAppl. Math., 7:604 - 635, 1996.
58. C. Riquier. Les systèmes d'q́uations aux dérivés partielles. Gauthier-Villars, Paris, 1910.
59. J. F. Ritt. Differential Equations from the Algebraic Standpoint. Amer. Math. Soc. Colloq. Publ., 1932.
60. J. F. Ritt. On the singular solutions of algebraic differential equations. Annals of Mathematics, 37(3):552-617, 1936.
61. J. F. Ritt. Differential Algebra, volume XXXIII of Colloquium publications. American Mathematical Society, 1950. Reprinted by Dover Publications, Inc (1966).
62. A. Rosenfeld. Specializations in differential algebra. Transaction of the American Mathematical Society, 90:394-407, 1959.
63. C. J. Rust and G. J. Reid. Rankings of partial derivatives. In Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation (Kihei, HI), pages 9-16, New York, 1997. ACM.
64. C. J. Rust, G. J. Reid, and A. D. Wittkopf. Existence and uniqueness theorems for formal power series solutions of analytic differential systems. In Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation (Vancouver, BC), pages 105-112, New York, 1999. ACM.
65. F. Schwarz. Algorithmic Lie theory for solving ordinary differential equations. 2003. In this volume.
66. A. Sedoglavic. A probabilistic algorithm to test local algebraic observability in polynomial time. In B. Mourrain, editor, Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation (London, Canada, July 22-25 2001), pages 309-316, 2001.
67. A. Seidenberg. An elimination theory for differential algebra. University of California Publications in Mathematics, 3(2):31-66, 1956.
68. W. Seiler. Computer algebra and differential equations - an overview. mathPAD 7, 7:34-49, 1997.
69. W. Sit. The Ritt-Kolchin theory for differential polynomials. In Guo et al. [30].
70. G. Thomas. Contributions Théoriques et Algorithmiques à l'Étude des Équations Différentielles-Algébriques. Approche par le Calcul Formel PhD thesis, Institut National Polytechnique de Grenoble, Juillet 1997.
71. J. Visconti. HIDAES (Higher Index Differential Algebraic Equations Solver). Software and test set. Technical report, LMC-IMAG, http://www-lmc.imag.fr/CF/ LOGICIELS/page_dae.html, 1999.
72. J. Visconti. Résolution numérique des équations algèbre-différentielles, Estimation de l'erreur globale et réduction formel de l'indice. PhD thesis, Institut National Polytechnique de Grenoble, 1999. http://www-lmc.imag.fr/CF/publi/theses/ visconti.ps.gz.
73. D. Wang. An elimination method for differential polynomial systems. I. Systems Science and Mathematical Sciences, 9(3):216-228, 1996.
74. A. Witkopf and G. Reid. The RIF package. CECM - Simon Fraser University - Vancouver, http://www.cecm.sfu.ca/wittkopf/rif.html.
75. W. T. Wu. Mechanical theorem proving of differential geometries and some of its applications in mechanics. Journal of Automated Reasoning, 7(2):171-191, 1991.