h1

000709585 001__ 709585
000709585 005__ 20221221110217.0
000709585 0247_ $$2ISSN$$a0747-7171
000709585 0247_ $$2ISSN$$a1095-855X
000709585 0247_ $$2SCOPUS$$aSCOPUS:2-s2.0-85028059844
000709585 0247_ $$2WOS$$aWOS:000413889700008
000709585 0247_ $$2doi$$a10.1016/j.jsc.2017.07.007
000709585 037__ $$aRWTH-2017-10059
000709585 041__ $$aEnglish
000709585 082__ $$a004
000709585 1001_ $$aHuang, Cheng-Chao$$b0$$eCorresponding author
000709585 1112_ $$a41. International Symposium on Symbolic and Alge-braic Computation$$cWaterloo, Ontario$$d2016-07-20 - 2016-07-22$$gISSAC’16$$wCanada
000709585 245__ $$aPositive root isolation for poly-powers by exclusion and differentiation$$hprint, online
000709585 260__ $$aAmsterdam$$bElsevier$$c2018
000709585 260__ $$c2017
000709585 3367_ $$00$$2EndNote$$aJournal Article
000709585 3367_ $$0PUB:(DE-HGF)16$$2PUB:(DE-HGF)$$aJournal Article$$bjournal$$mjournal
000709585 3367_ $$0PUB:(DE-HGF)8$$2PUB:(DE-HGF)$$aContribution to a conference proceedings
000709585 3367_ $$2BibTeX$$aARTICLE
000709585 3367_ $$2DRIVER$$aarticle
000709585 3367_ $$2DataCite$$aOutput Types/Journal article
000709585 3367_ $$2ORCID$$aJOURNAL_ARTICLE
000709585 500__ $$aReceived 20 November 2016, Accepted 1 April 2017, Available online 14 July 2017
000709585 588__ $$aDataset connected to Web of Science, Web of Science, , CrossRef
000709585 591__ $$aGermany
000709585 591__ $$aPeoples R China
000709585 7001_ $$aLi, Jing-Cao$$b1$$eCorresponding author
000709585 7001_ $$0P:(DE-82)192136$$aXu, Ming$$b2$$eCorresponding author$$urwth
000709585 7001_ $$aLi, Zhi-Bin$$b3$$eCorresponding author
000709585 770__ $$a41th International Symposium on Symbolic and Algebraic Computation (ISSAC’16) / Edited by Xiao-Shan Gao
000709585 773__ $$0PERI:(DE-600)1470813-9$$a10.1016/j.jsc.2017.07.007$$p148-169$$tJournal of symbolic computation$$v85$$x0747-7171$$y2018
000709585 909CO $$ooai:publications.rwth-aachen.de:709585$$pVDB
000709585 9151_ $$0StatID:(DE-HGF)0031$$2StatID$$aPeer reviewed article$$x0
000709585 915__ $$0StatID:(DE-HGF)0030$$2StatID$$aPeer Review$$bASC
000709585 915__ $$0StatID:(DE-HGF)0100$$2StatID$$aJCR$$bJ SYMB COMPUT : 2015
000709585 915__ $$0StatID:(DE-HGF)0110$$2StatID$$aWoS$$bScience Citation Index
000709585 915__ $$0StatID:(DE-HGF)0111$$2StatID$$aWoS$$bScience Citation Index Expanded
000709585 915__ $$0StatID:(DE-HGF)0150$$2StatID$$aDBCoverage$$bWeb of Science Core Collection
000709585 915__ $$0StatID:(DE-HGF)0199$$2StatID$$aDBCoverage$$bThomson Reuters Master Journal List
000709585 915__ $$0StatID:(DE-HGF)0200$$2StatID$$aDBCoverage$$bSCOPUS
000709585 915__ $$0StatID:(DE-HGF)0300$$2StatID$$aDBCoverage$$bMedline
000709585 915__ $$0StatID:(DE-HGF)0420$$2StatID$$aNationallizenz
000709585 915__ $$0StatID:(DE-HGF)0600$$2StatID$$aDBCoverage$$bEbsco Academic Search
000709585 915__ $$0StatID:(DE-HGF)1160$$2StatID$$aDBCoverage$$bCurrent Contents - Engineering, Computing and Technology
000709585 915__ $$0StatID:(DE-HGF)9900$$2StatID$$aIF < 5
000709585 9141_ $$y2017
000709585 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)192136$$aRWTH Aachen$$b2$$kRWTH
000709585 9201_ $$0I:(DE-82)121310_20140620$$k121310$$lLehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)$$x0
000709585 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x1
000709585 961__ $$c2017-11-30T07:59:12.882444$$x2017-11-30T07:59:12.882444$$z2017-12-01
000709585 980__ $$aI:(DE-82)120000_20140620
000709585 980__ $$aI:(DE-82)121310_20140620
000709585 980__ $$aUNRESTRICTED
000709585 980__ $$aVDB
000709585 980__ $$acontrib
000709585 980__ $$ajournal