메뉴 건너뛰기




Volumn 45, Issue 5-6, 1998, Pages 519-541

Involutive bases of polynomial ideals

Author keywords

Buchberger's chain criterion; Computer algebra; Gr bner bases; Involutive algorithm; Involutive bases; Involutive monomial division; Polynomial ideals; Polynomial reduction

Indexed keywords

ALGORITHMS; CALCULATIONS; PARTIAL DIFFERENTIAL EQUATIONS; SET THEORY;

EID: 0032024774     PISSN: 03784754     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0378-4754(97)00127-4     Document Type: Article
Times cited : (148)

References (18)
  • 2
    • 0002803133 scopus 로고
    • Gröbner Bases: An Algorithmic Method in Polynomial Ideal Theory
    • N.K. Bose (Ed.), Reidel, Dordrecht
    • B. Buchberger, Gröbner Bases: an Algorithmic Method in Polynomial Ideal Theory, in: N.K. Bose (Ed.), Recent Trends in Multidimensional System Theory, Reidel, Dordrecht, 1985, pp. 184-232.
    • (1985) Recent Trends in Multidimensional System Theory , pp. 184-232
    • Buchberger, B.1
  • 3
    • 0003204425 scopus 로고
    • Gröbner Bases. A Computational Approach to Commutative Algebra
    • Springer, New York
    • T. Becker, V. Weispfenning, H. Kredel, Gröbner Bases. A Computational Approach to Commutative Algebra, Graduate Texts in Mathematics 141, Springer, New York, 1993.
    • (1993) Graduate Texts in Mathematics , vol.141
    • Becker, T.1    Weispfenning, V.2    Kredel, H.3
  • 4
    • 0003440510 scopus 로고
    • Preprint No. 45, Dip. di Mathematica, Univ. di Genova
    • T. Mora, Seven Variations on Standard Bases, Preprint No. 45, Dip. di Mathematica, Univ. di Genova, 1988.
    • (1988) Seven Variations on Standard Bases
    • Mora, T.1
  • 5
    • 84984647753 scopus 로고
    • Non-commutative Gröbner bases in algebras of solvable type
    • A. Kandri-Rody, V. Weispfenning, Non-commutative Gröbner bases in algebras of solvable type, J. Symb. Comp. 9 (1990) 1-26.
    • (1990) J. Symb. Comp. , vol.9 , pp. 1-26
    • Kandri-Rody, A.1    Weispfenning, V.2
  • 6
    • 85034782464 scopus 로고
    • Gröbner bases and differential algebra
    • G. Carra'Ferro, Gröbner bases and differential algebra, Lec. Not. in Comp. Sci. 356 (1987) 129-140.
    • (1987) Lec. Not. in Comp. Sci. , vol.356 , pp. 129-140
    • Carra'Ferro, G.1
  • 7
    • 0004342708 scopus 로고
    • Standard bases of differential ideals
    • F. Ollivier, Standard bases of differential ideals, Lec. Not. in Comp. Sci. 508 (1990) 304-321.
    • (1990) Lec. Not. in Comp. Sci. , vol.508 , pp. 304-321
    • Ollivier, F.1
  • 9
    • 0002856938 scopus 로고
    • Sur les systèmes d'équations aux dérivées partielles
    • M. Janet, Sur les systèmes d'équations aux dérivées partielles, J. Math, pure et Appl. 3 (1920) 65-151.
    • (1920) J. Math, Pure et Appl. , vol.3 , pp. 65-151
    • Janet, M.1
  • 10
    • 0004017884 scopus 로고
    • American Mathematical Society, New York
    • J. Thomas, Differential Systems, American Mathematical Society, New York, 1937.
    • (1937) Differential Systems
    • Thomas, J.1
  • 12
    • 0346359719 scopus 로고
    • Gröbner Bases and Involutive Methods for Algebraic and Differential Equations
    • J. Fleischer, J. Grabmeier, F.W. Hehl, W. Küchlin (Eds.), World Scientific, Singapore
    • 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.
    • (1995) Computer Algebra in Science and Engineering , pp. 117-137
    • Gerdt, V.P.1
  • 13
    • 0030289327 scopus 로고    scopus 로고
    • Involutive Approach to Investigating Polynomial Systems
    • Proceedings of "SC 93", International IMACS Symposium on Symbolic Computation: New Trends and Developments (Lille, June 14-17, 1993)
    • 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.
    • (1996) Math. Comp. Simul , vol.42 , pp. 323-332
    • Zharkov, A.Yu.1    Blinkov, Yu.A.2
  • 15
    • 0037917272 scopus 로고    scopus 로고
    • Solving Zero-Dimentional Involutive Systems
    • L. Gonzales-Vega, T. Recio (Eds.), Birkhäuser, Basel
    • A.Yu. Zharkov, Solving Zero-Dimentional Involutive Systems, in: L. Gonzales-Vega, T. Recio (Eds.), Algorithms in Algebraic Geometry and Applications, Progress in Mathematics, Vol. 143, Birkhäuser, Basel, 1996, pp. 389-399.
    • (1996) Algorithms in Algebraic Geometry and Applications, Progress in Mathematics , vol.143 , pp. 389-399
    • Zharkov, A.Yu.1
  • 16
    • 84980263493 scopus 로고
    • A Criterion for Detecting Unnecessary Reductions in the Construction of Gröbner Bases. Proc. EUROSAM 79
    • E.W. Ng (Ed.), Springer, Berlin
    • B. Buchberger, A Criterion for Detecting Unnecessary Reductions in the Construction of Gröbner Bases. Proc. EUROSAM 79, in: E.W. Ng (Ed.), International Symposium on Symbolic and Algebraic Manipulation, Springer, Berlin, 1979, pp. 3-21.
    • (1979) International Symposium on Symbolic and Algebraic Manipulation , pp. 3-21
    • Buchberger, B.1
  • 17
    • 0346359715 scopus 로고
    • Private communication
    • A.Yu. Zharkov, Private communication, 1994.
    • (1994)
    • Zharkov, A.Yu.1
  • 18
    • 0000527641 scopus 로고
    • A Gröbner approach to involutive bases
    • J. Apel, A Gröbner approach to involutive bases, J. Symb. Comp. 19 (1995) 441-457.
    • (1995) J. Symb. Comp. , vol.19 , pp. 441-457
    • Apel, J.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.