- A Refined Difference Field Theory for Symbolic Summation
- To appear in Journal of Algebra and Its Applications SIMPLIFYING SUMS IN ## # EXTENSIONS
- E APPROXIMATIONS TO THE LOGARITHM III: ALTERNATIVE METHODS AND ADDITIONAL RESULTS
- Application of Unspecified Sequences in Symbolic Summation
- Symbolic Summation in Difference Fields
- Degree Bounds to Find Polynomial Solutions of Parameterized Linear Difference Equations
- HYPERGEOMETRIC SUMMATION ALGORITHMS FOR HIGH ORDER FINITE ELEMENTS
- Finding Telescopers with Minimal Depth for Indefinite Nested Sum and Product Expressions
- Automated Proofs for Some Stirling Number Identities Manuel Kauers # and Carsten Schneider +
- To appear in Journal of Algebra and Its Applications SIMPLIFYING SUMS IN
- Automated Proofs for Some Stirling Number Identities Manuel Kauers
- E APPROXIMATIONS TO THE LOGARITHM III: ALTERNATIVE METHODS AND ADDITIONAL RESULTS
- Indefinite Summation with Unspecified Summands
- INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 7 (2007), #A22 TRUNCATING BINOMIAL SERIES WITH SYMBOLIC SUMMATION
- Friedrich--Alexander--Universit at Erlangen--N urnberg Institut f ur Mathematische Maschinen und Datenverarbeitung
- Symbolic Summation with SingleNested Sum Extensions Carsten Schneider #
- DESY 09011 SFBCPP09/17
- Structural Theorems for Symbolic Summation Carsten Schneider
- E APPROXIMATIONS TO THE LOGARITHM II: IDENTITIES, RECURRENCES, AND SYMBOLIC COMPUTATION
- Seminaire Lotharingien de Combinatoire 56 (2007), Article B56b SYMBOLIC SUMMATION ASSISTS COMBINATORICS
- PADE APPROXIMATIONS TO THE LOGARITHM III: ALTERNATIVE METHODS AND ADDITIONAL RESULTS
- INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 (2008), #A17 GENERALIZED RECIPROCITY LAWS
- Degree Bounds to Find Polynomial Solutions of Parameterized Linear Di#erence Equations
- A NEW SIGMA APPROACH TO MULTISUMMATION CARSTEN SCHNEIDER
- PRODUCT REPRESENTATIONS IN ##FIELDS CARSTEN SCHNEIDER
- Computer Proofs of a New Family of Harmonic Number Identities
- Symbolic Summation with Radical Expressions Manuel Kauers #
- WHEN IS 0.999 . . . EQUAL TO 1? ROBIN PEMANTLE AND CARSTEN SCHNEIDER
- DESY 08-029 arXiv:0803.0273 [hep-ph] SFB/CPP-08-16
- Seminaire Lotharingien de Combinatoire 56 (2007), Article B56b SYMBOLIC SUMMATION ASSISTS COMBINATORICS
- HYPERGEOMETRIC SUMMATION ALGORITHMS FOR HIGH ORDER FINITE ELEMENTS
- PADE APPROXIMATIONS TO THE LOGARITHM II: IDENTITIES, RECURRENCES, AND SYMBOLIC COMPUTATION
- Symbolic Summation with Radical Expressions Manuel Kauers
- Application of Unspecified Sequences in Symbolic Summation
- Finding Telescopers with Minimal Depth for Indefinite Nested Sum and Product Expressions
- Appeared in An. Univ. Timisoara Ser. Mat.-Inform. 42(2), pp. 163-179. 2004. A Collection of Denominator Bounds to Solve Parameterized
- Appeared in Sem. Lothar. Combin. S43b, pp. 1-10. 2000. 1 An Implementation of
- PoS(ACAT)083 Feyman integrals and difference equations
- Parameterized telescoping proves algebraic independence of sums Carsten Schneider
- Appeared in Proceedings of the 8th Rhine Workshop on Computer Algebra, pp. 73-83. 2002. 1 How One Can Play with Sums
- To appear in Clay Mathematics Proceedings A Symbolic Summation Approach to Find
- Discrete Mathematics and Theoretical Computer Science 6, 2004, 365386 The Summation Package Sigma
- Some Notes On "When is 0.999... equal to 1?" Carsten Schneider
- WHEN IS 0.999 . . . EQUAL TO 1? ROBIN PEMANTLE AND CARSTEN SCHNEIDER
- PLANE PARTITIONS VI: STEMBRIDGE'S TSPP THEOREM
- A NEW SIGMA APPROACH TO MULTI-SUMMATION CARSTEN SCHNEIDER
- Preliminary version. To appear in Journal of Di#erence Equations and Applications Solving Parameterized Linear Di#erence Equations
- PLANE PARTITIONS VI: STEMBRIDGE'S TSPP THEOREM
- Symbolic Summation with Single-Nested Sum Extensions Carsten Schneider
- Preliminary version. To appear in Journal of Difference Equations and Applications Solving Parameterized Linear Difference Equations
- PoS(ACAT)082 DESY 07111
- Discrete Mathematics and Theoretical Computer Science 6, 2004, 365--386 The Summation Package Sigma
- Appeared in An. Univ. Timisoara Ser. Mat.Inform. 42(2), pp. 163179. 2004. A Collection of Denominator Bounds to Solve Parameterized
- DESY 09-011 SFB-CPP-09/17
- DESY 09-002 arXiv:0902.4091 [hep-ph] SFB/CPP-09-22
- Computing the Complexity for Schelling Segregation Models
- Appeared in Sem. Lothar. Combin. S43b, pp. 110. 2000. 1 An Implementation of
- Ap ery's Double Sum is Plain Sailing Indeed Carsten Schneider
- Appeared in Proceedings of the 8th Rhine Workshop on Computer Algebra, pp. 7383. 2002. 1 How One Can Play with Sums
- Symbolic Summation in Di#erence Fields
- PRODUCT REPRESENTATIONS IN -FIELDS CARSTEN SCHNEIDER
- Apery's Double Sum is Plain Sailing Indeed Carsten Schneider
- GAUSSIAN HYPERGEOMETRIC SERIES AND SUPERCONGRUENCES ROBERT OSBURN AND CARSTEN SCHNEIDER
- Computer Proofs of a New Family of Harmonic Number Identities
- PARAMETERIZED TELESCOPING PROVES ALGEBRAIC INDEPENDENCE OF SUMS
