{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:40:29Z","timestamp":1725532829277},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642020100"},{"type":"electronic","value":"9783642020117"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02011-7_20","type":"book-chapter","created":{"date-parts":[[2009,6,2]],"date-time":"2009-06-02T05:12:20Z","timestamp":1243919540000},"page":"209-220","source":"Crossref","is-referenced-by-count":3,"title":["Univariate Algebraic Kernel and Application to Arrangements"],"prefix":"10.1007","author":[{"given":"Sylvain","family":"Lazard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luis","family":"Pe\u00f1aranda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elias","family":"Tsigaridas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"Abbott, J.: Quadratic interval refinement for real roots. In: International Symposium on Symbolic and Algebraic Computation (ISSAC), poster presentation (2006)"},{"key":"20_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/11561071_16","volume-title":"Algorithms \u2013 ESA 2005","author":"E. Berberich","year":"2005","unstructured":"Berberich, E., Eigenwillig, A., Hemmer, M., Hert, S., Kettner, L., Mehlhorn, K., Reichel, J., Schmitt, S., Sch\u00f6mer, E., Wolpert, N.: EXACUS: Efficient and Exact Algorithms for Curves and Surfaces. In: Brodal, G.S., Leonardi, S. (eds.) ESA 2005. LNCS, vol.\u00a03669, pp. 155\u2013166. Springer, Heidelberg (2005)"},{"key":"20_CR3","unstructured":"Berberich, E., Hemmer, M., Karavelas, M., Teillaud, M.: Revision of the interface specification of algebaic kernel. Technical Report ACS-TR-243301-01, ACS European Project (2007)"},{"key":"20_CR4","unstructured":"Cgal, Computational Geometry Algorithms Library, \n                  \n                    http:\/\/www.cgal.org"},{"issue":"2","key":"20_CR5","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1006\/jsco.2002.0547","volume":"34","author":"G. Collins","year":"2002","unstructured":"Collins, G., Johnson, J., Krandick, W.: Interval Arithmetic in Cylindrical Algebraic Decomposition. Journal of Symbolic Computation\u00a034(2), 145\u2013157 (2002)","journal-title":"Journal of Symbolic Computation"},{"key":"20_CR6","unstructured":"The Core library, \n                  \n                    http:\/\/cs.nyu.edu\/exact\/"},{"key":"20_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77974-2","volume-title":"Computational Geometry: Algorithms and Applications","author":"M. Berg de","year":"2008","unstructured":"de Berg, M., Cheong, O., van Kreveld, M., Overmars, M.: Computational Geometry: Algorithms and Applications, 3rd edn. Springer, Heidelberg (2008)","edition":"3"},{"issue":"1","key":"20_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1090\/S0273-0979-1995-00571-9","volume":"32","author":"A. Edelman","year":"1995","unstructured":"Edelman, A., Kostlan, E.: How zeros of a random polynomial are real? Bulletin of American Mathematical Society\u00a032(1), 1\u201337 (1995)","journal-title":"Bulletin of American Mathematical Society"},{"key":"20_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/11555964_12","volume-title":"Computer Algebra in Scientific Computing","author":"A. Eigenwillig","year":"2005","unstructured":"Eigenwillig, A., Kettner, L., Krandick, W., Mehlhorn, K., Schmitt, S., Wolpert, N.: A Descartes Algorithm for Polynomials with Bit-Stream Coefficients. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2005. LNCS, vol.\u00a03718, pp. 138\u2013149. Springer, Heidelberg (2005)"},{"key":"20_CR10","unstructured":"Emiris, I., Hemmer, M., Karavelas, M., Limbach, S., Mourrain, B., Tsigaridas, E., Zafeirakopoulos, Z.: Cross-benchmarks for univariate algebraic kernels. Technical Report ACS-TR-363602-02, ACS European Project (2008)"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Emiris, I.Z., Kakargias, A., Pion, S., Teillaud, M., Tsigaridas, E.P.: Towards and open curved kernel. In: Proc. 20th Annual ACM Symp. on Computational Geometry (SoCG), New York, USA, pp. 438\u2013446 (2004)","DOI":"10.1145\/997817.997882"},{"key":"20_CR12","unstructured":"Gmp, Gnu multiple precision arithmetic library, \n                  \n                    http:\/\/gmplib.org\/"},{"key":"20_CR13","unstructured":"Hemmer, M., Limbach, S.: Benchmarks on a generic univariate algebraic kernel. Technical Report ACS-TR-243306-03, ACS European Project (2006)"},{"issue":"11","key":"20_CR14","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1016\/S0010-4485(00)00054-3","volume":"32","author":"J. Keyser","year":"2000","unstructured":"Keyser, J., Culver, T., Manocha, D., Krishnan, S.: Efficient and exact manipulation of algebraic points and curves. Computer-Aided Design\u00a032(11), 649\u2013662 (2000)","journal-title":"Computer-Aided Design"},{"key":"20_CR15","first-page":"81","volume-title":"IMA Volumes in Mathematics and its Applications","author":"B. Mourrain","year":"2007","unstructured":"Mourrain, B., Pavone, P., Tr\u00e9buchet, P., Tsigaridas, E.P., Wintz, J.: Synaps, a library for dedicated applications in symbolic numeric computations. In: Stillman, M., Takayama, N., Verschelde, J. (eds.) IMA Volumes in Mathematics and its Applications, pp. 81\u2013110. Springer, New York (2007), \n                  \n                    http:\/\/synaps.inria.fr"},{"key":"20_CR16","unstructured":"Mpfi, multiple precision interval arithmetic library, \n                  \n                    http:\/\/perso.ens-lyon.fr\/nathalie.revol\/software.html"},{"key":"20_CR17","unstructured":"Mpfr, library for multiple-precision floating-point computations, \n                  \n                    http:\/\/mpfr.org\/"},{"issue":"1","key":"20_CR18","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/j.cam.2003.08.015","volume":"162","author":"F. Rouillier","year":"2004","unstructured":"Rouillier, F., Zimmermann, Z.: Efficient isolation of polynomial\u2019s real roots. J. of Computational and Applied Mathematics\u00a0162(1), 33\u201350 (2004)","journal-title":"J. of Computational and Applied Mathematics"},{"key":"20_CR19","unstructured":"Rs, a software for real solving of algebraic systems. F. Rouillier, \n                  \n                    http:\/\/fgbrs.lip6.fr"},{"key":"20_CR20","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1016\/j.tcs.2007.10.010","volume":"392","author":"E.P. Tsigaridas","year":"2008","unstructured":"Tsigaridas, E.P., Emiris, I.Z.: On the complexity of real root isolation using Continued Fractions. Theoretical Computer Science\u00a0392, 158\u2013173 (2008)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"20_CR21","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1016\/j.tcs.2008.09.009","volume":"409","author":"E.P. Tsigaridas","year":"2008","unstructured":"Tsigaridas, E.P., Emiris, I.Z.: Real algebraic numbers and polynomial systems of small degree. Theoretical Computer Science\u00a0409(2), 186\u2013199 (2008)","journal-title":"Theoretical Computer Science"},{"key":"20_CR22","unstructured":"Wein, R., Fogel, E.: The new design of CGAL\u2019s arrangement package. Technical report, Tel-Aviv University (2005)"},{"key":"20_CR23","volume-title":"Fundamental Problems of Algorithmic Algebra","author":"C. Yap","year":"2000","unstructured":"Yap, C.: Fundamental Problems of Algorithmic Algebra. Oxford University Press, Oxford (2000)"},{"key":"20_CR24","first-page":"927","volume-title":"Handbook of Discrete and Computational Geometry","author":"C. Yap","year":"2004","unstructured":"Yap, C.: Robust geometric computation. In: Goodman, J.E., O\u2019Rourke, J. (eds.) Handbook of Discrete and Computational Geometry, 2nd edn., ch.\u00a041, pp. 927\u2013952. Chapman & Hall\/CRC, Boca Raton (2004)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Experimental Algorithms"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02011-7_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,8]],"date-time":"2019-03-08T07:14:09Z","timestamp":1552029249000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02011-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642020100","9783642020117"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02011-7_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}