{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:20Z","timestamp":1725663800645},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540573142"},{"type":"electronic","value":"9783540480556"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57314-3_7","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:47:13Z","timestamp":1330260433000},"page":"72-86","source":"Crossref","is-referenced-by-count":4,"title":["Rational number arithmetic by parallel p-adic algorithms"],"prefix":"10.1007","author":[{"given":"Carla","family":"Limongelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans Wolfgang","family":"Loidl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"7_CR1","volume-title":"PhD thesis","author":"B. Buchberger","year":"1965","unstructured":"Bruno Buchberger. Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal (An Algorithm for Finding a Basis for the Residue Class Ring of a Zero-dimensional Polynomial Ideal) (In German). PhD thesis, University of Innsbruck, Department of Mathematics, Austria, 1965."},{"key":"7_CR2","volume-title":"Technical Report 92-34, RISC-Linz","author":"B. Buchberger","year":"1992","unstructured":"Bruno Buchberger, George Collins, Mark Encarnation, Hoon Hong, Jeremy Johnson, Werner Krandick, R\u00fcdiger Loos, Ana Mandache, Andreas Neubacher, and Herbert Vielhaber. A SACLIB Primer. Technical Report 92-34, RISC-Linz, Johannes Kepler University, Linz, Austria, 1992."},{"issue":"9","key":"7_CR3","doi-asserted-by":"crossref","first-page":"929","DOI":"10.1002\/spe.4380200906","volume":"20","author":"Peter A. A. Buhr","year":"1990","unstructured":"Peter A. Buhr and Richard A. Stroobosscher. The \u03bc System: Providing Lightweight Concurrency on Shared-Memory Multiprocessor Computers Running UNIX. Software \u2014 Practice and Experience, 20(9):929\u2013964, September 1990.","journal-title":"Software \u2014 Practice and Experience"},{"key":"7_CR4","first-page":"96","volume-title":"Proceedings of the ISSAC'90, Tokyo, Japan, August 20\u201324","author":"Bruce W. W. Char","year":"1990","unstructured":"Bruce W. Char. Progress Report on a System for General-Purpose Parallel Symbolic Algebraic Computation. In Proceedings of the ISSAC'90, Tokyo, Japan, August 20\u201324, pages 96\u2013103, Department of Computer Science, University of Tennessee, Knoxville, TN 37996-1301, 1990. ACM Press, New York."},{"key":"7_CR5","unstructured":"A. Colagrossi and C. Limongelli. Big numbers p-adic arithmetic: a parallel approach. In Proc. AAECC-6, LNCS Series n. 357. Springer, 1988."},{"key":"7_CR6","unstructured":"A. Colagrossi, C. Limongelli, and A. Miola. Scientific computation by error-free arithmetics. Journal of information Science and Technology, July\u2013October 1993. To appear."},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"George E. Collins. Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition. In Proceedings of the 2nd GI Conference, volume 33 of Lecture Notes in Computer Science, pages 134\u2013183, Kaiserslautern, 1975. Springer.","DOI":"10.1007\/3-540-07407-4_17"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"R.T. Gregory and E.V. Krishnamurthy. Methods and Applications of Error-Free Computation. Springer, 1984.","DOI":"10.1007\/978-1-4612-5242-9"},{"key":"7_CR9","volume-title":"Technical Report 92-32","author":"H. Hong","year":"1992","unstructured":"Hoon Hong, Wolfgang Schreiner, Andreas Neubacher, Kurt Siegl, Hans-Wolfgang Loidl, Tudor Jebelean, and Peter Zettler. PACLIB User Manual. Technical Report 92-32, RISC-Linz, Johannes Kepler University, Linz, Austria, May 1992."},{"key":"7_CR10","unstructured":"D. Knuth. Seminumerical Algorithms, volume 2. Addison Wesley Publishing Company, 1981."},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"N. Koblitz. p-adic Numbers, p-adic Analysis and Zeta Functions. Springer, 1977.","DOI":"10.1007\/978-1-4684-0047-2"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"E. V. Krishnamurthy. Error-Free Polynomial Matrix Computation. Texts and Monographs in Computer Science. Springer, 1985.","DOI":"10.1007\/978-1-4612-5118-7"},{"key":"7_CR13","volume-title":"Technical report","author":"W. Kuechlin","year":"1990","unstructured":"Wolfgang Kuechlin. A Parallel SAC-2 Based on Threads. Technical report, Computer and Information Sciences, Ohio State University, Columbus, Ohio, April 1990."},{"key":"7_CR14","unstructured":"D. Lazard. Stewart platform and Gr\u00f6bner basis. In Parenti-Castelli and Lenarcic, editors, Proc. 3rd Int. Workshop on Robot Kinematics, Ferrara, Sept., 1992."},{"issue":"2","key":"7_CR15","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1006\/jsco.1993.1013","volume":"15","author":"C. Limongelli","year":"1993","unstructured":"C. Limongelli. On an Efficient Algorithm for Big Rational Number Computations by Parallel p-adics. Journal of Symbolic Computation, 15(2):181\u2013197, February 1993.","journal-title":"Journal of Symbolic Computation"},{"key":"7_CR16","volume-title":"Technical report, RISC-Linz","author":"H. W. Loidl","year":"1993","unstructured":"Hans Wolfgang Loidl. A Parallel Chinese Remainder Algorithm on a Shared Memory Multiprocessor. Technical report, RISC-Linz, Johannes Kepler University, Linz, Austria, 1993. To appear."},{"key":"7_CR17","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0020-0190(84)90022-X","volume":"18","author":"A. Miola","year":"1984","unstructured":"A. Miola. Algebraic approach to p-adic conversion of rational numbers. Information Processing Letters, 18:167\u2013171, 1984.","journal-title":"Information Processing Letters"},{"key":"7_CR18","unstructured":"Kurt Siegl. \u00a6 MAPLE\u00a6 \u2014 A System for Parallel Symbolic Computation. In Hussein M. Alnuweiri, editor, Parallel Systems Fair at the Seventh International Parallel Processing Symposium, pages 62\u201367, Newport Beach, CA, April 14, 1993."}],"container-title":["Lecture Notes in Computer Science","Parallel Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57314-3_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:11:19Z","timestamp":1605647479000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57314-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540573142","9783540480556"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-57314-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}