Positive root isolation for poly-powers by exclusion and differentiation
From MaRDI portal
Publication:2409014
Recommendations
Cites work
- An algorithm for isolating the real solutions of semi-algebraic systems
- Analytic root clustering: a complete algorithm using soft zero tests
- Complexity Analysis of Root Clustering for a Complex Polynomial
- Complexity estimates depending on condition and round-off error
- Computing real roots of real polynomials
- Computing the real roots of a polynomial by the exclusion algorithm
- Cylindrical decomposition for systems transcendental in the first variable
- Deciding polynomial-exponential problems
- Deciding polynomial-transcendental problems
- Eventual Disconjugacy of Selfadjoint Fourth Order Linear Differential Equations
- Fast projection methods for minimal design problems in linear system theory
- Generalized Budan--Fourier theorem and virtual roots
- Generalized polynomial approximation
- How to recognize zero?
- scientific article; zbMATH DE number 5850072 (Why is no real title available?)
- scientific article; zbMATH DE number 3920595 (Why is no real title available?)
- scientific article; zbMATH DE number 3711282 (Why is no real title available?)
- scientific article; zbMATH DE number 3785018 (Why is no real title available?)
- scientific article; zbMATH DE number 48827 (Why is no real title available?)
- scientific article; zbMATH DE number 3497890 (Why is no real title available?)
- scientific article; zbMATH DE number 1273671 (Why is no real title available?)
- scientific article; zbMATH DE number 1794361 (Why is no real title available?)
- scientific article; zbMATH DE number 3992817 (Why is no real title available?)
- scientific article; zbMATH DE number 5494027 (Why is no real title available?)
- scientific article; zbMATH DE number 3068536 (Why is no real title available?)
- Nearly optimal refinement of real roots of a univariate polynomial
- On Schanuel's conjectures
- On the Skolem problem for continuous linear dynamical systems
- Partial cylindrical algebraic decomposition for quantifier elimination
- Positive root isolation for poly-powers
- Quantifier elimination for a class of exponential polynomial formulas
- Reachability analysis of rational eigenvalue linear systems
- Real root isolation for exp-log functions
- Real root isolation for tame elementary functions
- Solving zero-dimensional systems through the rational univariate representation
- Some decidable results on reachability of solvable systems
- Symbolic reachability computation for families of linear vector fields
- Thom's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets
- Transcendental Numbers. (AM-16)
- Univariate polynomials: Nearly optimal algorithms for numerical factorization and root-finding
Cited in
(11)- A conflict-driven solving procedure for poly-power constraints
- Real root isolation for tame elementary functions
- Positive root isolation for poly-powers
- scientific article; zbMATH DE number 5850072 (Why is no real title available?)
- Real root isolation of multi-exponential polynomials with application
- The big-O problem for labelled Markov chains and weighted automata
- The big-O problem
- Isolating all the real roots of a mixed trigonometric-polynomial
- Reachability analysis of linear systems
- A sample-driven solving procedure for the repeated reachability of quantum continuous-time Markov chains
- Satisfiability of non-linear transcendental arithmetic as a certificate search problem
This page was built for publication: Positive root isolation for poly-powers by exclusion and differentiation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2409014)
