research
∙
02/02/2021
Computing Limits of Quotients of Multivariate Real Analytic Functions
We present an algorithm for computing limits of quotients of real analyt...
share
research
∙
04/15/2019
Asymptotic Solutions of Polynomial Equations with Exp-Log Coefficients
We present an algorithm for computing asymptotic approximations of roots...
research
∙
04/22/2017
CAD Adjacency Computation Using Validated Numerics
We present an algorithm for computation of cell adjacencies for well-bas...
research
∙
02/23/2017