B Bibliography
Date: 2020-10-07 18:10:00

Up | Next | Prev | PrevTail | Tail

## Appendix B
Bibliography

[AG98] Beatrice Amrhein and Oliver Gloor. The fractal walk. In Bruno Buchberger and Franz Winkler, editors, Gröbner Bases and Applications, volume 251 of London Mathematical Society Lecture Note Series, pages 305–322. Cambridge University Press, Feb 1998.

[AGK96a] Beatrice Amrhein, Oliver Gloor, and Wolfgang Kuechlin. How fast does the walk run? In 5th Rhine Workshop on Computer Algebra, volume PR 801/96, pages 8.1–8.9. Institut Franco–Allemand de Recherches de Saint–Louis, Jan 1996.

[AGK96b] Beatrice Amrhein, Oliver Gloor, and Wolfgang Kuechlin. Walking faster. In J. Calmet and C. Limongelli, editors, DISCO 1996: Design and Implementation of Symbolic Computation Systems, volume 1128 of Lecture Notes in Computer Science, pages 150–161. Springer, 1996.

[AM90] V. S. Adamchik and O. I. Marichev. The algorithm for calculating integrals of hypergeometric type functions and its realization in REDUCE system. In S. Watanabe and Morio Nagata, editors, Proceedings of the 1990 International Symposium on Symbolic and Algebraic Computation, pages 212–224. ACM, Addison-Wesley, 1990.

[Ape92] Joachim Apel. A relationship between Gröbner bases of ideals and vector modules of G-algebras, volume 131.2 of Contemporary Mathematics, pages 195–204. AMS, 1992.

[AS72] Milton Abramowitz and Irene A. Stegun, editors. Handbook of Mathematical Functions. Dover Publications, 1972.

[ASW89] Werner Antweiler, Andreas Strotmann, and Volker Winkelmann. A TEX-REDUCE-interface. SIGSAM Bulletin, 23(2):26–33, February 1989.

[Bar67a] D. Barton. A scheme for manipulative algebra on a computer. Computer Journal, 9(4):340–344, Feb 1967.

[Bar67b] D. Barton. A scheme for manipulative algebra on a computer. Astronomical Journal, 72:1281–1287, 1967.

[BB89] A. V. Bocharov and M .L. Bronstein. Eﬃciently Implementing Two Methods of the Geometrical Theory of Diﬀerential Equations: An Experience in Algorithm and Software Design, pages 143–166. Number 16 in Acta Applicandae Mathematicae. Kluwer, 1989.

[BCD+99] A. V. Bocharov, V. N. Chetverikov, S. V. Duzhin, N. G. Khor’kova, A. V. Samokhin, Yu. N. Torkhov, and A. M. Verbovetsky:. Symmetries and Conservation Laws for Diﬀerential Equations of Mathematical Physics, volume 182 of Translations of Math. Monographs. AMS, 1999.

[BCRT93] Anna Maria Bigatti, Pasqualina Conti, Lorenzo Robbiano, and Carlo Traverso. A “Divide and conquer” algorithm for Hilbert-Poincaré series, multiplicity and dimension of monomial ideals. In G. Cohen, T. Mora, and O. Moreno, editors, Applied Algebra, Algebraic Algorithms and Error-Correcting Codes. AAECC 1993, volume 673 of Lecture Notes in Computer Science, pages 76–88, Berlin, Heidelberg, 1993. Springer-Verlag.

[BF72] D. Barton and J. P. Fitch. The application of symbolic algebra system to physics. Reports on Progress in Physics, 35(1):235–314, Jan 1972.

[BGDW95] P. A. Broadbery, T. Gómez-Díaz, and S. M. Watt. On the Implementation of Dynamic Evaluation. In A. Levelt, editor, Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation, ISSAC ’95, pages 77–84, New York, NY, USA, 1995. ACM Press.

[BGK86] W. Boege, R. Gebauer, and H. Kredel. Some examples for solving systems of algebraic equations by calculating Groebner bases. Journal of Symbolic Computation, 2(1):83–98, March 1986.

[BGM96] George A. Baker and Peter Graves-Morris. Padé Approximants, volume 13 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, 2nd edition, 1996.

[BH10] D. E. Baldwin and W. Hereman. A symbolic algorithm for computing recursion operators of nonlinear partial diﬀerential equations. International Journal of Computer Mathematics, 87(5):1094–1119, 2010.

[BHPS86] R. J. Bradford, A. C. Hearn, J. A. Padget, and E. Schrüfer. Enlarging the reduce domain of computation. In SYMSAC ’86: Proceedings of the ﬁfth ACM symposium on Symbolic and algebraic computation, pages 100–106, New York, NY, USA, 1986. ACM.

[BO78] Carl M. Bender and Steven A. Orszag. Advanced Mathematical Methods for Scientists and Engineers. McGraw-Hill, 1978.

[Bou72] S. R. Bourne. Literal expressions for the co-ordinates of the moon. I. The First Degree Terms. Celestial Mechanics, 6(2):167–186, Sep 1972.

[Bra93] Russell Bradford. Algebraic simpliﬁcation of multiple-valued functions. In John Fitch, editor, DISCO 1992: Design and Implementation of Symbolic Computation Systems, volume 721 of Lecture Notes in Computer Science, pages 13–21, Berlin, Heidelberg, 1993. Springer Berlin Heidelberg.

