Deciding polynomial-transcendental problems
From MaRDI portal
Recommendations
- Deciding polynomial-exponential problems
- scientific article; zbMATH DE number 1574496
- scientific article; zbMATH DE number 1948385
- scientific article; zbMATH DE number 3924142
- Undecidability of Parametric Solutions of Polynomial Equations
- Publication:4863285
- On polynomial estimations with transcendental numbers
- Integer transfinite diameter and computation of polynomials
- The hardness of polynomial equation solving
- scientific article; zbMATH DE number 3932433
Cites work
- scientific article; zbMATH DE number 3497890 (Why is no real title available?)
- Computing in the field of complex algebraic numbers
- Cylindrical algebraic decomposition using validated numerics
- Deciding polynomial-exponential problems
- Generalized Budan--Fourier theorem and virtual roots
- Nonlinear control system design by quantifier elimination
- On the Lambert \(w\) function
- Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
- Real root isolation for exp-log functions
- Real root isolation for tame elementary functions
- Robust multi-objective feedback design by quantifier elimination
- Testing stability by quantifier elimination
- Virtual roots of real polynomials
Cited in
(19)- Deciding linear-trigonometric problems
- Reachability analysis of linear systems
- A conflict-driven solving procedure for poly-power constraints
- scientific article; zbMATH DE number 1670744 (Why is no real title available?)
- Handling polynomial and transcendental functions in SMT via unconstrained optimisation and topological degree test
- Decision problem for a class of univariate Pfaffian functions
- Deciding first-order formulas involving univariate mixed trigonometric-polynomials
- Automated proof of mixed trigonometric-polynomial inequalities
- scientific article; zbMATH DE number 1574496 (Why is no real title available?)
- On the zeros of univariate E-polynomials
- Exact solutions in log-concave maximum likelihood estimation
- Interactions between PVS and Maple in symbolic analysis of control systems
- NIL: learning nonlinear interpolants
- Zero counting for a class of univariate Pfaffian functions
- On the set of reduced states of translation invariant, infinite quantum systems
- Deciding polynomial-exponential problems
- Quantifier elimination for a class of exponential polynomial formulas
- Isolating all the real roots of a mixed trigonometric-polynomial
- Positive root isolation for poly-powers by exclusion and differentiation
This page was built for publication: Deciding polynomial-transcendental problems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q654031)
