RISC JKU

Algorithmic Combinatorics Publications

Type: [any] [Papers] [Theses] [Technical Reports] [Other
Author: [any] [Ablinger] [Paule] [Kauers] [Koutschan] [Pillwein] [Radu] [Schneider
Year: [any] [2024] [2023] [2022] [2021] [2020] [2019] [earlier

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, 45/2, June 2011. ACM Sigsam, [bib]
Tewodros Amdeberhan, Mark W. Coffey, Olivier Espinosa, Christoph Koutschan, Dante V. Manna, Victor H. Moll. Integrals of powers of loggamma. Proceedings of the AMS 139(2), pp. 535-545. 2011. ISSN 0002-9939. [pdf] [bib]
Christoph Koutschan, Victor H. Moll. The integrals in Gradshteyn and Ryzhik. Part 18: Some automatic proofs. SCIENTIA Series A: Mathematical Sciences 20, pp. 93-111. 2011. Universidad Tecnica Federico Santa Maria, Valparaiso, Chile, ISSN 0716-8446. [pdf] [bib]
Christoph Koutschan, Manuel Kauers, Doron Zeilberger. Proof of George Andrews's and David Robbins's q-TSPP conjecture. Proceedings of the National Academy of Sciences 108(6), pp. 2196-2199. 2011. ISSN 0027-8424. [url] [pdf] [bib]
Stavros Garoufalidis, Christoph Koutschan. The sl3 Jones polynomial of the trefoil: a case study of q-holonomic recursions. Advances in Applied Mathematics 47(4), pp. 829-839. 2011. ISSN 0196-8858. [pdf] [bib]
Christoph Koutschan, Doron Zeilberger. The 1958 Pekeris-Accad-WEIZAC Ground-Breaking Collaboration that computed Ground States of Two-Electron Atoms (and its 2010 Redux). The Mathematical Intelligencer 33(2), pp. 52-57. 2011. ISSN 0343-6993. [url] [pdf] [bib]
Viktor Levandovskyy, Christoph Koutschan, Oleksandr Motsak. On Two-generated Non-commutative Algebras Subject to the Affine Relation. In: Proceedings of CASC 2011, Vladimir Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii Vorozhtsov (ed.), Lecture Notes in Computer Science 6885, pp. 309-320. 2011. Springer, ISBN 978-3-642-23567-2. [pdf] [bib]
Frederic Chyzak, James H. Davenport, Christoph Koutschan, Bruno Salvy. On Kahan's Rules for Determining Branch Cuts. In: Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Dongming Wang et al. (ed.), pp. 47-51. 2011. IEEE Computer Society: Conference Publishing Services (CPS), ISBN 978-0-7695-4630-8. [pdf] [bib]
Christoph Koutschan. Lattice Green's Functions of the Higher-Dimensional Face-Centered Cubic Lattices. ArXiv (www.arxiv.org). Technical report no. 1108.2164, 2011. [url] [pdf] [bib]
Irina Georgieva, Clemens Hofreither, Christoph Koutschan, Veronika Pillwein, Thotsaporn Thanatipanonda. Harmonic interpolation based on Radon projections along the sides of regular polygons. DK Computational Mathematics. Technical report no. 2011-12, Johannes Kepler University Linz, Austria, 2011. [pdf] [bib]
I. Moale and F. Peherstorfer. Explicit min-max polynomials on the disc. J. Approx. Theory 163, pp. 707-723. 2011. ISSN 0021-9045. [bib]
I. Moale and F. Peherstorfer. An explicit class of min-max polynomials on the ball and on the sphere. J. Approx. Theory 163, pp. 724-737. 2011. ISSN 0021-9045. [bib]
I. Moale and P. Yuditskii. On complex (non-analytic) Chebyshev polynomials in C^2. Comput. Methods Funct. Theory 11, pp. 13-24. 2011. ISSN 1617-9447. [bib]
I Moale. Explicit weighted min-max polynomials on the disc. In: submitted, , pp. -. 2011. [bib]
P. Paule, V. Pillwein. Automatic Improvements of Wallis' Inequality. In: SYNASC 2010, 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, T. Ida and others (ed.), pp. 12-16. 2011. IEEE Computer Society, 0. [pdf] [bib]
S. Beuchler, V. Pillwein, J. Schoeberl and S. Zaglmayr . Sparsity optimized high order finite element functions on simplices. In: Numerical and Symbolic Scientific Computing: Progress and Prospects, Ulrich Langer and Peter Paule (ed.), pp. 21-44. 2011. Springer, Wien, [pdf] [bib]
C. Koukouvinos, V. Pillwein, D.E. Simos, Z. Zafeirakopoulos. On the Average Complexity for the Verification of Compatible Sequences . Information Processing Letters 111(17), pp. 825-830. 2011. [pdf] [bib]
Veronika Pillwein. Algorithms for symbolic summation and inequality proving. 2011. Software presentation at International Conference on Asymptotics and Special Functions, Hong Kong. [bib]
Silviu Radu, James Sellers. Parity results for broken k-diamond partitions and (2k+1)-cores. Acta Arithmetica, pp. 43-52. 2011. ISSN 0065-1036. [bib]
H. Rahkooy, Z. Zafeirakopoulos. Using Resultants for Inductive Groebner Bases Computation. 2011. Poster presentation at ISSAC 2011. [url] [pdf] [bib]
J. Ablinger, J. Bluemlein, S. Klein, C. Schneider, F. Wissbrock. The O(\alpha_s^3) Massive Operator Matrix Elements of O(n_f) for the Structure Function F_2(x, Q^2) and Transversity. Nucl. Phys. B 844, pp. 26-54. 2011. ISSN: 0550-3213. 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]