References in zbMATH (referenced in 21 articles )

Showing results 1 to 20 of 21.
Sorted by year (citations)

1 2 next

  1. Huang, Hui; Kauers, Manuel: D-finite numbers (2018)
  2. Schneider, Carsten; Sulzgruber, Robin: Asymptotic and exact results on the complexity of the Novelli-Pak-Stoyanovskii algorithm (2017)
  3. Bostan, Alin; Bousquet-Mélou, Mireille; Kauers, Manuel; Melczer, Stephen: On 3-dimensional lattice walks confined to the positive octant (2016)
  4. Bostan, Alin; Kauers, Manuel; Van Hoeij, Mark: The complete generating function for Gessel walks is algebraic (2010)
  5. Kohl, Karen; Stan, Flavia: An algorithmic approach to the Mellin transform method (2010)
  6. Stan, Flavia: On recurrences for Ising integrals (2010)
  7. Blümlein, Johannes; Kauers, Manuel; Klein, Sebastian; Schneider, Carsten: Determining the closed forms of the anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra (2009)
  8. Gao, Xiao-Shan; Luo, Yong; Yuan, Chunming: A characteristic set method for ordinary difference polynomial systems (2009)
  9. Gerhold, Stefan; Warnung, Richard: Finding efficient recursions for risk aggregation by computer algebra (2009)
  10. Kauers, Manuel; Koutschan, Christoph: A Mathematica package for $q$-holonomic sequences and power series (2009)
  11. Stan, Flavia: Computer-assisted proofs of special function identities related to Poisson integrals (2009)
  12. Gerhold, Stefan; Glebsky, Lev; Schneider, Carsten; Weiss, Howard; Zimmermann, Burkhard: Computing the complexity for Schelling segregation models (2008)
  13. Pillwein, Veronika: Positivity of certain sums over Jacobi kernel polynomials (2008)
  14. Kauers, Manuel: An algorithm for deciding zero equivalence of nested polynomially recurrent sequences (2007)
  15. Kauers, Manuel; Paule, Peter: A computer proof of Moll’s log-concavity conjecture (2007)
  16. Paule, Peter; Schneider, Carsten: Truncating binomial series with symbolic summation (2007)
  17. Bećirović, A.; Paule, P.; Pillwein, V.; Riese, A.; Schneider, C.; Schöberl, J.: Hypergeometric summation algorithms for high-order finite elements (2006)
  18. Andrews, George E.; Paule, Peter; Schneider, Carsten: Plane partitions. VI: Stembridge’s TSPP theorem (2005)
  19. Chyzak, Frédéric; Mishna, Marni; Salvy, Bruno: Effective scalar products of D-finite symmetric functions (2005)
  20. Paule, Peter; Schneider, Carsten: Computer proofs of a new family of harmonic number identities. (2003)

1 2 next