Univ.-Prof. Dr. Carsten Schneider
Johannes Kepler University Linz RISC - Research Institute for Symbolic Computation Carsten.Schneider@risc.jku.at (Tel: +43 732 2468 9966) |
Publications
Note: Further information can be found, e.g., on MathSciNet, Google Scholar, ResearchGate, zbMath, Web of Science, Scopus, Inspire, or ORCID.
Type: | [any] [Papers] [Theses] [Technical Reports] [Other] |
Year: | [any] [2024] [2023] [2022] [2021] [2020] [2019] [2018] [2017] [2016] [2015] [earlier] |
1. | Finding Telescopers with Minimal Depth for Indefinite Nested Sum and Product Expressions (Extended Version). J. Kepler University Linz. Technical report no. 2005-08, 2005. SFB-Report. [ps] [pdf] [bib] |
1. | Symbolic Summation with Single-Nested Sum Extensions (Extended Version). J. Kepler University, Linz. Technical report no. 2004-7, 2004. Published in Proc. ISSAC'04. SFB-Report. [ps] [pdf] [bib] |
2. | Plane Partition VI: Stembridge's TSPP Theorem -- A detailed algorithmic proof. Technical report no. 04-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. May 2004. [pdf] [ps] [bib] |
1. | A Unique Representation of Solutions of Parameterized Linear Difference Equations in ${\Pi}{\Sigma}$-Fields. Technical report no. 02-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. July 2002. [ps] [bib] |