{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T05:59:06Z","timestamp":1725688746907},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,7,9]]},"DOI":"10.1145\/1145768.1145797","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T12:53:01Z","timestamp":1153745581000},"page":"154-161","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["High-performance implementations of the Descartes method"],"prefix":"10.1145","author":[{"given":"Jeremy R.","family":"Johnson","sequence":"first","affiliation":[{"name":"Drexel University, Philadelphia, PA"}]},{"given":"Werner","family":"Krandick","sequence":"additional","affiliation":[{"name":"Drexel University, Philadelphia, PA"}]},{"given":"Kevin","family":"Lynch","sequence":"additional","affiliation":[{"name":"Drexel University, Philadelphia, PA"}]},{"given":"David G.","family":"Richardson","sequence":"additional","affiliation":[{"name":"Drexel University, Philadelphia, PA"}]},{"given":"Anatole D.","family":"Ruslanov","sequence":"additional","affiliation":[{"name":"Drexel University, Philadelphia, PA"}]}],"member":"320","published-online":{"date-parts":[[2006,7,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"AMD. AMD Eighth-Generation Processor Architecture. http:\/\/www.amd.com\/us-en\/assets\/content_type\/white_papers_and_tech_docs\/Hammer_architecture_WP_2.pdf October 2001.  AMD. AMD Eighth-Generation Processor Architecture. http:\/\/www.amd.com\/us-en\/assets\/content_type\/white_papers_and_tech_docs\/Hammer_architecture_WP_2.pdf October 2001."},{"key":"e_1_3_2_1_2_1","volume-title":"June","author":"Processor Reference AMD.","year":"2004","unstructured":"AMD. Processor Reference . http:\/\/www.amd.com\/us-en\/assets\/content_type\/white_papers_and_tech_docs\/23932.pdf , June 2004 . AMD. Processor Reference. http:\/\/www.amd.com\/us-en\/assets\/content_type\/white_papers_and_tech_docs\/23932.pdf, June 2004."},{"key":"e_1_3_2_1_3_1","unstructured":"AMD. Software Optimization Guide for AMD64 Processors September 2005.  AMD. Software Optimization Guide for AMD64 Processors September 2005."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2005.07.001"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/800205.806346"},{"key":"e_1_3_2_1_7_1","volume-title":"November","author":"Intel Corporation","year":"2000","unstructured":"Intel Corporation . A Detailed Look Inside the Intel NetBurst Micro-Architecture of the Intel Pentium 4 Processor , November 2000 . Intel Corporation. A Detailed Look Inside the Intel NetBurst Micro-Architecture of the Intel Pentium 4 Processor, November 2000."},{"key":"e_1_3_2_1_8_1","volume-title":"The IA-32 Intel Architecture Optimization: Reference Manual","author":"Intel Corporation","year":"2004","unstructured":"Intel Corporation . The IA-32 Intel Architecture Optimization: Reference Manual , 2004 . Intel Corporation. The IA-32 Intel Architecture Optimization: Reference Manual, 2004."},{"key":"e_1_3_2_1_9_1","volume-title":"Intel Pentium D Processor 800 Sequence: Datasheet","author":"Intel Corporation","year":"2006","unstructured":"Intel Corporation . Intel Pentium D Processor 800 Sequence: Datasheet , 2006 . Intel Corporation. Intel Pentium D Processor 800 Sequence: Datasheet, 2006."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1145768.1145786"},{"key":"e_1_3_2_1_12_1","volume-title":"Curves and Surfaces for Computer Aided Geometric Design","author":"Farin Gerald","year":"1988","unstructured":"Gerald Farin . Curves and Surfaces for Computer Aided Geometric Design . Academic Press , 1988 . Gerald Farin. Curves and Surfaces for Computer Aided Geometric Design. Academic Press, 1988."},{"key":"e_1_3_2_1_13_1","series-title":"Lecture Notes in Computer Science","volume-title":"Modular Algorithms in Symbolic Summation and Symbolic Integration","author":"Gerhard J\u00fcrgen","year":"2004","unstructured":"J\u00fcrgen Gerhard . Modular Algorithms in Symbolic Summation and Symbolic Integration , volume 3218 of Lecture Notes in Computer Science . Springer-Verlag , 2004 . J\u00fcrgen Gerhard. Modular Algorithms in Symbolic Summation and Symbolic Integration, volume 3218 of Lecture Notes in Computer Science. Springer-Verlag, 2004."},{"key":"e_1_3_2_1_14_1","volume-title":"Swox AB","author":"Granlund Torbj\u00f6rn","year":"2004","unstructured":"Torbj\u00f6rn Granlund . GNU MP : The GNU Multiple Precision Arithmetic Library . Swox AB , September 2004 . Edition 4.1.4. Torbj\u00f6rn Granlund. GNU MP: The GNU Multiple Precision Arithmetic Library. Swox AB, September 2004. Edition 4.1.4."},{"key":"e_1_3_2_1_15_1","volume-title":"Swox AB","author":"Granlund Torbj\u00f6rn","year":"2006","unstructured":"Torbj\u00f6rn Granlund . GNU MP : The GNU Multiple Precision Arithmetic Library . Swox AB , March 2006 . Edition 4.2. Torbj\u00f6rn Granlund. GNU MP: The GNU Multiple Precision Arithmetic Library. Swox AB, March 2006. Edition 4.2."},{"key":"e_1_3_2_1_16_1","unstructured":"Guillaume Hanrot Fabrice Rouillier Paul Zimmermann and Sylvain Petitjean. Uspensky's algorithm. http:\/\/www.loria.fr\/equipes\/vegas\/qi\/usp\/usp.c 2004.  Guillaume Hanrot Fabrice Rouillier Paul Zimmermann and Sylvain Petitjean. Uspensky's algorithm. http:\/\/www.loria.fr\/equipes\/vegas\/qi\/usp\/usp.c 2004."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/40.768506"},{"key":"e_1_3_2_1_18_1","volume-title":"http:\/\/www.iso.org. ISO\/IEC 14882: 2003: Programming languages-C++","author":"International Standards Organization","year":"2003","unstructured":"International Standards Organization , http:\/\/www.iso.org. ISO\/IEC 14882: 2003: Programming languages-C++ , 2003 . International Standards Organization, http:\/\/www.iso.org. ISO\/IEC 14882:2003: Programming languages-C++, 2003."},{"key":"e_1_3_2_1_19_1","volume-title":"Algorithms for Polynomial Real Root Isolation. Technical research report OSU-CISRC-8\/91-TR21","author":"Johnson J. R.","year":"1991","unstructured":"J. R. Johnson . Algorithms for Polynomial Real Root Isolation. Technical research report OSU-CISRC-8\/91-TR21 , The Ohio State University , Department of Computer and Information Science, 1991 . J. R. Johnson. Algorithms for Polynomial Real Root Isolation. Technical research report OSU-CISRC-8\/91-TR21, The Ohio State University, Department of Computer and Information Science, 1991."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-9459-1_13"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1073884.1073913"},{"key":"e_1_3_2_1_22_1","first-page":"105","volume-title":"Wissenschaftliches Rechnen","author":"Krandick Werner","year":"1995","unstructured":"Werner Krandick . Isolierung reeller Nullstellen von Polynomen . In J. Herzberger, editor, Wissenschaftliches Rechnen , pages 105 -- 154 . Akademie Verlag , Berlin , 1995 . Werner Krandick. Isolierung reeller Nullstellen von Polynomen. In J. Herzberger, editor, Wissenschaftliches Rechnen, pages 105--154. Akademie Verlag, Berlin, 1995."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2005.02.004"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01934076"},{"key":"e_1_3_2_1_25_1","volume-title":"MEGA 2005","author":"Mourrain B.","year":"2005","unstructured":"B. Mourrain , J. P. Pavone , P. Tr\u00e9buchet , and E. Tsigaridas . SYNAPS: A library for symbolic-numeric computation. Software presentation . MEGA 2005 , Sardinia, Italy , May 2005 . http:\/\/www-sop.inria.fr\/galaad\/logiciels\/synaps\/. B. Mourrain, J. P. Pavone, P. Tr\u00e9buchet, and E. Tsigaridas. SYNAPS: A library for symbolic-numeric computation. Software presentation. MEGA 2005, Sardinia, Italy, May 2005. http:\/\/www-sop.inria.fr\/galaad\/logiciels\/synaps\/."},{"key":"e_1_3_2_1_26_1","series-title":"Mathematical Sciences Research Institute Publications","first-page":"459","volume-title":"Combinatorial and Computational Geometry","author":"Mourrain Bernard","year":"2005","unstructured":"Bernard Mourrain , Fabrice Rouillier , and Marie-Fran\u00e7oise Roy . The Bernstein basis and real root isolation . In J. E. Goodman, J. Pach, and E. Welzl, editors, Combinatorial and Computational Geometry , volume 52 of Mathematical Sciences Research Institute Publications , pages 459 -- 478 . Cambridge University Press , 2005 . Bernard Mourrain, Fabrice Rouillier, and Marie-Fran\u00e7oise Roy. The Bernstein basis and real root isolation. In J. E. Goodman, J. Pach, and E. Welzl, editors, Combinatorial and Computational Geometry, volume 52 of Mathematical Sciences Research Institute Publications, pages 459--478. Cambridge University Press, 2005."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cam.2003.08.015"},{"key":"e_1_3_2_1_28_1","unstructured":"Victor Shoup. NTL: A Library for Doing Number Theory. http:\/\/www.shoup.net\/ntl.  Victor Shoup. NTL: A Library for Doing Number Theory. http:\/\/www.shoup.net\/ntl."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1995.1055"},{"key":"e_1_3_2_1_30_1","volume-title":"The C++ Standard: Incorporating Technical Corrigendum No. 1","author":"Stroustrup Bjarne","year":"2003","unstructured":"Bjarne Stroustrup . The C++ Standard: Incorporating Technical Corrigendum No. 1 . John Wiley and Sons , 2003 . Bjarne Stroustrup. The C++ Standard: Incorporating Technical Corrigendum No. 1. John Wiley and Sons, 2003."},{"key":"e_1_3_2_1_31_1","unstructured":"Sun Microsystems. Sun Studio Collection. http:\/\/www.sun.com\/software\/products\/studio\/.  Sun Microsystems. Sun Studio Collection. http:\/\/www.sun.com\/software\/products\/studio\/."},{"key":"e_1_3_2_1_32_1","volume-title":"UltraSPARC III Cu: User's Manual","author":"Microsystems Sun","year":"2004","unstructured":"Sun Microsystems . UltraSPARC III Cu: User's Manual , 2004 . Sun Microsystems. UltraSPARC III Cu: User's Manual, 2004."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/258726.258745"},{"key":"e_1_3_2_1_34_1","volume-title":"Programming Perl. O'Reilly","author":"Wall Larry","year":"2000","unstructured":"Larry Wall , Tom Christiansen , and Jon Orwant . Programming Perl. O'Reilly , 3 rd edition, 2000 . Larry Wall, Tom Christiansen, and Jon Orwant. Programming Perl. O'Reilly, 3rd edition, 2000.","edition":"3"}],"event":{"name":"ISSAC06: International Symposium on Symbolic and Algebraic Computation","sponsor":["ACM Association for Computing Machinery","SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Genoa Italy","acronym":"ISSAC06"},"container-title":["Proceedings of the 2006 international symposium on Symbolic and algebraic computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1145768.1145797","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T16:57:05Z","timestamp":1673369825000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1145768.1145797"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7,9]]},"references-count":32,"alternative-id":["10.1145\/1145768.1145797","10.1145\/1145768"],"URL":"https:\/\/doi.org\/10.1145\/1145768.1145797","relation":{},"subject":[],"published":{"date-parts":[[2006,7,9]]},"assertion":[{"value":"2006-07-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}