Trustworthy Intelligent Systems
Home
Members
Research
Publications
Projects
Teaching
Discrete Mathematics
Formal Methods
Reinforcement Learning
Algorithms Design and Analysis
Contacts
Sino-Europe Institute
Details for the publication HuangLXL18.
Cheng-Chao Huang
, Jing-Cao Li, Ming Xu, Zhi-Bin Li
:
Positive root isolation for poly-powers by exclusion and differentiation
. In
J. Symb. Comput.
85:148-169, 2018.
DOI
BIB