Veronika Pillwein

J. Symb. Comput., 2023

Order bounds for C2-finite sequences.

[BibT_eX]

[DOI]

CoRR, 2023

Order bounds for C2-finite sequences.

[BibT_eX]

[DOI]

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

2022

Recurrences for Quadrilateral High-Order Finite Elements.

[BibT_eX]

[DOI]

Tim Haubold

Math. Comput. Sci., 2022

Difference equation satisfied by the Stieltjes transform of a sequence.

[BibT_eX]

[DOI]

Diego Dominici

Maple Trans., 2022

Simple C2-finite Sequences: a Computable Generalization of C-finite Sequences.

[BibT_eX]

[DOI]

Proceedings of the ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4, 2022

A Comparison of Algorithms for Proving Positivity of Linearly Recurrent Sequences.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra in Scientific Computing - 24th International Workshop, 2022

2021

Recursion formulas for integrated products of Jacobi polynomials.

[BibT_eX]

[DOI]

Tim Haubold

CoRR, 2021

On C2-finite Sequences.

[BibT_eX]

[DOI]

Proceedings of the ISSAC '21: International Symposium on Symbolic and Algebraic Computation, 2021

2020

Some structural results on Dn-finite functions.

[BibT_eX]

[DOI]

Michael F. Singer

Adv. Appl. Math., 2020

2019

A computable extension for D-finite functions: DD-finite functions.

[BibT_eX]

[DOI]

J. Symb. Comput., 2019

On the positivity of the Gillis-Reznick-Zeilberger rational function.

[BibT_eX]

[DOI]

Adv. Appl. Math., 2019

2018

Algorithmic Arithmetics with DD-Finite Functions.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018

2015

An efficient procedure deciding positivity for a class of holonomic functions.

[BibT_eX]

[DOI]

Miriam Schussler

ACM Commun. Comput. Algebra, 2015

An Introduction to Finite Element Methods.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, 2015

Symbolic Computation and Finite Element Methods - (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra in Scientific Computing - 17th International Workshop, 2015

2014

A note on uniform approximation of functions having a double pole.

[BibT_eX]

[DOI]

Ionela Moale

LMS J. Comput. Math., 2014

A local Fourier convergence analysis of a multigrid method using symbolic computation.

[BibT_eX]

[DOI]

Stefan Takacs

J. Symb. Comput., 2014

2013

Fast Summation Techniques for Sparse Shape Functions in Tetrahedral hp-FEM.

[BibT_eX]

[DOI]

Sabine Zaglmayr

Proceedings of the Domain Decomposition Methods in Science and Engineering XX, 2013

Sparsity optimized high order finite element functions for H(curl) on tetrahedra.

[BibT_eX]

[DOI]

Sabine Zaglmayr

Adv. Appl. Math., 2013

Termination conditions for positivity proving procedures.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2013

2012

Sparsity optimized high order finite element functions for H(div) on simplices.

[BibT_eX]

[DOI]

Sabine Zaglmayr

Numerische Mathematik, 2012

Closed form solutions of linear difference equations in terms of symmetric products.

[BibT_eX]

[DOI]

Yongjae Cha

ACM Commun. Comput. Algebra, 2012

2011

On the average complexity for the verification of compatible sequences.

[BibT_eX]

[DOI]

Christos Koukouvinos

Zafeirakis Zafeirakopoulos

Dimitris E. Simos

Inf. Process. Lett., 2011

Dominance in the family of Sugeno-Weber t-norms.

[BibT_eX]

[DOI]

Susanne Saminger-Platz

Fuzzy Sets Syst., 2011

2010

When can we decide that a P-finite sequence is positive?

[BibT_eX]

[DOI]

CoRR, 2010

Automatic Improvements of Wallis' Inequality.

[BibT_eX]

[DOI]

Peter Paule

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

When can we detect that a P-finite sequence is positive?

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2010

2008

Positivity of certain sums over Jacobi kernel polynomials.

[BibT_eX]

[DOI]

Adv. Appl. Math., 2008

2007

Sparse shape functions for tetrahedral p -FEM using integrated Jacobi polynomials.

[BibT_eX]

[DOI]