Minimal involutive bases

Mathematics and Computers in Simulation

Volumn 45, Issue 5-6, 1998, Pages 543-560

  Gerdt, Vladimir P ^a   Blinkov, Yuri A ^b  

^a JOINT INSTITUTE FOR NUCLEAR RESEARCH   (Russian Federation)

^b SARATOV STATE UNIVERSITY   (Russian Federation)

Author keywords

Computer algebra; Gr bner bases; Involutive algorithm; Involutive monomial division; Minimal involutive bases; Polynomial ideals

Indexed keywords

ALGEBRA; ALGORITHMS; CALCULATIONS; GEOMETRY; THEOREM PROVING;

COMPUTER ALGEBRA; GROBNER BASES; INVOLUTIVE MONOMIAL DIVISION; MINIMAL INVOLUTIVE BASES;

POLYNOMIALS;

EID: 0032021882     PISSN: 03784754     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0378-4754(97)00128-6     Document Type: Article

References (30)

1. B. Buchberger, An Algorithm for Finding a Basis for the Residue Class Ring of a Zero-dimensional Polynomial Ideal (in German), PhD Thesis, University of Innsbruck, Austria, 1965.
2. D. Cox, J. Little, D. O'Shea, Ideals, Varieties and Algorithms, An Introduction to Computational Algebraic Geometry and Commutative Algebra, 2nd ed., Springer, New-York, 1995.
3. T. Becker, V. Weispfenning, H. Kredel, Gröbner Bases, A Computational Approach to Commutative Algebra, Graduate Texts in Mathematics 141, Springer, New York, 1993.
4. B. Mishra, Algorithmic Algebra, Springer, New York, 1993.
5. T. Mora, An introduction to commutative and non-commutative Gröbner bases, Theor. Comp. Sci. 134 (1994) 131-173.
6. A. Kandri-Rody, V. Weispfenning, Non-cummutative Gröbner bases in algebras of solvable type, J. Symb. Comp. 9 (1990) 1-26.
7. A.A. Mikhalev, A.A. Zolotykh, Combinatiorial Aspects of Lie Superalgebras, CRC Press, Boca Raton, New York, 1995.
8. G. Carra'Ferro, Gröbner bases of differential algebra, Lec. Not. Comp. Sci. 356 (1987) 129-140.
9. F. Ollivier, Standard bases of differential ideals, Lec. Not. Comp. Sci. 508 (1990) 304-321.
10. B. Buchberger, A Criterion for Deteching Unnecessary Reductions in the Construction of Gröbner Bases, in: E.W. Ng, (Ed.), Proceedings of EUROSAM 79, Springer, Berlin, 1979, pp. 3-21.
11. B. Buchberger, Gröbner Bases: an Algorithmic Method in Polynomial Ideal Theory, in: N.K. Bose (ed.), In Recent Trends in Multidimensional System Theory, Reidel, Dordrecht, 1985, pp. 184-232.
12. R. Gebauer, H.M. Möller, On an installation of Buchberger's algorithm, J. Symb. Comp. 6 (1988) 275-286.
13. A. Giovini, T. Mora, G. Niesi, L. Robbiano, C. Traverso, One sugar cube, please' or selection strategies in the Buchberger algorithm, in: S.M. Watt (Ed.), Proceedings of the ISSAC'91, ACM Press, 1991, pp. 49-54.
14. J.C. Faugère, P. Gianni, D. Lazard, T. Mora, Efficient computation of zero-dimensional Gröbner bases by change of ordering, J. Symb. Comp. 16 (1993) 329-344.
15. A.Yu. Zharkov, Yu.A. Blinkov, Involutive Approach to Investigating Polynomial Systems, In: Proceedings of SC 93, International IMACS Symposium on Symbolic Computation: New Trends and Developments (Lille, June 14-17, 1993), Math. Comp. Simul. 42 (1996), 323-332.
16. J.F. Pommaret, Systems of Partial Differential Equations and Lie Pseudogroups, Gordon & Breach, New York, 1978.
17. M. Janet, Sur les systèmes d'équations aux dérivées partielles, J. Math. Pure et Appl. 3 (1920) 65-151.
18. A.Yu. Zharkov, Solving Zero-Dimensional Involutive Systems, L. Gonzales-Vega, T. Recio (eds.), in: Algorithms in Algebric Geometry and Applications, Progress in Mathematics, Vol. 143, Birkhäuser, Basel, 1996, pp. 389-399.
19. A.Yu. Zharkov, Yu.A. Blinkov, Involutive Bases of Zero-Dimensional Ideals. Preprint No. E5-94-318, Joint Institute for Nuclear Research, Dubna, 1993.
20. J. Apel, A Gröbner approach to involutive bases, J. Symb. Comp. 19 (1995) 441-457.
21. P.A. García-Sánchez, Gröbner and involutive bases for zero-dimensional ideals, SIGSAM Bulletin 29(2) (1995) 12-15.
22. V.P. Gerdt, Yu.A. Blinkov, Involutive Bases of Polynomial Ideals, Preprint-Nr. 1/1996, Naturwissenschaftlich-Theoretisches Zentrum, University of Leipzig, 1996, This issue.
23. J. Thomas, Differential Systems, American Mathematical Society, New York, 1937.
24. F. Schwarz, An algorithm for determining the size of symmetry groups, Computing 49 (1992) 95-115.
25. V.P. Gerdt, Gröbner Bases and Involutive Methods for Algebraic and Differential Equations, in: J. Fleischer, J. Grabmeier, F.W. Hehl, W. Küchlin (Eds.), Computer Algebra in Science and Engineering, World Scientific, Singapore, 1995, pp. 117-137.
26. V.P. Gerdt, Involutive Division Methods Applied to Algebraic and Differential Equations, In preparation.
27. C. Riquier, Les Systèmes d'Equations aux Dérivées Partielles, Gauthier-Villars, Paris, 1910.
28. G.J. Reid, Algorithms for reducing a system of PDEs to standard form, determining the dimension of its solution space and calculating its Taylor series solution, Euro. J. Appl. Maths. 2 (1992) 293-318.
29. W.M. Seiler, Analysis and Application of the Formal Theory of Partial Differential Equations, PhD Thesis, Lancaster University, 1994.
30. V.P. Gerdt, V.V. Kornyak, Construction of Finitely Presented Lie Algebras and Superalgebras, J. Symb. Comp., 21, pp. 337-349.