http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png
Positive root isolation for poly-powers by exclusion and differentiation
Huang, Cheng-Chao (Corresponding author) ; Li, Jing-Cao (Corresponding author) ; Xu, Ming (Corresponding author)RWTH* ; Li, Zhi-Bin (Corresponding author)
In
41th International Symposium on Symbolic and Algebraic Computation (ISSAC’16) / Edited by Xiao-Shan Gao
In
Journal of symbolic computation 85, Seiten/Artikel-Nr.:148-169
2018 & 2017
Konferenz/Event:41. International Symposium on Symbolic and Alge-braic Computation
, Waterloo, Ontario , Canada , ISSAC’16 , 2016-07-20 - 2016-07-22
ImpressumAmsterdam : Elsevier
ISSN0747-7171
Received 20 November 2016, Accepted 1 April 2017, Available online 14 July 2017
Online
DOI: 10.1016/j.jsc.2017.07.007
10.1016/j.jsc.2017.07.007
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
Thematische Einordnung (Klassifikation)
DDC: 004
Dokumenttyp
Journal Article/Contribution to a conference proceedings
Format
print, online
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85028059844
WOS Core Collection: WOS:000413889700008
Interne Identnummern
RWTH-2017-10059
Datensatz-ID: 709585
Beteiligte Länder
Germany, Peoples R China
Lizenzstatus der Zeitschrift


; Current Contents - Engineering, Computing and Technology ; Ebsco Academic Search ; IF < 5 ; JCR ; Nationallizenz

; SCOPUS ; Science Citation Index ; Science Citation Index Expanded ; Thomson Reuters Master Journal List ; Web of Science Core Collection