How to recognize zero?

DOI10.1006/JSCO.1997.0157MaRDI QIDQ1382029zbMATH OpenOpenAlexWikidataFDO

Authors Daniel C. Richardson

Publication date 4 May 1998

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jsco.1997.0157

zbMATH Keywords

algorithmcharacteristic setselementary numberlazy sequenceSchanuel's conjecture

Mathematics Subject Classification ID

Transcendence theory of other special functions (11J91) Decidability (number-theoretic aspects) (11U05) Number-theoretic algorithms; complexity (11Y16) Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 1263350
• scientific article; zbMATH DE number 953038
• scientific article; zbMATH DE number 1263427
• Zero tests for constants in simple scientific computation
• What can we do with a solution?

Cited in

(33)

• Fast evaluation of holonomic functions
• Elimination of infinitesimal quantifiers
• On the computation of limsups
• Use of algebraically independent numbers for zero recognition of polynomial terms.
• Recent progress in exact geometric computation
• Weak Wu stratification in \(\mathbb{R}^n\)
• System design of stochastic models using robustness of temporal properties
• Positive root isolation for poly-powers by exclusion and differentiation
• Guessing singular dependencies
• Complexity bounds for zero-test algorithms
• Zero tests for constants in simple scientific computation
• Counterexamples to the uniformity conjecture
• A symbolic-numerical algorithm for isolating real roots of certain radical expressions
• SHORTEST PATH AMIDST DISC OBSTACLES IS COMPUTABLE
• Foundations of Exact Rounding
• scientific article; zbMATH DE number 1263427 (Why is no real title available?)
• scientific article; zbMATH DE number 1071429 (Why is no real title available?)
• scientific article; zbMATH DE number 953038 (Why is no real title available?)
• Quantifier elimination for a class of exponential polynomial formulas
• What can we do with a solution?
• Bayesian-multiplicative treatment of count zeros in compositional data sets
• Fast evaluation of holonomic functions near and in regular singularities
• Multiplicative independence of algebraic numbers and expressions
• Meta-expansion of transseries
• A probabilistic logic for verifying continuous-time Markov chains
• Reachability analysis of linear systems
• Identity testing for radical expressions
• Calcium. Computing in exact real and complex fields
• The threshold problem for hypergeometric sequences with quadratic parameters
• Nonnegativity problems for matrix semigroups
• Reduction of transcendental decision problems over the reals
• Real root isolation for exp-log-arctan functions
• Computations with effective real numbers

This page was built for publication: How to recognize zero?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1382029)