Abstract
Generalized differential resultants of algebraic ODEs are introduced and relations between generalized differential resultant systems and differential elimination are shown.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Boulier, F., Lazard, D., Ollivier, F. and Petitot, M.: Representation for the radical of a finitely generated differential ideal. In: Proc. ISSAC’ 95, pp. 158–166. ACM Press, New York (1995).
Boulier, F.: Etude et implantation de quelques algorithmes en algebre differentielle. Ph.D. thesis, Universite de Lille, France (1994).
Boulier, F.: Some improvements of a lemma of Rosenfeld. Preprint, Universite de Lille, France (1996).
Canny, J. and Emiris, J.: An effcient algorithm for the sparse mixed resultant. In: Applied Algebra, Algebraic Algorithms and Error-correcting Codes (AAECC-10) (G. Cohen, T. Mora and O. Moreno, eds.), Lecture Notes in Computer Science 673, pp. 89–104. Springer-Verlag, Berlin Heidelberg (1993).
Canny, J. and Emiris, J.: A subdivision-based algorithm for the sparse resultant. J. ACM 47 (2000), 417–451.
Canny, J. and Manocha, D.: Multipolynomial resultant algorithms. J. Symb. Comput. 15 (1993), 99–122.
Carrá Ferro, G.: Gröbner bases and differential algebra. In: Lecture Notes in Computer Science 356, pp. 129–140. Springer-Verlag, Berlin Heidelberg (1987).
Carrá Ferro, G.: A resultant theory for the systems of two ordinary algebraic differential equations. Appl. Alg. Eng. Comm. Comp. (1997), 539–560.
Carrá Ferro, G.: A resultant theory for ordinary algebraic differential equations. In: Lecture Notes in Computer Science 1255, pp. 55–65. Springer-Verlag, Berlin Heidelberg (1997).
Cox, D., Little, J. and O’Shea D.: Ideals, Varieties and Algorithms. Springer-Verlag, New York (1992).
Cox, D., Little, J. and O’Shea D.: Using Algebraic Geometry. Springer-Verlag, New York (1998).
Diop, S. and Fliess, M.: On nonlinear observability. In: Proc. First Europ. Control Conf., pp. 152–157. Hermes, Paris (1991).
Diop, S.: Elimination in control theory. Math. Control Signal Syst. 4 (1991), 17–32.
Diop, S.: Finite morphisms of differential algebraic varieties and elimination theory. In: Analysis of Controlled Dynamical Systems — Proc. Conf. 1990, pp. 193–200. Birkhäuser, Basel Boston (1991).
Diop, S.: Differential algebraic decision methods and some application to system theory. Theoret. Comput. Sci. 98 (1992), 137–161.
Fliess, M.: Automatique et corps differentiels. Forum Math. 1 (1989), 227–238.
Fliess, M.: Generalized controller canonical forms for linear and nonlinear dynamics. IEEE Trans. Autom. Control 35 (1990), 994–1001.
G’elfand, I. M., Kapranov, M. M. and Zelevinski, A.V.: Discriminants, resultants and multidimensional determinants. In: Mathematics: Theory and Applications. Birkhäuser, Boston (1994).
Hodge, W. V. D. and Pedoe, D.: Methods of Algebraic Geometry, vol. 1. Cambridge University Press, Cambridge (1947).
Hubert, E.: Factorization-free decomposition algorithms in differential algebra. J. Symb. Comput. 29 (2000), 641–622.
Hubert, E.: Notes on triangular sets and triangular decomposition algorithms II. In: Lecture Notes in Computer Science 2630, pp. 40–87. Springer-Verlag, Berlin Heidelberg (2003).
Jouanolou, J.-P.: Le formalisme du résultant. Adv. Math. 90 (1991), 117–263.
Jouanolou, J.-P.: Formes d’inertieet résultant: un formulaire. Adv. Math. 126 (1997), 119–250.
Kolchin, E.: Differential Algebra and Algebraic Groups. Academic Press, New York (1973).
Macaulay, F. S.: The Algebraic Theory of Modular Systems. Cambridge University Press, Cambridge (1916).
Margaria, G., Riccomagno, E. and White, L. J.: Structural identifiability analysis of some highly structured families of statespace models using differential algebra. J. Math. Biol. 49 (2004), 433–454.
Ollivier, F.: Standard bases of differential ideals. In: Lecture Notes in Computer Science 508, pp. 304–321. Springer-Verlag, Berlin Heidelberg (1990).
Riccomagno, E. and White, L. J.: Multi-strain species modeling via differential algebra reduction. Preprint (1997).
Ritt, J. F.: Differential Algebra, AMS Coll. Publ. 33. AMS, New York (1950).
Sturmfels, B.: On the Newton polytope of the resultant. J. Algebraic Comb. 3 (1994), 207–236.
Sturmfels, B.: Sparse elimination theory. In: Computational Algebraic Geometry and Commutative Algebra (D. Eisenbud and L. Robbiano, eds.), pp. 264–298. Cambridge University Press, Cambridge (1993).
Wang, D.: Geometric theorem proving with existing technology. MEDLAR II Deliverable DII.41P (1993). In: Proc. ATCM’ 95 (Singapore, December 18–21, 1995), pp. 561–570.
Weispfenning, V.: Differential-term orders. In: Proc. ISAAC’ 93, pp. 245–253. ACM Press, New York (1993).
Wu, W.-t.: Mechanical derivation of Newton’s gravitational laws from Kepler’s laws. Mathematics Mechanization Research Reprints 1 (1987), 53–61.
Wu, W.-t.: On the foundation of algebraic differential geometry. Mathematics Mechanization Research Reprints 3 (1989), 1–26. Syst. Sci. Math. Sci. 2, 289-312.
Van der Waerden, B. L.: Modern Algebra II (3rd edn.). F. Ungar Publ. Co., New York (1950).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Birkhäuser Verlag Basel/Switzerland
About this paper
Cite this paper
Carrá Ferro, G. (2005). Generalized Differential Resultant Systems of Algebraic ODEs and Differential Elimination Theory. In: Wang, D., Zheng, Z. (eds) Differential Equations with Symbolic Computation. Trends in Mathematics. Birkhäuser Basel. https://doi.org/10.1007/3-7643-7429-2_18
Download citation
DOI: https://doi.org/10.1007/3-7643-7429-2_18
Publisher Name: Birkhäuser Basel
Print ISBN: 978-3-7643-7368-9
Online ISBN: 978-3-7643-7429-7
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)