Hypergeometric Summation Algorithms for High-order Finite Elements. - A. Becirovic; Peter Paule; Veronika Pillwein; Axel Riese; Carsten Schneider; Joachim Schöberl (Computing, 2006)

Sparse shape functions for tetrahedral p -FEM using integrated Jacobi polynomials. - Sven Beuchler; Veronika Pillwein (Computing, 2007)

Positivity of certain sums over Jacobi kernel polynomials. - Veronika Pillwein (Adv. Appl. Math., 2008)

When can we detect that a P-finite sequence is positive? - Manuel Kauers; Veronika Pillwein (ISSAC, 2010)

Automatic Improvements of Wallis' Inequality. - Peter Paule; Veronika Pillwein (SYNASC, 2010)

When can we decide that a P-finite sequence is positive? - Manuel Kauers; Veronika Pillwein (CoRR, 2010)

Dominance in the family of Sugeno-Weber t-norms. - Manuel Kauers; Veronika Pillwein; Susanne Saminger-Platz (Fuzzy Sets Syst., 2011)

On the average complexity for the verification of compatible sequences. - Christos Koukouvinos; Veronika Pillwein; Dimitris E. Simos; Zafeirakis Zafeirakopoulos (Inf. Process. Lett., 2011)

Closed form solutions of linear difference equations in terms of symmetric products. - Yongjae Cha; Veronika Pillwein (ACM Commun. Comput. Algebra, 2012)

Sparsity optimized high order finite element functions for H(div) on simplices. - Sven Beuchler; Veronika Pillwein; Sabine Zaglmayr (Numerische Mathematik, 2012)

Termination conditions for positivity proving procedures. - Veronika Pillwein (ISSAC, 2013)

Sparsity optimized high order finite element functions for H(curl) on tetrahedra. - Sven Beuchler; Veronika Pillwein; Sabine Zaglmayr (Adv. Appl. Math., 2013)

Fast Summation Techniques for Sparse Shape Functions in Tetrahedral hp-FEM. - Sven Beuchler; Veronika Pillwein; Sabine Zaglmayr (Domain Decomposition Methods in Science and Engineering XX, 2013)

A local Fourier convergence analysis of a multigrid method using symbolic computation. - Veronika Pillwein; Stefan Takacs (J. Symb. Comput., 2014)

A note on uniform approximation of functions having a double pole. - Ionela Moale; Veronika Pillwein (LMS J. Comput. Math., 2014)

Symbolic Computation and Finite Element Methods - (Invited Talk). - Veronika Pillwein (CASC, 2015)

An Introduction to Finite Element Methods. - Veronika Pillwein (ISSAC, 2015)

An efficient procedure deciding positivity for a class of holonomic functions. - Veronika Pillwein; Miriam Schussler (ACM Commun. Comput. Algebra, 2015)

Algorithmic Arithmetics with DD-Finite Functions. - Antonio Jiménez-Pastor; Veronika Pillwein (ISSAC, 2018)

On the positivity of the Gillis-Reznick-Zeilberger rational function. - Veronika Pillwein (Adv. Appl. Math., 2019)

A computable extension for D-finite functions: DD-finite functions. - Antonio Jiménez-Pastor; Veronika Pillwein (J. Symb. Comput., 2019)

Some structural results on Dn-finite functions. - Antonio Jiménez-Pastor; Veronika Pillwein; Michael F. Singer (Adv. Appl. Math., 2020)

On C2-finite Sequences. - Antonio Jiménez-Pastor; Philipp Nuspl; Veronika Pillwein (ISSAC, 2021)

Recursion formulas for integrated products of Jacobi polynomials. - Sven Beuchler; Tim Haubold; Veronika Pillwein (CoRR, 2021)

A Comparison of Algorithms for Proving Positivity of Linearly Recurrent Sequences. - Philipp Nuspl; Veronika Pillwein (CASC, 2022)

Simple C2-finite Sequences: a Computable Generalization of C-finite Sequences. - Philipp Nuspl; Veronika Pillwein (ISSAC, 2022)

Difference equation satisfied by the Stieltjes transform of a sequence. - Veronika Pillwein; Diego Dominici (Maple Trans., 2022)

Recurrences for Quadrilateral High-Order Finite Elements. - Sven Beuchler; Tim Haubold; Veronika Pillwein (Math. Comput. Sci., 2022)

Order bounds for C2-finite sequences. - Manuel Kauers; Philipp Nuspl; Veronika Pillwein (ISSAC, 2023)

Order bounds for C2-finite sequences. - Manuel Kauers; Philipp Nuspl; Veronika Pillwein (CoRR, 2023)

An extension of holonomic sequences: C2-finite sequences. - Antonio Jiménez-Pastor; Philipp Nuspl; Veronika Pillwein (J. Symb. Comput., 2023)