Abstract
The development of computer technology has brought forth a renaissance of algorithmic mathematics which gave rise to the creation of new disciplines like Computational Mathematics. Symbolic Computation, which constitutes one of its major branches, is the main research focus of the Research Institute for Symbolic Computation (RISC). In Section 1, author P. Paule, one finds an introduction to the theme together with comments on history as well as on the use of the computer for mathematical discovery and proving. The remaining sections of the chapter present more detailed descriptions of hot research topics currently pursued at RISC. In Section 2 the inventor of Gröbner Bases, B. Buchberger, describes basic notions and results, and underlines the principal relevance of Gröbner bases by surprising recent applications. Section 3, author F. Winkler, gives an introduction to algebraic curves; a summary of results in theory and applications (e.g., computer aided design) is given. Section 4, author M. Kauers, reports on computer generated progress in lattice paths theory finding applications in combinatorics and physics. Section 5, author C. Schneider, provides a description of an interdisciplinary research project with DESY (Deutsches Elektronen-Synchrotron, Berlin/Zeuthen). Section 6, author E. Kartashova, describes the development of Nonlinear Resonance Analysis, a new branch of mathematical physics.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
G.E. Andrews, R. Askey, and R. Roy. Special Functions. Number 71 in Encyclopedia of Mathematics and its applications. Cambridge UP, 2000.
F. Almonte, V.K. Jirsa, E.W. Large, and B. Tuller. Integration and segregation in auditory streaming. Physica D, 212:137–159, 2005.
S.A. Abramov and M. Petkovšek. D’Alembertian solutions of linear differential and difference equations. In J. von zur Gathen, editor, Proc. ISSAC’94, pages 169–174. ACM Press, 1994.
V.I. Arnold. Geometrical methods in the theory of ordinary differential equations. A Series of Comprehensive Studies in Mathematics. New York Heidelberg Berlin: Springer-Verlag, 1983.
M. Abramowitz and I. Stegun, editors. Handbook of Mathematical Functions. United States Government Printing Office, 1964. Reprinted by Dover, 1965.
I. Bierenbaum, J. Blümlein, and S. Klein. Evaluating two-loop massive operator matrix elements with Mellin-Barnes integrals. Nucl. Phys. B (Proc. Suppl.), 160:85–90, 2006. Proceedings of the 8th DESY Workshop on Elementary Particle Theory.
I. Bierenbaum, J. Blümlein, and S. Klein. Two-loop massive operator matrix elements and unpolarized heavy flavor production at asymptotic values Q 2 ≫ m 2. Nucl. Phys. B, 780:40–75, 2007. [arXiv:hep-ph/0703285].
I. Bierenbaum, J. Blümlein, S. Klein, and C. Schneider. Difference equations in massive higher order calculations. In Proc. ACAT 2007, volume PoS(ACAT)082, 2007. [arXiv:hep-ph/0707.4659].
I. Bierenbaum, J. Blümlein, S. Klein, and C. Schneider. Two–loop massive operator matrix elements for unpolarized heavy flavor production to o(ǫ). Nucl.Phys. B, 803(1-2):1–41, 2008. [arXiv:hep-ph/0803.0273].
J. Blümlein and S. Kurth. Harmonic sums and Mellin transforms up to twoloop order. Phys. Rev., D60, 1999.
Alin Bostan and Manuel Kauers. Automatic classification of restricted lattice walks. arXiv:0811.2899, 2008.
Alin Bostan and Manuel Kauers. The full counting function for Gessel walks is algebraic, 2009. (in preparation).
M.D. Bustamante and E. Kartashova. Dynamics of nonlinear resonances in Hamiltonian systems. Europhysics Letters, 85:14004–6, 2009.
M.D. Bustamante and E. Kartashova. Effect of the dynamical phases on the nonlinear amplitudes’ evolution. Europhysics Letters, 85:34002–5, 2009.
J. Blümlein, M. Kauers, S. Klein, and C. Schneider. Determining the closed forms of the O(a 3 s) anomalous dimensions and wilson coefficients from Mellin moments by means of computer algebra. Technical Report DESY 09-002, SFB/CPP-09-22, Deutsches Elektronen Syncrothron, Zeuthen, 2009. [arXiv:hep-ph/0902.4091].
J. Blümlein, M. Kauers, S. Klein, and C. Schneider. From moments to functions in quantum chromodynamics. In To appear in Proc. ACAT 2008, volume PoS(ACAT08)106, 2009. [arXiv:hep-ph/0902.4095].
Mireille Bousquet-Melou. Counting walks in the quarter plane. In Trends Math., pages 49–67. Birkhäuser, 2002.
Mireille Bousquet-Mélou and Marni Mishna. Walks with small steps in the quarter plane. ArXiv 0810.4387, 2008.
B. Buchberger. An Algorithm for Finding the Basis Elements in the Residue Class Ring Modulo a Zero Dimensional Polynomial Ideal. PhD thesis, University Innsbruck, Mathematical Institute, 1965. German, English translation in: J. of Symbolic Computation, Special Issue on Logic, Mathematics, and Computer Science: Interactions. Volume 41, Number 3–4, Pages 475–511, 2006.
B. Buchberger. An Algorithmical Criterion for the Solvability of Algebraic Systems of Equations. Aequationes mathematicae, 4(3):374–383, 1970. German. English translation in: B. Buchberger, F. Winkler (eds.), Groebner Bases and Applications, London Mathematical Society Lecture Note Series, Vol. 251, Cambridge University Press, 1998, pp. 535–545.
B. Buchberger. Introduction to Groebner Bases. In B. Buchberger and F. Winkler, editors, Groebner Bases and Applications, number 251 in London Mathematical Society Lecture Notes Series, pages 3–31. Cambridge University Press, 1998.
T. Becker and V. Weispfenning. Gröbner Bases: A Computational Approach to Commutative Algebra. Springer, New York, 1993.
Bruno Buchberger and Franz Winkler, editors. Gröbner Bases and Applications. Proc. of the International Conference “33 Years of Groebner Bases”, volume 251 of London Mathematical Society Lecture Note Series. Cambridge University Press, 1998. 560 pages.
F. Chyzak, I. Gutman, and P. Paule. Predicting the Number of Hexagonal Systems with 24 and 25 Hexagons. MATCH, 40:139–151, 1999.
M. Cheney. Tesla Man Out Of Time. Barnes & Noble, 1993.
J. Chifman and S. Petrovic. Toric Ideals of Phylogenetic Invariants for the General Group-based Model on Claw Trees K1,n. In H. Anai, K. Horimoto, and T. Kutsia, editors, Algebraic Biology, Proc. of the Second International Conference on Algebraic Biology, volume 4545 of Lecture Notes in Computer Science, pages 307–321, RISC, Hagenberg, Austria, July 2007. Springer.
F. Chyzak, P. Paule, O. Scherzer, A. Schoisswohl, and B. Zimmermann. The Construction of Orthonormal Wavelets using Symbolic Methods and a Matrix Analytical Approach for Wavelets on the Interval. Experiment. Math., 10:67– 86, 2001.
P.J. Davis and R. Hersh. The Mathematical Experience. Birkhaeuser, Boston, 1981.
Y. du Sautoy. The Music of the Primes. Fourth Estate, London, 2004.
G. Dueck. Mathematik und Weltläufigkeit. Mitteilungen der DMV, 16:206– 209, 2008.
Hans J. Eysenck. Check Your Own I.Q. Rowohlt, 1966.
R. Feng and X.-S. Gao. Rational General Solutions of Algebraic Ordinary Differential Equations. In J. Gutierrez, editor, Proc. ISSAC 2004 (Internat. Symp. on Symbolic and Algebraic Computation), pages 155–162. ACM Press, New York, 2004.
R. Feng and X.-S Gao. A Polynomial Time Algorithm to Find Rational General Solutions for First Order Autonomous ODEs. J. Symbolic Computation, 41:735–762, 2006.
J.C. Faugere and A. Joux. Algebraic Cryptoanalysis of Hidden Field Equation (HFE) Cryptosystems Using Groebner Bases. In D. Boneh, editor, CRYPTO 2003, volume 2729 of Lecture Notes in Computer Science, pages 44–60, 2003.
K.O. Geddes, S.R. Czapor, and G. Labahn. Algorithms for Computer Algebra. Kluwer, 1992.
S. Gerhold and M. Kauers. A Procedure for Proving Special Function Inequalities Involving a Discrete Parameter. In Proceedings of ISSAC’05, pages 156–162. ACM Press, 2005.
M. Ghil, D. Kondrashov, F. Lott, and A.W. Robertson. Intraseasonal oscillations in the mid-latitudes: observations, theory, and GCM results. Proc. ECMWF/CLIVAR Workshop on Simulations and prediction of Intra-Seasonal Variability with Emphasis on the MJO. November 3-6, 2003., pages 35–53, 2004.
R. L. Graham, D. E. Knuth, and O. Patashnik. Concrete Mathematics. Addison-Wesley, 2nd edition edition, 1994.
G.H. Hardy. A Mathematician’s Apology. Cambridge University Press, 1940.
D. Heldt, M. Kreuzer, S. Pokutta, and H. Poulisse. Algebraische Modellierung mit Methoden der approximativen Computeralgebra und Anwendungen in der ¨Olindustrie. OR-News, 28, 2006. issn 1437-2045.
K. Horvat, M. Miskovic, and O. Kuljaca. Avoidance of nonlinear resonance jump in turbine governor positioning system using fuzzy controller. Industrial Technology, 2:881–886, 2003.
T. Ida, D. Tepeneu, B. Buchberger, and J. Robu. Proving and Constraint Solving in Computational Origami. In B. Buchberger and John Campbell, editors, Proceedings of AISC 2004 (7 th International Conference on Artificial Intelligence and Symbolic Computation), volume 3249 of Springer Lecture Notes in Artificial Intelligence, pages 132–142. Copyright: Springer-Berlin, 22-24 September 2004.
M. Karr. Summation in finite terms. J. ACM, 28:305–350, 1981.
Elena Kartashova. Weakly nonlinear theory in resonators. Physical Review Letters, 72:2013–2016, 1994.
Elena Kartashova. Wave resonances in systems with discrete spectra. In V.E. Zakharov, editor, Nonlinear Waves and Weak Turbulence, volume 182 of AMS Translations 2, pages 95–130. American Mathematical Society, 1998.
E. Kartashova. Fast Computation Algorithm for Discrete Resonances among Gravity Waves. JLTP (Journal of Low Temperature Physics), 145(1):287–295, 2006.
Manuel Kauers. Computer Algebra for Special Function Inequalities. In Tewodros Amdeberhan and Victor Moll, editors, Tapas in Experimental Mathematics, volume 457 of Contemporary Mathematics, pages 215–235. AMS, 2008.
M. Kundu and D. Bauer. Nonlinear Resonance Absorption in the Laser-Cluster Interaction. Physical Review Letters, 96:123401, 2005.
E. Kartashova and A. Kartashov. Laminated wave turbulence: generic algorithms I. IJMPC (International Journal of Modern Physics C), 17(11):1579– 1596, 2006.
E. Kartashova and A. Kartashov. Laminated wave turbulence: generic algorithms III. Physica A: Statistical Mechanics and Its Applications, 380:66–74, 2007.
Manuel Kauers, Christoph Koutschan, and Doron Zeilberger. Proof of Ira Gessel’s lattice path conjecture. Technical Report 2008-08, SFB F013, Johannes Kepler Universität, 2008. (submitted).
E. Kartashova and V. L’vov. A model of intra-seasonal oscillations in the Earth atmosphere. Physical Review Letters, 98(19):198501, May 2007.
E. Kartashova and V. L’vov. Cluster Dynamics of Planetary Waves. Europhys. Letters, 83:50012–1–50012–6, 2008.
A.L. Karuzskii, A.N. Lykov, A.V. Perestoronin, and A.I. Golovashkin. Microwave nonlinear resonance incorporating the helium heating effect in superconducting microstrip resonators. Physica C: Superconductivity, 408-410:739– 740, 2004.
W. Kluzniak. Quasi periodic oscillations and the possibility of an abservational distinction between neutron and quark stars. Acta Physica Polonica B, 37:1361–1366, 2006.
D.A. Kovriguine and G.A. Maugin. Multiwave nonlinear couplings in elastic structures. Mathematical Problems in Engineering, 2006:76041, 2006.
E. Kartashova and G. Mayrhofer. Cluster formation in mesoscopic systems. Physica A: Statistical Mechanics and Its Applications, 385:527–542, 2007.
Manuel Kauers and Peter Paule. A Computer Proof of Moll’s Log-Concavity Conjecture. Proceedings of the AMS, 135(12):3847–3856, December 2007.
M. Kreuzer and L. Robbiano. Computational Commutative Algebra I. Springer New York–Heidelberg, 2000.
E. Kartashova, C. Raab, Ch. Feurer, G. Mayrhofer, and W. Schreiner. Symbolic Computations for Nonlinear Wave Resonances. In Ch. Harif and E. Pelinovsky, editors, “Extreme Ocean Waves”. Springer, 2007. (submitted).
B. Kuksin. Fifteen years of KAM for PDE. In AMS Translations 2, volume 212, pages 237–258. American Mathematical Society, 2004.
Manuel Kauers and Doron Zeilberger. The quasi-holonomic ansatz and restricted lattice walks. Journal of Difference Equations and Applications, 14(10):1119–1126, 2008.
P. Lynch and C. Houghton. Pulsation and precession of the resonant swinging spring. Physica D, 190:38–62, 2004.
M.S. Longuet-Higgins and A.E. Gill. Resonant Interactions between Planetary Waves. Proc. R. Soc. London, Ser. A, 299:120–140, 1967.
Kauers M. Sum Cracker – A Package for Manipulating Symbolic Sums and Related Objects. J. Symbolic Computat., 41(9):1039–1057, 2006.
Christian Mallinger. Algorithmic Manipulations and Transformations of Univariate Holonomic Functions and Sequences. Master’s thesis, RISC-Linz, August 1996.
Marni Mishna. Classifying lattice walks restricted to the quarter plane. In Proceedings of FPSAC’07, 2007.
S. Moch and C. Schneider. Feynman integrals and difference equations. In Proc. ACAT 2007, volume PoS(ACAT)083, 2007. [arXiv:hep-ph/0709.1769].
S. Moch, J. A. M. Vermaseren, and A. Vogt. The three-loop splitting functions in qcd: The non-singlet case. Nucl. Phys. B, 688:101–134, 2004. [arXiv:hepph/0403192].
J. Pedlosky. Geophysical Fluid Dynamics. New York Heidelberg Berlin: Springer-Verlag, 1987.
V. Pillwein. Positivity of Certain Sums over Jacobi Kernel Polynomials. Advances Appl. Math., 41:365–377, 2007.
P. Paule and V. Pillwein. Automatic Improvements of Wallis’ Inequality. Technical Report 08–18, RISC Report Series, University of Linz, Austria, 2008.
P. Paule and A. Riese. A Mathematica q-analogue of Zeilberger’s algorithm based on an algebraically motivated aproach to q-hypergeometric telescoping. In M. Ismail and M. Rahman, editors, Special Functions, q-Series and Related Topics, volume 14, pages 179–210. Fields Institute Toronto, AMS, 1997.
P. Paule and M. Schorn. A Mathematica version of Zeilberger’s Algorithm for Proving Binomial Coefficient Identities. J. Symbolic Comput., 20(5-6):673–698, 1995.
P. Paule and C. Schneider. Computer proofs of a new family of harmonic number identities. Adv. in Appl. Math., 31(2):359–378, 2003.
D. Poulakis and E. Voskos. On the Practical Solutions of Genus Zero Diopantine Equations. J. Symbolic Computation, 30:573–582, 2000.
D. Poulakis and E. Voskos. Solving Genus Zero Diopantine Equations with at Most Two Infinity Valuations. J. Symbolic Computation, 33:479–491, 2002.
M. Petkovšek, H. S. Wilf, and D. Zeilberger. A = B. A. K. Peters, Wellesley, MA, 1996.
M. Rosenkranz, B. Buchberger, and H. W. Engl. Solving Linear Boundary Value Problems Via Non-commutative Groebner Bases. Applicable Analysis, 82(7):655–675, July 2003.
C. Schneider. The summation package Sigma: Underlying principles and a rhombus tiling application. Discrete Math. Theor. Comput. Sci., 6(2):365– 386, 2004.
C. Schneider. Solving parameterized linear difference equations in terms of indefinite nested sums and products. J. Differ. Equations Appl., 11(9):799– 821, 2005.
C. Schneider. Symbolic summation assists combinatorics. Sém. Lothar. Combin., 56:1–36, 2007. Article B56b.
C. Schneider. A refined difference field theory for symbolic summation. J. Symbolic Comput., 43(9):611–644, 2008. [arXiv:0808.2543v1].
C. Schneider. A symbolic summation approach to find optimal nested sum representations. In Proceedings of the Conference on Motives, Quantum Field Theory, and Pseudodifferential Operators, To appear in the Mathematics Clay Proceedings, 2009.
N.J.A. Sloane. A Handbook of Integer Sequences. Academic Press, 1973.
N.J.A. Sloane. The New Book of Integer Sequences. Springer, 1994.
J.R. Sendra, F. Winkler, and S. Pérez-Díaz. Rational Algebraic Curves — A Computer Algebra Approach, volume 22 of Algorithms and Computation in Mathematics. Springer-Verlag Heidelberg, 2008.
B. Salvy and P. Zimmermann. Gfun: A Package for the Manipulation of Generating and Holonomic Functions in One Variable. ACM Trans. Math. Software, 20:163–177, 1994.
J.A.M. Vermaseren. Harmonic sums, Mellin transforms and integrals. Int. J. Mod. Phys. A, 14:2037–2076, 1999.
Markus Voege, Anthony J. Guttmann, and Iwan Jensen. On the Number of Benzenoid Hydrocarbons. Journal of Chemical Information and Computer Sciences, 42(3):456–466, 2002.
C. Vedruccio, E. Mascia, and V. Martines. Ultra High Frequency and Microwave Non-linear Interaction Device for Cancer Detection and Tissue Characterization, a Military Research approach to prevent Health Diseases. International Review of the Armed Forces Medical Services (IRAFMS), 78:120–132, 2005.
A. Vogt, S. Moch, and J. A. M. Vermaseren. The three-loop splitting functions in qcd: The singlet case. Nucl. Phys. B, 691:129–181, 2004. [arXiv:hepph/0404111].
J. A. M. Vermaseren, A. Vogt, and S. Moch. The third-order qcd corrections to deep-inelastic scattering by photon exchange. Nucl. Phys. B, 724:3–182, 2005. [arXiv:hep-ph/0504242].
J. von zur Gathen and J. Gerhard. Modern Computer Algebra. Cambridge University Press, 1999.
K. Wegschaider. Computer generated proofs of binomial multi-sum identities. Diploma thesis, RISC Linz, Johannes Kepler University, 1997.
E.T. Whittaker. A Course in Modern Analysis. Cambridge University Press, 1990.
D. Zeilberger. A Fast Algorithm for Proving Terminating Hypergeometric Identities. Discrete Math., 80:207–211, 1990.
D. Zeilberger. A Holonomic Systems Approach to Special Function Identitites. J. Comput. Appl. Math., 32:321–368, 1990.
V.E. Zakharov, V.S. L’vov, and G. Falkovich. Kolmogorov Spectra of Turbulence. Springer, 1992.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Paule, P., Buchberger, B., Kartashova, L., Kauers, M., Schneider, C., Winkler, F. (2009). Algorithms in Symbolic Computation. In: Buchberger, B., et al. Hagenberg Research. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02127-5_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-02127-5_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02126-8
Online ISBN: 978-3-642-02127-5
eBook Packages: Computer ScienceComputer Science (R0)