Differential Equations with Symbolic Computation pp 351-368 | Cite as
On the Construction of Groebner Basis of a Polynomial Ideal Based on Riquier—Janet Theory
Conference paper
Abstract
As a consequence of a previous study of algebraic differential geometry ([see WU1]) there may be associated to certain special kinds of differential ideals some well-behaved basis enjoying some well-behaved properties. If the differential ideals are further specialized so that they correspond to ordinary polynomial ideals then such a well-behaved basis will become the usual Groebner basis of the polynomial ideals while the latter is not known for differential ideals.
Keywords
Polynomial ideal differential ideal well-behaved basis Groebner basisPreview
Unable to display preview. Download preview PDF.
References
- [BU1]Buchberger, B., Ein algorithmisches Kriterium fuer die Loesbarkeit eines algebraishes Gleichungs-systems, Aeq. Math., 4 (1970), 374–383.MATHMathSciNetGoogle Scholar
- [BU2]Buchberger, B., Some properties of Groebner bases for polynomial ideals, ACM SIGSAM. Bull., 10 (1976), 19–24.MathSciNetGoogle Scholar
- [BU3]Buchberger, B., An algorithmic method in polynomial ideal theory, in N. K. Bose (Ed.), Recent trends in multidimensional systems theory, Reidel, 184–232, 1985.Google Scholar
- [CAR]Cartan, E., Les systèmes différentiels extérieurs et leurs applications géometriques, Paris, 1945.Google Scholar
- [J]Janet, M., Leçons sur les systèmes d’équations aux dérivées partielles, Gauthier Villars, 1920.Google Scholar
- [K]Kolchin, E. R., Differential algebra and algebraic groups, Academic Press, 1973.Google Scholar
- [L]Li, Ziming, Automatic implicitization of parametric objects, MM-Res. Preprints, No. 4 (1989), 54–62.Google Scholar
- [M]Macaulay, F. S., Some properties of enumeration in the theory of modular systems. Proc. London Math. Soc., 26 (1927), 531–555.MATHGoogle Scholar
- [RQ]Riquier, C. H., La méthode des fonctions majorantes et les systèmes d’équations aux dérivées partielles, Gauthier Villars, 1928.Google Scholar
- [RITT1]Ritt, J. F., Differential equations from the algebraic standpoint, Amer. Math. Soc., 1932.Google Scholar
- [RITT2]Ritt, J. F., Differential algebra, Amer. Math. Soc., 1950.Google Scholar
- [TH]Thomas, J. M., Differential systems, Amer. Math. Soc., 1937.Google Scholar
- [TR]Trinks, W., On Buchberger’s method for solving systems of algebraic equations, J. Number Theory, 10 (1978), 475–488.MATHMathSciNetGoogle Scholar
- [WA]Wall, B., On the computation of syzygies, ACM SIGSAM Bull, 23 (1989), 5–14.MathSciNetGoogle Scholar
- [WU1]Wu, Wen-tsün, On the foundation of algebraic differential geometry, MM-Res. Preprints, No. 3 (1989), 1–26, also in Sys. Sci. & Math Scis., 2 (1989), 289-312.Google Scholar
- [WU2]Wu, Wen-tsün, On a projection theorem of quasi-varieties in elimination theory, MM-Res. Preprints, No. 4 (1989), 40–48, also in Chin. Ann. of Math., 11 B: 2 (1990), 220-226.Google Scholar
Copyright information
© Birkhäuser Verlag Basel/Switzerland 2005