scientific article; zbMATH DE number 5494009
From MaRDI portal
Publication:5301637
zbMath1236.65057MaRDI QIDQ5301637
Publication date: 20 January 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Numerical computation of solutions to single equations (65H05)
Related Items (10)
Certified numerical real root isolation for bivariate nonlinear systems ⋮ Positive root isolation for poly-powers by exclusion and differentiation ⋮ Isolating all the real roots of a mixed trigonometric-polynomial ⋮ Deciding first-order formulas involving univariate mixed trigonometric-polynomials ⋮ Deciding polynomial-transcendental problems ⋮ Quantifier elimination for a class of exponential polynomial formulas ⋮ Algorithmic global criteria for excluding oscillations ⋮ A conflict-driven solving procedure for poly-power constraints ⋮ NIL: learning nonlinear interpolants ⋮ Real root isolation for exp-log-arctan functions
This page was built for publication:
