
Computing Limits of Quotients of Multivariate Real Analytic Functions
We present an algorithm for computing limits of quotients of real analyt...
read it

Asymptotic Solutions of Polynomial Equations with ExpLog Coefficients
We present an algorithm for computing asymptotic approximations of roots...
read it

CAD Adjacency Computation Using Validated Numerics
We present an algorithm for computation of cell adjacencies for wellbas...
read it

Algorithm for computing semiFourier sequences of expressions involving exponentiations and integrations
We provide an algorithm for computing semiFourier sequences for express...
read it
Adam Strzebonski
is this you? claim profile