[Bro96] E. W. Brown. An Introductory Treatise on the Lunar Theory. Cambridge University Press, 1896.

[Bro97] Manuel Bronstein. Symbolic Integration I: Transcendental Functions. Springer-Verlag, Heidelberg, 1997.

[BS81] Ilja N. Bronstein and K. A. Semendjajew. Taschenbuch der Mathematik. Verlag Harri Deutsch, Thun und Frankfurt (Main), 1981.

[BS92] Dave Bayer and Mark Stillman. Computation of Hilbert functions. Journal of Symbolic Computation, 14(1):31–50, 1992.

[Buc85] Bruno Buchberger. Gröbner Bases: An Algorithmic Method in Polynomial Ideal Theory, pages 184–232. Reidel, Dordrecht, 01 1985.

[Buc88] Bruno Buchberger. Applications of Gröbner bases in non-linear computational geometry. In R. Janssen, editor, Mathematical Aspects of Scientiﬁc Software, volume 296 of Lecture Notes in Computer Science, pages 52–88. Springer, New York, 1988.

[BW92] A. Brand and T. Wolf. The computer algebra package CRACK for investigating PDEs. In Proc. of ERCIM, Partial Diﬀerential Equations and Group Theory, Bonn, page 24, 1992.

[BW95] A. Brand and T. Wolf. Investigating DEs with CRACK and related programs. SIGSAM Bulletin, Special Issue:1–8, June 1995.

[BWK93] Thomas Becker, Volker Weispfenning, and Heinz Kredel. Gröbner bases, a computational approach to commutative algebra. Springer - Verlag (Graduate Texts in Mathematics 141), 1993.

[CAT] CATHODE (Computer Algebra Tools for Handling Ordinary Diﬀerential Equations). OBSOLETE: http://www-lmc.imag.fr/CATHODE/, http://www-lmc.imag.fr/CATHODE2/.

[CHW91] B. Champagne, W. Hereman, and P. Winternitz. The computer calculation of Lie point symmetries of large systems of diﬀerential equations. Computer Physics Communications, 66(2–3):319–340, 1991.

[CJ92] Robert M. Corless and David J. Jeﬀrey. Well … It Isn’t Quite That Simple. SIGSAM Bull., 26(3):2–6, Aug 1992.

[CKM97] S. Collart, M. Kalkbrenner, and D. Mall. Converting Bases with the Gröbner Walk. Journal of Symbolic Computation, 24(3-4):465–469, Sep 1997.

[CLO92] D. Cox, J. Little, and D. O’Shea. Ideals, Varieties and Algorithms: An Introduction of Computational Algebraic Geometry and Commutative Algebra. Springer-Verlag, 1992.

[CLV20] M. Casati, P. Lorenzoni, and R. Vitolo. Three computational approaches to weakly nonlocal poisson brackets. Studies in Applied Mathematics, 2020.

[Col75] George E. Collins. Quantiﬁer elimination for real closed ﬁelds by cylindrical algebraic decompostion. In H. Brakhage, editor, Automata Theory and Formal Languages 2nd GI Conference Kaiserslautern, May 20–23, 1975, volume 33 of Lecture Notes in Computer Science, pages 134–183, Berlin, Heidelberg, 1975. Springer Berlin Heidelberg.

[Cvi76] Predrag Cvitanović. Group theory for Feynman diagrams in non-Abelian gauge theories. Phys. Rev. D, 14:1536, Sep 1976.

[Dav81] James Harold Davenport. On the Integration of Algebraic Functions, volume 102 of Lecture Notes in Computer Science. Springer-Verlag, 1981.

[Del86] C. Delaunay. Théorie du Mouvement de la Lune. Extraits des Mém. Acad. Sci. Mallet-Bachelier, Paris, 186.

[DF94] James Davenport and Christèle Faure. The “unknown” in computer algebra. Programming and Computer Software, 20:1–5, 01 1994.

[DGV96] D. Duval and Laureano González-Vega. Dynamic evaluation and real closure. Mathematics and Computers in Simulation, 42:551–560, 11 1996.

[DLS90] Ladislav Drska, Richard Liska, and Milan Sinor. Two practical packages for computational physics-GCPM, RLFI. Computer Physics Communications, 61(1-2):225–230, November 1990.

[DN83] B. A. Dubrovin and S. P. Novikov. Hamiltonian formalism of one-dimensional systems of hydrodynamic type and the bogolyubov-whitham averaging method. Dokl. Akad. Nauk SSSR, 27(3):665–669, 1983. Translated by J. R. Schulenberger.

[DN84] B. A. Dubrovin and S. P. Novikov. Poisson brackets of hydrodynamic type. Dokl. Akad. Nauk SSSR, 30(3):651–654, Jan 1984.

[DR94a] Dominique Duval and Jean-Claude Reynaud. Sketches and computation I: basic deﬁnitions and static evaluation. Mathematical Structures in Computer Science, 4(2):185–238, 1994.

[DR94b] Dominique Duval and Jean-Claude Reynaud. Sketches and computation II: dynamic evaluation and applications. Mathematical Structures in Computer Science, 4(2):239–271, 1994.

