Searching for authors named "Manuel Kauers" – sorted by Relevance.
15 documents found, showing 1 through 10.
Next 10 →
-
SumCracker: A package for manipulating symbolic sums and related objects
- …SumCracker: A Package for Manipulating Symbolic Sums and Related Objects Abstract Manuel Kauers 1…
- Cited by 7 (5 self) – Add To MetaCart
-
Computer algebra and power series with positive coefficients
- …COMPUTER ALGEBRA AND POWER SERIES WITH POSITIVE COEFFICIENTS MANUEL KAUERS ∗ Abstract. We consider…
- Cited by 2 (2 self) – Add To MetaCart
-
An Algorithm for Deciding Zero Equivalence of Nested Polynomially Recurrent Sequences
- … Manuel Kauers 1 Research Institute for Symbolic Computation Johannes-Kepler-Universität A-4040 Linz…
- Cited by 5 (4 self) – Add To MetaCart
-
Computer proofs for polynomial identities in arbitrary many variables
- … Computer Proofs for Polynomial Identities in Arbitrarymany Variables Manuel Kauers \Lambda…
- Cited by 9 (7 self) – Add To MetaCart
-
Summation Algorithms for Stirling Number Identities
- …Abstract Summation Algorithms for Stirling Number Identities Manuel Kauers 1 Research Institute…
- Cited by 1 (1 self) – Add To MetaCart
-
A procedure for proving special function inequalities involving a discrete parameter
- …-59593-095-705/0007 ...$5.00. Manuel Kauers † RISC-Linz Johannes Kepler Universität A-4040 Linz, Austria mkauers…
- Cited by 5 (5 self) – Add To MetaCart
-
Solving parametric linear systems: an experiment with constraint algebraic programming
- … Informatik, Technische Universität München, 85748 Garching, Germany ballarin@(email omitted); Manuel Kauers RISC…
- Cited by 7 (0 self) – Add To MetaCart
-
A computer proof of Turán’s inequality
- …A COMPUTER PROOF OF TURÁN’S INEQUALITY STEFAN GERHOLD AND MANUEL KAUERS Abstract. We show how…
- Cited by 3 (3 self) – Add To MetaCart
-
Computing the algebraic relations of C-finite sequences and multisequences
- …Computing the Algebraic Relations of C-finite Sequences and Multisequences Abstract Manuel Kauers…
- Cited by 2 (1 self) – Add To MetaCart
-
Indefinite summation with unspecified summands
- …Indefinite Summation with Unspecified Summands Manuel Kauers ∗ and Carsten Schneider † Research…
- Cited by 5 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
