|
M. Kauers, P. Nuspl, V. Pillwein. Order bounds for $C^2$-finite sequences. In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, A.Dickenstein, E. Tsigaridas and G. Jeronimo (ed.), ISSAC '23, Tromso{}, Norway , pp. 389-397. July 2023. Association for Computing Machinery, New York, NY, USA, 9798400700392}. [url] [bib]
|
|
K. Banerjee, P. Paule, C. S. Radu, W. H. Zeng. New inequalities for p(n) and log p(n). Research Institute for Symbolic Computation, JKU, Linz. Technical report no. RISC6607, 2022. To appear in the Ramanujan Journal. [pdf] [bib]
|
|
S. Falkensteiner, Yi Zhang, N. Thieu Vo. On Formal Power Series Solutions of Algebraic Ordinary Differential Equations. Mediterranean Journal of Mathematics 19(74), pp. 1-16. March 2022. ISSN 1660-5446. [url] [bib]
|
|
J. Sellers, N. Smoot. On the Divisibility of 7-Elongated Plane Partition Diamonds by Powers of 8. Technical report no. 22-17 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. February 2022. [url] [pdf] [bib]
|
|
Ralf Hemmecke, Peter Paule, Silviu Radu. Construction of modular function bases for $Gamma_0(121)$ related to $p(11n+6)$. Integral Transforms and Special Functions 32(5-8), pp. 512-527. 2021. Taylor & Francis, 1065-2469. [url] [bib]
|
|
Peter Paule, Cristian-Silviu Radu. Holonomic relations for modular functions and forms: First guess, then prove. International Journal of Number Theory 17(3), pp. 713-759. 2021. World Scientific, 1793-0421. [url] [bib]
|
|
Peter Paule, Cristian-Silviu Radu. An algorithm to prove holonomic differential equations for modular forms. In: Transcendence in Algebra, Combinatorics, Geometry and Number Theory. TRANS 2019., Bostan A., Raschel K. (ed.), Springer Proceedings in Mathematics & Statistics 373, pp. 367-420. 2021. Springer, Cham, 978-3-030-84303-8. [url] [bib]
|
|
Mark van Hoeij and Cristian-Silviu Radu . Computing an order complete basis for M∞(N) and applications. In: Transcendence in Algebra, Combinatorics, Geometry and Number Theory. TRANS 2019, Bostan A., Raschel K. (ed.), Springer Proceedings in Mathematics & Statistics 373, pp. 355-366. 2021. Springer, Cham, 978-3-030-84303-8. [url] [bib]
|
|
Christian Krattenthaler, Mircea Merca, Cristian-Silviu Radu. Infinite product formulae for generating functions for sequences of squares. In: Transcendence in Algebra, Combinatorics, Geometry and Number Theory. TRANS 2019, Bostan A., Raschel K. (ed.), Springer Proceedings in Mathematics & Statistics 373, pp. 193-236. 2021. Springer, Cham, 978-3-030-84303-8. [url] [bib]
|
|
K. Alladi, B.C. Berndt, P. Paule, J.A. Sellers, A.J. Yee. George E. Andrews 80 Years of Combinatory Analysis. Trends in Mathematics 1st edition, 2021. Birkhaeuser, Cham, ISBN 978-3-030-57050-7. [url] [bib]
|
|
Nicolas Allen Smoot, Cristian-Silviu Radu. A method of verifying partition congruences by symbolic computation. Journal of Symbolic Computation 104, pp. 105-133. 2021. 0747-7171. [url] [pdf] [bib]
|
|
Jose Capco, Claus Scheiderer. Two remarks on sums of squares with rational coefficients. Banach Center Publications 121, pp. 25-36. 2020. 0137-6934. [url] [bib]
|
|
A. Jimenez-Pastor, V. Pillwein, M.F. Singer. Some structural results on D^n finite functions. Advances in Applied Mathematics 117, pp. 0-0. June 2020. Elsevier, 0196-8858. [url] [pdf] [bib]
|
|
Peter Paule, Silviu Radu. Holonomic Relations for Modular Functions and Forms: First Guess, then Prove. RISC. Technical report no. 20-14, 2020. [bib]
|
|
Radu, Cristian-Silviu. A reduction theorem of certain relations modulo p involving modular forms. In: Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra, in Honour of Peter Paule on his 60th Birthday, V. Pillwein, C. Schneider (ed.), pp. 317-337. 2020. Springer, 978-3-030-44558-4. [url] [pdf] [bib]
|
|
C. Krattenthaler, C. Schneider. Evaluation of binomial double sums involving absolute values. In: Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra, in Honour of Peter Paule on his 60th Birthday, V. Pillwein, C. Schneider (ed.), Texts and Monographs in Symbolic Computuation , pp. 249-295. 2020. Springer, ISBN 978-3-030-44558-4. arXiv:1607.05314 [math.CO]. [url] [pdf] [bib]
|
|
J. Ablinger, J. Blümlein, P. Marquard, N. Rana, C. Schneider. Three loop QCD corrections to heavy quark form factors. In: Proc. ACAT 2019, , J. Phys.: Conf. Ser. 1525012018, pp. 1-10. 2020. ISSN 1742-6596. arXiv:1905.03728 [hep-ph]. [url] [bib]
|
|
Ralf Hemmecke, Silviu Radu. Construction of all Polynomial Relations among Dedekind Eta Functions of Level $N$. Journal of Symbolic Compuation 95, pp. 39-52. 2019. ISSN 0747-7171. Also available as RISC Report 18-03 http://www.risc.jku.at/publications/download/risc_5561/etarelations.pdf. [url] [bib]
|
|
Antonio Jimenez Pastor. DD-finite functions implemented in SAGE. November 15 2019. Software presentation at MACIS 2019, Istanbul. [bib]
|
|
Peter Paule, Silviu Radu. A UNIFIED ALGORITHMIC FRAMEWORK FOR RAMANUJAN'S CONGRUENCES MODULO POWERS OF 5, 7, AND 11. Technical report no. 19-09 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. submitted, 2019. [pdf] [bib]
|
|
Peter Paule, Silviu Radu. A proof of the Weierstrass gap theorem not using the Riemann-Roch formula. Annals of Combinatorics 23(19-02), pp. 963-1007. May 2019. Springer, 0218-0006. [url] [bib]
|
|
Ralf Hemmecke. Dancing Samba with Ramanujan Partition Congruences. Journal of Symbolic Compuation 84, pp. 14-24. 2018. 0747-7171. Also available as RISC Report 16-06 https://www.risc.jku.at/publications/download/risc_5338/DancingSambaRamanujan.pdf. [url] [bib]
|
|
Jiménez-Pastor Antonio, Pillwein Veronika. Algorithmic Arithmetics with DD-Finite Functions. In: Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, Arreche Carlos (ed.), ISSAC '18 , pp. 231-237. 2018. ACM, New York, NY, USA, ISBN 978-1-4503-5550-6. [url] [bib]
|
|
Ivan Gonzalez, Karen Kohl, Lin Jiu, and Victor H. Moll. The Method of Brackets in Experimental Mathematics. In: Frontiers in Orthogonal Polynomials and q-Series, Xin Li, Zuhair Nashed (ed.), pp. -. 2018. World Scientific Publishing, 978-981-3228-87-0. [url] [bib]
|
|
Christoph Koutschan, Peter Paule. Holonomic Tools for Basic Hypergeometric Functions. In: Frontiers of Orthogonal Polynomials and q-Series, Xin Li, Zuhair Nashed (ed.), pp. 393-416. 2018. World Scientific Publishing, ISBN 978-981-3228-87-0. [url] [pdf] [bib]
|
|
Tobias Magnusson. The functional equation of Dedekind's $\eta$-function. June 15 2018. [pdf] [tex] [bib]
|
|
Peter Paule, Cristian-Silviu Radu. Rogers-Ramanujan functions, modular functions, and computer algebra. In: Advances in Computer Algebra - In Honour of Sergei Abramov's 70th Birthday, C. Schneider, E. Zima. (ed.), Springer Proceedings in Mathematics & Statistics 226, pp. 229-280. 2018. Springer, Cham, 978-3-319-73231-2. [url] [pdf] [bib]
|
|
V. Pillwein. Positivity of the Gillis-Reznick-Zeilberger rational function. Technical report no. 18-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2018. [pdf] [bib]
|
|
J. Ablinger, A. Behring, J. Blümlein, A. De Freitas, E. Imamoglu, M. van Hoeij A. von Manteuffel, C.G. Raab, C.-S. Radu, C. Schneider. Iterative and Iterative-Noniterative Integral Solutions in 3-Loop Massive QCD Calculations. In: Proc. of the 13th International Symposium on Radiative Corrections (Applications of Quantum Field Theory to Phenomenology), A. Hoang, C. Schneider (ed.)PoS (RADCOR2017) 069, pp. 1-13. 2018. ISSN 1824-8039. arXiv:1711.09742 [hep-ph]. [url] [bib]
|
|
Cristian-Silviu Radu. An algorithm to prove algebraic relations involving eta quotients. Annals of Combinatorics 22, pp. 377-391. 2018. Springer, 0219-3094. [url] [pdf] [bib]
|
|
J. Ablinger, A. Behring, J. Blümlein, A. De Freitas, A. von Manteuffel, C. Schneider. Heavy Flavor Wilson Coefficients in Deep-Inelastic Scattering: Recent Results. In: Proceedings of QCDEV2017, L. Gamberg, A. Prokudin, J.W. Qiu and A. Radyushkin (ed.)PoS(QCDEV2017)031 , pp. 1-10. 2018. ISSN 1824-8039. arXiv:1711.07957 [hep-ph]. [url] [bib]
|
|
J. Ablinger, J. Blümlein, A. De Freitas, A. Goedicke, C. Schneider, K. Schönwald, F. Wißbrock. The massive 3-loop operator matrix elements with two masses and the generalized variable flavor number scheme. In: Proc. of the 13th International Symposium on Radiative Corrections (Applications of Quantum Field Theory to Phenomenology), A. Hoang, C. Schneider (ed.)PoS (RADCOR2017) 071, pp. 1-20. 2018. ISSN 1824-8039. arXiv:1712.00745 [hep-ph]. [url] [bib]
|
|
Jakob Ablinger, Johannes Blümlein, Mark Round, Carsten Schneider. Special functions, transcendentals and their numerics. In: Proc. of the 13th International Symposium on Radiative Corrections (Applications of Quantum Field Theory to Phenomenology), A. Hoang, C. Schneider (ed.)PoS (RADCOR2017) 010, pp. 1-7. 2018. ISSN 1824-8039. arXiv:1712.08541 [hep-th]. [url] [bib]
|
|
Johannes Middeke, Carsten Schneider. Towards a Direct Method for Finding Hypergeometric Solutions of Linear First Order Recurrence Systems. ACM Communications 52(3), pp. 185-187. September 2018. 0000. Extended abstract of the poster presentation at 43st International Symposium on Symbolic and Algebraic Computation (ISSAC'18). [url] [pdf] [bib]
|
|
J. Ablinger. Discovering and Proving Infinite Binomial Sums Identities. Experimental Mathematics 26(1), pp. 62-71. 2017. ISSN 1058-6458. 10.1080/10586458.2015.1116028. [url] [bib]
|
|
J. Ablinger. Computing the Inverse Mellin Transform of Holonomic Sequences using Kovacic's Algorithm. In: Proc. of the 13th International Symposium on Radiative Corrections (Applications of Quantum Field Theory to Phenomenology), A. Hoang and C. Schneider (ed.)PoS (RADCOR2017) 069, pp. 1-8. 2017. ISSN 1824-8039. arXiv:1801.01039 [cs.SC]. [url] [bib]
|
|
Berkovich Alexander, Uncu Ali K.. Variation on a theme of Nathan Fine. New weighted partition identities. J. Number Theory 176, pp. 226-248. 2017. ISSN 0022-314X. [url] [bib]
|
|
J. Ablinger, J. Blümlein, A. De Freitas, A. Hasselhuhn, C. Schneider, F. Wißbrock. Three Loop Massive Operator Matrix Elements and Asymptotic Wilson Coefficients with Two Different Masses. Nucl. Phys. B. 921, pp. 585-688. 2017. ISSN 0550-3213. arXiv:1705.07030 [hep-ph]. [url] [bib]
|
|
Ivan Gonzalez, Karen Kohl, Lin Jiu, and Victor H. Moll. An extension of the method of brackets. Part 1. Open Mathematics (formerly Central European Journal of Mathematics) 15, pp. 1181-1211. 2017. 2391-5455. [url] [bib]
|
|
L. Jiu. Integral representations of equally positive integer-indexed harmonic sums at infinity. Research in Number Theory 3(10), pp. 1-4. 2017. 2363-9555. [url] [bib]
|
|
M. Gallet, C. Koutschan, Z. Li, G. Regensburger, J. Schicho, N. Villamizar. Planar linkages following a prescribed motion. Math. Comp. 87, pp. 473-506. 2017. ISSN: 1088-6842. [url] [bib]
|
|
Johannes Middeke. Denominator Bounds and Polynomial Solutions for Systems of q-Recurrences over K(t) for Constant K. In: Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, Michael Burr (ed.), Proceedings of International Symposium on Symbolic and Algebraic Computation, pp. 325-332. 2017. 978-1-4503-5064-8. [bib]
|
|
C. Schneider. Summation Theory II: Characterizations of $RPiSigma$-extensions and algorithmic aspects. J. Symb. Comput. 80(3), pp. 616-664. 2017. ISSN 0747-7171. arXiv:1603.04285 [cs.SC]. [url] [pdf] [bib]
|
|
C. Schneider, R. Sulzgruber. Asymptotic and exact results on the complexity of the Novelli-Pak-Stoyanovskii algorithm. Electron. J. Combin. 24(2), pp. 1-33. 2017. ISSN: 1077-8926. #P2.28, arXiv:1606.07597. [url] [bib]
|
|
J. Blümlein, C. Schneider. The Method of Arbitrarily Large Moments to Calculate Single Scale Processes in Quantum Field Theory. Physics Letters B 771, pp. 31-36. 2017. ISSN 0370-2693. arXiv:1701.04614 [hep-ph]. [url] [bib]
|
|
J. Ablinger, A. Behring, J. Blümlein, A. De Freitas, A. von Manteuffel, C. Schneider. The Three-Loop Splitting Functions $P_{qg}^{(2)}$ and $P_{gg}^{(2, \rm N_F)}$. Nucl. Phys. B. 922, pp. 1-40. 2017. ISSN 0550-3213.. arXiv:1705.01508 [hep-ph]. [url] [bib]
|
|
J. Blümlein, A. De Freitas, C. Schneider, K. Schönwald. The Three Loop Two-Mass Contribution to the Gluon Vacuum Polarization. Cornell University. Technical report no. arXiv:1710.04500 [hep-ph], 2017. [url] [bib]
|
|
J. Ablinger, A. Behring, J. Blümlein, G. Falcioni, A. De Freitas, P. Marquard, N. Rana, C. Schneider. Heavy quark form factors at two loops in perturbative QCD. ACTA PHYSICA POLONICA B 48(12), pp. 2155-2166. 2017. ISSN 0587-4254. Presented at the XLI International Conference of Theoretical Physics “Matter to the Deepest”, Podlesice, Poland, September 3–8, 2017, arXiv:1711.04880 [hep-ph]. [url] [bib]
|
|
Uncu Ali Kemal. Weighted Rogers-Ramanujan partitions and Dyson crank. The Ramanujan Journal, pp. -. May 2017. ISSN 1572-9303. [url] [bib]
|
|
xinhua xiong. Overpartitions and ternary quadratic forms. The Ramanujan Journal 42(2), pp. 429-442. 2017. issn:1382-4090. [bib]
|
|
Liangjie Ye. Elliptic Function Based Algorithms to Prove Jacobi Theta Function Relations. Journal of Symbolic Computation, to appear, pp. 1-25. 2017. -. [pdf] [bib]
|
|
Liangjie Ye. A Symbolic Decision Procedure for Relations Arising among Taylor Coefficients of Classical Jacobi Theta Functions. Journal of Symbolic Computation 82, pp. 134-163. 2017. ISSN: 0747-7171. [pdf] [bib]
|
|
Liangjie Ye. Complex Analysis Based Computer Algebra Algorithms for Proving Jacobi Theta Function Identities. RISC and the DK program Linz. PhD Thesis. 2017. Updated version in June 2017. [pdf] [bib]
|
|
J. Ablinger. Inverse Mellin Transform of Holonomic Sequences. In: Proc. Loops and Legs in Quantum Field Theory - LL 2016, J. Bluemlein and P. Marquard and T. Riemann (ed.), Proc. of Sciences PoS (LL2016) 067, pp. -. 2016. ISSN 1824-8039. arXiv:1606.02845 [cs.SC]. [url] [bib]
|
|
Berkovich Alexander, Uncu Ali Kemal. On partitions with fixed number of even-indexed and odd-indexed odd parts. J. Number Theory 167, pp. 7-30. 2016. ISSN 0022-314X. [url] [bib]
|
|
J. Ablinger, J. Behring, J. Blümlein, G. Falcioni, A. De Freitas, A. Hasselhuhn, A. von Manteuffel, M. Round, C. Schneider, F. Wissbrock. New Results on Massive 3-Loop Wilson Coefficients in Deep-Inelastic Scattering. In: Proc. Loops and Legs in Quantum Field Theory - LL 2016, J. Bluemlein and P. Marquard and T. Riemann (ed.), Proc. of Sciences PoS (LL2016) 065, pp. 1-16. 2016. ISSN 1824-8039. arXiv:1609.03397 [hep-ph]. [url] [bib]
|
|
J. Ablinger, A. Behring, J. Blümlein, A. De Freitas, A. Hasselhuhn, A. von Manteuffel, C.G. Raab, M. Round, C. Schneider, F. Wißbrock. 3-Loop Corrections to the Heavy Flavor Wilson Coefficients in Deep-Inelastic Scattering. In: Proceedings of the European Physical Society Conference on High Energy Physics (EPS-HEP), PoS(EPS-HEP2015)504, pp. 1-13. 2016. ISSN 1824-8039. arXiv:1602.00583 [hep-ph]. [url] [bib]
|
|
Jakob Ablinger, Arnd Behring, Johannes Blümlein, Abilio De Freitas, Alexander Hasselhuhn, Andreas von Manteuffel, Mark Round, Carsten Schneider, Fabian Wißbrock. Heavy flavour corrections to polarised and unpolarised deep-inelastic scattering at 3-loop order. In: Proceedings of the QCD Evolution 2016, PoS(QCDEV2016)052, pp. 1-16. 2016. National Institute for Subatomic Physics (Nikhef) in Amsterdam, ISSN 1824-8039. arXiv:1611.01104 [hep-ph]. [url] [bib]
|
|
Manuel Kauers, Peter Paule, Greg Reid. Workshop on Symbolic Combinatorics and Algorithmic Differential Algebra. ACM Communications in Computer Algebra 50(Issue 1), pp. 27-34. March 2016. 1932-2240. [pdf] [bib]
|
|
Brandt Kronholm, Felix Breuer. A Polyhedral Model of Partitions with Bounded Differences and a Bijective Proof of a Theorem of Andrews, Beck, and Robbins. Research in Number Theory, pp. 1-15. March 2016. Springer, 2363-9555. [bib]
|
|
Gert-Martin Greuel, Thorsten Koch, Peter Paule, Andrews Somese (ed.). Mathematical Software - ICMS 2016. Proceedings of ICMS 2016, 2016. LNCS 9725, Springer Wien, [bib]
|
|
A. Dixit, V.H. Moll, V. Pillwein. A hypergeometric inequality. Annals of Combinatorics 20(1), pp. 65-72. 2016. 0218-0006. [pdf] [bib]
|
|
Christoph Koutschan and Martin Neumüller and Cristian-Silviu Radu. Inverse inequality estimates with symbolic computation. Advances in Applied Mathematics 80, pp. 1-23. 2016. 0196-8858. [url] [pdf] [bib]
|
|
C. Schneider. A Difference Ring Theory for Symbolic Summation. J. Symb. Comput. 72, pp. 82-127. 2016. ISSN 0747-7171. arXiv:1408.2776 [cs.SC]. [url] [bib]
|
|
J. Ablinger, A. Behring, J. Blümlein, A. De Freitas, A. von Manteuffel, C. Schneider. Calculating Three Loop Ladder and V-Topologies for Massive Operator Matrix Elements by Computer Algebra. Comput. Phys. Comm. 202, pp. 33-112. 2016. ISSN 0010-4655. arXiv:1509.08324 [hep-ph]. [url] [pdf] [bib]
|
|
C. Schneider. Symbolic Summation in Difference Rings and Applications. In: Proc. ISSAC 2016, M. Rosenkranz (ed.), pp. 9-12. 2016. ISBN 978-1-4503-4380-0/16/07. [url] [pdf] [bib]
|
|
Evans Doe Ocansey, Carsten Schneider. Representation of hypergeometric products in difference rings. 2016. Poster presentation at 41st International Symposium on Symbolic and Algebraic Computation (ISSAC’16). [url] [pdf] [bib]
|
|
E.D. Ocansey, C. Schneider. Representation of hypergeometric products in difference rings. ACM Communications in Computer Algebra 50(4), pp. 161-163. 2016. ISSN 1932-2240 . Extended abstract of the poster presentation at ISSAC 2016. [url] [pdf] [bib]
|
|
J. Ablinger, A. Behring, J. Bluemlein, A. de Freitas, C. Schneider. Algorithms to solve coupled systems of differential equations in terms of power series. In: Proc. Loops and Legs in Quantum Field Theory - LL 2016, J. Bluemlein, P. Marquard, T. Riemann (ed.) (ed.)PoS(LL2016)005, pp. 1-15. 2016. ISSN 1824-8039. arXiv:1608.05376 [cs.SC]. [url] [bib]
|
|
A. Behring, J. Blümlein, G. Falcioni, A. De Freitas, A. von Manteuffel, C. Schneider. The Asymptotic 3-Loop Heavy Flavor Corrections to the Charged Current Structure Functions $F_L^{W^+-W^-}(x, Q^2)$ and $F_2^{W^+-W^-}(x, Q^2)$. Physical Review D 94(11), pp. 1-19. 2016. ISSN 1550-2368. arXiv:1609.06255 [hep-ph]. [url] [pdf] [bib]
|
|
Jakob Ablinger, Johannes Bluemlein, Abilio de Freitas, Carsten Schneider. A toolbox to solve coupled systems of differential and difference equations. In: Proc. of the 13th International Symposium on Radiative Corrections (Applications of Quantum Field Theory to Phenomenology), Nigel Glover, Daniel Maitre, Ben Pecjak (ed.)PoS(RADCOR2015)060, pp. 1-13. 2016. ISSN 1824-8039. arXiv:1601.01856 [cs.SC]. [url] [bib]
|
|
Xinhua Xiong. Overpartition function modulo 16 and some binary quadratic forms. Technical report no. 5 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN: 1793-0421, 8 2016. [bib]
|
|
Xinhua Xiong. Overpartition function modulo 16 and some binary quadratic forms. International Journal of Number Theory 12(5), pp. 1195-1208. 2016. ISSN 1793-0421. [bib]
|
|
Xinhua Xiong. A positivity conjecture related first positive rank and crank moments for overpartitions. Proc. Japan Acad. Ser. A: Math. Sci., 92 (2016), no. 11,, pp. 117-120. 2016. ISSN . [url] [bib]
|
|
Xinhua Xiong. Small Values of Coefficients of a Half Lerch Sum. arXiv:1605.09508, submitted to journal., pp. 1-10. 2016. ISSN. [bib]
|
|
Xinhua Xiong. Euler's partition theorem for all moduli and new companions to Rogers-Ramanujan-Andrews-Gordon identities. arXiv:1607.07583, submitted to journal., pp. 1-26. 2016. [bib]
|
|
Berkovich Alexander, Uncu Ali Kemal. A new companion to Capparelli's identities. Adv. in Appl. Math. 71, pp. 125-137. 2015. ISSN 0196-8858. [url] [bib]
|
|
F. Breuer. An Invitation to Ehrhart Theory: Polyhedral Geometry and its Applications in Enumerative Combinatorics. In: Computer Algebra and Polynomials, J. Gutierrez, J. Schicho, M. Weimann (ed.), Lecture Notes in Computer Science 8942, pp. 1-29. 2015. 978-3-319-15080-2. [url] [bib]
|
|
Felix Breuer, Zafeirakis Zafeirakopoulos. Polyhedral Omega: A New Algorithm for Solving Linear Diophantine Systems. Technical report no. 15-09 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. January 2015. [pdf] [bib]
|
|
Felix Breuer, Dennis Eichhorn, Brandt Kronholm. Polyhedral geometry, supercranks, and combinatorial witnesses of congruences for partitions into three parts. arXiv , August 2015. [url] [pdf] [pdf] [bib]
|
|
Felix Breuer, Brandt Kronholm. A POLYHEDRAL MODEL OF PARTITIONS WITH BOUNDED DIFFERENCES AND A BIJECTIVE PROOF OF A THEOREM OF ANDREWS, BECK, AND ROBBINS. arXiv , May 2015. [url] [pdf] [bib]
|
|
J. Blümlein, A. De Freitas, C. Schneider. Higher Order Heavy Quark Corrections to Deep-Inelastic Scattering. In: Advances in Computational Particle Physics, J. Blümlein, K. Jansen, M. Krämer, J.H. Kühn (ed.), Proceedings of Final Meeting of DFG SFB-TR-9, Nucl. Phys. B (Proc. Suppl.) , pp. 185-201. 2015. ISSN 0550-3213. arXiv:1411.5669 [hep-ph]. [url] [pdf] [bib]
|
|
Élie de Panafieu. Phase Transition of Random Non-Uniform Hypergraphs. Journal of Discrete Algorithms, pp. ?-?. 2015. ????. [pdf] [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: 17th International Conference in Quantum Chromodynamics (QCD 14), Stephan Narison (ed.), Proceedings of QCD Montpellier Conference, Nucl. Phys. B (Proc. Suppl.) 258-259, pp. 37-40. 2015. ISSN 0550-3213. arXiv:1409.1435 [hep-ph]. [url] [pdf] [bib]
|
|
J. Ablinger, A. Behring, J. Blümlein, A. De Freitas, A. Hasselhuhn, A. von Manteuffel, C. Raab, M. Round, S. Schneider, F. Wißbrock. 3-loop heavy flavor Wilson coefficients in deep-inelastic scattering. In: 17th International Conference in Quantum Chromodynamics (QCD 14), Stephan Narison (ed.), Nucl. Phys. B (Proc. Suppl.) 258-259, pp. 41-44. 2015. ISSN 0550-3213. arXiv:1409.1804 [hep-ph]. [url] [pdf] [bib]
|
|
A. Behring, J. Blümlein, A. De Freitas, A. Hasselhuhn, A. von Manteuffel, C. Schneider. The O(alpha_s^3) Heavy Flavor Contributions to the Charged Current Structure Function xF_3(x, Q^2) at Large Momentum Transfer. Physical Review D 92(114005), pp. 1-19. 2015. ISSN 1550-2368. arXiv:1508.01449 [hep-ph]. [url] [pdf] [bib]
|
|
Shaoshi Chen, Hui Huang, Manuel Kauers, Ziming Li. An Improved Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms. arxiv. Technical report no. 1501.04668, 2015. [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. 2015. European Patent Office, European Patent EP2378444, US patent US8868382. [url] [bib]
|
|
Manuel Kauers, Christoph Koutschan. Integral D-Finite Functions. arxiv. Technical report no. 1501.03691, 2015. [pdf] [bib]
|
|
Peter Paule, Silviu Radu. Partition Analysis, Modular Functions, and Computer Algebra. Technical report no. 15-14 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. In Recent Trends in Combinatorics, IMA Volume 511-543, 2015. [pdf] [bib]
|
|
G. Nikolov, V. Pillwein. An extension of Turan's inequality for ultraspherical polynomials. Mathematical Inequalities & Applications 18(1), pp. 321-335. 2015. [pdf] [bib]
|
|
A. Alexandrov, H. Dietert, G. Nikolov, V. Pillwein. Proof of a conjecture of M. Patrick concerning Jacobi polynomials . Journal of Mathematical Analysis and Applications 428(2), pp. 750-761. 2015. [bib]
|
|
V. Pillwein. Symbolic Computation and Finite Element Methods.. In: CASC 2015, V.P. Gerdt, W. Koepf, W.M. Seiler, and E.V. Vorozhtsov (ed.), LNCS 9301, pp. 374-388. 2015. Springer-Verlag Berlin Heidelberg, 0302-9743. [pdf] [bib]
|
|
CRISTIAN-SILVIU RADU. An algorithmic approach to Ramanujan-Kolberg identities. Journal of Symbolic Computation 68(1), pp. 225-253. 2015. 0747-7171. [url] [pdf] [bib]
|
|
Cristian-Silviu Radu. A note on a problem proposed by Kim and Lisonek. In: Computer Algebra and Polynomials, J. Gutierrez, J. Schicho, M. Weimann (ed.), Lecture notes in Computer Science 8942, pp. 151-156. 2015. Springer, Cham, 978-3-319-15080-2. [url] [bib]
|
|
Angelos Mantzaflaris, Hamid Rahkooy, Zafeirakis Zafeirakopoulos. Efficient Computation of Multiplicity and Directional Multiplicity of an Isolated Point. Technical report no. 15-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2015. [pdf] [bib]
|
|
C. Schneider. Fast Algorithms for Refined Parameterized Telescoping in Difference Fields. In: Computer Algebra and Polynomials, Applications of Algebra and Number Theory, Jaime Gutierrez, Josef Schicho, Martin Weimann (ed.), Lecture Notes in Computer Science (LNCS) 8942, pp. 157-191. 2015. Springer, ISSN: 0302-9743 . arXiv:1307.7887 [cs.SC]. [url] [pdf] [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. Nuclear Physics B 890, pp. 48-151. 2015. ISSN 0550-3213. arXiv:1409.1135 [hep-ph]. [url] [bib]
|
|
A. Behring, J. Blümlein, A. De Freitas, A. von Manteuffel, C. Schneider. The 3-Loop Non-Singlet Heavy Flavor Contributions to the Structure Function g_1(x, Q^2) at Large Momentum Transfer. Nucl. Phys. B 897, pp. 612-644. 2015. ISSN 0550-3213.. arXiv:1504.08217 [hep-ph]. [url] [bib]
|
|
V. Pillwein, M. Schussler. An efficient procedure deciding positivity for a class of holonomic sequences. ACM Communications in Computer Algebra 49(3), pp. 90-93. 2015. Extended abstract of the poster presentation at ISSAC 2015. [pdf] [bib]
|
|
W.Y.C.Chen, D.D.M.Sang and Diane Y.H. Shi. An overpartition analogue of Bressoud’s theorem of Rogers-Ramanujan type. The Ramanujan Journal 36(1), pp. 69-80. 2015. 1382-4090. [bib]
|
|
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. [url] [bib]
|
|
M. Beck, F. Breuer, L. Godkin, J. L. Martin. Enumerating Colorings, Tensions and Flows in Cell Complexes. Journal of Combinatorial Theory, Series A 122(4), pp. 82-106. 2014. 0097-3165. [url] [bib]
|
|
F. Breuer, C. J. Klivans. Scheduling Problems. 2014. submitted, arXiv:1401.2978. [url] [bib]
|
|
F. Breuer. An Invitation to Ehrhart Theory: Polyhedral Geometry and its Applications in Enumerative Combinatorics. 2014. appeared in LNCS, arXiv:1405.7647. [url] [bib]
|
|
F. Breuer, Z. Zafeirakopoulos. A Linear Diophantine System Solver. Institute for Mathematics and its Applications, University of Minnesota, 2014. Poster presentation at Geometric and Enumerative Combinatorics. [url] [bib]
|
|
Élie de Panafieu, Vlady Ravelomanana. Analytic Description of the Phase Transition of Inhomogeneous Multigraphs. European Journal of Combinatorics, pp. -. 2014. Elsevier, ????. [pdf] [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. 2014. ISSN 1824-8039. arXiv:1312.0124 [hep-ph]. [url] [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 $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]
|
|
J. 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]
|
|
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. [ps] [pdf] [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. [ps] [pdf] [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]
|
|
M. Kauers, R. Yatchak. Walks in the Quarter Plane with Multiple Steps. RISC. Technical report, arXiv:1411.3537, November 2014. [url] [bib]
|
|
Alin Bostan, Mireille Bousquet-Melou, Manuel Kauers, Stephen Melczer. On 3-dimensional lattice walks confined to the positive octant. Annals of Combinatorics, pp. ??-??. 2014. ISSN 0218-0006. to appear. [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] [pdf] [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]
|
|
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. J. Math. Phys. 55(112301), pp. 1-57. 2014. ISSN 0022-2488. 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]
|
|
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 523012060, 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]
|
|
C. Schneider. A streamlined difference ring theory: Indefinite nested sums, the alternating sign and the parameterized telescoping problem. In: Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2014 15th International Symposium, Franz Winkler, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen Watt, Daniela Zaharie (ed.), pp. 26-33. 2014. IEEE Computer Society, ISBN-13:978-1-4799-8448-0. arXiv:1412.2782v1 [cs.SC]. [url] [pdf] [bib]
|
|
Thomas Ponweiser. Computer Algebra and Analysis: Complex Variables Visualized. RISC Institute, JKU Linz, Austria. Diploma Thesis. 2014. [pdf] [bib]
|
|
V. Pillwein, S. Takacs. A local Fourier convergence analysis of a multigrid method using symbolic computation. Journal of Symbolic Computation 63, pp. 1-20. 2014. ISSN:0747-7171 . [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, 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. 2013. ISSN 1824-8039. arXiv:1212.5950 [hep-ph]. [url] [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]
|
|
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. [ps] [pdf] [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. [ps] [pdf] [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. [ps] [pdf] [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 17(3), pp. 509-523. 2013. ISSN 0218-0006. [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. Published in: Algebraic and Algorithmic Aspects of Differential and Integral Operators, Lecture Notes in Computer Science 8372, pp. 135-145, Springer-Verlag Berlin Heidelberg, 2014. ISBN 978-3-642-54478-1.. [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. 315-322. 2013. isbn 978-1-4503-2059-7/13/06. [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 365, pp. 4881-4894. 2013. 1088-6850(e), 0002-9947(p) . [url] [pdf] [bib]
|
|
Cristian-Silviu Rand, James Sellers. An extensive analysis of the parity of broken 3-diamond partitions. Journal of Number Theory 133(11), pp. 3703-3716. 2013. 0022-314X. [url] [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. arXiv:1205.4184 [hep-ph]. [url] [pdf] [bib]
|
|
J. Ablinger, J. Bluemlein, C. Schneider. Analytic and Algorithmic Aspects of Generalized Harmonic Sums and Polylogarithms. J. Math. Phys. 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. arXiv:1304.4134 [cs.SC]. [url] [pdf] [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]
|
|
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]
|
|
CRISTIAN-SILVIU RADU, JAMES SELLERS. Congruences modulo squares of primes for Fu's k dots bracelet partitions. International Journal of Number Theory 9(4), pp. 939-943. 2013. World Scientific, 1793-0421. [url] [pdf] [bib]
|
|
CRISTIAN-SILVIU RADU, JAMES SELLERS. Infinitely many congruences for broken 2-diamond partitions modulo 3. Journal of Combinatorics and Number Theory 4(3), pp. 195-200. 2013. Nova Science Publishers, 1942-5600. [pdf] [bib]
|
|
W.Y.C.Chen, D.D.M.Sang and Diane Y.H. Shi. The Rogers-Ramanujan-Gordon theorem for overpartitions. Proceedings of the London Mathematical Society 106(3), pp. 1371-1393. 2013. 0024-6115. [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] [pdf] [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. Published in: Computer Algebra in Quantum Field Theory Integration, Summation and Special Functions, Buchreihe: Texts & Monographs in Symbolic Computation, Verlag: Springer Vienna, Print ISBN: 978-3-7091-1615-9.. [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. arXiv:1212.6823 [hep-ph]. [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. [ps] [pdf] [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. [ps] [pdf] [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. [pdf] [ps] [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. [ps] [pdf] [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] [pdf] [bib]
|
|
Peter Paule, Cristian-Silviu Radu. The Andrews-Sellers family of partition congruences. Advances in Mathematics 230(3), pp. 819-838. 2012. 0001-8708. [url] [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]
|
|
George E. Andrews and Peter Paule. MacMahon's Dream. In: Partitions, q-Series, and Modular Forms, K. Alladi and F. Garvan (ed.), Developments in Mathematics 23, pp. 1-12. 2012. Springer, 978-1-4614-0028-8. [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]
|
|
Y. Cha, V. Pillwein. Closed form solutions of linear difference equations in terms of symmetric products. ACM Communications in Computer Algebra 46(3-4), pp. 80-81. Sep 2012. 0. [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 2012(672), pp. 161-175. 2012. De Gruyter, 1435-5345. [url] [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. arXiv:1011.2656 [cs.SC]. [url] [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. arXiv:1202.2700 [hep-ph]. [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. arXiv:1202.4303 [math-ph]. [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] [pdf] [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. [pdf] [bib]
|
|
Zafeirakis Zafeirakopoulos. Linear Diophantine Systems: Partition Analysis and Polyhedral Geometry. Technical report no. 12-17 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 2012. Thesis. [pdf] [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] [ps] [pdf] [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. [ps] [pdf] [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. [ps] [pdf] [bib]
|
|
Manuel Kauers (ed.). ISSAC 2011 Poster Abstracts. Communications in Computer Algebra, 452, 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. arXiv:1008.3347 [hep-ph]. [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. arXiv:1101.2803 [cs.SC]. [url] [pdf] [bib]
|
|
H. Prodinger, C. Schneider, S. Wagner. Unfair permutations. Europ. J. Comb. 32, pp. 1282-1298. 2011. ISSN: 0195-6698. [url] [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:1105.6063 [math-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]
|
|
W.Y.C.Chen, D.D.M.Sang and Diane Y.H. Shi. Anti-lecture hall compositions and overpartitions. J.Combin. Theory, Ser. A. 118(4), pp. 1451-1464. 2011. 0097-3165. [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]
|
|
Xinhua Xiong. The number of cubic partitions modulo powers of 5. arXiv:math.NT/1004.4737. Science China in Mathematics 41(1), pp. 1-15. 2011. ISSN　1674-7216. [url] [bib]
|
|
Xinhua Xiong. Two identities involving the cubic partition function. Int. J. Number Theory 7(6), pp. 1615-1626. 2011. ISSN 1793-0421. [bib]
|
|
Xinhua Xiong. A short proof of an identity for cubic partition function. Commun. Korean Math. Soc. 26(4), pp. 551-555. 2011. ISSN: 1225-1763 . [url] [bib]
|
|
Xinhua Xiong. Congruences modulo powers of 5 for three-colored Frobenius partitions. arixiv.org: 1003.0072. 2011. [bib]
|
|
Qunying Liao, Liangjie Ye. Lower Bounds and Constructions for q-ary Codes Correcting Asymmetric Errors. Advances in Mathematics(China) 42(6), pp. 795-800. 2011. ISSN:1000-0917 . [url] [pdf] [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. [ps] [pdf] [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. [ps] [pdf] [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]
|
|
Peter Paule, Silviu Radu. Infinite families of strange partition congruences for broken 2-diamonds . The Ramanujan Journal 23, pp. 409-416. 2010. 1382-4090. [url] [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]
|
|
F. Chyzak and P. Paule. Chapter Computer Algebra. In: NIST's Digital Library of Mathematical Foundations, F. Olver et al. (ed.), pp. 0-0. 2010. 0. [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]
|
|
Cristian-Silviu Radu. An Algorithmic Approach to Ramanujan’s Congruences and Related Problems. RISC-JKU. PhD Thesis. 2010. [pdf] [bib]
|
|
C. Schneider. Parameterized Telescoping Proves Algebraic Independence of Sums. Ann. Comb. 14(4), pp. 533-552. 2010. ISSN 0218-0006. arXiv:0808.2596. [url] [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 . [url] [pdf] [bib]
|
|
C. Schneider. Structural Theorems for Symbolic Summation. Appl. Algebra Engrg. Comm. Comput. 21(1), pp. 1-32. 2010. ISSN 0938-1279. [url] [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. arXiv:1005.0602 [cs.SC]. [url] [ps] [pdf] [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.), Loops and Legs in Quantum Field Theory - Proceedings of the 10th DESY Workshop on Elementary Particle Theory 205-206, pp. 110-115. 2010. ISSN 0550-3213. arXiv:1006.4797 [math-ph]. [url] [pdf] [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.), Loops and Legs in Quantum Field Theory - Proceedings of the 10th DESY Workshop on Elementary Particle Theory 205-206, pp. 242-249. 2010. ISSN 0550-3213. arXiv::1007.0375 [hep-ph]. [url] [pdf] [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]
|
|
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. [url] [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. [pdf] [nb] [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. [ps] [pdf] [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. [ps] [pdf] [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] [ps] [pdf] [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. [ps] [pdf] [bib]
|
|
Silviu Radu. An algorithmic approach to Ramanujan congruences . Ramanujan Journal 20(2), pp. 215-251. 2009. 1382-4090 . [url] [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. 2009. ISSN 18248039. arXiv:0707.4659 [math-ph]. [url] [pdf] [bib]
|
|
S. Moch, C. Schneider. Feynman integrals and difference equations. In: Proc. ACAT 2007, - (ed.)PoS(ACAT)083, pp. 1-11. 2009. ISSN 18248039. [url] [pdf] [bib]
|
|
C. Schneider, R. Osburn. Gaussian Hypergeometric series and supercongruences. Math. Comp. 78(265), pp. 275-292. 2009. ISSN 0025-5718. arXiv:math/0610281 [math.NT]. [url] [pdf] [bib]
|
|
J. Bluemlein, M. Kauers, S. Klein, C. Schneider. From moments to functions in higher order QCD . In: XII Advanced Computing and Analysis Techniques in Physics Research, - (ed.)PoS(ACAT08)106, pp. 1-7. 2009. ISSN 1824-8039. arXiv:0902.4095 [hep-ph]. [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. arXiv:0902.4091 [hep-ph]. [url] [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. [ps] [pdf] [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. [ps] [pdf] [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. [ps] [pdf] [bib]
|
|
Manuel Kauers. Fast Solvers for Dense Linear Systems. Nuclear Physics B (Proc. Suppl.) 183, pp. 245-250. 2008. ISSN 0550-3213. [pdf] [ps] [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. [ps] [pdf] [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 his70th birthday. Published in: Advances in Combinatorial Mathematics pp 155-163, Springer.. [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. Published in: Advances in Applied Mathematics Volume 41, Issue 3, September 2008, Pages 351-364.. [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]
|
|
Prof. Peter Paule is one of the Editorial Board Members. (ed.). Ramanujan Journal. [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. arXiv:0808.2543 [cs.SC]. [url] [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. [url] [ps] [pdf] [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. arXiv:0803.0273 [hep-ph]. [url] [pdf] [bib]
|
|
Flavia Stan. Computer-Assisted Proofs of Special Function Identities Related to Poisson Integrals. SFB F13. Technical report no. 2008-3, January 2008. [pdf] [ps] [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. [url] [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.. [ps] [pdf] [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. [ps] [pdf] [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. [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. [ps] [pdf] [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. [ps] [pdf] [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. [ps] [pdf] [bib]
|
|
Manuel Kauers. Summation Algorithms for Stirling Number Identities. Journal of Symbolic Computation 42(10), pp. 948-970. October 2007. ISSN 0747-7171. [ps] [pdf] [bib]
|
|
B. Kronholm. On Congruence Properties of Consecutive Values of p(n, m). INTEGERS 7(A16), pp. 1-6. 2007. 1553-1732. [url] [pdf] [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]
|
|
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. arXiv:math/0511574 [math.CO]. [url] [pdf] [ps] [bib]
|
|
C. Schneider. Simplifying Sums in ${Pi}{Sigma}^*$-Extensions. J. Algebra Appl. 6(3), pp. 415-441. 2007. ISSN: 0219-4988. Preliminary version online. [url] [ps] [pdf] [bib]
|
|
C. Schneider. Symbolic Summation Assists Combinatorics. Sem. Lothar. Combin. 56, pp. 1-36. 2007. ISSN 1286-4889. Article B56b. [url] [pdf] [ps] [bib]
|
|
C. Schneider. Apery'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. [url] [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]
|
|
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. [ps] [pdf] [bib]
|
|
Manuel Kauers. Shift Equivalence of P-finite Sequences. The Electronic Journal of Combinatorics 13(1), pp. 1-16. 2006. ISSN 1077-8926. R100. [ps] [pdf] [bib]
|
|
Manuel Kauers. Computer Algebra and Power Series with Positive Coefficients. SFB F013. Technical report no. 2006-33, Altenbergerstrasse 69, November 2006. [ps] [pdf] [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. Published in: Partitions, q-Series, and Modular Forms pp 1-12, Springer.. [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. Published in: Journal of the London Mathematical Society, Volume 76, Issue 3, 1 December 2007, Pages 647–666, https://doi.org/10.1112/jlms/jdm079.. [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. [url] [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. [url] [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. [url] [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, [url] [ps] [pdf] [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 - Berlin61, pp. 689-690. 2006. Wiley InterScience, Weinheim, ISBN. [url] [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] [pdf] [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 $PiSigma$-Fields. Annals of Combinatorics 9(1), pp. 75-99. 2005. ISSN 0218-0006. Preliminary version online. [url] [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. [url] [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. [url] [pdf] [ps] [bib]
|
|
C. Schneider. Degree Bounds To Find Polynomial Solutions of Parameterized Linear Difference Equations in $PiSigma$-Fields. Applicable Algebra in Engineering, Communication and Computing 16(1), pp. 1-32. 2005. ISSN 0938-1279. Preliminary version online. [url] [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. [url] [pdf] [ps] [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. [url] [ps] [pdf] [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] [ps] [pdf] [tex] [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. [ps] [pdf] [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. [url] [ps] [pdf] [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] [ps] [pdf] [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. [pdf] [ps] [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. [ps] [pdf] [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. [url] [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. Finite Actions of 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]
|
|
Peter Paule. Renaissance of MacMahon's Partition Analysis: Symbolic Summation at RISC-Linz.. 2002. [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. [pdf] [ps] [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]
|
|
Peter Paule. Contiguous relations and creative telescoping. 2001. [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]
|
|
P. Paule and V. Strehl (ed.). Formal Power Series and Algebraic Combinatorics, FPSAC'97. Proceedings of 9th International FPSAC'97 conference, July 14-18, 1997, Vienna, Discrete Mathematics 217, 1-3, 2000. Proceedings. [bib]
|
|
Managing editors: G.E. Andrews (Penn State), W.Y. Chen (Nankai, China), Peter Paule (RISC, JKU) (ed.). Since 2000: Managing editor, joint with G.E. Andrews and W.Y. Chen of the "Annals of Combinatorics". [bib]
|
|
Peter Paule. A Mathematica Package for Extended Engel Expansions of q-series., pp. 0-0. 2000. editor: K. Alladi, 0. [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. [ps] [ps] [pdf] [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. [ps] [ps] [pdf] [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]
|
|
Peter Paule is one of the Editorial Board Members (ed.). Journal of Symbolic Computation (JSC). [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]
|
|
P. Paule and V. Strehl (eds.), Advising Editors: G.E. Andrews. Ph. Flajolet. D. Zeilberger. (ed.). Symbolic Computation in Combinatorics. Proceedings of SCSyAM Workshop, September 21-24, 1993, Special Issue of J. Symbolic Computation 20, 1995. Mathematical Sciences Institute, Cornell University, Ithaca, N.Y., Proceedings of the SCSyAM Workshop, September 21-24, 1993. [bib]
|
|
Peter Paule. Solution of Problem P94-2. 1995. [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. [pdf] [ps] [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. [pdf] [ps] [bib]
|
|
P. Lisonek. Computer-assisted Studies in Algebraic Combinatorics. RISC, J. Kepler University Linz. PhD Thesis. 1994. [ps] [pdf] [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]
|
|
P. Paule and D. Zeilberger (ed.). Symbolic Computation in Combinatorics. Special Issue of J. Symbolic Computation 14. [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. [pdf] [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. [pdf] [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. [pdf] [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. [pdf] [bib]
|
|
P. Paule. Über die Inversionsstatistiken von MacMahon und Goulden-Jackson. Sém. Lothar. Combin. B13b, pp. 1-3. 1985. electronic journal. [pdf] [bib]
|
|
Peter Paule. Zwei neue Transformationen als elementare Anwendungen der q-Vandermonde Formel. University of Vienna. PhD Thesis. 1982. [bib]
|