[DS96] Andreas Dolzmann and Thomas Sturm. Redlog user manual. Technical Report MIP-9616, FMI, Universität Passau, D-94030 Passau, Germany, October 1996. Edition 1.0 for Version 1.0.

[DS97a] Andreas Dolzmann and Thomas Sturm. REDLOG: Computer algebra meets computer logic. ACM SIGSAM Bulletin, 31(2):2–9, June 1997.

[DS97b] Andreas Dolzmann and Thomas Sturm. Simpliﬁcation of quantiﬁer-free formulae over ordered ﬁelds. Journal of Symbolic Computation, 24(2):209–231, August 1997.

[DS99] Andreas Dolzmann and Thomas Sturm. Redlog User Manual. FMI, Universität Passau, D-94030 Passau, Germany, April 1999. Edition 2.0 for Version 2.0.

[DST93] J. H. Davenport, Y. Siret, and E. Tournier. Computer Algebra, Systems and Algorithms for Algebraic Computation. Academic Press, 2nd edition, 1993.

[Dub96] Boris Dubrovin. Geometry of 2D topological ﬁeld theories. In Mauro Francaviglia and Silvio Greco, editors, Integrable Systems and Quantum Groups: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Montecatini Terme, Italy, June 14–22, 1993, volume 1620 of Lecture Notes in Mathematics, pages 120–348. Springer, Berlin Heidelberg, 1996.

[Eas87] James W. Eastwood. Orthovec: A REDUCE program for 3-D vector analysis in orthogonal curvilinear coordinates. Computer Physics Communications, 47(1):139–147, October 1987.

[Eas91] James W. Eastwood. ORTHOVEC: version 2 of the REDUCE program for 3-D vector analysis in orthogonal curvilinear coordinates. Computer Physics Communications, 64(1):121–122, April 1991.

[Edm57] A. R. Edmonds. Angular Momentum in Quantum Mechanics. Princeton University Press, 1957.

[Eis95] David Eisenbud. Commutative Algebra with a View Toward Algebraic Geometry, volume 150 of Graduate Texts in Math. Springer-Verlag, Berlin and New York, 1995.

[Eul48] L. Euler. Introductio in analysin inﬁnitorum, Vol. 1, chapter 18. 1748.

[Fat74] Richard J. Fateman. On the multiplication of poisson series. Celestial Mechanics, 10(2):243–247, Oct 1974.

[Fat87] Richard J. Fateman. TEX output from macsyma-like systems. ACM SIGSAM Bulletin, 21(4):1–5, 1987.

[FGLM93] J. C. Faugère, P. Gianni, D. Lazard, and T .Mora. Eﬃcient Computation of Zero-dimensional Gröbner Bases by Change of Ordering. Journal of Symbolic Computation, 16(4):329–344, Oct 1993.

[FGMN97] E. V. Ferapontov, C .A. P. Galvao, O. Mokhov, and Y. Nutku. Bi-hamiltonian structure in 2-d ﬁeld theory. Communications in Mathematical Physics, 186(3):649–669, Jan 1997.

[Fil92] Sandra Fillebrown. Faster computation of bernoulli numbers. Journal of Algorithms, 13(3):431–445, September 1992.

[Fit75] J. P. Fitch. Syllabus for algebraic manipulation lectures in cambridge. SIGSAM Bulletin, 32:15, 1975.

[Fit83] J. P. Fitch. CAMAL User’s Manual. Technical report, University of Cambridge Computer Laboratory, 1983. 2nd edition.

[FJ03] J. C. Faugère and A. Joux. Algebraic Cryptanalysis of Hidden Field Equation (HFE) Cryptosystems Using Gröbner Bases. In Advances in Cryptology - CRYPTO 2003, volume 2729 of Lecture Notes in Computer Science, pages 44–60. Springer, Berlin, Heidelberg, 2003.

[FPV14] E. V. Ferapontov, M .V. Pavlov, and R.F. Vitolo. Projective-geometric aspects of homogeneous third-order hamiltonian operators. Journal of Geometry and Physics, 85:16–28, 2014.

[FPV16] E. V. Ferapontov, M. V. Pavlov, and R. F. Vitolo. Towards the classiﬁcation of homogeneous third-order hamiltonian operators. International Mathematics Research Notices, 2016(22):6829–6855, Jan 2016.

[Gas95] G. Gasper. Lecture notes for an introductory minicourse on q-series. 1995.

[GB98] V. P. Gerdt and Yu. A. Blinkov. Involutive bases of polynomial ideals. Math. Comp. Simul., 45(5-6):519–541, March 1998.

[GCL92] K.O. Geddes, S.R. Czapor, and G. Labahn. Algorithms for Computer Algebra. Kluwer Academic Publishers, 1992.

[GD96] Teresa Gómez-Díaz. Examples of using dynamic constructible closure. Mathematics and Computers in Simulation, 42(4–6):375–383, 1996.

[gde] Geometry of diﬀerential equations web site.

[Ger05] Vladimir P. Gerdt. Involutive algorithms for computing groebner bases. In Svetlana Cojocaru, Gerhard Pﬁster, and Victor Ufnarovski, editors, Computational Commutative and Non-Commutative Algebraic Geometry, volume 196 of NATO Science Series, III: Computer and Systems Sciences, pages 199–225, 2005. Proceedings of the NATO Advanced Research Workshop "Computational commutative and non-commutative algebraic geometry" (Chishinau, June 6-11, 2004).

