
Fast evaluation of some padic transcendental functions
We design algorithms for computing values of many padic elementary and ...
read it

Sequence Positivity Through Numeric Analytic Continuation: Uniqueness of the Canham Model for Biomembranes
We prove solution uniqueness for the genus one Canham variational proble...
read it

Rounding Error Analysis of Linear Recurrences Using Generating Series
We develop a toolbox for the error analysis of linear recurrences with c...
read it

Computing the volume of compact semialgebraic sets
Let S⊂ R^n be a compact basic semialgebraic set defined as the real sol...
read it

Fast and rigorous arbitraryprecision computation of GaussLegendre quadrature nodes and weights
We describe a strategy for rigorous arbitraryprecision evaluation of Le...
read it

Computing solutions of linear Mahler equations
Mahler equations relate evaluations of the same function f at iterated b...
read it

Rigorous MultiplePrecision Evaluation of DFinite Functions in SageMath
We present a new open source implementation in the SageMath computer alg...
read it
Marc Mezzarobba
is this you? claim profile