References in zbMATH (referenced in 16 articles , 1 standard article )

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

  1. Dixit, Atul; Moll, Victor H.; Pillwein, Veronika: A hypergeometric inequality (2016)
  2. Nikolov, Geno; Pillwein, Veronika: An extension of Turán’s inequality (2015)
  3. Bailey, David H.; Borwein, Jonathan M.; Kaiser, Alexander D.: Automated simplification of large symbolic expressions (2014)
  4. Cha, Yongjae: Closed form solutions of linear difference equations in terms of symmetric products (2014)
  5. Beuchler, Sven; Pillwein, Veronika; Zaglmayr, Sabine: Sparsity optimized high order finite element functions for $H(\mathrmcurl)$ on tetrahedra (2013)
  6. Zeilberger, Doron: The $C$-finite ansatz (2013)
  7. Beuchler, Sven; Pillwein, Veronika; Zaglmayr, Sabine: Sparsity optimized high order finite element functions for H(div) on simplices (2012)
  8. Kauers, Manuel: Solving difference equations whose coefficients are not transcendental (2008)
  9. Kauers, Manuel: Computer algebra for special function inequalities (2008)
  10. Kovács, Laura: Invariant generation for P-solvable loops with assignments (2008)
  11. Pillwein, Veronika: Positivity of certain sums over Jacobi kernel polynomials (2008)
  12. Alzer, Horst; Gerhold, Stefan; Kauers, Manuel; Lupaş, Alexandru: On Turán’s inequality for Legendre polynomials (2007)
  13. Beuchler, S.; Pillwein, V.: Sparse shape functions for tetrahedral $p$-FEM using integrated Jacobi polynomials (2007)
  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. Kauers, Manuel: SumCracker: A package for manipulating symbolic sums and related objects (2006)


Further publications can be found at: https://www.risc.jku.at/publications/