research
∙
12/22/2022
Computing error bounds for asymptotic expansions of regular P-recursive sequences
Over the last several decades, improvements in the fields of analytic co...
share
research
∙
05/18/2022
Symbolic-Numeric Factorization of Differential Operators
We present a symbolic-numeric Las Vegas algorithm for factoring Fuchsian...
research
∙
06/17/2021
Fast evaluation of some p-adic transcendental functions
We design algorithms for computing values of many p-adic elementary and ...
research
∙
11/16/2020
Sequence Positivity Through Numeric Analytic Continuation: Uniqueness of the Canham Model for Biomembranes
We prove solution uniqueness for the genus one Canham variational proble...
research
∙
11/02/2020
Rounding Error Analysis of Linear Recurrences Using Generating Series
We develop a toolbox for the error analysis of linear recurrences with c...
research
∙
04/26/2019
Computing the volume of compact semi-algebraic sets
Let S⊂ R^n be a compact basic semi-algebraic set defined as the real sol...
research
∙
02/12/2018
Fast and rigorous arbitrary-precision computation of Gauss-Legendre quadrature nodes and weights
We describe a strategy for rigorous arbitrary-precision evaluation of Le...
research
∙
12/16/2016
Computing solutions of linear Mahler equations
Mahler equations relate evaluations of the same function f at iterated b...
research
∙
07/07/2016