Janet's approach to presentations and resolutions for polynomials and linear pdes

Archiv der Mathematik

Volumn 84, Issue 1, 2005, Pages 22-37

  Plesken, W ^a   Robertz, D ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 12444314085     PISSN: 0003889X     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00013-004-1282-x     Document Type: Article

References (24)

1. W. W. ADAMS and P. LOUSTAUNAU, An Introduction to Gröbner Bases. Amer. Math. Soc. 1994.
2. J. APEL, The Theory of Involutive Divisions and Applications to Hubert Function Computations. J. Symbolic Computation 25, 683-704 (1998).
3. T. BECKER and V. WEISPFENNING, Gröbner Bases. A Computational Approach to Commutative Algebra. New York 1993.
4. Y. A. BLINKOV, C. F. CID, V. P. GERDT, W. PLESKEN and D. ROBERTZ, The MAPLE Package Janet: I. Polynomial Systems. II. Linear Partial Differential Equations. Proc. 6th Int. Workshop on Computer Algebra in Scientific Computing, Passau, 2003. Cf. also http://wwwb.math.rwth-aachen.de/Janet.
5. B. BUCHBERGER. Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal. PhD Thesis, Univ. Innsbruck, Austria 1965 (German).
6. F. CHYZAK, A. QUADRAT and D. ROBERTZ, Effective algorithms for parametrizing linear control systems over Ore algebras. Rapport de Recherche INRIA (2004). Cf. also http://www-sop.inria.fr/cafe/Alban.Quadrat.
7. F. CHYZAK and B. SALVY, Non-commutative elimination in Ore algebras proves multivariate identities. J. Symbolic Computation 26, 187-227 (1998).
8. V. P. GERDT and Y. A. BLINKOV, Involutive bases of polynomial ideals. Math. Comput. Simulation 45, 519-541 (1998).
9. V. P. GERDT and Y. A. BLINKOV, Minimal involutive bases. Math. Comput. Simulation 45, 543-560 (1998).
10. G.-M. GREUEL and G. PFISTER, A Singular Introduction to Commutative Algebra. Berlin 2002.
11. W. GRÖBNER, Über die algebraischen Eigenschaften der Integrale von linearen Differentialgleichungen mit konstanten Koeffizienten. Monatsh. Math. Phys. 47, 247-284 (1939) (German).
12. W. GRÖBNER, Über die Eliminationstheorie. Monatsh. Math. 54, 71-78 (1950) (German).
13. M. HAUSDORF and W. M. SEILER, An Efficient Algebraic Algorithm for the Geometric Completion to Involution. Appl. Algebra Eng. Comm. Comput. 13, 163-207 (2002).
14. M. JANET, Les modules des formes algébriques et la théorie générale des systèmes différentiels. Ann. Sci. Ecole Norm. Sup. 41(3), 27-65 (1924).
15. M. JANET, Leçons sur les systèmes des équations aux dérivées partielles. Cahiers Scientifiques IV. Paris 1929.
16. W. PLESKEN, Janet's Algorithm. In: S. Abenda, G. Gaeta, S. Walcher (eds.), Symmetry and Perturbation Theory (SPT 2002). Singapore 2003.
17. J.-F. POMMARET, Systems of Partial Differential Equations and Lie Pseudogroups. New York 1978.
18. J.-F. POMMARET, Partial Differential Equations and Group Theory. Dordrecht 1994.
19. J.-F. POMMARET, Partial Differential Control Theory. Dordrecht 2001.
20. A. QUADRAT, Analyse algébrique des systèmes de contrôle linéaires multidimensionnels. PhD Thesis, Ecole Nationale des Ponts et Chaussées, Paris 1999. Cf. also http://www-sop.inria.fr/ cafe/Alban.Quadrat.
21. F. -O. SCHREYER, Die Berechnung von Syzygien mit dem verallgemeinerten Weierstraßschen Divisionssatz und eine Anwendung auf analytische Cohen-Macaulay-Stellenalgebren minimaler Multiplizität. Diploma Thesis, Univ. Hamburg, Germany 1980 (German).
22. W. M. SEILER, A Combinatorial Approach to Involution and δ-Regularity, I: Involutive Bases in Polynomial Algebras of Solvable Type, II: Structure Analysis of Polynomial Modules with Pommaret Bases. Preprint Univ. Mannheim, Germany 2002.
23. A. Y. ZHARKOV and Y. A. BLINKOV, Involutive Approach to Investigating Polynomial Systems. Math, and Comput. Simulation 42, 323-332 (1996).
24. Y. A. BLINKOV, V. P. GERDT and D. A. YANOVICH, Construction of Janet bases: II. Polynomial Bases. V. G. Ganzha, E. W. Mayr and E. Vorozhtsov, eds.. Computer Algebra in Scientific Computing CASC 2001, 249-263, Berlin 2001.