[Get02] Ezra Getzler. A darboux theorem for hamiltonian operators in the formal calculus of variations. Duke Mathematical Journal, 111, Mar 2002.

[GM88] Rüdiger Gebauer and H. Michael Möller. On an installation of Buchberger’s algorithm. Journal of Symbolic Computation, 6(2 and 3):275–286, 1988.

[GMN+91] Alessandro Giovini, Teo Mora, Gianfranco Niesi, Lorenzo Robbiano, and Carlo Traverso. “;one sugar cube, please” or selection strategies in the buchberger algorithm. In Watt [Wat91], pages 49–54.

[Gos78] R. W. Gosper, Jr. Decision procedure for indeﬁnite hypergeometric summation. Proc. Natl. Acad. Sci. USA, 75(1):40–42, January 1978.

[GR90] G. Gasper and M. Rahman. Basic Hypergeometric Series. Number 35 in Encyclopedia of Mathematics and its Applications. Cambridge University Press, London and New York, 1990.

[Grä93] Hans-Gert Gräbe. Two remarks on independent sets. Journal of Algebraic Combinatorics, 2:137–145, 1993.

[Grä94a] Hans-Gert Gräbe. On factorized gröbner bases. In J. Fleischer, J. Grabmeier, F. W. Hehl, and W. Küchlin, editors, Computer Algebra in Science and Engineering. World Scientiﬁc, 1994. Proceedings of the Conference, Bielefeld, Germany, 28–31 August 1994.

[Grä94b] Hans-Gert Gräbe. The tangent cone algorithm and homogenization. Journal of Pure and Applied Algebra, 97(3):303–312, Dec 1994.

[Grä95a] Hans-Gert Gräbe. Algorithms in local algebra. Journal of Symbolic Computation, 19(6):545–577, Jun 1995.

[Grä95b] Hans-Gert Gräbe. Triangular systems and factorized gröbner bases. In Gérard Cohen, Marc Giusti, and Teo Mora, editors, Applied Algebra, Algebraic Algorithms, and Error-Correcting Codes, Lecture Notes in Computer Science, pages 248–261, Berlin, Heidelberg, 1995. Springer.

[Grä97] Hans-Gert Gräbe. Minimal primary decomposition and factorized gröbner bases. Applicable Algebra in Engineering, Communication and Computing, 8(4):265–278, 1997.

[Gru96] Dominik Gruntz. On Computing Limits in a Symbolic Manipulation System. PhD thesis, ETH Zürich, 1996.

[GTZ88] Patrizia Gianni, Barry Trager, and Gail Zacharias. Gröbner bases and primary decomposition of polynomial ideals. Journal of Symbolic Computation, 6(2-3):149–167, Oct 1988.

[GZ08a] V. P. Gerdt and M. V. Zinin. Involutive method for computing Gröbner bases over 𝔽2. Programming and Computer Software, 34(4):191–203, Jul 2008.

[GZ08b] Vladimir P. Gerdt and Mikhail V. Zinin. A pommaret division algorithm for computing grobner bases in boolean rings. In Proceedings of the Twenty-ﬁrst International Symposium on Symbolic and Algebraic Computation, ISSAC ’08, pages 95–102, New York, NY, USA, 2008. ACM.

[GZB10] V. P. Gerdt, M. V. Zinin, and Yu. A. Blinkov. Programming and computing software. Program. Comput. Softw., 36(2):117–123, mar 2010.

[Han75] E. R. Hansen. A table of series and products. Prentice-Hall, Englewood Cliﬀs, NJ, 1975.

[HCGJ92] D. E. G. Hare, R. M. Corless, G. H. Gonnet, and D. J. Jeﬀrey. On Lambert’s W Function. Preprint, University of Waterloo, 1992.

[HCJE93] H. Hong, G. E. Collins, J. R. Johnson, and M. J. Encarnacion. QEPCAD interactive version 12, Sep 1993. Kindly communicated to us by Hoon Hong.

[Hea] A. C. Hearn. COMPACT User Manual. Technical report.

[Hea95] Anthony C. Hearn. REDUCE User’s Manual, Version 3.6. Report CP 78, RAND, July 1995.

[Her95] W. Hereman. Symbolic Software for Lie Symmetry Analysis, volume 3, chapter 13. CRC Press, Boca Raton, Florida, 1995. Systems described in this paper are among others:
DELiA (Alexei Bocharov et.al.) Pascal
DIFFGROB2 (Liz Mansﬁeld) Maple
DIMSYM (James Sherring and Geoﬀ Prince) REDUCE
HSYM (Vladimir Gerdt) Reduce
LIE (V. Eliseev, R.N. Fedorova and V.V. Kornyak) Reduce
LIE (Alan Head) muMath
Lie (Gerd Baumann) Mathematica
LIEDF/INFSYM (Peter Gragert and Paul Kersten) Reduce
Liesymm (John Carminati, John Devitt and Greg Fee) Maple
MathSym (Scott Herod) Mathematica
NUSY (Clara Nucci) Reduce
PDELIE (Peter Vafeades) Macsyma
SPDE (Fritz Schwarz) Reduce and Axiom
SYM_DE (Stanly Steinberg) Macsyma
Symmgroup.c (Dominique Berube and Marc de Montigny) Mathematica
STANDARD FORM (Gregory Reid and Alan Wittkopf) Maple
SYMCAL (Gregory Reid) Macsyma and Maple
SYMMGRP.MAX (Benoit Champagne, Willy Hereman and Pavel Winternitz) Macsyma
LIE package (Khai Vu) Maple
Toolbox for symmetries (Mark Hickman) Maple
Lie symmetries (Jeﬀrey Ondich and Nick Coult) Mathematica.

