Skip to content

Veronika Pillwein

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

10

Venues

3

Active years

2010–2023

Best venue rank

B

Where they publish

Papers

10 indexed papers, newest first.

YearVenueTitleAuthors
2023ISSACOrder bounds for C2-finite sequences.Manuel Kauers, Philipp Nuspl, Veronika Pillwein
2022CASCA Comparison of Algorithms for Proving Positivity of Linearly Recurrent Sequences.Philipp Nuspl, Veronika Pillwein
2022ISSACSimple C2-finite Sequences: a Computable Generalization of C-finite Sequences.Philipp Nuspl, Veronika Pillwein
2021ISSACOn CAntonio Jimnez-Pastor, Philipp Nuspl, Veronika Pillwein
2018ISSACAlgorithmic Arithmetics with DD-Finite Functions.Antonio Jimnez-Pastor, Veronika Pillwein
2015CASCSymbolic Computation and Finite Element Methods - (Invited Talk).Veronika Pillwein
2015ISSACAn Introduction to Finite Element Methods.Veronika Pillwein
2013ISSACTermination conditions for positivity proving procedures.Veronika Pillwein
2010ISSACWhen can we detect that a P-finite sequence is positive?Manuel Kauers, Veronika Pillwein
2010SYNASCAutomatic Improvements of Wallis' Inequality.Peter Paule, Veronika Pillwein