Pages that link to "Item:Q5301626"
From MaRDI portal
The following pages link to Deciding polynomial-exponential problems (Q5301626):
Displayed 14 items.
- Quantifier elimination for a class of exponential polynomial formulas (Q480651) (← links)
- Algorithmic global criteria for excluding oscillations (Q542032) (← links)
- Cylindrical decomposition for systems transcendental in the first variable (Q650841) (← links)
- Deciding polynomial-transcendental problems (Q654031) (← links)
- Tropical varieties for exponential sums (Q785323) (← links)
- Automated proof of mixed trigonometric-polynomial inequalities (Q2188988) (← links)
- Time-bounded termination analysis for probabilistic programs with delays (Q2216132) (← links)
- A conflict-driven solving procedure for poly-power constraints (Q2303230) (← links)
- Positive root isolation for poly-powers by exclusion and differentiation (Q2409014) (← links)
- Reachability analysis of rational eigenvalue linear systems (Q3072442) (← links)
- Recent Advances in Real Geometric Reasoning (Q3452275) (← links)
- Isolating all the real roots of a mixed trigonometric-polynomial (Q6051116) (← links)
- Deciding first-order formulas involving univariate mixed trigonometric-polynomials (Q6060361) (← links)
- Decision problem for a class of univariate Pfaffian functions (Q6122406) (← links)