[Hil99] Dietmar Hillebrand. Triangulierung nulldimensionaler Ideale - Implementierung und Vergleich zweier Algorithmen - in German . Diplomarbeit im Studiengang Mathematik der Universität Dortmund. Betreuer: Prof. Dr. H. M. Möller. Technical report, Universität Dortmund, 1999.

[HT93] David Hartley and Philip Tuckey. A direct characterisation of gröbner bases in cliﬀord and grassmann algebras. Preprint MPI-Ph/93–96, Max-Planck-Institut für Physik, 1993.

[IVV04] Sergei Igonin, A. Verboretsky, and Raﬀaele Vitolo. Variational multivectors and brackets in the geometry of jet spaces. In R.O. Popovych A.G. Nikitin, V.M. Boyko and I.A. Yehorchenko, editors, V Int. Conf. on on Symmetry in Nonlinear Mathematical Physics, Kyiv 2003, volume 50, pages 1335–1342, Oct 2004.

[Jef70] W. H. Jeﬀerys. A fortran-based list processor for poisson series. Celestial Mechanics, 2(4):474–480, Dec 1970.

[JR94] D. J. Jeﬀrey and A. D. Rich. The evaluation of trigonometric integrals avoiding spurious discontinuities. ACM Trans. Math. Softw., 20(1):124–135, March 1994.

[JT80] W.B. Jones and W.J. Thron. Continued Fractions: Analytic Theory and Applications, volume 11 of Encyclopedia of mathematics and its applications. Addison-Wesley Publishing Company, 1980.

[Kam59] E. Kamke. Diﬀerentialgleichungen, Lösungsmethoden und Lösungen, Band 1, Gewöhnliche Diﬀerentialgleichungen, volume 1. Chelsea Publishing Company, New York, 1959.

[Khi64] Aleksandr J. Khinchin. Continued Fractions. University of Chicago Press, 1964.

[KKV04] P. H. M. Kersten, I. S. Krasil’shchik, and A. M. Verbovetsky. Hamiltonian operators and ℓ∗-covering. Journal of Geometry and Physics, 50(1–4):273–302, 2004.

[KKV06] P. H. M. Kersten, I. S. Krasil’shchik, and A. M. Verbovetsky. A geometric study of the dispersionless boussinesq type equation. Acta Applicandae Mathematica, 90:143–178, 2006. 1–2.

[KKVV09] P. Kersten, I. S. Krasil’shchik, A. Verboretsky, and Vito. Hamiltonian Structures for General PDEs, pages 187–198. Abel Symposia. Springer Berlin Heidelberg, Berlin, Heidelberg, 2009.

[Knu81] Donald E. Knuth. The Art of Computer Programming, Seminumerical Algorithms. Addison-Wesley Publishing Company, 2nd edition, 1981.

[Knu84] Donald E. Knuth. The TEXbook. Computers & typesetting. Addison-Wesley, Reading, 1984.

[Koe92] Wolfram Koepf. Power series in computer algebra. Journal of Symbolic Computation, 13(6):581–603, June 1992.

[Koe93a] Wolfram Koepf. Algorithmic development of power series. In J. Calmet and J. A. Campbell, editors, Artiﬁcial intelligence and symbolic mathematical computing, volume 737 of Lecture Notes in Computer Science, pages 195–213, Berlin, Heidelberg, 1993. Springer-Verlag. International Conference AISMC-1, Karlsruhe, Germany, August 1992, Proceedings.

[Koe93b] Wolfram Koepf. Examples for the algorithmic calculation of formal puiseux, laurent and power series. ACM SIGSAM Bulletin, 27(1):20–32, Jan 1993.

[Koe94a] Wolfram Koepf. Algorithmic work with orthogonal polynomials and special functions. Preprint sc 94-5, Konrad-Zuse-Zentrum Berlin (ZIB), 1994.

[Koe94b] Wolfram Koepf. Algorithms for the indeﬁnite and deﬁnite summation. Preprint SC 94-33, Konrad-Zuse-Zentrum für Informationstechnik Berlin, December 1994.

[Koe95a] Wolfram Koepf. Algorithms for m-fold hypergeometric summation. Journal of Symbolic Computation, 20(4):399–417, Oct 1995.

[Koe95b] Wolfram Koepf. REDUCE package for the indeﬁnite and deﬁnite summation. SIGSAM Bulletin, 29(1):14–30, January 1995.

[Koo93] T. H. Koornwinder. On Zeilberger’s algorithm and its q-analogue: a rigorous description. J. of Comput. and Appl. Math., 48(1-2):91–111, October 1993.

[KR88] A. P. Kryukov and A. Ya. Rodionov. Program “COLOR” for computing the group-theoretic weight of Feynman diagrams in Non-Abelian gauge theories. Computer Physics Communications, 48(2):327–334, February 1988.

