|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
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. 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]
|
|
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]
|
|
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]
|
|
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. 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]
|
|
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]
|
|
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]
|
|
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]
|
|
É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]
|
|
Maximilian Jaroschek. Radicals of Ore Polynomials. In: Proceedings of EACA 2014, , pp. -. 2014. to appear. [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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
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. 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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
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. Trading Order for Degree in Creative Telescoping. Journal of Symbolic Compuation 47(8), pp. 968-995. 2012. ISSN 0747-7171. [ps] [pdf] [bib]
|
|
Shaoshi Chen, Manuel Kauers. Order-Degree Curves for Hypergeometric Creative Telescoping. In: Proceedings of ISSAC 2012, Joris van der Hoeven and Mark van Hoeij (ed.), pp. 122-129. 2012. isbn 978-1-4503-1269. [pdf] [bib]
|
|
Shaoshi Chen, Manuel Kauers, Michael F. Singer. Telescopers for Rational and Algebraic Functions via Residues. In: Proceedings of ISSAC 2012, Joris van der Hoeven and Mark van Hoeij (ed.), pp. 130-137. 2012. isbn 978-1-4503-1269. [pdf] [bib]
|
|
Manuel Kauers, Christian Krattenthaler, Thomas W. Mueller. A method for determining the mod-$2^k$ behaviour of recursive sequences, with applications to subgroup counting. Electronic Journal of Combinatorics 18(2), pp. 1-76. 2012. 1077-8926. P37. [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]
|
|
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]
|
|
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]
|
|
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]
|
|
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, 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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
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. 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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
William Y. C. Chen, Peter Paule, Husam L. Saad. Converging to Gosper's Algorithm. Adv. in Appl. Math. 41(3), pp. 351-364. 2008. 0196-8858. [bib]
|
|
V. Pillwein. Positivity of certain sums over Jacobi kernel polynomials. Adv. in Appl. Math. 41(3), pp. 365-377. 2008. doi:10.1016/j.aam.2007.12.001. [pdf] [ps] [bib]
|
|
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]
|
|
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. 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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
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. In: Proc. ISSAC'05, M. Kauers (ed.), pp. 285-292. 2005. ACM, ISBN 1-59593-095-705/0007. [url] [ps] [pdf] [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]
|
|
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 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. 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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
P. Paule. A Classical Hypergeometric Proof of an Important Transformation Formula Found by J.-B. Baillon and R.E. Bruck. In: Theory and Applications of Nonlinear Operators of Accretive and Monotype Type, A. G. Kartsatos (ed.), Lecture Notes in Pure and Appl. Math. 178, pp. 241-242. 1996. Marcel Dekker, ISBN 0824797213. [pdf] [bib]
|
|
P. Paule. A Proof of a Conjecture of Knuth. Experiment. Math. 5, pp. 83-89. 1996. ISSN 1058-6458. [pdf] [bib]
|
|
A. Riese. A Generalization of Gosper's Algorithm to Bibasic Hypergeometric Summation. Electron. J. Combin. 3(#R19), pp. 1-16. 1996. ISSN 1077-8926. [pdf] [bib]
|
|
P. Lisonek. Denumerants and their approximations. J. Combin. Math. Combin. Comput. 18, pp. 225-232. 1995. ISSN 0835-3026. [bib]
|
|
P. Lisonek. Local and global majorities revisited. Discrete Math. 146, pp. 153-158. 1995. ISSN 0012-365X. [bib]
|
|
P. Lisonek. Closed forms for the number of polygon dissections. J. Symbolic Comput. 20, pp. 595-601. 1995. ISSN 0747-7171. [bib]
|
|
I. Nemes, M. Petkovsek. RComp: A Mathematica Package for Computing with Recursive Sequences. J. Symbolic Comput. 20, pp. 745-753. 1995. ISSN 0747-7171. [bib]
|
|
P. Paule. Greatest Factorial Factorization and Symbolic Summation. J. Symbolic Comput. 20, pp. 235-268. 1995. ISSN 0747-7171. [pdf] [bib]
|
|
P. Paule, V. Strehl. Symbolic Summation - Some Recent Developments. In: Computer Algebra in Science and Engineering - Algorithms, Systems, and Applications, J. Fleischer et al. (ed.), pp. 138-162. 1995. World Scientific, Singapore, ISBN 981-02-2319-6. [pdf] [bib]
|
|
R. Pirastu. Algorithms for Indefinite Summation of Rational Functions in Maple. The Maple Technical Newsletter 2(1), pp. 1-12. 1995. ISSN 1061-5733. [pdf] [ps] [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]
|
|
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]
|
|
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]
|
