{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T02:13:42Z","timestamp":1773800022919,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540553281","type":"print"},{"value":"9783540470267","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55328-2_6","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T04:57:18Z","timestamp":1330232238000},"page":"71-87","source":"Crossref","is-referenced-by-count":7,"title":["Parallel real root isolation using the coefficient sign variation method"],"prefix":"10.1007","author":[{"given":"G. E.","family":"Collins","sequence":"first","affiliation":[]},{"given":"J. R.","family":"Johnson","sequence":"additional","affiliation":[]},{"given":"W.","family":"K\u00fcchlin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"6_CR1","first-page":"272","volume-title":"Proceedings of SYMSAC 76","author":"A. Akritas","year":"1976","unstructured":"A. Akritas and G. E. Collins. Polynomial real root isolation using Descartes' rule of signs. In Proceedings of SYMSAC 76, pages 272\u2013275. ACM, New York, 1976."},{"key":"6_CR2","unstructured":"A. T. Bharucha-Reid. Random algebraic equations. In A. T. Bharucha-Reid, editor, Probabilistic Methods in Applied Mathematics, volume 2, pages 1\u201352. Academic Press, 1970."},{"issue":"7","key":"6_CR3","doi-asserted-by":"crossref","first-page":"725","DOI":"10.1080\/00029890.1973.11993365","volume":"80","author":"G.E. Collins","year":"1973","unstructured":"G.E.Collins. Computer algebra of polynomials and rational functions. American Mathematical Monthly, 80(7):725\u2013755, August\u2013September 1973.","journal-title":"American Mathematical Monthly"},{"issue":"126","key":"6_CR4","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1090\/S0025-5718-1974-0345940-X","volume":"28","author":"G. E. Collins","year":"1974","unstructured":"G. E. Collins and E. Horowitz. The minimum root separation of a polynomial. Math. Comp., 28(126):589\u2013597, April 1974.","journal-title":"Math. Comp."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"G. E. Collins and J. R. Johnson. Quantifier elimination and the sign variation method for real root isolation. In Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, pages 264\u2013271. ACM, 1989.","DOI":"10.1145\/74540.74574"},{"key":"6_CR6","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/978-3-7091-3406-1_7","volume-title":"Computer Algebra","author":"G. E. Collins","year":"1982","unstructured":"G. E. Collins and R. Loos. Real zeros of polynomials. In B. Buchberger, G. E. Collins, and R. Loos, editors, Computer Algebra, pages 83\u201394. Springer-Verlag, Wien-New York, 1982."},{"key":"6_CR7","unstructured":"G. E. Collins and R. G. K. Loos. SAC-2 system documentation. Technical report. In Europe available from: R. G. K. Loos, Universit\u00e4t T\u00fcbingen, Informatik, D-7400 T\u00fcbingen, W-Germany. In the U.S. available from: G. E. Collins, Ohio State University, Computer Science, Columbus, OH 43210, U.S.A."},{"key":"6_CR8","volume-title":"Technical report","author":"E. C. Cooper","year":"1987","unstructured":"E. C. Cooper and R. P. Draves. C threads. Technical report, Computer Science Department, Carnegie Mellon University, Pittsburg, PA 15213, July 1987."},{"key":"6_CR9","volume-title":"Technical report","author":"J. H. Davenport","year":"1985","unstructured":"J. H. Davenport. Computer algebra for cylindrical algebraic decomposition. Technical report, The Royal Institute of Technology, Dept. of Numerical Analysis and Computing Science, S-100 44, Stockholm, Sweden, 1985."},{"key":"6_CR10","unstructured":"Encore Computer Corp. Multimax Technical Summary, 726-01759 Rev. E edition, January 1989."},{"key":"6_CR11","unstructured":"J. R. Johnson. Algorithms for Polynomial Real Root Isolation. PhD thesis, The Ohio State University, 1991. Dissertation in preparation."},{"key":"6_CR12","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1090\/S0002-9904-1943-07912-8","volume":"49","author":"M. Kac","year":"1943","unstructured":"M. Kac. On the average number of real roots of a random algebraic equation. Bulletin of the American Mathematical Society, 49:314\u2013320, 938, 1943.","journal-title":"Bulletin of the American Mathematical Society"},{"key":"6_CR13","volume-title":"The Art of Computer Programming (Seminumerical Algorithms), volume 2","author":"D. E. Knuth","year":"1969","unstructured":"D. E. Knuth. The Art of Computer Programming (Seminumerical Algorithms), volume 2. Addison-Wesley, Reading, Mass., 1st edition, 1969.","edition":"1st edition"},{"key":"6_CR14","volume-title":"Proc. AAECC-8, LNCS","author":"W. W. K\u00fcchlin","year":"1990","unstructured":"Wolfgang W. K\u00fcchlin. PARSAC-2: A parallel SAC-2 based on threads. In Proc. AAECC-8, LNCS, Tokyo, Japan, August 1990. Springer-Verlag. To appear."},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Wolfgang W. K\u00fcchlin. The S-threads environment for parallel symbolic computation. Chapter 1, these proceedings.","DOI":"10.1007\/3-540-55328-2_1"},{"issue":"3","key":"6_CR16","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1307\/mmj\/1028999140","volume":"11","author":"K. Mahler","year":"1964","unstructured":"K. Mahler. An inequality for the discriminant of a polynomial. Michigan Mathematics Journal, 11(3):257\u2013262, September 1964.","journal-title":"Michigan Mathematics Journal"}],"container-title":["Lecture Notes in Computer Science","Computer Algebra and Parallelism"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55328-2_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:58:34Z","timestamp":1605628714000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55328-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540553281","9783540470267"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-55328-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992]]}}}