[Kre87] Heinz Kredel. Primary ideal decomposition. In James Davenport, editor, EUROCAL ’87, European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987, Proceedings, 1987.

[Kre88] Heinz Kredel. Admissible termorderings used in computer algebra systems. SIGSAM Bulletin, 22(1):28–31, January 1988.

[KS94] R. Koekoek and R. F. Swarttouw. The askey-scheme of hypergeometric orthogonal polynomials and its q-analogue. Report 94-05, Faculty of Technical Mathematics and Informatics, Technische Universiteit Delft, Delft, 1994.

[Kub] M. Kubitza. Private communication.

[Kup94] B. A. Kuperschmidt. Geometric Hamiltonian forms for the Kadomtsev-Petviashvili and Zabolotskaya-Khokhlov equations, pages 155–172. World Scientiﬁc, 1994.

[KV11] Joseph Krasil’shchik and Alexander Verbovetsky. Geometry of jet spaces and integrable systems. Journal of Geometry and Physics, 61:1633–1674, 2011.

[KVV12] Joseph Krasil’shchik, Alexander Verbovetsky, and Raﬀaele Vitolo. A uniﬁed approach to computation of integrable structures. Acta Applicandae Mathematicae, 120(1):199–218, Aug 2012.

[KVV18] Joseph Krasil’shchik, Alexander Verbovetsky, and Raﬀaele Vitolo. The Symbolic Computation of Integrability Structures for Partial Diﬀerential Equations. Texts & Monographs in Symbolic Computation. Springer International Publishing, 1 edition, 2018.

[KW88] Heinz Kredel and Volker Weispfenning. Computing dimension and independent sets for polynomial ideals. Journal of Symbolic Computation, 6(2-3):231–247, Oct 1988.

[Lam86] Leslie Lamport. LATEX - A Document Preparation System. Addison-Wesley, Reading, 1986.

[Law89] Derek F. Lawden. Elliptic Functions and Applications. Springer-Verlag, 1989.

[Laz83] D. Lazard. Gröbner bases, gaussian elimination and resolution of systems of algebraic equations. volume 162 of Lecture Notes in Computer Science, pages 146–157. Springer, Proceedings of EUROCAL ’83.

[LB68] Landolt-Boernstein. Zahlenwerte und Funktionen aus Naturwissenschaften und Technik. Springer, 1968.

[Lie67] S. Lie. Diﬀerentialgleichungen. Chelsea Publishing Company, New York, 1967.

[Lie75] S. Lie. Sophus lie’s 1880 transformation group paper. Translated by M. Ackerman, comments by R. Hermann, Mathematical Sciences Press, Brookline, 1975.

[M93] H. Michael Möller. On decomposing systems of polynomial equations with ﬁnitely many solutions. Applicable Algebra in Engineering, Communication and Computing, 4(4):217–230, 1993.

[Mac88] M. A. H. MacCallum. An ordinary diﬀerential equation solver for REDUCE. In Proc. of ISSAC ’88, volume 358, pages 196–205. Springer-Verlag, 1988.

[Mac95] M. A. C. MacCallum. ODESOLVE. LATEX ﬁle reduce/doc/odesolve.tex distributed with REDUCE 3.6. The ﬁrst part of this document is included in the printed REDUCE User’s Manual 3.6., July 1995.

[Mac99] M. A. H. MacCallum. On the Classiﬁcation of the Real Four-Dimensional Lie Algebras, pages 299–317. Springer New York, New York, NY, 1999.

[Man94] Y.-K. Man. Algorithmic Solution of ODEs and Symbolic Summation Using Computer Algebra. PhD thesis, School of Mathematical Sciences, Queen Mary and Westﬁeld College, University of London, July 1994.

[Mar09] M. Marvan. Suﬃcient set of integrability conditions of an orthonomic system. Foundations of Computational Mathematics, 9:652–674, Jan 2009.

[Mel95] Herbert Melenk. Reduce symbolic mode primer. Technical report, Konrad-Zuse-Institut, 1995.

[Mis93] Bhubaneswar Mishra. Algorithmic Algebra. Monographs in Computer Science. Springer, New York, 1993.

[MM86] H. Michael Möller and Ferdinando Mora. New constructive methods in classical ideal theory. Journal of Algebra, 100(1):138–178, 1986.

[MM97] Yiu-Kwong Man and Malcolm A. H. MacCallum. A rational approach to the prelle-singer algorithm. Journal of Symbolic Computation, 24(1):31–43, Jul 1997.

[MMM91] M. G. Marinari, H. M. Möller, and T. Mora. Gröbner bases of ideals given by dual bases. In Watt [Wat91].

[MMN88] H. Melenk, H. M. Möller, and W. Neun. On Gröbner bases computation on a supercomputer using REDUCE. Preprint SC 88-2, Konrad-Zuse-Zentrum für Informationstechnik Berlin, January 1988.

[MPT92] Teo Mora, Gerhard Pﬁster, and Carlo Traverso. An Introduction to the Tangent Cone Algorithm. JAI Press, 1992.

[MR88] Teo Mora and Lorenzo Robbiano. The gröbner fan of an ideal. Journal of Symbolic Computation, 6(2-3):183–208, Oct 1988.

