Инволютивные методы исследования моделей, описываемых системами алгебраических и дифференциальных уравнений
Диссертация
Альтернативный подход методу базисов Грёбнера сформировался при исследовании дифференциальных уравнений. Часть свойств систем аналитических дифференциальных уравнений в частных производных (ДУЧП) может быть исследована без получения явного решения. Это проверка совместности и формулировка начальных условий, которые необходимы для доказательства существования и единственности решения. Классическая… Читать ещё >
Список литературы
- The database of polynomial systems, http://www.math.uic.edu/ ~ j an/demo.html.
- REDUCE, http://www.reduce-algebra.com.
- SINGULAR, http: //www. singular .uni-kl. de/.
- Adams, W. W. An Introduction to Grobner Bases / W. W. Adams, P. Loustaunau. — American Mathematical Society, 1994, — Vol. 3 of Graduate Studies in Mathematics.
- Amrhein, B. A Case Study of Multi-threaded Grobner Basis Computation / B. Amrhein, O. Gloor, W. Kuchlin // Proceedings of ISSAC / Ed. by Y. Lakshman.- ACM Press, New York, 1996. — Pp. 95−102.
- Apel, J. A Grobner approach to involutive bases / J. Apel // Journal of Symbolic Computation. — 1995. — Vol. 19, no. 5. — Pp. 441−458.
- Apel, J. The theory of involutive divisions and an application to Hilbert function computations / J. Apel // Journal of Symbolic Computation. — 1998. Vol. 25, no. 6. — Pp. 683−704.
- Apel, J. Passive Complete Orthonomic Systems and Involutive Bases / J. Apel- Ed. by F. Winkler, U. Langer. — Springer Berlin, Heidelberg, 2003. — Vol. 2630 of Lecture Notes in Computer Science. — Pp. 88−107.
- Apel, J. Detecting unnecessary reductions in an involutive basis computation / J. Apel, R. Hemmecke // Journal of Symbolic Computation. 2005. — Vol. 40, no. 4−5. — Pp. 1131−1149.
- Apel, J. FELIX: an assistant for algebraists / J. Apel, U. Klaus // International Symposium on Symbolic and Algebraic Computation. — Bonn, West Germany, 1991, — Pp. 382−389.
- Arnold, E. A. Modular algorithms for computing Grobner bases / E. A. Arnold // Journal of Symbolic Computation. — 2003. — Vol. 35, no. 4, — Pp. 403−419.
- Attardi, G. A strategy-accurate parallel Buchberger algorithm / G. Attardi, C. Traverso // Proceedings International Symposium Parallel Symbolic Computation. — World Scientific, Singapore, 1994, — Lecture Notes Series in Computing. — Pp. 49−54.
- Bachmann, O. Monomial representations for Grobner bases computations / O. Bachmann, H. Schonemann // Proceedings of ISSAC. ACM Press, 1998. — Pp. 309−321.
- Bakhturin, Yu. A. Infinite-dimensional Lie superalgebras / Yu. A. Bakhturin, A. A. Mikhalev, V. M. Petrogradsky, M. V. Zaicev. — Walter de Gruyter & Co., Berlin, 1992, — Vol. 7 of De Gruyter Expositions in Mathematics.
- Bayer, D. Computation of Hilbert functions / D. Bayer, M. Stillman // Journal of Symbolic Computation.— 1992.— Vol. 14, no. 1.— ' Pp. 31−50.
- Becker, T. Grobner Bases. A Computational Approach to Commutative Algebra / T. Becker, V. Weispfenning, H. Kredel. — Springer-Verlag, New York, 1993. — Vol. 141 of Graduate Texts in Mathematics.
- Berth, M. Computation of involutive bases with mathematica / M. Berth, V. P. Gerdt // Third International Workshop on «Mathematica» System in Teaching and Research. — University of Podlasie, Seldce, Poland, 2001, — Pp. 29−34.
- Bigatti, A. M. Computing toric ideals / A. M. Bigatti, R. La Scala, L. Robbiano 11 Journal of Symbolic Computation. — 1999. — Vol. 27. — Pp. 351−365.
- Bikker, P. On the Bezout construction of the resultant / P. Bikker, A. Yu. Uteshev // Journal of Symbolic Computation.— 1999. — Vol. 28, no. 1−2.- Pp. 45−88.
- Bini, D. Polynomial Test Suite / D. Bini, B. Mourrain. 1996. http: ' //www-sop.inria.fr/saga/POL.
- Blinkov, Yu. A. Method of separative monomials for involutive divisions / Yu. A. Blinkov 11 Programming and Computer Software. — 2001.- Vol. 27, no. 3.- Pp. 139−141.
- Blinkov, Yu. A. Computation of janet bases for toric ideals / Yu. A. Blinkov // Programming and Computer Software. — 2002. — Vol. 28, no. 5. — Pp. 290−292.
- Blinkov, Yu. A. Specialized computer algebra system GINV / Yu. A. Blinkov, V. P. Gerdt // Programming and Computer Software. — 2008. Vol. 34, no. 2. — Pp. 112−123.
- Blinkov, Yu. A. Generation of difference schemes for the burgers equation by constructing Grobner bases / Yu. A. Blinkov, V. V. Mozzhilkin // Programming and Computer Software.— 2006.— Vol. 32, no. 2, — Pp. 114−117.
- Boehm, H. Dynamic memory allocation and garbage collection / H. Boehm // Computers in Physics.— 1995.— Vol. 9, no. 3.— Pp. 297−303.
- Boge, W. Grobner bases using SAC2 / W. Boge, R. Gebauer, H. Kredel // Proceedings EUROCAL 85.- 1985.- Pp. 272−274.
- Boge, W. Some examples for solving systems of algebraic equations by calculating Grobner bases / W. Boge, R. Gebauer, H. Kredel // Journal of Symbolic Computation. — 1986. — Vol. 2, no. 1. — Pp. 83−98.
- Bokut, L. Grobner-Shirshov bases for some braid groups / L. Bokut, A. Vesnin // Journal of Symbolic Computation. — 2006.— Vol. 41.— Pp. 357−371.
- Boulanger, J.-L. Object oriented method for Axiom / J.-L. Boulanger // ACM SIGPLAN Notices. 1995. — Vol. 30, no. 2. — Pp. 33−41.
- Boulier, F. Representation for the radical of a finitely generated differential ideal / F. Boulier, D. Lazard, F. Ollivier, Petitot M. // Proceedings of ISSAC / Ed. by Levelt A. H. M. ACM Press, 1995. -Pp. 158−166.
- Bradford, R. A parallelization of the Buchberger algorithm / R. Bradford // Proceedings of the international symposium on Symbolic and algebraic computation. — Tokyo, Japan, 1990.— Pp. 296−296.
- Brown, W. C. On Euclid’s algorithm and the computation of polynomial greatest common divisors / W. C. Brown // Journal of the ACM. — 1971. Vol. 18, no. 4. — Pp. 476−504.
- Buchberger, B. Ein Algorithmus zum Auffinden der Basiselemente des Restklassenrings nach einem nulldimensionalen Polynomideal: Ph.D. thesis / Universitat Innsbruck. — 1965.
- Buchberger, В. An algorithmic criterion for the solvability of algebraic systems of equations / B. Buchberger // Aequationes Math. — 1970. — Vol. 4. Pp. 374−383.
- Buchberger, B. A theoretical basis for the reduction of polynomials to canonical forms / B. Buchberger // ACM SIGSAM Bull. 1976. — Vol. 39.-Pp. 19−29.
- Buchberger, B. A criterion for detecting unnecessary reductions in the construction of grobner bases / B. Buchberger // International Symposium on Symbolic and Algebraic Manipulation / Ed. by E. W. Ng. Springer-Verlag, London, 1979, — Pp. 3−21.
- Buchberger, B. Grobner bases: an Buchberger algorithmic method in polynomial ideal theory / B. Buchberger // Recent Trends in Multidimensional System Theory / Ed. by N. K. Bose. — Vol. 6. — Reidel, Dordrecht, 1985, — Pp. 184−232.
- Buchberger, B. Grobner Bases and Applications / B. Buchberger, F. Winkler. — Cambridge University Press, 1998.
- Calmet, J. A constructive introduction to involution / J. Calmet, M. Hausdorf, W. M. Seiler // Proceedings of the International
- Symposium on Applications of Computer Algebra / Ed. by P. Akerkar. Allied Publishers, New Delhi, 2001, — Pp. 33−50.
- Carra-Ferro, G. Grobner Bases and Differential Algebra / G. Carra-Ferro.— 1987.— Vol. 356 of Lecture Notes in Computer Science.- Pp. 129−140.
- Carra-Ferro, G. On term-orderings and rankings / G. Carra-Ferro, W. Y. Sit // Computational Algebra / Ed. by G. Fischer, P. Loustaunau, J. Shapiro, E. Green, D. Farkas. — Marcel Dekker, New York, 1994. — Pp. 31−77.
- Cartan, E. Sur certaines expressions differentielles et le ргоЫёте de Pfaff / E. Cartan // Annates scientifiques de I’Ecole Normale Superieure Ser. 3.— 1899.— no. 16.— Pp. 239−332. http://archive.numdam.org/article/ASENSl 8 9 9316 2390 .djvu.
- Cartan, E. L’integration des systemes d’equations aux differentielles totales / E. Cartan // Annates scientifiques de I’Ecole Normale Superieure Ser. 3.— 1901.- no. 18.- Pp. 241−311. http://archive.numdam.org/article/ASENSl9 1 318 2410 .djvu.
- Cartan, E. Les Systemes 01ГГёгеп1:1е1з Exterieur et leurs Applications Geometrique / E. Cartan. — Hermann, Paris, 1946.
- Chen, Y. F. Vector representation of involutive divisions / Y. F. Chen, X. S. Gao // Mathematics-Mechanization Research Preprints. — 1999, — no. 18.- Pp. 9−22.
- Chen, Y. F. Involutive directions and new involutive divisions / Y. F. Chen, X. S. Gao // Computers and Mathematics with Applications. — 2001. Vol. 41, no. 7−8. — Pp. 945−956.
- Chen, Y. F. Involutive bases of algebraic partial differential equation systems / Y. F. Chen, X. S. Gao // Science in China (A). — 2003. — Vol. 33, no. 2, — Pp. 97−113.
- Cohn, R.M. Difference algebra / R.M. Cohn. — Interscience Publishers, 1965. — Vol. 17 of Tracts in Mathematics. — P. 367.
- Conti, P. Buchberger algorithm and integer programming / P. Conti,
- C. Traverso // Proceedings of AAECC-9. — Springer-Verlag, 1991. — Lecture Notes in Computer Science no. 539.— Pp. 130−139.
- Cox, D. Ideals, Varieties, and Algorithms. An Introduction to Computational Algebraic Geometry and Commutative Algebra /
- D. Cox, J. Little, D. O’Shea. Springer-Verlag, New York, 1998. — 2nd Edition.
- Cox, D. Using Algebraic Geometry / D. Cox, J. Little, D. O’Shea. — Springer-Verlag, New York, 1998.— Vol. 185 of Graduate Texts in Mathematics.
- Czapor, S. R. A heuristic selection strategy for lexicographic Grobner bases? / S. R. Czapor // International Symposium on Symbolic and Algebraic Computation. — Bonn, West Germany, 1991. — Pp. 39−48.
- Czapor, S. R. On implementing Buchberger’s algorithm for Grobner bases / S. R. Czapor, К. O. Geddes // Proceedings of the fifth ACM symposium on Symbolic and algebraic computation. — Waterloo, Ontario, Canada, 1986, — Pp. 233−238.
- Davenport, J. H. Computer Algebra: Systems and Algorithms for Algebraic Computation / J. H. Davenport, Y. Siret, E. Tournier. — Academic Press, 1988.- P. 267.
- Davenport, J. H. Scratchpad’s view of algebra I: Basic commutative algebra: Tech. Rep. TR3/92 (ATR/1) (NP2490) / J. H. Davenport, В. M. Trager. inst-NAG:adr: inst-NAG, 1992.
- Eisenbud, D. Commutative Algebra with a View Toward Algebraic Geometry / D. Eisenbud.— Springer-Verlag, New York, 1995.— Vol. 150 of Mathematics and its Applications.
- Evans, G. A. Noncommutative involutive bases / G. A. Evans // International Conference on Applications of Computer Algebra. — Beaumont, Texas, U.S.A., 2004.
- Faugere, J. C. Parallelization of Grobner basis / J. C. Faugere // Proceedings International Symposium Parallel Symbolic Computation / Ed. by H. Hong. — Lecture Notes Series in Computing. — World Scientific, Singapore, 1994.- Pp. 124−132.
- Faugere, J. C. A fast, easy to use algorithm for dynamic memorymanagement: Tech. rep. / J. C. Faugere: LIP6, universite Paris VI, 1998.
- Faugere, J. C. A new efficient algorithm for computing Grobner bases (f4) / J. C. Faugere 11 Journal of Pure and Applied Algebra. — 1999. — Vol. 139, no. 1−3.- Pp. 61−88.
- Faugere, J. C. A new efficient algorithm for computing Grobner bases without reduction to zero (F5) / J. C. Faugere // Proceedings of ISSAC / Ed. by New York ACM Press.- ACM Press, New York, 2002. Pp. 75−83.
- Faugere, J. C. Efficient computation of zero-dimensional Grobner bases by change of ordering / J. C. Faugere, P. Gianni, D. Lazard, T. Mora // Journal of Symbolic Computation. — 1993. — Vol. 16. — Pp. 329−344.
- Fournie, M. Symbolic derivation of different class of high-order schemes for partial differential equations / M. Fournie // Computer Algebra in Scientific Computing. — Springer-Verlag, 1999.— Lecture Notes in Computer Science. — Pp. 93−100.
- Ganzha, V. G. Computer-aided analysis of difference schemes for partial differential equations / V. G. Ganzha, E. V. Vorozhtsov. — New York, ¦ ¦ Wiley-Interscience, 1996.
- Ganzha, V. G. Numerical solutions for partial differential equations: problem solving using Mathematica / V. G. Ganzha, E. V. Vorozhtsov. — Boca Raton, CRC Press, 1996.
- Ganzha, V. G. Symbolic-numeric stability investigations of Jameson’s schemes for thin-layer Navier-Stokes equations / V. G. Ganzha, E. V.
- Vorozhtsov, J. Boers, J. A. van Hulzen // Symbolic and Algebraic Computation / SIGSAM. ISSAC. — ACM, 1994. — Pp. 234−241.
- Garcia-Sanchez, P. A. Grobner bases and involutive bases for zero-dimensional ideals / P. A. Garcia-Sanchez // SIGSAM Bulletin. — 1995. Vol. 29, no. 2. — Pp. 12−15.
- Gareth, A. E. Noncommutative Involutive Bases: Ph.D. thesis / University of Wales, Bangor. — 2006.
- Gebauer, R. On an installation of Buchberger’s algorithm / R. Gebauer, H. M. Moller // Journal of Symbolic Computation. — 1988. — Vol. 6, no. 2−3. Pp. 275−286.
- Gerdt, V. P. Grobner bases and involutive methods for algebraic and • differential equations / V. P. Gerdt // Mathematical and computer modelling. 1997.- Vol. 8/9, no. 25.- Pp. 75−90.
- Gerdt, V. P. Involutive Division Technique: Some Generalizations and Optimizations / V. P. Gerdt.- 1998, — (Preprint E5−98−151, Joint Institute for Nuclear Research).
- Gerdt, V. P. Involutive division technique: Some generalizations and optimizations / V. P. Gerdt // Journal of Mathematical Sciences. — 2000. no. 258. — Pp. 185−206.
- Gerdt, V. P. On an algorithmic optimization in computation of involutive bases / V. P. Gerdt // Programming and Computer Software. 2002. — Vol. 28, no. 2. — Pp. 62−65.
- Gerdt, V. P. Involutive algorithms for computing Grobner bases / V. P. Gerdt // Proceedings of the NATO Advanced Research Workshop «Computational commutative and non-commutative algebraic geometry». — IOS Press, 2004. P. 27.
- Gerdt, V. P. Involutive division techniques: Some generalizations and optimizations / V. P. Gerdt // Journal of Mathematical Sciences. — 2004.-Vol. 108, no. 6.-Pp. 1034−1051.
- Gerdt, V. P. Completion of monomial sets to involution with mathematica: Tech. Rep. Preprint / V. P. Gerdt, M. Berth,
- G. Czichowski: Greifswald, 1998.- submitted to CASC '98, St. Petersburg.
- Gerdt, V. P. Involutive Polynomial Bases / V. P. Gerdt, Yu. A. Blinkov. — Publication IT-95−271, Laboratoire d’Informatique Fondamentale de Lille, 1995.
- Gerdt, V. P. Involutive Bases of Polynomial Ideals / V. P. Gerdt, Yu. A. Blinkov. — Preprint-Nr.1/1996, Naturwissenschaftlich-Theoretisches Zentrum, University of Leipzig, 1996.
- Gerdt, V. P. Involutive Bases of Polynomial Ideals / V. P. Gerdt, Yu. A. Blinkov. Preprint Preprint E5−97−3, JINR, 1997. — P. 26.
- Gerdt, V. P. Minimal Involutive Bases / V. P. Gerdt, Yu. A. Blinkov. -Preprint E5−97−4, JINR, Dubna, 1997.- P. 20.
- Gerdt, V. P. Involutive bases of polynomial ideals / V. P. Gerdt, Yu. A. Blinkov // Mathematics and Computers in Simulation.— 1998.— Vol. 45.- Pp. 519−542.
- Gerdt, V. P. Minimal involutive bases / V. P. Gerdt, Yu. A. Blinkov // Mathematics and Computers in Simulation.— 1998.— Vol. 45, — Pp. 543−560.
- Gerdt, 1/. P. Janet Bases of Toric Ideals / V. P. Gerdt, Yu. A. Blinkov. -Preprint E5−11−2001−279, JINR, Dubna, 2001.- P. 19.
- Gerdt., I/. P. Janet bases of toric ideals / V. P. Gerdt, Yu. A. Blinkov // Proceedings of the Rhein Workshop on Computer Algebra. — Mannheim, Germany: 2002, — Pp. 125−135.
- Gerdt, V. P. Janet trees in computing of toric ideals / V. P. Gerdt, Yu. A. Blinkov // Computer algebra and its applications to physics. — Dubna, Russia: 2002.- Pp. 71−82.
- Gerdt, I/. P. Janet-like Grobner bases / V. P. Gerdt, Yu. A. Blinkov // Computer Algebra in Scientific Computing. — Springer Berlin / Heidelberg, 2005. — Vol. 3718 of Lecture Notes in Computer Science. — Pp. 184−195.
- Gerdt, V. P. Janet-like monomial division / V. P. Gerdt, Yu. A. Blinkov // Computer Algebra in Scientific Computing. — Springer Berlin / Heidelberg, 2005, — Vol. 3718 of Lecture Notes in Computer Science. Pp. 174−183.
- Gerdt, V. P. On computing Janet bases for degree compatible orderings / V. P. Gerdt, Yu. A. Blinkov // Proceedings of the Rhein Workshop on Computer Algebra / Ed. by J. Draisma, H. Kraft. — University of Basel, 2006.- Pp. 107−117.- math. AC/603 161.
- Gerdt, V. P. On computer algebra-aided stability analysis of difference schemes generated by means of Grobner bases / V. P. Gerdt, Yu. A. Blinkov // Computer Algebra and Differential Equations / Ed. by
- A. Myllari, V. Edneral, N. Ourusoff. — Acta Academiae Aboensis, Ser.
- B, 2007. Vol. 67. — Pp. 168−177.
- Gerdt, V. P. On selection of nonmultiplicative prolongations in computation of Janet bases / V. P. Gerdt, Yu. A. Blinkov // Programming and Computer- Software. — 2007. — Vol. 33, no. 3. — Pp. 147−153.
- Gerdt, V. P. A Maple package for computing Grobner bases for linear recurrence relations / V. P. Gerdt, D. Robertz // Nuclear Instruments and Methods in Physics Research. — 2006. — Vol. A559. Pp. 215−219. — arXiv: cs. SC/509 070.
- Gerdt, V. P. Parallelization of an algorithm for computation of involutive janet bases / V. P. Gerdt, D. A. Yanovich // Programming and ¦ Computer Software. 2002. — Vol. 28, no. 2. — Pp. 66−69.
- Gerdt, V. P. Implementation of the fglm algorithm and finding roots of polynomial involutive systems / V. P. Gerdt, D. A. Yanovich // Programming and Computer Software. — 2003. — Vol. 29, no. 2. — Pp. 72−74.
- Gerdt, V. P. Experimental analysis of involutive criteria / V. P. Gerdt, D. A. Yanovich // Algorithmic Algebra and Logic / Ed. by A. Dolzmann, A. Seidl, T. Sturm. — BOD Norderstedt, Germany, 2005.- Pp. 105−109.
- Gerdt, V. P. Parallel computation of janet and grobner bases over rational numbers / V. P. Gerdt, D. A. Yanovich // Programming and Computer Software. 2005. — Vol. 31, no. 2. — Pp. 73−80.
- Gerdt, V. P. Fast search for the Janet divisor / V. P. Gerdt, D. A. Yanovich, Yu. A. Blinkov // Programming and Computer Software. — 2001.- Vol. 27, no. 1.- Pp. 22−24.
- Gianni, P. Algebraic solution of systems of polynomial equations using Grobner bases / P. Gianni, T. Mora. 1989, — Pp. 247−257.
- Giovini, A. 'one sugar cube, please' or selection strategies in the Buchberger algorithm / A. Giovini, T. Mora, G. Niesi, L. Robbiano, C. Traverso. 1991.— Pp. 49−54. http: //www.acm.org:80/pubs/citations/proceedings/issac/ 120 694/p4 9-giovini/.
- Godunov, S. K. Difference schemes. An introduction to the underlying theory / S. K. Godunov, V. S. Ryaben’kii. — New York, Elsevier, 1987.
- Gordan, P. Les invariants des formes binaires / P. Gordan // Journal de Mathematiques Puves et Appliques. — 1900. — Vol. 6. — Pp. 141−156.
- Grabe, H.-G. Algorithms in local algebra / H.-G. Grabe // Journal of Symbolic Computation. — 1995. — Vol. 19, no. 6. — Pp. 545−558.
- Greuel, G.-M. A Singular Introduction to Commutative Algebra / G.-M. Greuel, G. Pfister. — Springer Berlin, Heidelberg, 2002.
- Greuel, G.-M. Singular: A Computer Algebra System for Polynomial Computation / G.-M. Greuel, G. Pfister, H. Schonemann. — Department of Mathematics, University of Keiserslautern, 2001. http: //www.singular.uni-kl.de/Manual/2−0-0/.
- Greuel, G.-M. Singular 3.0: A Computer Algebra System for Polynomial Computations / G.-M. Greuel, G. Pfister, H. Schonemann. — University of Kaiserslautern: Centre for Computer Algebra, 2005. — http://www.singular.uni-kl.de.
- Grobner, W. Uber die eliminationstheorie / W. Grobner // Monatsh. der Math. 1939. — Vol. 54. — Pp. 71−78.
- H., Hong. Algorithmic Theory of Admissible Term Orders / Hong H., Weispfenning V. http://www4. ncsu. edu: 8030/~hong/papers/ Hong99c.dvi.
- Hartley, D. A constructive implementation of the Cartan-Kahler theory of exterior differential systems / D. Hartley, R. W. Tucker // Journal of Symbolic Computation. — 1991.— Vol. 12, no. 6, — Pp. 655−668.
- Hausdorf, M. Involutive Bases in MuPAD II: Polynomial Algebras of Solvable Type / M. Hausdorf, W. M. Seiler. — (to apper).
- Hausdorf, M. Involutive bases in MuPAD I: Involutive divisions / M. Hausdorf, W. M. Seiler // mathPAD.- 2002, — Vol. 11.-Pp. 51−56.
- Hausdorf, M. An efficient algebraic algorithm for the geometric completion to involution / M. Hausdorf, W. M. Seiler // Journal Applicable Algebra in Engineering, Communication and Computing. — 2004. Vol. 13, no. 3. — Pp. 163−207.
- Hausdorf, M. Involutive bases in the Weyl algebra / M. Hausdorf, W. M. Seiler, R. Steinwandt // Journal of Symbolic Computation. — 2002. Vol. 34, no. 3. — Pp. 181−198.
- Hearn, A. C. REDUCE User’s Manual, Version 3.7: Report / A. C. Hearn: Anthony C. Hearn, 1999. http://www.zib.de/ Optimization/Software/Reduce/moredocs/reduce.pdf.
- Hemmecke, R. Dynamical Aspects of Involutive Bases Computations / R. Hemmecke. — RISC report 01−28, 2001.
- Hemmecke, R. Dynamical Aspects of Involutive Bases Computations / R. Hemmecke- Ed. by F. Winkler, U. Langer. — Springer Berlin, Heidelberg, 2003. — Vol. 2630 of Lecture Notes in Computer Science. — Pp. 88−107.
- Hildebrand, F.B. Finite-Difference Equations and Simulations / F.B. Hildebrand. — Prentice-Hall, 1968.- P. 338.
- Hiroyuki, S. Parallel computation of Grobner bases on distributed memory machines / S. Hiroyuki, T. Satoshi, A. Akira // Journal of Symbolic Computation. 1994. — Vol. 18, no. 3. — Pp. 207−222.
- Hong, H. Grobner basis under composition I / H. Hong 11 Journal of Symbolic Computation. — 1998. — Vol. 25, no. 5. — Pp. 643−664.
- Hong, H. Implementation of an involutive method for computing • Grobner bases of zero-dimensional ideals: Tech. Rep. A-4040 / H. Hong, A. Neubacher. — Linz, Austria: Research Institute for Symbolic Computation, Johannes Kepler University, 1995.
- Jameson, A. Transonic flow calculations / A. Jameson // Numerical Methods in Fluid Dynamics / Ed. by H. J. Wirz, J. J. Smolderen. — Hemisphere, 1976.— Vol. 87 of von Karman Institute for Fluid Dynamics Lecture Series. — Pp. 1−87.
- Janet, M. Systemes d’equations aux derivees partielles / M. Janet // Journals de mathematiques, 8e serie. — 1920. — Vol. 3. — Pp. 65−151.
- Janet, M. Legons sur les systemes d’equations aux derivees partielles /. M. Janet. Cahiers Scientifiques, fascicule IV. — Gauthier-Villars, Paris, 1929.
- Kahler, E. Einfiihrung in die Theorie der Systeme von Differentialgleichungen / E. Kahler- Ed. by B. G. Teubner. — Hamburger mathematische Einzelschriften 16. Leipzig, 1934. — Vol. IV. P. 80.
- Kandri-Rody, A. Computing the Grobner-basis of an Ideal in Polynomial Rings over the Integers / A. Kandri-Rody, D. Kapur //
- Proceedings 1984 MACSYMA User’s Conference.- 1984. — Pp. 436−451.
- Kandri-Rody, A. Non-commutative Grobner bases in algebras of solvable type / A. Kandri-Rody, V. Weispfenning // Journal of Symbolic Computation. — 1990. Vol. 9, no. 1. — Pp. 1−26.
- Kondratieva, M. V. Differential and Difference Dimension Polynomials / M. V. Kondratieva, A. B. Levin, A. V. Mikhalev, E. V. Pankratiev. Kluwer, 1999.
- Koppenhagen, U. An optimal algorithm for constructing the reduced Grobner basis of binomial ideals / U. Koppenhagen, E. W. Mayr. — 1996. Pp. 55−62.
- Kotsireas, I. S. Exact computation of the bifurcation point b4 of the logistic map and the bailey-broadhurst conjectures / I. S. Kotsireas, K. Karamanos // Journal Bifurcation and Chaos. — 2004. — Vol. 14. — Pp. 2417−2423.
- Kovalevskaya, S. V. Zur theorie der partiellen differential-gleichungen / S. V. Kovalevskaya // Journal fiir die Reine und Angewandte Mathematik. 1875. — Vol. 80. — Pp. 1−32.
- Kreutzer, M. Computational Commutative Algebra 1 / M. Kreutzer, L. Robbiano. — Springer Berlin, Heidelberg, 2000.
- Latyshev, V. N. A combinatorial complexity of Grobner bases / V. N. Latyshev // Journal of Mathematical Sciences. — 2000.— Vol. 102, no. 3, — Pp. 4134−4138.
- Lazard, D. Solving zero-dimensional algebraic systems / D. Lazard // Journal of Symbolic Computation.— 1992, — Vol. 13, no. 2.— Pp. 117−132.
- Liska, R. Algorithms for difference schemes construction on non-orthogonal logically rectangular meshes / R. Liska, M. Yu. Shashkov // Proceedings of ISSAC. — New York, ACM Press, Addison Wesley, 1991.- Pp. 419−426.
- Liska, R. Support-operators method for pde discretization: symbolic algorithms and realization / R. Liska, M. Yu. Shashkov, A. V. Solovjov // Mathematics and Computers in Simulation. — 1994. — Vol. 35.-Pp. 173−183.
- Lun, С. C. Non-steady motion of a slender body in a compressible fluid / С. C. Lun, E. Reissner, H. S. Tslen // Journal of Mathematic and Physics. 1948. — Vol. 27, no. 3.
- Macaulay, F. S. Some properties of enumeration in the theory of modular systems / F. S. Macaulay // Proc. London Math. Soc. — 1927, — Vol. 26.- Pp. 531−555.
- Mall, D. On the relation between Grobner and Pommaret bases / D. Mall // AAECC. 1998. — no. 9. — Pp. 117−123.
- Mandache, A. M. The Grobner basis algorithm and subresultant theory / A. M. Mandache // Proceedings of the international symposium on Symbolic and algebraic computation.— 1994. — Pp. 123−128.
- Manizini, M. Numerical methods for ID compressible flows, http: //www.crs4.it/HTML/intbook/metapage.html.
- Mansfield, E. Application of the differential algebra package diffgrob2 to classical symmetries of differential equations / E. Mansfield, P. A. Clarkson // Journal of Symbolic Computation. — 1997. Vol. 5−6, no. 23. — Pp. 517−533.
- Marotta, V. Involutive division and involutive autoreduction / V. Marotta, G. Carra-Ferro // Proceedings of the Rhein Workshop on Computer Algebra / Ed. by H. Kredel, W. M. Seiler. — University of Mannheim, 2002.- Pp. 115−124.
- Melenk, H. On grobner bases computation on a supercomputer using REDUCE: Technical Report Preprint SC 88−2 / H. Melenk, H. M. Moller, W. Neun. — Berlin, Germany: Konrad-Zuse-Zentrum ftir Informationstechnik Berlin ZIB, 1988.
- Mesyanzhin, A. V. On a method for finding the roots of an ideal / A. V. Mesyanzhin // Programming and Computer Software. — 2005. — Vol. 31, no. 2, — Pp. 97−102.
- Mishra, B. Algorithmic Algebra / B. Mishra. — Springer-Verlag, New York, 1993.
- Moller, H. M. Grobner bases computation using syzygies / H. M. Moller, T. Mora, C. Traverso. 1992, — Pp. 320−328.
- Monagan, Michael B. Maple 10 Programming Guide / Michael B. Monagan, Keith O. Geddes, K. Michael Heal, George Labahn, Stefan M. Vorkoetter, James McCarron, Paul DeMarco. — Waterloo ON, Canada: Maplesoft, 2005.
- Mora, T. An introduction to commutative and non-commutative
- Mansfield, E. Application of the differential algebra package diffgrob2 to classical symmetries of differential equations / E. Mansfield, P. A. Clarkson // Journal of Symbolic Computation. — 1997. Vol. 5−6, no. 23. — Pp. 517−533.
- Marotta, V. Involutive division and involutive autoreduction / V. Marotta, G. Carra-Ferro // Proceedings of the Rhein Workshop on Computer Algebra / Ed. by H. Kredel, W. M. Seiler. — University of Mannheim, 2002. Pp. 115−124.
- Melenk, H. On grobner bases computation on a supercomputer using REDUCE: Technical Report Preprint SC 88−2 / H. Melenk, H. M. Moller, W. Neun. — Berlin, Germany: Konrad-Zuse-Zentrum fur Informationstechnik Berlin ZIB, 1988.
- Mesyanzhin, A. V. On a method for finding the roots of an ideal / A. V. Mesyanzhin // Programming and Computer Software. — 2005.^ Vol. 31, no. 2, — Pp. 97−102.
- Mishra, B. Algorithmic Algebra / B. Mishra. — Springer-Verlag, New York, 1993.
- Moller, H. M. Grobner bases computation using syzygies / H. M. Moller, T. Mora, C. Traverso. 1992.- Pp. 320−328.
- Monagan, Michael B. Maple 10 Programming Guide / Michael B. Monagan, Keith O. Geddes, K. Michael Heal, George Labahn, Stefan M. Vorkoetter, James McCarron, Paul DeMarco. — Waterloo ON, Canada: Maplesoft, 2005.
- Mora, T. An introduction to commutative and non-commutative
- Grobner bases / Т. Mora // Theoretical Computer Science. — 1994. — Vol. 134, — Pp. 131−173.
- Morton, K. W. Numerical solution of partial differential equations / K. W. Morton, D. F. Mayers. —. Cambridge, Cambridge University Press.
- Ollivier, F. Standard Bases of Differential Ideals / F. Ollivier. 1990. — Vol. 508 of Lecture Notes in Computer Science. — Pp. 304−321.
- Plesken, W. Janet’s approach to presentations and resolutions for polynomials and linear pdes / W. Plesken, D. Robertz // Archiv der Mathematik. 2005. — Vol. 84, no. 1. — Pp. 22−37.
- Pommaret, J. F. Partial Differential Equations and Group Theory. New Perspectives for Applications / J. F. Pommaret. — Kluwer, Dordrecht, 1994.
- Pottier, L. Grobner bases of toric ideals: Tech. Rep. 2224 / L. Pottier: Rapport de recherche, INRIA Sophia Antipolis, 1997.
- Quarteroni, A. Numerical approximation of partial differential equations / A. Quarteroni, A. Valli. — Berlin, Springer-Verlag, 1997.
- Reid, G. J. Algorithms for reducing a system of pdes to standard form, determining the dimension of its solution space and calculating its taylor series solution / G. J. Reid // Journal of Applied Mathematics. — 1991.- Vol. 21.- Pp. 293−318.
- Reid, G. J. Finding abstract lie symmetry algebras of differential equations without integrating determaning equations / G. J. Reid // Journal of Applied Mathematics. — 1991. — no. 2. — Pp. 319−340.
- Reid, G. J. Reduction of systems of nonlinear partial differential equations to simplified involutive forms / G. J. Reid, A. D. Wittkopf, A. Boulton // Journal of Applied Mathematics. — 1996. — Vol. 7. — Pp. 604−635.
- Richtmyer, R. D. Difference methods for initial-value problems / R. D. Richtmyer, K. W. Morton. New York, John Wiley & Sons, 1976. — P. 238.— reprinted Krieger Publishing Company, New York, 1994.
- Riquier., C. Les Systemes d’Equations aux Derivees Partielles / C. Riquier. — Gauthier-Villars, Paris, 1910.
- Rosenfeld, A. Specializations in differential algebra / A. Rosenfeld // Transaction of the American Mathematical Society. — 1959. — Vol. 90. Pp. 394−407.
- Rust, C. J. Rankings of partial derivatives / C. J. Rust, G. J. Reid // Proceedings of ISSAC / Ed. by W. Kuchlin. ACM Press, 1997. — Pp. 9−16.
- Saha, S. The birth of period three / S. Saha, H. S. Steven // Mathematics Magazine. — 1995. — Vol. 68, no. 1. — Pp. 42−47.
- Saito, M. Grobner deformations of hypergeometric differential equations / M. Saito, B. Sturmfels, N. Takayama. — Springer-Verlag, New York, 1999.
- Samarskii, A. A. The theory of difference schemes / A. A. Samarskii. — New York, Marcel Dekker, 2001.
- Schii, J. Algorithmic methods for lie pseudogroups / J. Schii, W. M. Seiler, J. Calmet // Modern Group Analysis: Advanced Analyticaland Computational Methods in Mathematical Physics / Ed. by N. H. Ibragimov. — Kluwer, Dordrecht, 1993.— Pp. 337−344.
- Schwarz, F. The riquier-janet theory and its application to nonlinear evolution equations. / F. Schwarz // Journal of Mathematical Physics.- 1984. Vol. 11D. — Pp. 243−251.
- Schwarz, F. Janet bases of 2nd order ordinary differential equations / F. Schwarz // Proceedings of ISSAC / Ed. by Y. N. Lakshman. ACM Press, 1996.- Pp. 179−188.
- Seller, W. M. On the Arbitrariness of the General Solution of an Involutive Partial Differential Equation / W. M. Seiler. — Montr'eal, Canada, 1993, — Preprint CRM-1873, Montr’eal.
- Seiler, W. M. Analysis and Application of the Formal Theory of Partial Differential Equations: Ph.D. thesis / Lancaster University. — 1994.
- Seiler, W. M. On the arbitrariness of the general solution of an involutive partial differential equation / W. M. Seiler // Journal of Mathematical Physics. 1994. — Vol. 35. — Pp. 486−498.
- Seiler, W. M. Applying axiom to partial differential equations: Tech. Rep. Internal Report 95−17 / W. M. Seiler: 1995.
- Seiler, W. M. A combinatorial approach to involution and-regularity I: Involutive bases in polynomial algebras of solvable type /
- W. M. Seiler. — Mannheim, Germany, 2002. — Preprint Universit at Mannheim.
- Seiler, W. M. A combinatorial approach to involution and-regularity I: Structure analysis of polynomial modules with Pommaret bases / W. M. Seiler. — Mannheim, Germany, 2002. — Preprint Universit at Mannheim.
- Seiler, W. M. Involution-the formal theory of differential equations and its applications in computer algebra and numerical analysis. — 2002.
- Seiler, W. M. Involution analysis of the partial differential equations characterizing Hamiltonian vector fields / W. M. Seiler // Journal of Mathematical Physics. 2003, — Vol. 44, no. 3.- Pp. 1173−1182.
- Seiler, W. M. Involution and constrained dynamics / W. M. Seiler, R.W. Tucker // Journal of Mathematical Physics. — 1995. — Vol. 28. — Pp. 4431−4451.
- Semenov, A. S. Slice and pair properties / A. S. Semenov //
- Programming and Computer Software. — 2005.— Vol. 31, no. 2.— Pp. 81−86.
- Semenov, A. S. On constructivity of involutive divisions / A. S. Semenov // Programming and Computer Software. — 2006. — Vol. 32, no. 2. Pp. 96−102.
- Shemyakova, E. S. Involutive divisions, graphs / E. S. Shemyakova // Programming and Computer Software. — 2004. — Vol. 30, no. 2. — Pp. 68−74.
- Shemyakova, E. S. Involutive divisions for effective involutive algorithms / E. S. Shemyakova // Journal of Mathematical Sciences. — 2006. Vol. 135, no. 5. — Pp. 3425−3436.
- Sit, W. Y. The ritt-kolchin theory for differential polynomials / W. Y. Sit // Differential Algebra and Related Topics. — World Scientific, 2001.
- Strikwerda, J. C. Finite difference schemes and partial differential equations / J. C. Strikwerda. Philadelphia, SIAM, 2004.
- Sylvester, J. J. A method of determining by mere inspection the derivatives from two equations of any degreev / J. J. Sylvester // Phil. Mag. 1840,-Vol. 16.-Pp. 132−135.
- Thomas, J. Differential Systems / J. Thomas.— American Mathematical Society, New York, 1937.
- Thomas, J. W. Numerical partial differential equations: finite difference methods / J. W. Thomas. — New York, Springer-Verlag, 1998.
- Thomas, J. W. Numerical partial differential equations: conservationlaws and elliptic equations / J. W. Thomas. — New York, Springer-Verlag, 1999.
- Topunov, V. L. Reducing systems of linear differential equations to a passive form / V. L. Topunov // Acta Appl. Math. — 1989. — Vol. 16. — Pp. 191−206.
- Того, E. F. Riemann solvers and numerical methods for fluid dynamics / E. F. Того, — Berlin, Springer-Verlag, 1997.
- Trari, Q.-N. Parallel computation and Grobner bases: An application for converting bases with the Grobner walk / Q.-N. Tran. — 1998.— Pp. 519−531.
- V., Weispfenning. Differential term-orders / Weispfenning V. // International Symposium on Symbolic and Algebraic Computation. — Kiev: ACM press, 1993. Pp. 245−253.
- Wu, W.-T. On the foundation of algebraic differential geometry / W.-T. Wu // System Sciences and Mathematical Sciences. — 1989. — Vol. 2. Pp. 289−312.
- Yan, T. The geobucket data structure for polynomials / T. Yan // Journal of Symbolic Computation.— 1998.— Vol. 25, no. 3.— Pp. 285−294.
- Zhang, S. An implementation for the algorithm of janet bases of linear differential ideals in the maple system / S. Zhang, Z. Li // Acta Mathematicae Applicatae Sinica.— 2006.— Vol. 20, no. 4.— Pp. 605−616.
- Zharkov, A. Yu. Involutive Polynomial Bases: General Case / A. Yu. Zharkov. Preprint JINR E5−94−224, Dubna, 1994.- (Preprint E5−94−224, Joint Institute for Nuclear Research).
- Zharkov, A. Yu. Private communication / A. Yu. Zharkov.
- Zharkov, A. Yu. Solving zero-dimensional involutive systems / A. Yu. Zharkov // Algorithms in Algebraic Geometry and Applications / Ed. by L. Gonzales-Vega, T. Recio. — Vol. 143 of Progress in Mathematics. Birkhauser, Basel, 1996, — Pp. 389−399.
- Zharkov, A. Yu. Algorithm for reducing systems of PDEs to involutive form / A. Yu. Zharkov, Yu. A. Blinkov // Proceeding of the International Workshop New Computer Techologics in Control Systems. — Pereslavl-Zalessky, Russia: 1994, — Pp. 90−92.
- Zharkov, A. Yu. Involutive Bases of Zero-Dimensional Ideals / A. Yu. Zharkov, Yu. A. Blinkov. Preprint E5−94−318 JINR, Dubna, 1994. — P. 10.
- Zharkov, A. Yu. Involution approach to investigating polynomial systems / A. Yu. Zharkov, Yu. A. Blinkov // Mathematics and Computers in Simulation. — 1996.— Vol. 42, no. 4−6.— Pp. 323−332.
- Арайс, E. А. Реализация метода внешних форм Картана на ЭВМ /
- Е. А Арайс, В. П. Шапеев, Н. Н. Яненко // Доклады АН СССР. — 1974. Т. 214, № 4. — С. 737−738.
- Блинков, Ю. А. Деление и алгоритмы в задаче о принадлежности к идеалу / Ю. А. Блинков // Известия Саратовского университета. 2001.- Т. 1, № 2, — С. 156−167.
- Блинков, Ю. А. Инволютивные базисы торических идеалов / Ю. А. Блинков // Математика-Механика. Сб. науч. тр.— 2001.— Т. 3.- С. 14−16.
- Блинков, Ю. А. Метод сепарирующих мономов для инволютивных делений / Ю. А. Блинков // Программирование. — 2001.— Т. 27, № 3. С. 43−45.
- Блинков, Ю. А. Вычисление базисов Жане торических идеалов / Ю. А. Блинков // Программирование. — 2002. — Т. 28, № 5. — С. 65−68.
- Блинков, Ю. А. Специализированная система компьютерной алгебры GINV / Ю. А. Блинков, В. П. Гердт // Программирование. — 2008. Т. 34, № 2. — С. 67−80.
- Блинков, Ю. А. Метод конечных объемов для уравнения высших порядков / Ю. А. Блинков, В. В. Мозжилкин // Аэродинамика: Нелинейные проблемы. Межвуз. науч. сб. — 1997.— Т. 14(17).— С. 141−149.