The following pages link to How to recognize zero? (Q1382029):
Displayed 22 items.
- Quantifier elimination for a class of exponential polynomial formulas (Q480651) (← links)
- Meta-expansion of transseries (Q629344) (← links)
- Real root isolation for exp-log-arctan functions (Q765861) (← links)
- Computations with effective real numbers (Q817859) (← links)
- Fast evaluation of holonomic functions (Q1274814) (← links)
- Elimination of infinitesimal quantifiers (Q1295791) (← links)
- On the computation of limsups (Q1358919) (← links)
- Use of algebraically independent numbers for zero recognition of polynomial terms. (Q1426048) (← links)
- Recent progress in exact geometric computation (Q1779568) (← links)
- Weak Wu stratification in \(\mathbb{R}^n\) (Q1808668) (← links)
- System design of stochastic models using robustness of temporal properties (Q2348023) (← links)
- Positive root isolation for poly-powers by exclusion and differentiation (Q2409014) (← links)
- Guessing singular dependencies (Q2437325) (← links)
- Complexity bounds for zero-test algorithms (Q2457383) (← links)
- Counterexamples to the uniformity conjecture (Q2575586) (← links)
- A symbolic-numerical algorithm for isolating real roots of certain radical expressions (Q2656085) (← links)
- SHORTEST PATH AMIDST DISC OBSTACLES IS COMPUTABLE (Q3422224) (← links)
- Foundations of Exact Rounding (Q3605482) (← links)
- What can we do with a Solution? (Q4916188) (← links)
- Bayesian-multiplicative treatment of count zeros in compositional data sets (Q4971410) (← links)
- Fast evaluation of holonomic functions near and in regular singularities (Q5937886) (← links)
- Multiplicative independence of algebraic numbers and expressions (Q5951567) (← links)