Positive root isolation for poly-powers

DOI10.1145/2930889.2930909MaRDI QIDQ2985844zbMATH OpenOpenAlexFDO

Authors Jing-Cao Li, Cheng-Chao Huang, Ming Xu, Zhibin Li

Publication date 10 May 2017

Published in Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2930889.2930909

zbMATH Keywords

generalized polynomialinterval arithmeticisolation methodnumerical examplereal root isolationSchanuel's conjecturetranscendental number

Mathematics Subject Classification ID

Polynomials, factorization in commutative rings (13P05) Interval and finite arithmetic (65G30) Numerical computation of roots of polynomial equations (65H04)

Recommendations

• Positive root isolation for poly-powers by exclusion and differentiation
• Real root isolation for exp-log functions
• scientific article; zbMATH DE number 5850072
• Univariate real root isolation over a single logarithmic extension of real algebraic numbers
• Real root isolation for exp-log-arctan functions

Cited in

(7)

• A conflict-driven solving procedure for poly-power constraints
• Positive root isolation for poly-powers by exclusion and differentiation
• A symbolic-numerical algorithm for isolating real roots of certain radical expressions
• Real root isolation for tame elementary functions
• scientific article; zbMATH DE number 5850072 (Why is no real title available?)
• Real root isolation for exp-log functions
• A probabilistic logic for verifying continuous-time Markov chains

This page was built for publication: Positive root isolation for poly-powers

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