[NNS05] F. Neyzi, Y. Nutku, and M. B. Sheftel. Multi-hamiltonian structure of plebanski’s second heavenly equation. Journal of Physics A, 38(39):8473, 2005.

[Nuc92] C. M. Nucci. Interactive REDUCE programs for calculating classical, non-classical, and approximate symmetries of diﬀerential equations, pages 345–350. Elsevier, Amsterdam, 1992.

[Nuc96] Maria Clara Nucci. Interactive REDUCE programs for calculating Lie point, non-classical, Lie-Bäcklund, and approximate symmetries of diﬀerential equations: Manual and ﬂoppy disk, volume 3 of CRC Handbook of Lie Group Analysis of Diﬀerential Equations, pages 415–481. CRC Press, Boca Raton, Jan 1996.

[NUS91] Arnold F. Nikiforov, Vasilii B. Uvarov, and Sergei K. Suslov. Classical Orthogonal Polynomials of a Discrete Variable. Springer Verlag, Berlin–Heidelberg–New York, 1991.

[NV] A. C. Norman and R. Vitolo. Inside reduce. Part of the oﬃcial REDUCE documentation included in the source code.

[OK94] A. W. Overhauser and Y. J. Kim. An inﬁnite sum from a diﬀusion problem. SIAM Review, 36(1):107, 1994.

[Oli] P. Oliveri. ReLie, Reduce software and user guide. online.

[Olv86] Peter J. Olver. Applications of Lie Groups to Diﬀerential Equations, volume 107 of Graduate Texts in Mathematics. Springer Verlag, New York, 1986.

[Olv93] Peter J. Olver. Applications of Lie Groups to Diﬀerential Equations, volume 107 of Graduate Texts in Mathematics. Springer-Verlag New York, 2nd edition, 1993.

[PB90] Julian Padget and Alan Barnes. Univariate power series expansions in REDUCE. In S. Watanabe and Morio Nagata, editors, Proceedings of the International Symposium on Symbolic and Algebraic Computation, pages 82–87. ACM, Addison-Wesley, 1990.

[PBM89] A. P. Prudnikov, Yu. A. Brychkov, and O. I. Marichev. Integrals and Series, Volume 3: More Special Functions. Gordon and Breach Science Publishers, Oct 1989. Transl. from the Russian by G. G. Gould.

[Pos96] G. F. Post. A manual for the package TOOLS 2.1. Memorandum 1331, Dept. Appl. Math., University of Twente, 1996.

[PR95] P. Paule and A. Riese. A mathematica q-analogue of zeilberger’s algorithm based on an algebraically motivated approach to q-hypergeometric telescoping. In Fields Proceedings of the Workshop ’Special Functions, q-Series and Related Topics, pages 179–210, Toronto, Ontario, 12-23 June 1995. Fields Institute for Research in Mathematical Sciences at University College.

[PS83] M. J. Prelle and M. F. Singer. Elementary ﬁrst integrals of diﬀerential equations. Transactions of the American Mathematical Society, 279:215–229, 1983.

[PS95] Peter Paule and Markus Schorn. A MATHEMATICA version of zeilberger’s algorithm for proving binomial coeﬃcient identities. Journal of Symbolic Computation, 20(5–6):673–698, Nov 1995.

[PV15] Maxim V. Pavlov and Raﬀaele. Vitolo. On the bi-hamiltonian geometry of wdvv equations. Letters in Mathematical Physics, 105(8):1135–163, Aug 2015.

[PZ96] F: Postel and P. Zimmermann. A Review of the ODE Solvers of AXIOM, DERIVE, MAPLE MATHEMATICA, MACSYMA, MUPAD and textscReduce. In Proceedings of the 5th Rhine Workshop on Computer Algebra, April 1-3, 1996, Saint-Louis, France, 1996. Speciﬁc references are to the version dated April 11, 1996.

[Red] Obtaining REDUCE.

[RLW93] R. R. Loos and V. Weispfenning. Applying linear quantiﬁer elimination. The Computer Journal, 36:450–462, Jan 1993.

[Roa] Kelly Roach. Diﬃculties with trigonometrics. Notes of a talk.

[Rob89] Lorenzo Robbiano. Computer and commutative algebra. In Teo Mora, editor, Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, pages 31–44, Berlin, Heidelberg, 1989. Springer Berlin Heidelberg.

[Roe92a] G. H. M. Roelofs. The INTEGRATOR package for REDUCE, Version 1.0. Memorandum 1100, Dept. Appl. Math., University of Twente, 1992.

[Roe92b] G. H. M. Roelofs. The SUPER VECTOR FIELD package for REDUCE, Version 1.0. Memorandum 1099, Dept. Appl. Math., University of Twente, 1992.

[Rut92] Elizabeth W. Rutman. Gröbner bases and primary decomposition of modules. Journal of Symbolic Computation, 14(5):483–503, Nov 1992.

[Sch85] Eberhard Schrüfer. Excalc: A system for doing calculations in modern diﬀerential geometry, user’s manual. Technical report, Rand Publication, The Rand Corporation, Santa Monica, 1985.

[Sch92] Franziska Schoebel. The symbolic classiﬁcation of real four-dimensional lie algebras. Technical Report Preprint 27/92, Naturwissenschaftlich-Theoretisches Zentrum, Universitaet Leipzig, Germany, 1992.

