RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
description  |  subgroups  |  members  |  seminar  |  publications  |  software  |  events  |  links
  
search:
  

Algorithmic Combinatorics Publications

Type: [any] [Papers] [Theses] [Technical Reports] [Other
Author: [any] [Ablinger] [Paule] [Kauers] [Koutschan] [Pillwein] [Radu] [Schneider
Year: [any] [2017] [2016] [2015] [2014] [2013] [2012] [earlier

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 (ed.). ISSAC 2011 Poster Abstracts. Communications in Computer Algebra, 45/2, June 2011. ACM Sigsam, [bib]
Veronika Pillwein. Algorithms for symbolic summation and inequality proving. 2011. Software presentation at International Conference on Asymptotics and Special Functions, Hong Kong. [bib]
H. Rahkooy, Z. Zafeirakopoulos. Using Resultants for Inductive Groebner Bases Computation. 2011. Poster presentation at ISSAC 2011. [url] [pdf] [bib]
Xinhua Xiong. Congruences modulo powers of 5 for three-colored Frobenius partitions. arixiv.org: 1003.0072. 2011. [bib]
C. Koukouvinos, D.E. Simos, Z. Zafeirakopoulos. An Algebraic Framework for Extending Orthogonal Designs. June 2011. Poster presentation at ISSAC. [pdf] [bib]
Yongjae Cha, Mark van Hoeij, Giles Levy. Solving Linear Recurrence Equations. 2010. Software presentation at ISSAC 2010. [bib]
B. Erocal and A. Storjohann. Nullspace computation over rational function fields for symbolic summation. 2010. Also appeared in ACM Communications in Computer Algebra, Vol. 44, No. 3, September 2010. Poster presentation at ISSAC 2010. [pdf] [bib]
B. Erocal and A. Storjohann. Nullspace computation over rational function fields for symbolic summation. 2010. Also appeared in ACM Communications in Computer Algebra, Vol. 44, No. 3, September 2010. Poster presentation at ISSAC 2010. [bib]
B. Buchberger, M. Affenzeller, A. Ferscha, M. Haller, T. Jebelean, E.P. Klement, P. Paule, G. Pomberger, W. Schreiner, R. Stubenrauch, R. Wagner, G. Weiß, W. Windsteiger (ed.). Hagenberg Research. 2009. Springer Dordrecht Heidelberg London New York, ISBN 978-3-642-02126-8. [url] [bib]
Christoph Koutschan. HolonomicFunctions. RISC, Johannes Kepler University Linz, Austria, 2009. Software presentation at FPSAC'2009 (21st International Conference on Formal Power Series and Algebraic Combinatorics). [bib]
Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger (ed.). Towards Mechanized Mathematical Assistants. Proceedings of Calculemus 2007 and MKM 2007, Lecture Notes in Computer Science, 4573, 2007. Springer, Heidelberg, ISSN 0302-9743. [url] [bib]
C. Schneider. Parameterized telescoping proves algebraic independence of sums. 2007. Poster presentation at FPSAC 2007. [url] [pdf] [pdf] [bib]
C. Schneider. Multi-Summation in Difference Fields. 2007. Habilitation, [bib]
Manuel Kauers. Problem 11258. December 2006. American Mathematical Monthly, [ps] [bib]
P. Paule. A Computerized Proof of $\zeta(2)=\pi^2/6$. 2005. in preparation. [bib]
Burkhard Zimmermann. Computing Recurrences for Parameter-Dependent Integrals. May 2005. Poster presentation at Fourth International School on Computer Algebra CoCoA 4. [bib]
Manuel Kauers. Computing Limits of Sequences. 2003. Poster presentation at ISSAC 2003. [ps] [ps] [bib]
A. Riese. Computer Algebra Algorithms for Symbolic Summation. June 2003. Poster presentation at International Workshop on Numerical and Symbolic Scientific Computing, Strobl, Austria. [bib]
Burkhard Zimmermann. A Sister-Celine-type algorithm for definite summation and integration. August 2003. Poster presentation at ISSAC 2003. [bib]