RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  

Algorithmic Combinatorics Publications

Type: [any] [Papers] [Theses] [Technical Reports] [Other
Author: [any] [Ablinger] [Paule] [Kauers] [Koutschan] [Pillwein] [Radu] [Schneider
Year: [any] [2014] [2013] [2012] [2011] [2010] [2009] [earlier

J. Ablinger. The package HarmonicSums: Computer Algebra and Analytic aspects of Nested Sums. In: Loops and Legs in Quantum Field Theory - LL 2014, J. Bluemlein, P. Marquard, T. Riemann (ed.), pp. 1-10. 2014. ISSN 1824-8039. [bib]
J. Ablinger, J. Bluemlein, A. De Freitas A. Hasselhuhn, A. von Manteuffel, M. Round, C. Schneider, F. Wissbrock. The Transition Matrix Element $A_{gq}(N)$ of the Variable Flavor Number Scheme at $O(\alpha_s^3)$. Nuclear Physics B 882, pp. 263-288. 2014. ISSN: 0550-3213. arXiv:1402.0359 [hep-ph]. [url] [bib]
Blümlein Johannes, Hasselhuhn Alexander, Pfoh Torsten. The $O(alpha_s^2)$ heavy quark corrections to charged current deep-inelastic scattering at large virtualities. Nucl.Phys. B881, pp. 1-41. 2014. ISSN: 0550-3213. arXiv:1401.4352. [bib]
J. Ablinger, J. Bluemlein, A. De Freitas, A. Hasselhuhn, A. von Manteuffel, M. Round, C. Schneider. The $O(\alpha_s^3 T_F^2)$ Contributions to the Gluonic Operator Matrix Element. Nuclear Physics B 885, pp. 280-317. 2014. ISSN: 0550-3213. arXiv:1405.4259 [hep-ph]. [url] [bib]
J. Ablinger, A. Behring, J. Bluemlein, A. De Freitas, A. Hasselhuhn, A. von Manteuffel, M. Round, C. Schneider, F. Wissbrock. The 3-Loop Non-Singlet Heavy Flavor Contributions and Anomalous Dimensions for thE Structure Function \boldmath $F_2(x, Q^2)$ and Transversity. Nuclear Physics B 886, pp. 733-823. 2014. ISSN: 0550-3213. arXiv:1406.4654 [hep-ph]. [url] [bib]
J. Ablinger, J. Blümlein, A. De Freitas, A. Hasselhuhn, A. von Manteuffel, M. Round, C. Schneider, F. Wißbrock. 3-Loop Heavy Flavor Corrections in Deep-Inelastic Scattering with Two Heavy Quark Lines. In: Proceedings of Loops and Legs in Quantum Field Theory - LL 2014, J. Bluemlein, P. Marquard, T. Riemann (ed.), PoS(LL2014)015 , pp. 1-10. 2014. ISSN 1824-8039. arXiv:1407.2821 [hep-ph]. [url] [bib]
A. Ablinger, A. Behring, J. Blümlein, A. De Freitas, A. Hasselhuhn, A. von Manteuffel, C. Raab, M. Round, C. Schneider, F. Wißbrock. Recent progress on the calculation of three-loop heavy flavor Wilson coefficients in deep-inelastic scattering. In: Loops and Legs in Quantum Field Theory - LL 2014, J. Bluemlein, P. Marquard, T. Riemann (ed.), PoS(LL2014)041 , pp. 1-11. 2014. ISSN 1824-8039. arXiv:1407.3638 [hep-ph]. [url] [bib]
J. Ablinger, J. Blümlein, A. De Freitas, A. Hasselhuhn, A. von Manteuffel, M. Round, C. Schneider. 3-loop Massive $O(T_F^2)$ Contributions to the DIS Operator Matrix Element $A_{gg}$. In: Proc. of of QCD '14, , Proceedings of QCD Montpellier Conference, Nucl. Phys. B (Proc. Suppl.) to appear, pp. ?-?. 2014. ISSN 0550-3213. arXiv:1409.1435 [hep-ph]. [url] [bib]
Shaoshi Chen, Hui Huang, Ziming Li. Improved Abramov-Petkovsek's Reduction and Creative Telescoping for Hypergeometric Terms. 2014. Poster presentation at ISSAC. [pdf] [pdf] [bib]
Maximilian Jaroschek. Radicals of Ore Polynomials. In: Proceedings of EACA 2014, , pp. -. 2014. to appear. [pdf] [bib]
F. Johansson. Fast and rigorous computation of special functions to high precision. RISC. PhD Thesis. 2014. [pdf] [bib]
Manuel Kauers, Maximilian Jaroschek, Fredrik Johansson. Ore Polynomials in Sage. In: Computer Algebra and Polynomials, Jaime Gutierrez, Josef Schicho, Martin Weimann (ed.), Lecture Notes in Computer Science , pp. ?-?. 2014. tba. [pdf] [ps] [bib]
Fredrik Johansson, Brian Nakamura. Using functional equations to enumerate 1324-avoiding permutations. Advances in Applied Mathematics 56(0), pp. 20 - 34. 2014. ISSN 0196-8858. [url] [bib]
Manuel Kauers, Lily Yen. On the length of integers in telescopers for proper hypergeometric terms. Journal of Symbolic Computation, pp. ?-?. 2014. ISSN 0747-7171. to appear. [pdf] [ps] [bib]
Manuel Kauers. Computer Algebra. In: Handbook of Combinatorics, Miklos Bona (ed.), pp. ?-?. 2014. Taylor and Francis, tba. [bib]
Manuel Kauers. Bounds for D-Finite Closure Properties. In: Proceedings of ISSAC 2014, Katsusuke Nabeshima (ed.), pp. 288-295. 2014. isbn 978-1-4503-2501-1/14/07. [pdf] [bib]
Manuel Kauers. Bounds for D-Finite Closure Properties. arxiv. Technical report no. 1408.5514, 2014. [pdf] [bib]
Shaoshi Chen, Manuel Kauers, Michael F. Singer. Desingularization of Ore Operators. arxiv. Technical report no. 1408.5512, 2014. [pdf] [bib]
Alin Bostan, Mireille Bousquet-Mélou, Manuel Kauers, Stephen Melczer. On 3-dimensional lattice walks confined to the positive octant. Arxiv. Technical report no. 1409.3669, 2014. [pdf] [bib]
Christoph Koutschan, Peter Paule, Sergei K. Suslov. Relativistic Coulomb Integrals and Zeilberger's Holonomic Systems Approach II. In: Algebraic and Algorithmic Aspects of Differential and Integral Operators, Moulay Barkatou and Thomas Cluzeau and Georg Regensburger and Markus Rosenkranz (ed.), Lecture Notes in Computer Science 8372, pp. 135-145. 2014. Springer, Berlin Heidelberg, ISBN 978-3-642-54478-1. [pdf] [bib]
Shaoshi Chen, Manuel Kauers, Christoph Koutschan. A Generalized Apagodu-Zeilberger Algorithm. In: Proceedings of ISSAC 2014, Katsusuke Nabeshima (ed.), pp. 107-114. 2014. ISBN 978-1-4503-2501-1. [pdf] [bib]
B. Kronholm, A. Larsen. Symmetry and Prime Divisibility Properties of Partitions of $n$ into Exactly $m$ Parts. Annals of Combinatorics, pp. -. March 2014. Springer Basel, Basel, Switzerland, ISSN 0218-0006. [url] [bib]
Nicolas Brisebarre, Christoph Lauter, Marc Mezzarobba, Jean-Michel Muller. Comparison between binary and decimal floating-point numbers. HAL. Technical report no. hal-01021928, 2014. [url] [bib]
Alexandre Benoit, Mioara JoldeČ™, Marc Mezzarobba. Rigorous Uniform Approximation of D-finite Functions Using Chebyshev Expansions. HAL. Technical report no. hal-01022420, 2014. [url] [bib]
I. Moale, V. Pillwein. A note on uniform approximation of functions having a double pole. LMS J. Comput. Math. 17(1), pp. 233-244. 2014. [pdf] [bib]
G. Nikolov, V. Pillwein. An extension of Turan's inequality for ultraspherical polynomials. Mathematical Inequalities & Applications, pp. ?-?. 2014. accepted.. [pdf] [bib]
A. Dixit, V.H. Moll, V. Pillwein. A hypergeometric inequality. Annals of Combinatorics, pp. ?-?. 2014. accepted.. [pdf] [bib]
J. Ablinger, J. Blümlein, C. Raab, C. Schneider, F. Wissbrock. Calculating Massive 3-loop Graphs for Operator Matrix Elements by the Method of Hyperlogarithms. Nuclear Physics B 885, pp. 409-447. 2014. ISSN: 0550-3213. arXiv:1403.1137 [hep-ph]. [url] [bib]
J. Ablinger, J. Blümlein, C.G. Raab, C. Schneider. Iterated Binomial Sums and their Associated Iterated Integrals. submitted, pp. 1-62. 2014. arXiv:1407.1822 [hep-th]. [url] [bib]
J. Ablinger, J. Blümlein, C G. Raab, C. Schneider. Nested (inverse) binomial sums and new iterated integrals for massive Feynman diagrams. In: Loops and Legs in Quantum Field Theory - LL 2014, J. Bluemlein, P. Marquard, T. Riemann (ed.), PoS(LL2014)020 , pp. 1-13. 2014. ISSN 1824-8039. arXiv:1407.4721 [hep-th]. [url] [bib]
J. Blümlein, I. Dubovyk, J. Gluza, M. Ochman, C.G. Raab, T. Riemann, C. Schneider. Non-planar Feynman integrals, Mellin-Barnes representations, multiple sums. In: Loops and Legs in Quantum Field Theory - LL 2014, J. Bluemlein, P. Marquard, T. Riemann (ed.), PoS(LL2014)52 , pp. 1-14. 2014. ISSN 1824-8039. arXiv:1407.7832 [hep-ph]. [url] [bib]
C. Schneider. Fast Algorithms for Refined Parameterized Telescoping in Difference Fields. In: RICAM Special Semester on Applications of Algebra and Number Theory , Proceedings of Workshop 3 on Computer Algebra and Polynomials, , Lecture Notes in Computer Science (LNCS), to appear , pp. -. 2014. Springer, ISSN: 0302-9743 . arXiv:1307.7887 [cs.SC]. [url] [bib]
C. Schneider. Modern Summation Methods for Loop Integrals in Quantum Field Theory: The Packages Sigma, EvaluateMultiSums and SumProduction. In: Proc. ACAT 2013, , J. Phys.: Conf. Ser. 523/012037, pp. 1-17. 2014. ISSN 1742-6596. arXiv:1310.0160 [cs.SC]. [url] [bib]
J. Ablinger, J. Bluemlein, C. Schneider. Generalized Harmonic, Cyclotomic, and Binomial Sums, their Polylogarithms and Special Numbers. In: Proc. ACAT 2013, , J. Phys.: Conf. Ser 523/012060, pp. 1-10. 2014. ISSN 1742-6596. arXiv:1310.5645 [math-ph]. [url] [bib]
A. De Freitas, J. Blümlein, C. Schneider. Recent Symbolic Summation Methods to Solve Coupled Systems of Differential and Difference Equations. In: Loops and Legs in Quantum Field Theory - LL 2014, J. Bluemlein, P. Marquard, T. Riemann (ed.), PoS(LL2014)017 , pp. 1-13. 2014. ISSN 1824-8039. arXiv:1407.2537 [cs.SC]. [url] [bib]
Carsten Schneider. A Difference Ring Theory for Symbolic Summation. arXiv:1408.2776 [cs.SC]. Technical report, 2014. [url] [bib]
J. Ablinger, A. Behring, J. Blümlein, A. De Freitas, A. von Manteuffel, C. Schneider. The 3-Loop Pure Singlet Heavy Flavor Contributions to the Structure Function $F_2(x, Q^2)$ and the Anomalous Dimension. submitted, pp. 1-85. 2014. arXiv:1409.1135 [hep-ph]. [url] [bib]
Thomas Ponweiser. Computer Algebra and Analysis: Complex Variables Visualized. RISC Institute, JKU Linz, Austria. Diploma Thesis. 2014. [pdf] [bib]
J. Ablinger, J. Bluemlein. Harmonic Sums, Polylogarithms, Special Numbers, and Their Generalizations. In: Computer Algebra in Quantum Field Theory, C. Schneider, J. Bluemlein (ed.), Texts and Monographs in Symbolic Computation , pp. 1-32. 2013. Springer, ISBN-13: 978-3709116159. [bib]
Ainhoa Aparicio Monforte, Manuel Kauers. Formal Laurent Series in Several Variables. Expositiones Mathematicae 31(4), pp. 350-367. 2013. ISSN 0723-0869. [pdf] [bib]
J. Ablinger, J. Bluemlein, A. De Freitas, A. Hasselhuhn, A. von Manteuffel, C. Raab, M. Round, C. Schneider, F. Wissbrock. Recent Results on the 3-Loop Heavy Flavor Wilson Coefficients in Deep-Inelastic Scattering. In: XXI International Workshop on Deep-Inelastic Scattering and Related Subjects - DIS2013, PoS(DIS 2013)301, pp. 1-8. 2013. ISSN 1824-8039. arXiv:1307.7548 [hep-ph]. [url] [bib]
A. Behring, J. Bluemlein, A. De Freitas, T. Pfoh, C. Raab, M. Round, J. Ablinger, A. Hasselhuhn, C. Schneider, F. Wissbrock, A. von Manteuffel. New Results on the 3-Loop Heavy Flavor Corrections in Deep-Inelastic Scattering. In: Proc. of RADCOR, , PoS(RADCOR 2013)058 , pp. 1-21. 2013. ISSN 1824-8039. arXiv:1312.0124 [hep-ph]. [url] [bib]
Alexander Hasselhuhn. 3-loop contributions to heavy flavor Wilson coefficients of neutral and charged current DIS. TU Dortmund University. PhD Thesis. 2013. [url] [bib]
Maximilian Jaroschek, Manuel Kauers, Shaoshi Chen, Michael F. Singer. Desingularization Explains Order-Degree Curves for Ore Operators. ArXiv. Technical report no. 1301.0917, 2013. [pdf] [ps] [bib]
Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers, Michael F. Singer. Desingularization Explains Order-Degree Curves for Ore Operators. In: Proceedings of ISSAC'13, Manuel Kauers (ed.), pp. 157-164. 2013. isbn 978-1-4503-2059-7/13/06. [pdf] [ps] [bib]
Maximilian Jaroschek. Improved Polynomial Remainder Sequences for Ore Polynomials. Journal of Symbolic Computation 58, pp. 64-76. 2013. ISSN 0747-7171. [url] [bib]
Maximilian Jaroschek. Removable Singularities of Ore Operators. RISC. PhD Thesis. November 2013. [pdf] [bib]
Fredrik Johansson, Manuel Kauers, Marc Mezzarobba. Finding Hyperexponential Solutions of Linear ODEs by Numerical Evaluation. ArXiv. Technical report no. 1301.2486, 2013. [pdf] [bib]
Fredrik Johansson, Manuel Kauers, Marc Mezzarobba. Finding Hyperexponential Solutions of Linear ODEs by Numerical Evaluation. In: Proceedings of ISSAC'13, Manuel Kauers (ed.), pp. 211-218. 2013. isbn 978-1-4503-2059-7/13/06. [pdf] [ps] [bib]
Manuel Kauers, Maximilian Jaroschek, Fredrik Johansson. Ore Polynomials in Sage. ArXiv. Technical report no. 1306.4263, 2013. [pdf] [bib]
Fredrik Johansson. Arb: A C library for ball arithmetic. 2013. Software presentation at ISSAC 2013. [pdf] [pdf] [bib]
Fredrik Johansson. Rigorous high-precision computation of the Hurwitz zeta function and its derivatives. arxiv. Technical report no. 1309.2877, 2013. [pdf] [bib]
Fredrik Johansson, Brian Nakamura. Using functional equations to enumerate 1324-avoiding permutations. arxiv. Technical report no. 1309.7117, 2013. [url] [pdf] [bib]
Fredrik Johansson. Evaluating parametric holonomic sequences using rectangular splitting. arxiv. Technical report no. 1310.3741, 2013. [url] [pdf] [bib]
Richard P. Brent, Fredrik Johansson. A bound for the error term in the Brent-McMillan algorithm. arxiv. Technical report no. 1312.0039, 2013. [url] [pdf] [bib]
Manuel Kauers (ed.). Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation. Proceedings of ISSAC'13, 2013. ACM, isbn 978-1-4503-2059-7/13/06. [bib]
Manuel Kauers. The Holonomic Toolbox. In: Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, Johannes Bluemlein and Carsten Schneider (ed.), pp. ??-??. 2013. Springer, tba. to appear. [pdf] [bib]
Manuel Kauers and Lily Yen. On the length of integers in telescopers for proper hypergeometric terms. ArXiv. Technical report no. 1311.3720, 2013. [pdf] [bib]
Christoph Koutschan, Thotsaporn Thanatipanonda. Advanced Computer Algebra for Determinants. Annals of Combinatorics, pp. ?-?. 2013. ISSN 0218-0006. To appear (preprint on arXiv:1112.0647). [url] [pdf] [bib]
Irina Georgieva, Clemens Hofreither, Christoph Koutschan, Veronika Pillwein, Thotsaporn Thanatipanonda. Harmonic interpolation based on Radon projections along the sides of regular polygons. Central European Journal of Mathematics 11(4), pp. 609-620. 2013. ISSN 1895-1074. [pdf] [bib]
Christoph Koutschan, Peter Paule, Sergei K. Suslov. Relativistic Coulomb Integrals and Zeilberger's Holonomic Systems Approach II. Technical report no. 13-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2013. Submitted for publication. [pdf] [bib]
B. Kronholm. Generalized Congruence Properties of the Restricted Partition Function p(n, m). The Ramanujan Journal 30(3), pp. 425-436. 2013. 1572-9303. [url] [bib]
Peter Paule, Sergei K. Suslov. Relativistic Coulomb Integrals and Zeilbergers Holonomic Systems Approach. I.. In: Computer Algebra in Quantum Field Theory, Texts and Monographs in Symbolic Computation, Springer, 2013, Carsten Schneider, Johannes Blümlein (ed.), pp. 225-241. 2013. Springer, 978-3-7091-1615-9. [bib]
Alladi, K.; Paule, P.; Sellers, J.; Yee, A.J. (ed.). Combinatory Analysis - Dedicated to George Andrews. Proceedings of Combinatory Analysis 2008: Partitions, q-series, and Applications A Conference in Honor of George Andrews' 70th Birthday, Developments in Math., 32, 2013. Springer, [bib]
Peter Paule. Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift. 1st edition, 2013. Springer, 978-3-319-00965-0. [bib]
S. Beuchler and V. Pillwein and S. Zaglmayr. Sparsity optimized high order finite element functions for H(curl) on tetrahedra. Advances in Applied Mathematics 50, pp. 749-769. 2013. [url] [pdf] [bib]
V. Pillwein. Termination Conditions for Positivity Proving Procedures. In: Proceedings of ISSAC'13, M. Kauers (ed.), pp. ?-?. 2013. isbn 978-1-4503-2059-7/13/06. [pdf] [bib]
Hamid Rahkooy, Zafeirakis Zafeirakopoulos. On Computing Elimination Ideals Using Resultants with Applications to Groebner Bases. Research Institute for Symbolic Computations, Doctoral College Computational Mathematics. Technical report, 2013. [url] [bib]
J. Bluemlein, A. Hasselhuhn, S. Klein, C. Schneider. The $O(α_s^3 n_f T_F^2 C_{A, F})$} Contributions to the Gluonic Massive Operator Matrix Elements. Nuclear Physics B(866), pp. 196-211. 2013. ISSN: 0550-3213. [url] [pdf] [bib]
J. Ablinger, J. Bluemlein, C. Schneider. Analytic and Algorithmic Aspects of Generalized Harmonic Sums and Polylogarithms. J. Math. Phys. 54, 082301 (2013); 54(082301), pp. 1-74. 2013. ISSN 0022-2488. arXiv:1302.0378 [math-ph]. [url] [pdf] [bib]
C. Schneider. Simplifying Multiple Sums in Difference Fields. In: Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, C. Schneider, J. Bluemlein (ed.), Texts and Monographs in Symbolic Computation , pp. 325-360. 2013. Springer, ISBN-13: 978-3709116159. [url] [bib]
J. Bluemlein, T. Riemann, C. Schneider. Precision Calculations, Algebraic Summation and Integration - Towards the Mathematical Structure of the Microcosm. In: Annual report 2012 of the particle and astroparticle physics division at DESY, - (ed.), pp. 90-91. 2013. Deutsches Elektronen Synchrotron (DESY), -. [url] [bib]
J. Bluemlein, C. Schneider (ed.). Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions. Texts and Monographs in Symbolic Computation, 2013. Springer Wien, ISBN-13: 978-3709116159. [bib]
C. Schneider. Symbolic Summation in Difference Fields and Its Application in Particle Physics. Computer Algebra Rundbrief 53, pp. 8-12. 2013. ISSN 0933-5994. [url] [bib]
V. Pillwein, S. Takacs. A local Fourier convergence analysis of a multigrid method using symbolic computation. Journal of Symbolic Computation, pp. ?-?. 2013. [pdf] [bib]
Qunying Liao, Keli Pu, Liangjie Ye. On q-ary Asymmetric Error-correcting Codes. Journal of Sichuan Normal University(Natural Science) 36(4), pp. 643-648. 2013. ISSN:1001-8395 . [bib]
Koukouvinos Christos, Simos Dimitris E, Zafeirakopoulos Zafeirakis. A Groebner Bases Method for Complementary Sequences. In: Proceedings of Applications of Computer Algebra, Jose Luis Galan Garcia, Gabriel Aguilera Venegas, Pedro Rodirguez Cielos (ed.), pp. 255-260. 2013. 84-616-4565-0. [bib]
S. Gerhold, M. Kauers, C. Koutschan, P. Paule, C. Schneider, B. Zimmermann. Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order. In: Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, C. Schneider, J. Bluemlein (ed.), Texts and Monographs in Symbolic Computation , pp. 75-96. 2013. Springer, ISBN-13: 978-3709116159. arXiv:1305.4818 [cs.SC]. [url] [bib]
J. Ablinger. Computer Algebra Algorithms for Special Functions in Particle Physics. J. Kepler University Linz. PhD Thesis. April 2012. [pdf] [bib]
Ainhoa Aparicio-Monforte, Jacques-Arthur Weil. A reduced form for linear differential systems and its application to integrability of Hamiltonian systems. Journal of Symbolic Computation 47(2), pp. 192-213. 02 2012. ISSN 0747-7171. [url] [bib]
Peter Paule, Sergei K. Suslov. Relativistic Coulomb Integrals and Zeilbergers Holonomic Systems Approach. I. Technical report no. 12-12 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2012. [pdf] [bib]
J. Ablinger, J. Bluemlein, A. De Freitas, A. Hasselhuhn, S. Klein, C. Raab, M. Round, C. Schneider, F. Wissbrock. Three-Loop Contributions to the Gluonic Massive Operator Matrix Elements at General Values of N. In: Proc. Loops and Legs in Quantum Field Theory 2012, J. Blümlein, S. Moch, T. Riemann (ed.), PoS(LL2012)033 , pp. 1-12. 2012. ISSN 1824-8039. [url] [bib]
J. Ablinger, J. Bluemlein, A. De Freitas, A. Hasselhuhn, S. Klein, C. Schneider, F. Wissbrock. New Results on the 3-Loop Heavy Flavor Wilson Coefficients in Deep-Inelastic Scattering. In: Proceedings of the 36th International Conference on High Energy Physics, PoS(ICHEP2012)270, pp. 1-9. 2012. ISSN 1824-8039. [url] [bib]
Maximilian Jaroschek. Improved Polynomial Remainder Sequences for Ore Polynomials. 2012. Poster presentation at ISSAC 2012. [url] [bib]
Fredrik Johansson. Efficient implementation of the Hardy-Ramanujan-Rademacher formula. LMS Journal of Computation and Mathematics(15), pp. 341-359. 2012. ISSN 1461-1570. [url] [pdf] [bib]
Shaoshi Chen, Manuel Kauers, Michael F. Singer. Telescopers for Rational and Algebraic Functions via Residues. ArXiv. Technical report no. 1201.1954, 2012. [pdf] [ps] [bib]
Shaoshi Chen, Manuel Kauers. Order-Degree Curves for Hypergeometric Creative Telescoping. ArXiv. Technical report no. 1201.1982, 2012. [pdf] [ps] [bib]
Shaoshi Chen, Manuel Kauers. Trading Order for Degree in Creative Telescoping. Journal of Symbolic Compuation 47(8), pp. 968-995. 2012. ISSN 0747-7171. [pdf] [ps] [bib]
Manuel Kauers, Ryan O\'Donnell, Li-Yang Tan, Yuan Zhou. Hypercontractive inequalities via SOS, with an application to Vertex-Cover. ArXiv. Technical report no. 1212.5324, 2012. [ps] [pdf] [bib]
Shaoshi Chen, Manuel Kauers. Order-Degree Curves for Hypergeometric Creative Telescoping. In: Proceedings of ISSAC 2012, Joris van der Hoeven and Mark van Hoeij (ed.), pp. 122-129. 2012. isbn 978-1-4503-1269. [pdf] [bib]
Shaoshi Chen, Manuel Kauers, Michael F. Singer. Telescopers for Rational and Algebraic Functions via Residues. In: Proceedings of ISSAC 2012, Joris van der Hoeven and Mark van Hoeij (ed.), pp. 130-137. 2012. isbn 978-1-4503-1269. [pdf] [bib]
Manuel Kauers, Christian Krattenthaler, Thomas W. Mueller. A method for determining the mod-$2^k$ behaviour of recursive sequences, with applications to subgroup counting. Electronic Journal of Combinatorics 18(2), pp. 1-76. 2012. 1077-8926. P37. [pdf] [ps] [bib]
Christoph Koutschan, Christoph Lehrenfeld, Joachim Schoeberl. Computer Algebra meets Finite Elements: an Efficient Implementation for Maxwell's Equations. In: Numerical and Symbolic Scientific Computing: Progress and Prospects, Ulrich Langer, Peter Paule (ed.), Texts and Monographs in Symbolic Computation 1, pp. 105-121. 2012. Springer, Wien, ISBN 978-3-7091-0793-5. [pdf] [bib]
Tewodros Amdeberhan, Christoph Koutschan, Victor H. Moll, Eric S. Rowland. The iterated integrals of ln(1+x^n). International Journal of Number Theory 8(1), pp. 71-94. 2012. ISSN 1793-0421. [pdf] [bib]
Stavros Garoufalidis, Christoph Koutschan. The non-commutative A-polynomial of (-2, 3, n) pretzel knots. Experimental Mathematics 21(3), pp. 241-251. 2012. ISSN 1058-6458. [url] [pdf] [bib]
Masao Ishikawa, Christoph Koutschan. Zeilberger's Holonomic Ansatz for Pfaffians. In: Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation (ISSAC), Joris van der Hoeven, Mark van Hoeij (ed.), pp. 227-233. 2012. ACM, ISBN 978-1-4503-1269. [url] [pdf] [bib]
Stavros Garoufalidis, Christoph Koutschan. Twisting q-holonomic sequences by complex roots of unity. In: Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation (ISSAC), Joris van der Hoeven, Mark van Hoeij (ed.), pp. 179-186. 2012. ACM, ISBN 978-1-4503-1269. [url] [pdf] [bib]
Herwig Hauser, Christoph Koutschan. Linear Recurrences and Power Series Division. Discrete Mathematics 312(24), pp. 3553-3560. 2012. ISSN 0012-365X. [pdf] [bib]
Thierry Combot, Christoph Koutschan. Third order integrability conditions for homogeneous potentials of degree -1. Journal of Mathematical Physics 53(8), pp. 082704-. 2012. ISSN 0022-2488. [pdf] [bib]
B. Kronholm. A Result on Ramanujan-Like Congruence Properties of the Restricted partition Function p(n, m) Across Both Variables. INTEGERS 12(A63), pp. 1-6. 2012. 1553-1732. [url] [bib]
Peter Paule, Cristian-Silviu Radu. The Andrews-Sellers Family of Partition Congruences. Advances in Mathematics, pp. 819-838. 2012. 0001-8708. [pdf] [bib]
Ulrich Langer, Peter Paule (ed.). Numerical and Symbolic Scientific Computing - Progress and Prospects. Texts & Monographs in Symbolic Computation, 2012. Springer, 978-3-7091-0793-5. [bib]
S. Beuchler, V. Pillwein and S. Zaglmayr. Fast summation techniques for sparse shape functions in tetrahedral hp-FEM. In: Domain Decomposition Methods in Science and Engineering XX, , pp. 537-544. 2012. to appear. [pdf] [bib]
S. Beuchler, V. Pillwein and S. Zaglmayr. Sparsity optimized high order finite element functions for H(div) on simplices. Numerische Mathematik 122(2), pp. 197-225. 2012. [pdf] [bib]
Clemens G. Raab. Using Groebner bases for finding the logarithmic part of the integral of transcendental functions. Journal of Symbolic Computation 47(10), pp. 1290-1296. 2012. ISSN 0747-7171. [bib]
Moulay A. Barkatou, Clemens G. Raab. Solving Linear Ordinary Differential Systems in Hyperexponential Extensions. In: Proceedings of ISSAC 2012, Joris van der Hoeven and Mark van Hoeij (ed.), Proceedings of 37th International Symposium on Symbolic and Algebraic Computation, ISSAC 2012, pp. 51-58. 2012. ISBN 978-1-4503-1269. [pdf] [bib]
Clemens G. Raab. Definite Integration in Differential Fields. Johannes Kepler Universität Linz, Austria. PhD Thesis. August 2012. [pdf] [bib]
Cristian-Silviu Radu. A proof of Subbarao's conjecture. Journal fuer Reine und angewandte Mathematik, pp. -. 2012. 1435-5345. [pdf] [bib]
Cristian-Silviu Radu. Proof of a conjecture by Ahlgren and Ono on the non-existence of certain partition congruences. Transactions of the American Mathematical Society, pp. -. 2012. 1088-6850(e), 0002-9947(p) . [pdf] [bib]
J. Bluemlein, S. Klein, C. Schneider, F. Stan. A Symbolic Summation Approach to Feynman Integral Calculus. J. Symbolic Comput. 47, pp. 1267-1289. 2012. ISSN 0747-7171. [pdf] [bib]
J. Ablinger, J. Bluemlein, A. Hasselhuhn, S. Klein, C. Schneider, F. Wissbrock. New Heavy Flavor Contributions to the DIS Structure Function $F_2(x, Q^2)$ at $O(\alpha_s^3)$. In: Proceedings of RADCOR 2011, , Proceedings of 10th International Symposium on Radiative Corrections (Applications of Quantum Field Theory to Phenomenology) PoS(RADCOR2011)31, pp. 1-8. 2012. ISSN 1824-8039. [url] [bib]
J. Bluemlein, A. Hasselhuhn, C. Schneider. Evaluation of Multi-Sums for Large Scale Problems. In: Proceedings of RADCOR 2011, , Proceedings of 10th International Symposium on Radiative Corrections (Applications of Quantum Field Theory to Phenomenology)PoS(RADCOR2011)32, pp. 1-9. 2012. ISSN 1824-8039. [url] [bib]
J. Ablinger, J. Bluemlein, A. Hasselhuhn, S. Klein, C. Schneider, F. Wissbrock. Massive 3-loop Ladder Diagrams for Quarkonic Local Operator Matrix Elements. Nuclear Physics B 864, pp. 52-84. 2012. ISSN: 0550-3213. arXiv:1206.2252v1 [hep-ph]. [url] [bib]
J. Ablinger, J. Bluemlein, M. Round, C. Schneider. Advanced Computer Algebra Algorithms for the Expansion of Feynman Integrals. In: Loops and Legs in Quantum Field Theory 2012, J. Bluemlein, S. Moch, T. Riemann (ed.), PoS(LL2012) 50, pp. 1-14. 2012. ISSN 1824-8039. arXiv:1210.1685 [cs.SC]. [url] [bib]
Silviu Radu, James Sellers. Congruences Modulo Squares of Primes for Fu's Dots Bracelet Partitions. Technical report no. 12-13 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2012. [pdf] [bib]
V. Pillwein, S. Takacs. A local Fourier convergence analysis of a multigrid method using symbolic computation. DK Computational Mathematics. Technical report no. DK Report 2012-04, April 2012. [pdf] [bib]
Zafeirakis Zafeirakopoulos. Linear Diophantine Systems: Partition Analysis and Polyhedral Geometry. Research Institute for Symbolic Computation / DK-compmath. PhD Thesis. December 2012. [bib]
Ainhoa Aparicio-Monforte, Moulay Barkatou, Sergi Simon, Jacques-Arthur Weil. Formal First Integrals Along Solutions of Differential Systems I. In: ISSAC 2011, Association for Computing Machinery (ed.), pp. 19-26. 2011. ACM, 978-1-4503-0675-1. [bib]
Ainhoa Aparicio-Monforte, Jacques-Arthur Weil. A reduction method for higher order variational equations of Hamiltonian systems. In: Symmetries and Related Topics in Differential and Difference Equations, David Blázquez-Sanz, Juan J. Morales-Ruiz and Jesús Rodríguez Lombardero (ed.), Contemporary Mathematics , pp. ---. september 2011. American Mathematical Society, 2009 Jairo Charris Seminar in Symmetries of Differential and Difference Equations, 0-8218-6872-1. [bib]
Bruno Buchberger, Manuel Kauers. Buchberger's Algorithm. Scholarpedia 6(10), pp. 7764-7764. October 2011. 1941-6016. [url] [bib]
Shaoshi Chen, Ruyong Feng, Guofeng Fu, Ziming Li. On the Structure of Compatible Rational Functions. In: Proceedings of ISSAC 2011, Anton Leykin (ed.), Proceedings of The 36th International Symposium on Symbolic and Algebraic Computation (ISSAC2011), pp. 91-98. June 2011. ACM, 978-1-4503-0675-1. [url] [pdf] [ps] [bib]
Burcin Erocal. Algebraic extensions for summation in finite terms. RISC, Johannes Kepler University, Linz. PhD Thesis. February 2011. [pdf] [bib]
Christoph Fuerst. Combinatorial Sums: Egorychev's Method of Coefficients and Riordan Arrays. RISC, Johannes Kepler University Linz. Diploma Thesis. March 2011. [pdf] [bib]
Fredrik Johansson. A fast algorithm for reversion of power series. 2011. arxiv preprint, [pdf] [bib]
Manuel Kauers, Peter Paule. The Concrete Tetrahedron. Text and Monographs in Symbolic Computation 1st edition, 2011. Springer Wien, 210 pages, 978-3-7091-0444-6. [bib]
Manuel Kauers, Sheng-Lan Ko. Problem 11545. 1 2011. American Mathematical Monthly 118(1):84, ISSN 0192-5857. [ps] [pdf] [bib]
Manuel Kauers. How To Use Cylindrical Algebraic Decomposition. Seminaire Lotharingien de Combinatoire 65(B65a), pp. 1-16. 2011. ISSN 1286-4889. [pdf] [ps] [bib]
Manuel Kauers, Doron Zeilberger. The Computational Challenge of Enumerating High Dimensional Rook Paths. Advances in Applied Mathematics 47(4), pp. 813-819. 2011. ISSN 0196-8858. [pdf] [ps] [bib]
Manuel Kauers. A Mathematica Package for Computing Asymptotic Expansions of Solutions of P-Finite Recurrence Equations. Technical report no. 00-00 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2011. [ps] [pdf] [bib]
Manuel Kauers, Veronika Pillwein, Susanne Saminger-Platz. Dominance in the Family of Sugeno-Weber t-norms. Fuzzy Sets and Systems 181(1), pp. 74-87. October 2011. ISSN 0165-0114. [ps] [pdf] [bib]
Manuel Kauers, Christian Krattenthaler, Thomas W. Mueller. A method for determining the mod-$2^k$ behaviour of recursive sequences, with applications to subgroup counting. ArXiv. Technical report no. 1107.2015, 2011. [pdf] [ps] [bib]
Manuel Kauers (ed.). ISSAC 2011 Poster Abstracts. Communications in Computer Algebra, 45/2, June 2011. ACM Sigsam, [bib]
Tewodros Amdeberhan, Mark W. Coffey, Olivier Espinosa, Christoph Koutschan, Dante V. Manna, Victor H. Moll. Integrals of powers of loggamma. Proceedings of the AMS 139(2), pp. 535-545. 2011. ISSN 0002-9939. [pdf] [bib]
Christoph Koutschan, Victor H. Moll. The integrals in Gradshteyn and Ryzhik. Part 18: Some automatic proofs. SCIENTIA Series A: Mathematical Sciences 20, pp. 93-111. 2011. Universidad Tecnica Federico Santa Maria, Valparaiso, Chile, ISSN 0716-8446. [pdf] [bib]
Christoph Koutschan, Manuel Kauers, Doron Zeilberger. Proof of George Andrews's and David Robbins's q-TSPP conjecture. Proceedings of the National Academy of Sciences 108(6), pp. 2196-2199. 2011. ISSN 0027-8424. [url] [pdf] [bib]
Stavros Garoufalidis, Christoph Koutschan. The sl3 Jones polynomial of the trefoil: a case study of q-holonomic recursions. Advances in Applied Mathematics 47(4), pp. 829-839. 2011. ISSN 0196-8858. [pdf] [bib]
Christoph Koutschan, Doron Zeilberger. The 1958 Pekeris-Accad-WEIZAC Ground-Breaking Collaboration that computed Ground States of Two-Electron Atoms (and its 2010 Redux). The Mathematical Intelligencer 33(2), pp. 52-57. 2011. ISSN 0343-6993. [url] [pdf] [bib]
Viktor Levandovskyy, Christoph Koutschan, Oleksandr Motsak. On Two-generated Non-commutative Algebras Subject to the Affine Relation. In: Proceedings of CASC 2011, Vladimir Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii Vorozhtsov (ed.), Lecture Notes in Computer Science 6885, pp. 309-320. 2011. Springer, ISBN 978-3-642-23567-2. [pdf] [bib]
Frederic Chyzak, James H. Davenport, Christoph Koutschan, Bruno Salvy. On Kahan's Rules for Determining Branch Cuts. In: Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Dongming Wang et al. (ed.), pp. 47-51. 2011. IEEE Computer Society: Conference Publishing Services (CPS), ISBN 978-0-7695-4630-8. [pdf] [bib]
Christoph Koutschan. Lattice Green's Functions of the Higher-Dimensional Face-Centered Cubic Lattices. ArXiv (www.arxiv.org). Technical report no. 1108.2164, 2011. [url] [pdf] [bib]
Irina Georgieva, Clemens Hofreither, Christoph Koutschan, Veronika Pillwein, Thotsaporn Thanatipanonda. Harmonic interpolation based on Radon projections along the sides of regular polygons. DK Computational Mathematics. Technical report no. 2011-12, Johannes Kepler University Linz, Austria, 2011. [pdf] [bib]
I. Moale and F. Peherstorfer. Explicit min-max polynomials on the disc. J. Approx. Theory 163, pp. 707-723. 2011. ISSN 0021-9045. [bib]
I. Moale and F. Peherstorfer. An explicit class of min-max polynomials on the ball and on the sphere. J. Approx. Theory 163, pp. 724-737. 2011. ISSN 0021-9045. [bib]
I. Moale and P. Yuditskii. On complex (non-analytic) Chebyshev polynomials in C^2. Comput. Methods Funct. Theory 11, pp. 13-24. 2011. ISSN 1617-9447. [bib]
I Moale. Explicit weighted min-max polynomials on the disc. In: submitted, , pp. -. 2011. [bib]
P. Paule, V. Pillwein. Automatic Improvements of Wallis' Inequality. In: SYNASC 2010, 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, T. Ida and others (ed.), pp. 12-16. 2011. IEEE Computer Society, 0. [pdf] [bib]
S. Beuchler, V. Pillwein, J. Schoeberl and S. Zaglmayr . Sparsity optimized high order finite element functions on simplices. In: Numerical and Symbolic Scientific Computing: Progress and Prospects, Ulrich Langer and Peter Paule (ed.), pp. 21-44. 2011. Springer, Wien, [pdf] [bib]
C. Koukouvinos, V. Pillwein, D.E. Simos, Z. Zafeirakopoulos. On the Average Complexity for the Verification of Compatible Sequences . Information Processing Letters 111(17), pp. 825-830. 2011. [pdf] [bib]
Veronika Pillwein. Algorithms for symbolic summation and inequality proving. 2011. Software presentation at International Conference on Asymptotics and Special Functions, Hong Kong. [bib]
Silviu Radu, James Sellers. Parity results for broken k-diamond partitions and (2k+1)-cores. Acta Arithmetica, pp. 43-52. 2011. ISSN 0065-1036. [bib]
H. Rahkooy, Z. Zafeirakopoulos. Using Resultants for Inductive Groebner Bases Computation. 2011. Poster presentation at ISSAC 2011. [url] [pdf] [bib]
J. Ablinger, J. Bluemlein, S. Klein, C. Schneider, F. Wissbrock. The O(\alpha_s^3) Massive Operator Matrix Elements of O(n_f) for the Structure Function F_2(x, Q^2) and Transversity. Nucl. Phys. B 844, pp. 26-54. 2011. .ISSN: 0550-3213. [url] [bib]
Manuel Kauers, Carsten Schneider. A Refined Denominator Bounding Algorithm for Multivariate Linear Difference Equations. In: Proceedings of ISSAC 2011, Anton Leykin (ed.), pp. 201-208. 2011. 978-1-4503-0675-1. [pdf] [ps] [bib]
H. Prodinger, C. Schneider, S. Wagner. Unfair permutations. Europ. J. Comb. 32, pp. 1282-1298. 2011. ISSN: 0195-6698. [pdf] [bib]
J. Ablinger, J. Bluemlein, C. Schneider. Harmonic Sums and Polylogarithms Generated by Cyclotomic Polynomials. J. Math. Phys. 52(10), pp. 1-52. 2011. ISSN 0022-2488 . [arXiv:1007.0375 [hep-ph]]. [url] [pdf] [bib]
J. Ablinger, J. Bluemlein, S. Klein, C. Schneider, F. Wissbrock. 3-Loop Heavy Flavor Corrections to DIS with two Massive Fermion Lines. In: 19th International Workshop On Deep-Inelastic Scattering And Related Subjects (DIS 2011), , pp. -. 2011. American Institute of Physics (AIP), [url] [bib]
Silviu Radu, James Sellers. Congruence Properties Modulo 5 and 7 for the pod Function. International Journal of Number Theory 8, pp. 2249-2259. 2011. 1793-7310. [bib]
V. Pillwein, S. Takacs. Smoothing analysis of an all-at-once multigrid approach for optimal control problems using symbolic computation. In: Numerical and Symbolic Scientific Computing: Progress and Prospects, U. Langer, P. Paule (ed.), pp. 175-192. 2011. Springer Wien, [pdf] [bib]
T. Thanatipanonda. Further Hopping with Toads and Frogs. The Electronic Journal of Combinatorics 18(1)(P67), pp. 1-12. 2011. 1077-8926. [pdf] [bib]
Qunying Liao, Liangjie Ye. Lower Bounds and Constructions for q-ary Codes Correcting Asymmetric Errors. Advances in Mathematics(China) 42(6), pp. ??-??. 2011. ISSN:1000-0917 . [url] [bib]
C. Koukouvinos, D.E. Simos, Z. Zafeirakopoulos. An Algebraic Framework for Extending Orthogonal Designs. June 2011. Poster presentation at ISSAC. [pdf] [bib]
Bruno Buchberger, Manuel Kauers. Groebner Bases. Scholarpedia 5(10), pp. 7763-7763. October 2010. ISSN 1941-6016. [url] [bib]
Cha Yongjae, van Hoeij Mark, Levy Giles. Solving recurrence relations using local invariants. In: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, Stephen Watt (ed.), ISSAC '10 , pp. 303-309. 2010. ACM, New York, NY, USA, ISBN 978-1-4503-0150-3. [url] [bib]
Yongjae Cha. Closed Form Solutions of Linear Difference Equations. Florida State University. PhD Thesis. 2010. [url] [bib]
Yongjae Cha, Mark van Hoeij, Giles Levy. Solving Linear Recurrence Equations. 2010. Software presentation at ISSAC 2010. [bib]
B. Erocal and W. Stein. The Sage project: Unifying free mathematical software to create a viable alternative to Magma, Maple, Mathematica and MATLAB. In: Mathematical Software - ICMS 2010, 2010 (ed.), Lecture Notes in Computer Science 6327, pp. 12-27. 2010. Springer, ISBN 978-3-642-15581-9. [pdf] [bib]
B. Erocal and A. Storjohann. Nullspace computation over rational function fields for symbolic summation. 2010. Also appeared in ACM Communications in Computer Algebra, Vol. 44, No. 3, September 2010. Poster presentation at ISSAC 2010. [pdf] [bib]
B. Erocal and A. Storjohann. Nullspace computation over rational function fields for symbolic summation. 2010. Also appeared in ACM Communications in Computer Algebra, Vol. 44, No. 3, September 2010. Poster presentation at ISSAC 2010. [bib]
Alin Bostan, Manuel Kauers. The Complete Generating Function for Gessel Walks is Algebraic. Proceedings of the AMS 138(9), pp. 3063-3078. September 2010. ISSN 0002-9939. [pdf] [ps] [bib]
Manuel Kauers, Veronika Pillwein. When can we detect that a P-finite sequence is positive?. In: Proceedings of ISSAC'10, Stephen Watt (ed.), pp. 195-202. 2010. 978-1-4503-0150-3. [pdf] [ps] [bib]
Manuel Kauers, Veronika Pillwein, Susanne Saminger-Platz. Dominance in the family of Sugeno-Weber t-norms. ArXiv. Technical report no. 1007.5442, July 2010. [ps] [pdf] [bib]
Manuel Kauers, Doron Zeilberger. The Computational Challenge of Enumerating High Dimensional Rook Paths. ArXiv. Technical report no. 1011.4671, 2010. [pdf] [ps] [bib]
Christoph Koutschan. HolonomicFunctions (User's Guide). Technical report no. 10-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. January 2010. [url] [pdf] [bib]
Christoph Koutschan. A Fast Approach to Creative Telescoping. Mathematics in Computer Science 4(2-3), pp. 259-266. 2010. ISSN 1661-8270. [pdf] [bib]
Christoph Koutschan. Eliminating Human Insight: An Algorithmic Proof of Stembridge's TSPP Theorem. In: Gems in Experimental Mathematics, Tewodros Amdeberhan and Luis A. Medina and Victor H. Moll (ed.), Contemporary Mathematics 517, pp. 219-230. 2010. American Mathematical Society, ISSN 0271-4132. [pdf] [bib]
Joachim Schoeberl, Christoph Koutschan, Peter Paule. Method, device and computer program product for determining an electromagnetic near field of a field excitation source for an electrical system. 13 April 2010. European Patent Office, Patent application no. 10159805.0 (examination in progress). Applicant: CST-Computer Simulation Technology AG. [url] [bib]
Peter Paule, Silviu Radu. Infinite families of strange partition congruences for broken 2-diamonds . The Ramanujan Journal 23, pp. 409-416. 2010. ISSN 1382-4090. [pdf] [bib]
Peter Paule. Henrici's Friendly Monster Identity Revisited. In: "Advances in Combinatorial Mathematics", Proceedings of the Waterloo Workshop in Computer Algebra 2008, Kotsireas, Ilias S.; Zima, Eugene V. (ed.), pp. 155-163. 2010. Springer, 978-3-642-03561-6. [bib]
C. Koukouvinos, V. Pillwein, D.E. Simos, Z. Zafeirakopoulos . A Note on the Average Complexity Analysis of the Computation of Periodic and Aperiodic Ternary Complementary Pairs . DK Computational Mathematics. Technical report no. DK Report 2010-08, 2010. [pdf] [bib]
S. Beuchler, V. Pillwein and S. Zaglmayr . Sparsity optimized high order finite element functions for H(div) on simplices . DK Computational Mathematics. Technical report no. DK Report 2010-04, 2010. [pdf] [bib]
Silviu Radu. An algorithmic approach to Ramanujan's congruences and related problems. RISC Linz. PhD Thesis. 2010. [bib]
C. Schneider. Parameterized Telescoping Proves Algebraic Independence of Sums. Ann. Comb. 14(4), pp. 533-552. 2010. ISSN 0218-0006. arXiv:0808.2596. [pdf] [bib]
C. Schneider. A Symbolic Summation Approach to Find Optimal Nested Sum Representations. In: Motives, Quantum Field Theory, and Pseudodifferential Operators, A. Carey, D. Ellwood, S. Paycha, S. Rosenberg (ed.), Clay Mathematics Proceedings 12, pp. 285-308. 2010. Amer. Math. Soc, ISBN-10: 0-8218-5199-3. arXiv:0904.2323 . [pdf] [bib]
C. Schneider. Structural Theorems for Symbolic Summation. Appl. Algebra Engrg. Comm. Comput. 21(1), pp. 1-32. 2010. ISSN 0938-1279. [pdf] [bib]
Manuel Kauers, Carsten Schneider. Partial Denominator Bounds for Partial Linear Difference Equations. In: Proceedings of ISSAC'10, Stephen Watt (ed.), pp. 211-218. 2010. 978-1-4503-0150-3. [pdf] [ps] [bib]
J. Ablinger, J. Bluemlein, S. Klein, C. Schneider. Modern Summation Methods and the Computation of 2- and 3-loop Feynman Diagrams . Nucl. Phys. B (Proc. Suppl.) 205-206, pp. 110-115. 2010. ISSN 0550-3213. arXiv::1006.4797 [math-ph], DESY-10-090, SFB-CPP-10-53, TTK-10-37. [url] [bib]
J. Ablinger, I. Bierenbaum, J. Bluemlein, A. Hasselhuhn, S. Klein, C. Schneider, F. Wissbrock. Heavy Flavor DIS Wilson coefficients in the asymptotic regime . Nucl. Phys. B (Proc. Suppl.) 205-206, pp. 242-249. 2010. ISSN 0550-3213. arXiv::1007.0375 [hep-ph], DESY-10-093, SFB-CPP-10-58, TTK-10-38. [url] [bib]
Flavia Stan. On Recurrences for Ising Integrals. Adv. in Appl. Math. 45(3), pp. 334-345. 2010. Elsevier, ISSN 0196-8858. [pdf] [bib]
Flavia Stan. Algorithms for Special Functions: Computer Algebra and Analytical Aspects. RISC, Johannes Kepler University Linz. PhD Thesis. June 2010. RISC technical report 10-19. [pdf] [bib]
Karen T. Kohl and Flavia Stan. An Algorithmic Approach to the Mellin Transform Method. In: Gems in Experimental Mathematics, T. Amdeberhan, L. A. Medina, V. H. Moll (ed.), Contemporary Mathematics 517, pp. 207-218. 2010. AMS, ISBN 978-0-8218-4869-2. [pdf] [bib]
V. Pillwein, S. Takacs . Computing smoothing rates of collective point smoothers for optimal control problems using symbolic computation . DK Computational Mathematics. Technical report no. DK Report 2010-09, 2010. [pdf] [bib]
B.Hu, L.Ye, C.Pang. Map Gene Information Into A Curve of Function and Identify the Co-Expressed Genes with APOE in Alzheimer’s Disease. In: 2010 First International Conference on Cellular, Molecular Biology, Biophysics and Bioengineering(CMBB), - (ed.), pp. 553-556. 2010. IEEE eXpress Conference Publishing, ISBN:978-1-4244-9158-2. [pdf] [bib]
Jakob Ablinger. A Computer Algebra Toolbox for Harmonic Sums Related to Particle Physics. Johannes Kepler University. Diploma Thesis. February 2009. [pdf] [bib]
Peter Paule, Bruno Buchberger, Lena Kartashova, Manuel Kauers, Carsten Schneider, Franz Winkler. Algorithms in Symbolic Computation. In: Hagenberg Research, Bruno Buchberger et al. (ed.), Chapter 1, pp. 5-62. 2009. Springer, 978-3-642-02126-8. [pdf] [bib]
B. Buchberger, M. Affenzeller, A. Ferscha, M. Haller, T. Jebelean, E.P. Klement, P. Paule, G. Pomberger, W. Schreiner, R. Stubenrauch, R. Wagner, G. Weiß, W. Windsteiger (ed.). Hagenberg Research. 2009. Springer Dordrecht Heidelberg London New York, ISBN 978-3-642-02126-8. [url] [bib]
Cha Yongjae, van Hoeij Mark. Liouvillian solutions of irreducible linear difference equations. In: Proceedings of the 2009 international symposium on Symbolic and algebraic computation, John May (ed.), ISSAC '09 , pp. 87-94. 2009. ACM, New York, NY, USA, ISBN 978-1-60558-609-0. [url] [bib]
Manuel Kauers. Guessing Handbook. Technical report no. 09-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2009. [nb] [pdf] [bib]
Frederic Chyzak, Manuel Kauers, Bruno Salvy. A Non-Holonomic Systems Approach to Special Function Identities. In: Proceedings of ISSAC'09, John May (ed.), pp. 111-118. 2009. 978-1-60558-609-0. [pdf] [ps] [bib]
Alin Bostan, Manuel Kauers. Automatic Classification of Restricted Lattice Walks. In: Proceedings of FPSAC'09, Christian Krattenthaler, Volker Strehl, and Manuel Kauers (ed.), pp. 201-215. 2009. [ps] [pdf] [bib]
Manuel Kauers, Christoph Koutschan. A Mathematica Package for q-Holonomic Sequences and Power Series. The Ramanujan Journal 19(2), pp. 137-150. 2009. Springer, ISSN 1382-4090. [pdf] [ps] [bib]
Manuel Kauers, Christoph Koutschan, Doron Zeilberger. A Proof of George Andrews' and Dave Robbins' q-TSPP-Conjecture (modulo a finite amount of routine calculations). The personal Journal of Ekhad and Zeilberger, pp. 1-8. January 2009. [url] [pdf] [ps] [bib]
Manuel Kauers, Christoph Koutschan, Doron Zeilberger. Proof of Ira Gessel's Lattice Path Conjecture. Proceedings of the National Academy of Sciences 106(28), pp. 11502-11505. July 2009. ISSN 0027-8424. [ps] [pdf] [bib]
Christoph Koutschan. Advanced Applications of the Holonomic Systems Approach. RISC-Linz, Johannes Kepler University. PhD Thesis. September 2009. [url] [pdf] [bib]
Christoph Koutschan. HolonomicFunctions. RISC, Johannes Kepler University Linz, Austria, 2009. Software presentation at FPSAC'2009 (21st International Conference on Formal Power Series and Algebraic Combinatorics). [bib]
Karin Nachbagauer. Power Series Solutions to Holonomic Differential Equations and the General Algebraic Equation. Johannes Kepler University Linz. Diploma Thesis. 2009. The thesis also appeared as RISC report 09-15.. Diploma thesis. [pdf] [bib]
Peter Paule, Silviu Radu. A Proof of Sellers' Conjecture. RISC. Technical report no. 09-17, 2009. [pdf] [bib]
Peter Paule. The Renaissance of Algorithmic Mathematics. In: Hagenberg Research, Peter Paule (ed.), pp. 6-15. 2009. Springer Berlin-Heidelberg, 978-3-642-02126-8. [bib]
D. Braess, V. Pillwein, J. Schöberl. Equilibrated Residual Error Estimates are $p$-Robust. Comput. Methods Appl. Mech. Engrg. 198, pp. 1189-1197. 2009. [ps] [pdf] [bib]
J. Kraus, V. Pillwein, L. Zikatanov. Algebraic multilevel iteration methods and the best approximation to 1/x in the uniform norm. RICAM. Technical report no. 2009-17, 2009. [pdf] [ps] [bib]
Silviu Radu. An algorithmic approach to Ramanujan congruences . Ramanujan Journal 20(2), pp. 215-251. 2009. 1382-4090 . [bib]
C. Schneider, R. Osburn. Gaussian Hypergeometric series and supercongruences. Math. Comp. 78(267), pp. 275-292. 2009. ISSN 0025-5718. [url] [pdf] [bib]
J. Bluemlein, M. Kauers, S. Klein, C. Schneider. Determining the closed forms of the {$O(a_s^3)$} anomalous dimensions and {W}ilson coefficients from {M}ellin moments by means of computer algebra. Comput. Phys. Comm. 180, pp. 2143-2165. 2009. ISSN 0010-4655. [pdf] [bib]
Flavia Stan. Computer-Assisted Proofs of Special Function Identities Related to Poisson Integrals. The Ramanujan Journal 20(1), pp. 55-67. 2009. Springer, ISSN 1382-4090. [pdf] [bib]
Karen T. Kohl and Flavia Stan. An Algorithmic Approach to the Mellin Transform Method. Doctoral Program Computational Mathematics. Technical report no. DK-2009-03, November 2009. To appear in Contemporary Mathematics. [pdf] [bib]
T. Thanatipanonda and D. Zeilberger. A Symbolic Finite-State Approach For Automated. Journal of Difference Equations and Applications 15, pp. 111-118. 2009. 1023-6198. [pdf] [bib]
Manuela Wiesinger. Contributions to MacMahon's Partition Analysis. Technical report no. 09-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. January 2009. Master Thesis. [pdf] [bib]
Manuela Wiesinger. Contributions to MacMahon's Partition Analysis. Johannes Kepler University. Diploma Thesis. January 2009. RISC Report 09-05. [pdf] [bib]
Manuel Kauers, Doron Zeilberger. Experiments with a Positivity Preserving Operator. Experimental Mathematics 17(3), pp. 341-345. 2008. ISSN 1058-6458. [pdf] [ps] [bib]
Manuel Kauers. Solving Difference Equations whose Coefficients are not Transcendental. Theoretical Computer Science 401(1-3), pp. 217-227. July 2008. ISSN 0304-3975. [pdf] [ps] [bib]
Manuel Kauers, Doron Zeilberger. The Quasi-Holonomic Ansatz and Restricted Lattice Walks. Journal of Difference Equations and Applications 14(10-11), pp. 1119-1126. 2008. ISSN 1023-6198. to appear. [pdf] [ps] [bib]
Manuel Kauers. Integration of Algebraic Functions: A Simple Heuristic for Finding the Logarithmic Part. In: Proceedings of ISSAC'08, David Jeffrey (ed.), Proceedings of ISSAC'08, pp. 133-140. 2008. 978-1-59593-904-3. [ps] [pdf] [bib]
Manuel Kauers. Computer Algebra for Special Function Inequalities. In: Tapas in Experimental Mathematics, Tewodros Amdeberhan, Victor Moll (ed.), Contemporary Mathematics 457, pp. 215-235. 2008. AMS, ISBN 978-0-8218-4317-8. [pdf] [ps] [bib]
Manuel Kauers. Fast Solvers for Dense Linear Systems. Nuclear Physics B (Proc. Suppl.) 183, pp. 245-250. 2008. ISSN 0550-3213. [ps] [pdf] [bib]
Christoph Koutschan. Regular Languages and Their Generating Functions: The Inverse Problem. Theoretical Computer Science 391(1-2), pp. 65-74. 2008. ISSN 0304-3975. [pdf] [ps] [bib]
Christoph Koutschan, Viktor Levandovskyy. Computing one of Victor Moll's irresistible integrals with computer algebra. Computer Science Journal of Moldova 16(1(46)), pp. 35-49. 2008. ISSN 1561-4042. [pdf] [bib]
Peter Paule. Henrici's Friendly Monster Identity Revisited. Technical report no. 08-19 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 2008. Dedicated to Professor Georgy Egorychev on the occasion of his 70th birthday. [pdf] [bib]
William Y. C. Chen, Peter Paule, Husam L. Saad. Converging to Gosper's Algorithm. Technical report no. 08-20 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 2008. [pdf] [bib]
William Y. C. Chen, Peter Paule, Husam L. Saad. Converging to Gosper's Algorithm. Adv. in Appl. Math. 41(3), pp. 351-364. 2008. 0196-8858. [bib]
V. Pillwein. Positivity of certain sums over Jacobi kernel polynomials. Adv. in Appl. Math. 41(3), pp. 365-377. 2008. doi:10.1016/j.aam.2007.12.001. [pdf] [ps] [bib]
Veronika Pillwein. Computer Algebra Tools for Special Functions in High Order Finite Element Methods. Johannes Kepler University Linz. PhD Thesis. 2008. [ps] [pdf] [bib]
S. Beuchler, V. Pillwein. Completions to sparse shape functions for triangular and tetrahedral p-FEM. In: Domain Decomposition Methods in Science and Engineering XVII, U. Langer and M. Discacciati and D.E. Keyes and O.B. Widlund and W. Zulehner (ed.), Lecture Notes in Computational Science and Engineering 60, pp. 435-442. 2008. Springer, Heidelberg, Proceedings of the 17th International Conference on Domain Decomposition Methods held at St. Wolfgang / Strobl, Austria, July 3-7, 2006. [bib]
C. Schneider. A Refined Difference Field Theory for Symbolic Summation. J. Symbolic Comput. 43(9), pp. 611-644. 2008. ISSN 0747-7171. [pdf] [bib]
Manuel Kauers , Carsten Schneider. Automated Proofs for Some Stirling Number Identities. The Electronic Journal of Combinatorics 15(1), pp. 1-7. 2008. ISSN 1077-8926. R2. [pdf] [ps] [bib]
M. Kuba, H. Prodinger, C. Schneider. Generalized Reciprocity Laws for Sums of Harmonic Numbers. INTEGERS. Electronic Journal of Combinatorial Number Theory 8(A17), pp. 1-20. 2008. ISSN 1553-1732. [url] [pdf] [bib]
I. Bierenbaum, J. Bluemlein, S. Klein, C. Schneider. Two-Loop Massive Operator Matrix Elements for Unpolarized Heavy Flavor Production to $O!(epsilon)$. Nucl.Phys. B 803(1-2), pp. 1-41. November 2008. ISSN: 0550-3213. [url] [pdf] [bib]
J. Bluemlein, M. Kauers, S. Klein, C. Schneider. From moments to functions in higher order QCD . In: Proc. of Science, - (ed.), Proceedings of XII Advanced Computing and Analysis Techniques in Physics Research PoS(ACAT08)106, pp. 1-7. 2008. ISSN 1824-8039. [pdf] [bib]
Flavia Stan. Computer-Assisted Proofs of Special Function Identities Related to Poisson Integrals. SFB F13. Technical report no. 2008-3, January 2008. [ps] [pdf] [bib]
S. Gerhold, L. Glebsky, C. Schneider, H. Weiss, B. Zimmermann. Computing the complexity for schelling segregation models. Communications in Nonlinear Science and Numerical Simulations 13, pp. 2236-2245. 2008. ISSN 1007-5704. [pdf] [bib]
Manuel Kauers, Burkhard Zimmermann. Computing the Algebraic Relations of C-finite Sequences and Multisequences. Journal of Symbolic Computation 43(11), pp. 787-803. 2008. ISSN 0747-7171.. [pdf] [ps] [bib]
J.P. Bell, S. Gerhold. On the Positivity Set of a Linear Recurrence Sequence.. Israel J. Math. 157, pp. 333-345. 2007. 'ISSN' 0021-2172. [bib]
J.P. Bell, S. Gerhold, M. Klazar, F. Luca. Non-Holonomicity of Sequences defined via Elementary Functions.. Annals of Combinatorics, pp. ?-. 2007. 'ISSN' 0218-0006. To appear.. [bib]
Manuel Kauers. Computer Algebra and Power Series with Positive Coefficients. In: Proceedings of FPSAC'07, , pp. 1-7. 2007. [pdf] [ps] [bib]
Manuel Kauers, Peter Paule. A Computer Proof of Moll's Log-Concavity Conjecture. Proceedings of the AMS 135(12), pp. 3847-3856. December 2007. ISSN 0002-9939. to appear. [ps] [bib]
Horst Alzer, Stefan Gerhold, Manuel Kauers, Alexandru Lupas. On Turan's Inequality for Legendre Polynomials. Expositiones Mathematicae 25(2), pp. 181-186. May 2007. ISSN 0723-0869. [pdf] [ps] [bib]
Manuel Kauers. An Algorithm for Deciding Zero Equivalence of Nested Polynomially Recurrent Sequences. Transactions on Algorithms 3(2), pp. 1-13. 2007. 1549-6325. article 18. [pdf] [ps] [bib]
Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger (ed.). Towards Mechanized Mathematical Assistants. Proceedings of Calculemus 2007 and MKM 2007, Lecture Notes in Computer Science, 4573, 2007. Springer, Heidelberg, ISSN 0302-9743. [url] [bib]
Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger. Calculemus/MKM 2007 - Work in Progress. Technical report no. 07-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2007. [pdf] [ps] [bib]
Manuel Kauers. Summation Algorithms for Stirling Number Identities. Journal of Symbolic Computation 42(10), pp. 948-970. October 2007. ISSN 0747-7171. [pdf] [ps] [bib]
B. Kronholm. On Congruence Properties of Consecutive Values of p(n, m). INTEGERS 7(A16), pp. 1-6. 2007. 1553-1732. [url] [bib]
F. Chyzak, P. Paule. Computer Algebra. In: The Digital Library of Mathematical Functions (DLMF), D. Lozier (ed.), pp. n/a-n/a. 2007. National Institute of Standards and Technology (NIST), Gaithersburg, U.S.A., electronic. In preparation. [bib]
George E. Andrews, Peter Paule. MacMahon's Partition Analysis XI: Broken diamonds and modular forms. Acta Arith. 126, pp. 281-294. 2007. ISSN 0065-1036. [bib]
G. E. Andrews and P. Paule. MacMahon's Partition Analysis XII: Plane Partitions. Journal of the London Mathematical Society 76(3), pp. 647-666. 2007. London Mathematical Society, 0024-6107. [bib]
S. Beuchler, V. Pillwein. Sparse shape functions for tetrahedral $p$-FEM using integrated Jacobi polynomials. Computing 80(4), pp. 345-375. 2007. [ps] [pdf] [bib]
Silviu Radu. New Upper Bounds on Rubik's cube. Combinatorics. Technical report no. 07-08, 2007. [bib]
C. Schneider, R. Pemantle. When is 0.999... equal to 1?. Amer. Math. Monthly 114(4), pp. 344-350. 2007. ISSN 0002-9890. Preliminary version online. [ps] [pdf] [bib]
C. Schneider. Simplifying Sums in ${\Pi}{\Sigma}^*$-Extensions. J. Algebra Appl. 6(3), pp. 415-441. 2007. ISSN: 0219-4988. Preliminary version online. [ps] [pdf] [bib]
C. Schneider. Symbolic Summation Assists Combinatorics. Sem. Lothar. Combin. 56, pp. 1-36. 2007. ISSN 1286-4889. Article B56b. [url] [ps] [pdf] [bib]
C. Schneider. {A}p\'{e}ry's Double Sum is Plain Sailing Indeed. Electron. J. Combin. 14(N5), pp. 1-3. 2007. ISSN 1077-8926. [url] [ps] [pdf] [bib]
M. Kauers, C. Schneider. Symbolic Summation with Radical Expressions. In: Proceedings of ISSAC'07, Christopher W. Brown (ed.), pp. 219-226. 2007. isbn 978-1-59593-743-8. [pdf] [ps] [bib]
P. Paule, C. Schneider. Truncating Binomial Series with Symbolic Summation. INTEGERS. Electronic Journal of Combinatorial Number Theory 7(A22), pp. 1-9. 2007. ISSN 1553-1732. [url] [pdf] [bib]
C. Schneider. Parameterized telescoping proves algebraic independence of sums. 2007. Poster presentation at FPSAC 2007. [url] [pdf] [pdf] [bib]
I. Bierenbaum, J. Blümlein, S. Klein, C. Schneider. Difference equations in massive higher order calculations. In: Proc. ACAT 2007, - (ed.)PoS(ACAT)082, pp. 1-15. 2007. ISSN 18248039. [url] [pdf] [bib]
S. Moch, C. Schneider. Feynman integrals and difference equations. In: Proc. ACAT 2007, - (ed.)PoS(ACAT)083, pp. 1-11. 2007. ISSN 18248039. [url] [pdf] [bib]
C. Schneider. Multi-Summation in Difference Fields. 2007. Habilitation, [bib]
Flavia Stan. On Recurrences for Ising Integrals. SFB F13. Technical report no. 2007-32, December 2007. [pdf] [bib]
Stefan Gerhold, Manuel Kauers. A Computer Proof of Turan's Inequality. Journal of Inequalities in Pure and Applied Mathematics 7(2), pp. 1-4. May 2006. Article 42. [ps] [bib]
Manuel Kauers. SumCracker - A Package for Manipulating Symbolic Sums and Related Objects. Journal of Symbolic Computation 41(9), pp. 1039-1057. 2006. ISSN 0747-7171. [pdf] [ps] [bib]
Manuel Kauers. Shift Equivalence of P-finite Sequences. The Electronic Journal of Combinatorics 13(1), pp. 1-16. 2006. ISSN 1077-8926. R100. [pdf] [ps] [bib]
Manuel Kauers. Computer Algebra and Power Series with Positive Coefficients. SFB F013. Technical report no. 2006-33, Altenbergerstrasse 69, November 2006. [pdf] [ps] [bib]
Manuel Kauers. Problem 11258. December 2006. American Mathematical Monthly, [ps] [bib]
V. Levandovskyy. Intersection of Ideals with Non-commutative Subalgebras. J. Kepler University Linz. Technical report no. 2006-14, April 2006. the final version has been accepted for the Proceedings ISSAC 2006. SFB Report. [pdf] [bib]
V. Levandovskyy. PLURAL, a Non-commutative Extension of SINGULAR: Past, Present and Future. In: Mathematical Software - ICMS 2006, A. Iglesias, N. Takayama (ed.), Proceedings of International Congress on Mathematical Software, LNCS 4151, pp. 144-157. September 2006. 0302-9743. [pdf] [bib]
V. Levandovskyy. Intersection of Ideals with Non-commutative Subalgebras. In: Proceedings of the ISSAC 2006 Conference, Jean-Guillaume Dumas (ed.), Proceedings of ISSAC 2006, pp. 212-219. July 2006. ACM Press, 1-59593-095-7. [bib]
V. Levandovskyy, E. Zerz. Algebraic systems theory and computer algebraic methods for some classes of linear control systems. In: Proc. of the International Symposium on Mathematical Theory of Networks and Systems (MTNS'06), Y. Yamamoto (ed.), Proceedings of International Symposium on Mathematical Theory of Networks and Systems (MTNS'06), pp. -. July 2006. 1234-8765. [pdf] [bib]
Manuel Kauers, Viktor Levandovskyy. An Interface between Mathematica and Singular. SFB F013. Technical report no. 2006-29, 2006. [pdf] [ps] [bib]
G. E. Andrews, P. Paule. MacMahon's Dream. SFB 013. Technical report, September 2006. SFB-report 2006-26. [pdf] [bib]
G. E. Andrews, P. Paule. MacMahon's Partition Analysis XI: The Search for Modular Forms. SFB 013. Technical report, 2006. SFB-report 2006-27. [pdf] [bib]
G. E. Andrews, P. Paule. MacMahon's Partition Analysis XII: Plane Partitions. SFB 013. Technical report, September 2006. SFB-report 2006-28. [pdf] [bib]
A. Becirovic, P. Paule, V. Pillwein, A. Riese, C. Schneider, J. Schoeberl. Hypergeometric Summation Algorithms for High Order Finite Elements. Computing 78(3), pp. 235-249. 2006. ISSN 0010-485X. Preliminary version available. [pdf] [ps] [bib]
K. Driver, H. Prodinger, C. Schneider, A. Weideman. Pad'e Approximations to the logarithm II: Identities, recurrences, and symbolic computation. Ramanujan Journal 11(2), pp. 139-158. April 2006. ISSN 1382-4090. Preliminary version online. [url] [pdf] [ps] [bib]
K. Driver, H. Prodinger, C. Schneider, A. Weideman. Pad'e approximations to the logarithm III: Alternative methods and additional results. Ramanujan Journal 12(3), pp. 299-314. 2006. ISSN 1382-4090. Preliminary version online. [ps] [pdf] [ps] [bib]
C. Schneider. Some notes on ``When is 0.999... equal to 1?''. In: Mathematics, Algorithms, Proofs, T. Coquand et al. (ed.), Dagstuhl Seminar Proceedings 05021, pp. 1-3. 2006. Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany, ISSN 1862-4405. [url] [pdf] [bib]
M. Kauers, C. Schneider. Indefinite summation with unspecified summands. Discrete Math. 306(17), pp. 2073-2083. 2006. ISSN 0012-365X. Preliminary version online. [pdf] [bib]
M. Kauers, C. Schneider. Application of unspecified sequences in symbolic summation. In: Proceedings of ISSAC'06, Jean-Guillaume Dumas (ed.), Proceedings of ISSAC'06, pp. 177-183. 2006. ACM Press, [pdf] [ps] [bib]
P. Paule, V. Pillwein, C. Schneider, J. Schöberl. Hypergeometric Summation Techniques for High Order Finite Elements. In: PAMM, , Proceedings of GAMM Annual Meeting 2006 - Berlin6/1, pp. 689-690. 2006. Wiley InterScience, Weinheim, ISBN. DOI: 10.1002/pamm.200610325. [bib]
Stefan Gerhold, Manuel Kauers, Joachim Schoeberl. On a Conjectured Inequality for a Sum of Legendre Polynomials. SFB F013. Technical report, April 2006. [ps] [bib]
George E. Andrews, Arnold Knopfmacher, Burkhard Zimmermann. On the number of distinct multinomial coefficients. Journal of Number Theory 118(1), pp. 15-30. May 2006. ISSN 0022-314X. [pdf] [bib]
P. Flajolet, S. Gerhold, B. Salvy. On the non-holonomic character of logarithms, powers and the nth prime function. Electronic Journal of Combinatorics 11(2), pp. 1-16. 2005. ISSN 1077-8926. [pdf] [bib]
S. Gerhold. Point Lattices and Oscillating Recurrence Sequences. Journal of Difference Equations and Applications 11(6), pp. 515-533. 2005. ISSN 1023-6198. [pdf] [bib]
S. Gerhold. Combinatorial Sequences: Non-Holonomicity and Inequalities. RISC, J. Kepler University Linz. PhD Thesis. August 2005. [pdf] [bib]
J. P. Bell, S. Gerhold. The Positivity Set of a Recurrence Sequence. J. Kepler University Linz. Technical report, to appear in Israel J. Math., 2005. SFB report. [pdf] [bib]
Stefan Gerhold, Manuel Kauers. A Procedure for Proving Special Function Inequalities Involving a Discrete Parameter. In: Proceedings of ISSAC '05, Manuel Kauers (ed.), pp. 156-162. 2005. ACM Press, ISBN 1-59593-095-705/0007. [ps] [bib]
Manuel Kauers. Algorithms for Nonlinear Higher Order Difference Equations. RISC-Linz. PhD Thesis. October 2005. [ps] [ps] [bib]
Christoph Koutschan. Regular Languages and Their Generating Functions: The Inverse Problem. Friedrich-Alexander-Universität Erlangen-Nürnberg. Diploma Thesis. August 2005. [url] [pdf] [bib]
B. Kronholm. On Congruence Properties of p(n, m). Proceedings of the American Mathematical Society 133, pp. 2891-2895. 2005. 1088-6826. [url] [bib]
V. Levandovskyy, E. Zerz. Computer algebraic methods for the structural analysis of linear control systems. Proceedings in Applied Mathematics and Mechanics (PAMM) 5(1), pp. 717-718. 2005. WILEY-VCH, ISSN 1617-7061. DOI: 10.1002/pamm.200510333. [pdf] [bib]
P. Paule. A Computerized Proof of $\zeta(2)=\pi^2/6$. 2005. in preparation. [bib]
C. Schneider. Product Representations in $\Pi\Sigma$-Fields. Annals of Combinatorics 9(1), pp. 75-99. 2005. ISSN 0218-0006. Preliminary version online. [ps] [pdf] [bib]
C. Schneider. A new Sigma approach to multi-summation. Advances in Applied Math. Special Issue Dedicated to Dr. David P. Robbins. Edited by D. Bressoud 34(4), pp. 740-767. 2005. ISSN 0196-8858. Preliminary version online. [pdf] [ps] [bib]
G. E. Andrews, P. Paule, C. Schneider. Plane Partitions VI: Stembridge's TSPP Theorem. Advances in Applied Math. Special Issue Dedicated to Dr. David P. Robbins. Edited by D. Bressoud 34(4), pp. 709-739. 2005. ISSN 0196-8858. Preliminary version online. [pdf] [ps] [bib]
C. Schneider. Degree Bounds To Find Polynomial Solutions of Parameterized Linear Difference Equations in $\Pi\Sigma$-Fields. Appl. Algebra Engrg. Comm. Comput. 16(1), pp. 1-32. 2005. ISSN 0938-1279. Preliminary version online. [pdf] [ps] [bib]
C. Schneider. Solving Parameterized Linear Difference Equations in Terms of Indefinite Nested Sums and Products. J. Differ. Equations Appl. 11(9), pp. 799-821. 2005. ISSN 1023-6198. Preliminary version online. [ps] [pdf] [bib]
C. Schneider. Finding Telescopers with Minimal Depth for Indefinite Nested Sum and Product Expressions (Extended Version). J. Kepler University Linz. Technical report no. 2005-08, 2005. SFB-Report. [ps] [pdf] [bib]
C. Schneider. Finding Telescopers with Minimal Depth for Indefinite Nested Sum and Product Expressions. In: Proc. ISSAC'05, M. Kauers (ed.), pp. 285-292. 2005. ACM, ISBN 1-59593-095-705/0007. [pdf] [ps] [bib]
M. Semrad. Special Functions, Computer Proofs and the DLMF. RISC, J. Kepler University Linz. Diploma Thesis. 2005. [bib]
Burkhard Zimmermann. Computing Recurrences for Parameter-Dependent Integrals. May 2005. Poster presentation at Fourth International School on Computer Algebra CoCoA 4. [bib]
S. Gerhold. On Some Non-Holonomic Sequences. Electronic Journal of Combinatorics 11(1), pp. 1-8. 12 2004. RISC, J. Kepler University Linz, ISSN 1077-8926. [url] [pdf] [tex] [ps] [bib]
Manuel Kauers. Computer Proofs for Polynomial Identities in Arbitrary Many Variables. In: Proceedings of ISSAC 2004, Jaime Gutierrez (ed.), pp. 199-204. 2004. ACM Press, ISBN 1-58113-827-X. [ps] [bib]
Manuel Kauers. ZET User Manual. SFB F13. Technical report no. 2004-05, 2004. [ps] [bib]
P.J. Larcombe, A. Riese, B. Zimmermann. Computer Proofs of Matrix Product Identities. J. Algebra Appl. 3, pp. 105-109. 2004. ISSN 0219-4988. [pdf] [bib]
G. E. Andrews, P. Paule, A. Riese. MacMahon's Partition Analysis XI: Hexagonal Plane Partitions. J. Kepler University Linz. Technical report no. 2004-4, March 2004. SFB-Report. [pdf] [bib]
G. E. Andrews, P. Paule, A. Riese. MacMahon's Partition Analysis X: Plane Partitions with Diagonals.. Southeast Asian Journal Mathematics and Mathematical Sciences 3, pp. 3-14. 2004. ISSN 0972-7752. [pdf] [bib]
C. Schneider. Symbolic Summation with Single-Nested Sum Extensions (Extended Version). J. Kepler University, Linz. Technical report no. 2004-7, 2004. Published in Proc. ISSAC'04. SFB-Report. [pdf] [ps] [bib]
C. Schneider. Symbolic Summation with Single-Nested Sum Extensions. In: Proc. ISSAC'04, J. Gutierrez (ed.), pp. 282-289. 2004. ACM Press, ISBN 1-58113-827-X. [pdf] [ps] [bib]
C. Schneider. The summation package Sigma: Underlying principles and a rhombus tiling application. Discrete Math. Theor. Comput. Sci. 6(2), pp. 365-386. 2004. ISSN 1365-8050. [url] [pdf] [ps] [bib]
G.E. Andrews, P. Paule, C. Schneider. Plane Partition VI: Stembridge's TSPP Theorem -- A detailed algorithmic proof. Technical report no. 04-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. May 2004. [ps] [pdf] [bib]
C. Schneider. A Collection of Denominator Bounds to Solve Parameterized Linear Difference Equations in ${\Pi}{\Sigma}$-Extensions. An. Univ. Timisoara Ser. Mat.-Inform. 42(2), pp. 163-179. 2004. ISSN 1224-970x. Extended version of Proc. SYNASC'04; preliminary version online. [pdf] [ps] [bib]
Manuel Kauers. Computing Limits of Sequences. 2003. Poster presentation at ISSAC 2003. [ps] [ps] [bib]
P. Paule, V. Strehl. Definite Summation and Hypergeometric Identities. In: Computer Algebra Handbook: Foundations, Applications, Systems, J. Grabmeier, E. Kaltofen, V. Weispfenning (ed.), pp. 91-93. 2003. Springer, ISBN: 3-540-65466-6. [bib]
P. Paule, O. Scherzer, A. Schoisswohl. Wavelets with Scale Dependent Properties. In: Symbolic and Numerical Scientific Computation, F. Winkler and U. Langer (ed.), Lecture Notes in Comput. Sci. 2630, pp. 255-265. 2003. Springer, ISBN: 0-89871-541-5. [ps] [bib]
P. Paule, H. Prodinger. Fountains, Histograms, and $q$-Identities. Discrete Math. Theor. Comput. Sci. 6, pp. 101-106. 2003. ISSN 1365-8050. [ps] [bib]
A. Riese. qMultiSum -- A Package for Proving q-Hypergeometric Multiple Summation Identities. J. Symbolic Comput. 35, pp. 349-376. 2003. ISSN 0747-7171. [pdf] [bib]
A. Riese. Computer Algebra Algorithms for Symbolic Summation. June 2003. Poster presentation at International Workshop on Numerical and Symbolic Scientific Computing, Strobl, Austria. [bib]
P. Paule, C. Schneider. Computer proofs of a new family of harmonic number identities. Adv. in Appl. Math. 31(2), pp. 359-378. 2003. ISSN 0196-8858. Preliminary version online. [ps] [pdf] [bib]
Burkhard Zimmermann. A Sister-Celine-type algorithm for definite summation and integration. August 2003. Poster presentation at ISSAC 2003. [bib]
A. Berkovich, A. Riese. A Computer Proof of a Polynomial Identity Implying a Partition Theorem of Göllnitz. Adv. in Appl. Math. 28, pp. 1-16. 2002. ISSN 0196-8858. [pdf] [bib]
F. Caruso. Polynomial Arithmetic and Linear Systems in Symbolic Summation. RISC Linz. PhD Thesis. 2002. [bib]
S. Gerhold. Uncoupling Systems of Linear Ore Operator Equations. RISC, J. Kepler University Linz. Diploma Thesis. 2 2002. [ps] [ps] [bib]
P. Paule. Actions of Finite Groups. In: The Concise Handbook of Algebra, A.V. Mikhalev, G.F. Pilz (ed.), pp. 119-123. 2002. Kluwer, ISBN 0-7923-7072-4. [bib]
I. Gutman, P. Paule. The Variance of the Vertex Degrees of Randomly Generated Graphs. Publ. Fac. Electr. Engrg. Ser. Mat. 13, pp. 30-35. 2002. ISSN 0354-124X. [bib]
R. Lyons, P. Paule, A. Riese. A Computer Proof of a Series Evaluation in Terms of Harmonic Numbers. Appl. Algebra Engrg. Comm. Comput. 13, pp. 327-333. 2002. ISSN 0938-1279. [pdf] [bib]
C. Schneider. How one can play with sums. In: Proceedings of the 8th Rhine Workshop on Computer Algebra, H. Kredel, W. Seiler (ed.), pp. 73-83. 2002. Mannheim, Germany, -. Preliminary version online. [ps] [pdf] [bib]
A. Berkovich, P. Paule. Variants of the Andrews-Gordon Identities. Ramanujan J. 5, pp. 391-404. 2001. ISSN 1382-4090. [pdf] [bib]
A. Berkovich, P. Paule. Lattice Paths, $q$-Multinomials and Two Variants of the Andrews-Gordon Identities. Ramanujan J. 5, pp. 409-424. 2001. ISSN 1382-4090. [pdf] [bib]
G.E. Andrews, A. Knopfmacher, P. Paule, H. Prodinger. $q$-Engel Series Expansions and Slater's Identities. Quaestiones Math. 24, pp. 403-416. 2001. ISSN 0379-9468. [pdf] [bib]
G.E. Andrews, P. Paule, A. Riese. MacMahon's Partition Analysis III: The Omega Package. European J. Combin. 22, pp. 887-904. 2001. ISSN 0195-6698. [pdf] [bib]
G.E. Andrews, P. Paule, A. Riese. MacMahon's Partition Analysis VI: A New Reduction Algorithm. Ann. Comb. 5, pp. 251-270. 2001. ISSN 0218-0006. [pdf] [bib]
G.E. Andrews, P. Paule, A. Riese. MacMahon's Partition Analysis VII: Constrained Compositions. In: q-Series with Applications to Combinatorics, Number Theory, and Physics, B.C. Berndt and K. Ono (ed.), Contemp. Math. 291, pp. 11-27. 2001. Amer. Math. Soc., ISBN 0-8218-2746-4. [pdf] [bib]
G.E. Andrews, P. Paule, A. Riese. MacMahon's Partition Analysis VIII: Plane Partition Diamonds. Adv. in Appl. Math. 27, pp. 231-242. 2001. ISSN 0196-8858. [pdf] [bib]
G.E. Andrews, P. Paule, A. Riese. MacMahon's Partition Analysis IX: k-Gon Partitions. Bull. Austral. Math. Soc. 64, pp. 321-329. 2001. ISSN 0004-9727. [pdf] [bib]
G.E. Andrews, P. Paule, A. Riese, V. Strehl. MacMahon's Partition Analysis V: Bijections, Recursions, and Magic Squares. In: Algebraic Combinatorics and Applications, A. Betten and others (ed.), pp. 1-39. 2001. Springer, ISBN 3-5404-1110-0. [pdf] [bib]
A. Riese. Fine-Tuning Zeilberger's Algorithm - The Methods of Automatic Filtering and Creative Substituting. In: Symbolic Computation, Number Theory, Special Functions, Physics and Combinatorics, F.G. Garvan and M.E.H. Ismail (ed.), Developments in Mathematics 4, pp. 243-254. 2001. Kluwer, ISBN 1-4020-0101-0. [pdf] [bib]
C. Schneider. Symbolic Summation in Difference Fields. RISC, J. Kepler University Linz. PhD Thesis. May 2001. (published as Technical report no. 01-17 in RISC Report Series.). [ps] [pdf] [bib]
C. Weixlbaumer. Solutions of Difference Equations With Polynomial Coefficients. RISC, J. Kepler University Linz. Diploma Thesis. 2001. [pdf] [bib]
F. Chyzak, P. Paule, O. Scherzer, A. Schoisswohl, B. Zimmermann. The construction of orthonormal wavelets using symbolic methods and a matrix analytical approach for wavelets on the interval. Experiment. Math. 10, pp. 67-86. 2001. ISSN 1058-6458. [pdf] [bib]
G.E. Andrews, A. Knopfmacher, P. Paule, B. Zimmermann. Engel Expansions of $q$-Series by Computer Algebra. In: Symbolic Computation, Number Theory, Special Functions, Physics and Combinatorics, F.G. Garvan and M.E.H. Ismail (ed.), Developments in Mathematics 4, pp. 33-57. 2001. Kluwer, ISBN: 1402001010. [pdf] [bib]
G.E. Andrews, A. Knopfmacher, P. Paule. An infinite family of Engel expansions of Rogers-Ramanujan type. Adv. in Appl. Math. 25, pp. 2-11. 2000. ISSN 0196-8858. [pdf] [bib]
P. Paule. Algorithmic Problem Solving. In: Encyclopedia of Computer Science, A. Ralston, E.D. Reilly, D. Hemmendinger (ed.), pp. 38-40. 2000. Nature Publishing Group, London, ISBN: 1850328005. [bib]
C. Schneider. An Implementation of {K}arr's Summation Algorithm in Mathematica. Sem. Lothar. Combin. S43b, pp. 1-10. 2000. ISSN 1286-4889. [url] [pdf] [ps] [bib]
Burkhard Zimmermann. Difference Forms and Hypergeometric Sums. Technical report no. 00-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. February 2000. Master Thesis. [ps] [bib]
F. Caruso. A Macsyma Implementation of Zeilberger's Fast Algorithm. In: Sém. Lothar. Combin. S43c, V. Strehl (ed.), pp. 1-8. 1999. ISSN 1286-4889. [pdf] [ps] [ps] [bib]
G.E. Andrews, P. Paule. MacMahon's Partition Analysis IV: Hypergeometric Multisums. Sém. Lothar. Combin. B42i, pp. 1-24. 1999. electronic journal. [pdf] [bib]
F. Chyzak, I. Gutman, P. Paule. Predicting the number of hexagonal systems with 24 and 25 hexagons. Communications in Mathematical and Computer Chemistry 40, pp. 139-151. 1999. ISSN: 0340-6253. [pdf] [bib]
P. Hjorth, P. Lisonek, S. Markvorsen, C. Thomassen. Finite metric spaces of strictly negative type. Linear Algebra Appl. 270, pp. 255-273. 1998. ISSN 0024-3795. [bib]
J.M. Borwein, D.M. Bradley, D.J. Broadhurst, P. Lisonek. Combinatorial aspects of multiple zeta values. Electron. J. Combin. 5, pp. 1-12. 1998. ISSN 1077-8926. [bib]
S.A. Abramov, P. Paule, M. Petkovsek. $q$-Hypergeometric solutions of $q$-difference equations. Discrete Math. 180, pp. 3-22. 1998. ISSN 0012-365X. [pdf] [bib]
P. Lisonek. New maximal two-distance sets. J. Combin. Theory Ser. A 77, pp. 318-338. 1997. ISSN 0097-3165. [bib]
J.M. Borwein, P. Lisonek, J.A. Macdonald. Arithmetic-geometric means revisited. The Maple Technical Newsletter 4, pp. 20-27. 1997. ISSN 1061-5733. [bib]
I. Nemes, P. Paule. A Canonical Form Guide to Symbolic Summation. In: Advances in the Design of Symbolic Computation Systems, A. Miola, M. Temperini (ed.), Texts Monogr. Symbol. Comput. , pp. 84-110. 1997. Springer, Wien-New York, ISBN 3211828443. [bib]
P. Paule, A. Riese. A Mathematica q-Analogue of Zeilberger's Algorithm Based on an Algebraically Motivated Approach to q-Hypergeometric Telescoping. In: Special Functions, q-Series and Related Topics, M.E.H. Ismail and M. Rahman (ed.), Fields Inst. Commun. 14, pp. 179-210. 1997. Amer. Math. Soc., ISBN 0-8218-0524-X. [pdf] [bib]
A. Riese. Contributions to Symbolic q-Hypergeometric Summation. RISC, J. Kepler University Linz. PhD Thesis. 1997. [pdf] [bib]
M. Rosenkranz. Lagrange Inversion. RISC, J. Kepler University Linz. Diploma Thesis. 1997. [pdf] [ps] [ps] [bib]
C. Schneider. Implementierung von Automaten-Algorithmen mit Hilfe von binären Entscheidungsdiagrammen. Lehrstuhl für Künstliche Intelligenz (Informatik VIII), Friedrich Alexander Universität Erlangen-Nürnberg. Diploma Thesis. 1997. (Engl. translation: Implementation of Algorithms for Automatons with Binary Decision Diagrams - BDD). Diploma Thesis. [ps] [pdf] [bib]
K. Wegschaider. Computer Generated Proofs of Binomial Multi-Sum Identities. RISC, J. Kepler University. Diploma Thesis. May 1997. [ps] [bib]
C. Mallinger. Algorithmic Manipulations and Transformations of Univariate Holonomic Functions and Sequences. RISC, J. Kepler University. Diploma Thesis. August 1996. [ps] [pdf] [bib]
P. Paule. A Classical Hypergeometric Proof of an Important Transformation Formula Found by J.-B. Baillon and R.E. Bruck. In: Theory and Applications of Nonlinear Operators of Accretive and Monotype Type, A. G. Kartsatos (ed.), Lecture Notes in Pure and Appl. Math. 178, pp. 241-242. 1996. Marcel Dekker, ISBN 0824797213. [pdf] [bib]
P. Paule. A Proof of a Conjecture of Knuth. Experiment. Math. 5, pp. 83-89. 1996. ISSN 1058-6458. [pdf] [bib]
A. Riese. A Generalization of Gosper's Algorithm to Bibasic Hypergeometric Summation. Electron. J. Combin. 3(#R19), pp. 1-16. 1996. ISSN 1077-8926. [pdf] [bib]
P. Lisonek. Denumerants and their approximations. J. Combin. Math. Combin. Comput. 18, pp. 225-232. 1995. ISSN 0835-3026. [bib]
P. Lisonek. Local and global majorities revisited. Discrete Math. 146, pp. 153-158. 1995. ISSN 0012-365X. [bib]
P. Lisonek. Closed forms for the number of polygon dissections. J. Symbolic Comput. 20, pp. 595-601. 1995. ISSN 0747-7171. [bib]
I. Nemes, M. Petkovsek. RComp: A Mathematica Package for Computing with Recursive Sequences. J. Symbolic Comput. 20, pp. 745-753. 1995. ISSN 0747-7171. [bib]
P. Paule. Greatest Factorial Factorization and Symbolic Summation. J. Symbolic Comput. 20, pp. 235-268. 1995. ISSN 0747-7171. [pdf] [bib]
P. Paule, V. Strehl. Symbolic Summation - Some Recent Developments. In: Computer Algebra in Science and Engineering - Algorithms, Systems, and Applications, J. Fleischer et al. (ed.), pp. 138-162. 1995. World Scientific, Singapore, ISBN 981-02-2319-6. [pdf] [bib]
R. Pirastu. Algorithms for Indefinite Summation of Rational Functions in Maple. The Maple Technical Newsletter 2(1), pp. 1-12. 1995. ISSN 1061-5733. [ps] [pdf] [bib]
A. Riese. A Mathematica q-Analogue of Zeilberger's Algorithm for Proving q-Hypergeometric Identities. RISC, J. Kepler University Linz. Diploma Thesis. 1995. [pdf] [bib]
P. Paule, M. Schorn. A Mathematica Version of Zeilberger's Algorithm for Proving Binomial Coefficient Identities. J. Symbolic Comput. 20, pp. 673-698. 1995. ISSN 0747-7171. [pdf] [bib]
M. Schorn. Contributions to Symbolic Summation. RISC, J. Kepler University. Diploma Thesis. December 1995. [ps] [pdf] [bib]
P. Lisonek. Computer-assisted Studies in Algebraic Combinatorics. RISC, J. Kepler University Linz. PhD Thesis. 1994. [pdf] [ps] [bib]
P. J. Grabner, R. F. Tichy, I. Nemes, A. Petho. Generalized Zeckendorf Expansions. Appl. Math. Lett. 7, pp. 25-28. 1994. ISSN 0893-9659. [bib]
P. Paule. Short and Easy Computer Proofs of the Rogers-Ramanujan Identities and of Identities of Similar Type. Electron. J. Combin. 1, pp. 1-9. 1994. ISSN 1077-8926. [pdf] [bib]
R. Folk, A. Kartashov, P. Lisonek, P. Paule. Symmetries in Neural Networks: A Linear Group Approach. J. Phys. A 26, pp. 3159-3164. 1993. ISSN 0305-4470. [bib]
P. Lisonek, P. Paule, V. Strehl. Improvement of the Degree Setting in Gosper's Algorithm. J. Symbolic Comput. 16, pp. 243-258. 1993. ISSN 0747-7171. [pdf] [bib]
G. E. Andrews, P. Paule. Some Questions Concerning Computer-Generated Proofs of a Binomial Double-Sum Identity. J. Symbolic Comput. 16, pp. 147-153. 1993. ISSN 0747-7171. [pdf] [bib]
R. Pirastu. Algorithmen zur Summation rationaler Funktionen. University of Erlangen-Nürnberg. Diploma Thesis. 1992. [pdf] [ps] [bib]
J. Bajer, P. Lisonek. Symbolic computation approach to nonlinear dynamics. J. Modern Opt. 38, pp. 719-729. 1991. ISSN 0950-0340. [bib]
I. Nemes. On the solution of a diophantine equation with sieve algorithm. In: Proceedings of the Colloquium on Computational Number Theory held at Kossuth Lajos University, Debrecen (Hungary), September 4-9, 1989, A. Pethö, M. E. Pohst, H. C. Williams, H. G. Zimmer (ed.), pp. 302-319. 1991. Walter de Gruyter, ISBN 3-11-012394-0. [bib]
P. Paule. A Note on Bailey's Lemma. J. Combin. Theory Ser. A 44, pp. 164-167. 1987. ISSN 0097-3165. [bib]
P. Paule. A Remark on a Lemma of Ingleton and Piff and the Construction of Bijections. Bayreuth. Math. Schr. 25, pp. 123-127. 1987. ISSN 0172-1062. [bib]
P. Paule. The Concept of Bailey Chains. Sém. Lothar. Combin. B18f, pp. 1-24. 1987. electronic journal. [pdf] [bib]
I. Nemes, A. Petho. Polynomial Values in Linear Recurrences, II. J. Number Theory 24, pp. 47-53. 1986. ISSN 0022-314X. [bib]
P. Paule. Über das Involutionsprinzip von Garsia und Milne. Bayreuth. Math. Schr. 21, pp. 295-319. 1986. ISSN 0172-1062. [bib]
P. Paule. On Identities of the Rogers-Ramanujan Type. J. Math. Anal. Appl. 107, pp. 255-284. 1985. ISSN 0022-247X. [bib]
P. Paule. Ein neuer Weg zur q-Lagrangeinversion. Bayreuth. Math. Schr. 18, pp. 1-37. 1985. ISSN 0172-1062. [bib]
P. Paule. Über die Inversionsstatistiken von MacMahon und Goulden-Jackson. Sém. Lothar. Combin. B13b, pp. 1-3. 1985. electronic journal. [pdf] [bib]