[Sch93] Carsten Schöbel. A classiﬁcation of real ﬁnite-dimensional lie algebras with a low-dimensional derived algebra. Reports on Mathematical Physics, 33(1–2):175..186, Aug–Oct 1993.

[Sei10] Werner M. Seiler. Involution: The Formal Theory of Diﬀerential Equations and its Applications in Computer Algebra, volume 24 of Algorithms and Computation in Mathematics. Springer Verlag Berlin Heidelberg, 2010.

[Ser77] Jean-Pierre Serre. Linear Representations of Finite Groups, volume 42 of Graduate Texts in Mathematics. Springer, New York, NY, 1977.

[SF79] Eduard Stiefel and Albert Fässler. Gruppentheoretische Methoden und ihre Anwendung. Teubner, Stuttgart, 1979.

[Spi59] Murray R. Spiegel. Vector Analysis. Schaum’s Outline. McGraw-Hill Education (India) Pvt Limited, 1959.

[Ste89] Hans Stephani. Diﬀerential equations, Their solution using symmetries. Cambridge University Press, 1989.

[Sto90] Timothy Stokes. Gröbner bases in exterior algebra. Journal of Automated Reasoning, 6(3):233–250, Sep 1990.

[Str93] Volker Strehl. Binomial sums and identities. Maple Technical Newsletter, 10:37–49, 1993.

[SV14] Giuseppe Saccomandi and Raﬀaele Vitolo. On the mathematical and geometrical structure of the determining equations for shear waves in nonlinear isotropic incompressible elastodynamics. Journal of Mathematical Physics, 55(8):081502, 2014.

[Tar48] A. Tarski. A decision method for elementary algebra and geometry. Technical report, University of California, 1948. Second edn., rev. 1951.

[Tra76] Barry M. Trager. Algebraic factoring and rational function integration. In Richard D. Jenks, editor, SYMSAC ’76: Proceedings of the Third ACM Symposium on Symbolic and Algebraic Computation, SYMSAC ’76, pages 196–208, New York, NY, USA, 1976. ACM.

[Vit] CDE: a reduce package for computations in geometry of Diﬀerential Equations. Available at https://gdeq.org.

[Vit19] R. Vitolo. Computing with hamiltonian operators. Comput. Phys. Commun., 244:228–245, 2019. ArXiv: https://arxiv.org/abs/1808.03902.

[Wat91] Stephen M. Watt, editor. ISSAC ’91. Proceedings of the 1991 international symposium on Symbolic and algebraic computation. Bonn, Germany, July 15–17, 1991, New York, NY, USA, 1991. ACM.

[WB] Thomas Wolf and Andreas Brand. Demonstration of the reduce package crack for investigating partial diﬀerential equations. online.

[Wei88] Volker Weispfenning. The complexity of linear problems in ﬁelds. Journal of Symb, 5(1–2):3–27, Feb 1988.

[Wei92] Volker Weispfenning. Comprehensive Gröbner bases. Journal of Symbolic Computation, 14(1):1–29, July 1992.

[Wei94] Volker Weispfenning. Quantiﬁer elimination for real algebra – the cubic case. In Symbolic and Algebraic Computation, ISSAC, pages 258–263. SIGSAM, ACM, 1994.

[Wei97] V. Weispfenning. Quantiﬁer elimination for real algebra — the quadratic case and beyond. Applicable Algebra in Engineering, Communication and Computing, 8(2):85–101, Jan 1997.

[Wil90] Herbert S. Wilf. Generatingfunctionology. Academic Press, Boston, 1990.

[Wil93] Herbert S. Wilf. Identities and their computer proofs. 1993. A series of lectures delivered at the U.S. National Security Agency.

[Wol93] T. Wolf. An eﬃciency improved program liepde for determining lie-symmetries of pdes. In Proc. of Modern Group Analysis: advanced analytical and computational methods in mathematical physics, Catania, Italy, October 1992, pages 377–385. Kluwer Academic Publishers, 1993.

[Wol95] Thomas Wolf. APPLYSYM - a package for the application of Lie-symmetries, 1995. Software distributed together with the computer algebra system REDUCE.

[Wol02] "T. Wolf. A comparison of four approaches to the calculation of conservation laws. Euro. Jnl of Applied Mathematics, 13(2):129–152, 2002.

[Wri97] F. J. Wright. An Enhanced ODE Solver for REDUCE. Programmirovanie, 3:5–22, 1997.

[Wri99] F. J. Wright. Design and Implementation of ODESolve 1+ : An Enhanced REDUCE ODE Solver. Technical report, Queen Mary, University of London, May 1999.

[WW69] E. T. Whittaker and G. N. Watson. A Course in Modern Analysis. Cambridge University Press, 1969.

[ZB96] A. Yu. Zharkov and Yu. A. Blinkov. Involution approach to investigating polynomial systems. Mathematics and Computers in Simulation, 42:323–332, 11 1996.

[Zei90] D. Zeilberger. A fast algorithm for proving terminating hypergeometric identities. Discrete Math., 80(2):207–211, March 1990.

[Zei91] D. Zeilberger. The method of creative telescoping. Journal of Symbolic Computation, 11(3):195–204, 1991.

[Zwi92] D. Zwillinger. Handbook of Diﬀerential Equations. Academic Press, second edition edition, 1992.

Up | Next | Prev | PrevTail | Front