Search results

Real root isolation for tame elementary functions 2012-05-13 Paper Real root isolation for exp-log-arctan functions 2012-03-22 Paper Cylindrical decomposition...

algebraic expressions. (Extended abstract) Real root isolation for exp-log-arctan functions A near-optimal subdivision algorithm for complex root isolation...

Transl. from the Russian by Neal Koblitz Real root isolation for exp-log-arctan functions Decidability of the Reachability for a Family of Linear Vector...

distance between the roots of a polynomial Real root isolation for exp-log-arctan functions Degenerate abstract Volterra equations in locally convex spaces...

formulas Meta-expansion of transseries Real root isolation for exp-log-arctan functions Identity testing for radical expressions Foundations of Exact Rounding...

Real root isolation for exp-log-arctan functions A method for proving some inequalities on mixed trigonometric polynomial functions A proof of two conjectures...

Deciding polynomial-transcendental problems Real root isolation for exp-log-arctan functions Editorial: Symbolic computation and satisfiability checking Incremental...

was built for publication: Real root isolation for exp-log-arctan functions Report a bug (only for logged in users!)Click here to report a bug for this page...

USING EXPONENTIAL AND HALLEY'S METHODS Real root isolation for exp-log-arctan functions A mixed two-phase stress/strain driven elasticity: in applications...

class of exponential polynomial formulas Real root isolation for exp-log-arctan functions Cylindrical decomposition for systems transcendental in the first...

numbers and application to curve topology Real root isolation for exp-log-arctan functions On the geometry and the topology of parametric curves Computing...

equations Mean value forms in interval analysis Real root isolation for exp-log-arctan functions Plantinga-Vegter Algorithm takes Average Polynomial Time A new...

topological analysis of (algebraic) surfaces Real root isolation for exp-log-arctan functions Cited In (2) Topology of Families of Implicit Algebraic Surfaces...

for exp-log-arctan functions Uses Software Maple Mathematica INTLAB ISOLATE ANewDsc SLV Recommendations SLV 👍 👎 Even More Practical Secure Logging: Tree-Based...

not available (Why is that?) Cited In (1) Real root isolation for exp-log-arctan functions This page was built for publication: Approximate root isolation...

formulas Logarithmic-exponential series Real root isolation for exp-log-arctan functions Directional properties of sets definable in o-minimal structures...

and subanalytic functions Analytic continuations of log-exp-analytic germs Complex continuations of ℝan,exp-definable unary functions with a diophantine...

Complement On the Reeb spaces of definable maps Real root isolation for exp-log-arctan functions Pfaffian Sets and O-minimality The Dirichlet problem in the plane...

root isolation for exp-log-arctan functions A method for proving some inequalities on mixed hyperbolic-trigonometric polynomial functions Automated proof...

Polynomial Equations Based on Hybrid Computation Real root isolation for exp-log-arctan functions This page was built for publication: Real Root Isolation of Multi-Exponential...