{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T17:06:52Z","timestamp":1743008812006,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540405542"},{"type":"electronic","value":"9783540450849"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-45084-x_15","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T16:05:12Z","timestamp":1183478712000},"page":"293-308","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Symbolic Methods for the Element Preconditioning Technique"],"prefix":"10.1007","author":[{"given":"Ulrich","family":"Langer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Reitzinger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Josef","family":"Schicho","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,24]]},"reference":[{"key":"15_CR1","unstructured":"B. Buchberger, An algorithm for finding a basis for the residue class ring of a zero-dimensional polynomial ideal, Ph.D. thesis, Universitat Innsbruck, Institut fur Mathematik, 1965, German."},{"key":"15_CR2","unstructured":"\u2014, Gr\u00f6bner bases: An algorithmic method in polynomial ideal theory, Recent Trends in Multidimensional Systems Theory (N. K. Bose, ed.), D. Riedel Publ. Comp., 1985."},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"G. E. Collins, Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition, Lecture Notes In Computer Science, Springer, 1975, Vol. 33, pp. 134\u2013183.","DOI":"10.1007\/3-540-07407-4_17"},{"issue":"3","key":"15_CR4","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/S0747-7171(08)80152-6","volume":"12","author":"G. E. Collins","year":"1991","unstructured":"G. E. Collins and H. Hong, Partial cylindrical algebraic decomposition for quantifier elimination, J. Symb. Comp. 12 (1991), No. 3, 299\u2013328.","journal-title":"J. Symb. Comp."},{"issue":"4","key":"15_CR5","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1080\/00207160108805133","volume":"78","author":"G. Haase","year":"2001","unstructured":"G. Haase, U. Langer, S. Reitzinger, and J. Sch\u00f6berl, Algebraic multigrid methods based on element preconditioning, International Journal of Computer Mathematics 78 (2001), No. 4, 575\u2013598.","journal-title":"International Journal of Computer Mathematics"},{"key":"15_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02427-0","volume-title":"Multigrid methods and application","author":"W. Hackbusch","year":"1985","unstructured":"W. Hackbusch, Multigrid methods and application, Springer Verlag, Berlin, Heidelberg, New York, 1985."},{"key":"15_CR7","unstructured":"H. Hong, Improvements in cad-based quantifier elimination, Ph.D. thesis, The Ohio State University, 1990."},{"key":"15_CR8","first-page":"217","volume":"1","author":"M. Jung","year":"1991","unstructured":"M. Jung and U. Langer, Applications of multilevel methods to practical problems, Surveys Math. Indust. 1 (1991), 217\u2013257.","journal-title":"Surveys Math. Indust."},{"key":"15_CR9","unstructured":"M. Jung, U. Langer, A. Meyer, W. Queck, and M. Schneider, Multigrid preconditioners and their application, Proceedings of the 3rd GDR Multigrid Seminar held at Biesenthal, Karl-Weierstra\u00df-Institut f\u00fcr Mathematik, May 1989, pp. 11\u201352."},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"F. Winkler, Polynomial algorithms in computer algebra, Springer, 1996.","DOI":"10.1007\/978-3-7091-6571-3"}],"container-title":["Lecture Notes in Computer Science","Symbolic and Numerical Scientific Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45084-X_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,18]],"date-time":"2023-02-18T01:58:59Z","timestamp":1676685539000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-45084-X_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540405542","9783540450849"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-45084-x_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"24 June 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}