@inproceedings{ae7c909ae4be4d9ba83d8e0f237b1818,
title = "Positive root isolation for poly-powers",
abstract = "We consider a class of univariate real functions-poly-powers-That extend integer exponents to real algebraic exponents for polynomials. Our purpose is to isolate positive roots of such a function into disjoint intervals, which can be further easily computed up to any desired precision. To this end, we first classify poly-powers into simple and non-simple ones, depending on the number of linearly independent exponents. For the former, we present a complete isolation method based on Gelfond-Schneider theorem. For the latter, the completeness depends on Schanuel's conjecture. Finally experiential results demonstrate the effectivity of the proposed method.",
keywords = "Generalized Polynomial, Interval Arithmetic, Real Root Isolation, Transcendental Number",
author = "Li, \{Jing Cao\} and Huang, \{Cheng Chao\} and Ming Xu and Li, \{Zhi Bin\}",
note = "Publisher Copyright: {\textcopyright} 2016 Copyright held by the owner/author(s).; 41st ACM International Symposium on Symbolic and Algebraic Computation, ISSAC 2016 ; Conference date: 20-07-2016 Through 22-07-2016",
year = "2016",
month = jul,
day = "20",
doi = "10.1145/2930889.2930909",
language = "英语",
series = "Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC",
publisher = "Association for Computing Machinery",
pages = "325--332",
editor = "Markus Rosenkranz",
booktitle = "ISSAC 2016 - Proceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation",
address = "美国",
}