ArXiv preprints

Asymptotic Solutions of Polynomial Equations with ExpLog Coefficients,
1904.06796, 2019.

CAD Adjacency Computation Using Validated Numerics,
1704.06856, 2017.

Algorithm for computing semiFourier sequences of expressions involving
exponentiations and integrations (With H. Hong),
1702.07060, 2017.

Cylindrical Algebraic Decomposition Using Local Projections,
1405.4925, 2014.

DivideAndConquer Computation of Cylindrical Algebraic Decomposition,
1402.0622, 2014.

Univariate real root isolation in an extension field (With E. Tsigaridas),
1101.4369, 2011.
HAL preprints

Univariate real root isolation in an extension field and applications
(With E. Tsigaridas),
hal01248390, 2015.

Univariate real root isolation in presence of logarithms
(With E. Tsigaridas),
hal01001820, 2013.

Univariate Real Root Isolation in Multiple Extension Fields
(With E. Tsigaridas), preprint of ISSAC 2012 paper,
hal00776074, 2013.
Unpublished manuscripts

Real Quantifier Elimination for NonPrenex Formulas,
[PDF], 2011.

A Criterion for Validation of Approximate Roots of Holomorphic Functions,
[PDF], 2006.

Solving Sparse Diophantine Equations in One Variable,
[PDF], 2005.

An Improved Algorithm for Diophantine Equations in One Variable,
[PDF], 2001.

Global optimization of real algebraic functions subject to algebraic
equation and inequality constraints,
[PDF], 1999.

Solving algebraic inequalities,
[PDF], 1999.