Veronika Pillwein

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 13

Top Topics

Top Venues

J. Symb. Comput.

Adv. Appl. Math.

Publications

Antonio Jiménez-Pastor, Philipp Nuspl, Veronika Pillwein
-finite sequences. J. Symb. Comput. 116 (2023)
Manuel Kauers, Philipp Nuspl, Veronika Pillwein
-finite sequences. CoRR (2023)
Manuel Kauers, Philipp Nuspl, Veronika Pillwein
Order bounds for C2-finite sequences. ISSAC (2023)
Philipp Nuspl, Veronika Pillwein
A Comparison of Algorithms for Proving Positivity of Linearly Recurrent Sequences. CASC (2022)
Philipp Nuspl, Veronika Pillwein
Simple C2-finite Sequences: a Computable Generalization of C-finite Sequences. ISSAC (2022)
Sven Beuchler, Tim Haubold, Veronika Pillwein
Recurrences for Quadrilateral High-Order Finite Elements. Math. Comput. Sci. 16 (4) (2022)
Veronika Pillwein, Diego Dominici
Difference equation satisfied by the Stieltjes transform of a sequence. Maple Trans. 2 (1) (2022)
Sven Beuchler, Tim Haubold, Veronika Pillwein
Recursion formulas for integrated products of Jacobi polynomials. CoRR (2021)
Antonio Jiménez-Pastor, Philipp Nuspl, Veronika Pillwein
-finite Sequences. ISSAC (2021)
Antonio Jiménez-Pastor, Veronika Pillwein, Michael F. Singer
-finite functions. Adv. Appl. Math. 117 (2020)
Veronika Pillwein
On the positivity of the Gillis-Reznick-Zeilberger rational function. Adv. Appl. Math. 104 (2019)
Antonio Jiménez-Pastor, Veronika Pillwein
A computable extension for D-finite functions: DD-finite functions. J. Symb. Comput. 94 (2019)
Antonio Jiménez-Pastor, Veronika Pillwein
Algorithmic Arithmetics with DD-Finite Functions. ISSAC (2018)
Veronika Pillwein, Miriam Schussler
An efficient procedure deciding positivity for a class of holonomic functions. ACM Commun. Comput. Algebra 49 (3) (2015)
Veronika Pillwein
Symbolic Computation and Finite Element Methods - (Invited Talk). CASC (2015)
Veronika Pillwein
An Introduction to Finite Element Methods. ISSAC (2015)
Ionela Moale, Veronika Pillwein
A note on uniform approximation of functions having a double pole. LMS J. Comput. Math. 17 (1) (2014)
Veronika Pillwein, Stefan Takacs
A local Fourier convergence analysis of a multigrid method using symbolic computation. J. Symb. Comput. 63 (2014)
Veronika Pillwein
Termination conditions for positivity proving procedures. ISSAC (2013)
Sven Beuchler, Veronika Pillwein, Sabine Zaglmayr
Sparsity optimized high order finite element functions for H(curl) on tetrahedra. Adv. Appl. Math. 50 (5) (2013)
Yongjae Cha, Veronika Pillwein
Closed form solutions of linear difference equations in terms of symmetric products. ACM Commun. Comput. Algebra 46 (3/4) (2012)
Sven Beuchler, Veronika Pillwein, Sabine Zaglmayr
Sparsity optimized high order finite element functions for H(div) on simplices. Numerische Mathematik 122 (2) (2012)
Manuel Kauers, Veronika Pillwein, Susanne Saminger-Platz
Dominance in the family of Sugeno-Weber t-norms. Fuzzy Sets Syst. 181 (1) (2011)
Christos Koukouvinos, Veronika Pillwein, Dimitris E. Simos, Zafeirakis Zafeirakopoulos
On the average complexity for the verification of compatible sequences. Inf. Process. Lett. 111 (17) (2011)
Manuel Kauers, Veronika Pillwein
When can we detect that a P-finite sequence is positive? ISSAC (2010)
Manuel Kauers, Veronika Pillwein, Susanne Saminger-Platz
Dominance in the family of Sugeno-Weber t-norms CoRR (2010)
Peter Paule, Veronika Pillwein
Automatic Improvements of Wallis' Inequality. SYNASC (2010)
Manuel Kauers, Veronika Pillwein
When can we decide that a P-finite sequence is positive? CoRR (2010)
Veronika Pillwein
Positivity of certain sums over Jacobi kernel polynomials. Adv. Appl. Math. 41 (3) (2008)
Sven Beuchler, Veronika Pillwein
-FEM using integrated Jacobi polynomials. Computing 80 (4) (2007)
A. Becirovic, Peter Paule, Veronika Pillwein, Axel Riese, Carsten Schneider, Joachim Schöberl
Hypergeometric Summation Algorithms for High-order Finite Elements. Computing 78 (3) (2006)