{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:51Z","timestamp":1725663951664},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540554370"},{"type":"electronic","value":"9783540470731"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55437-8_90","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T05:05:06Z","timestamp":1330232706000},"page":"338-349","source":"Crossref","is-referenced-by-count":4,"title":["On the parallelization of characteristic-set-based algorithms"],"prefix":"10.1007","author":[{"given":"Dongming","family":"Wang","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"24_CR1","unstructured":"Chou, S. C. and Gao, X. S., Techniques for Ritt-Wu's Decomposition Algorithm, Technical Report TR-90-2, Department of Computer Sciences, University of Texas at Austin, 1990."},{"key":"24_CR2","volume-title":"Methods of Algebraic Geometry, Vol. I, II","author":"W. V. D. Hodge","year":"1947\/1952","unstructured":"Hodge W. V. D. and Pedoe, D., Methods of Algebraic Geometry, Vol. I, II, Cambridge University Press, Cambridge, 1947\/1952."},{"key":"24_CR3","volume-title":"Differential Equations from the Algebraic Standpoint","author":"J. F. Ritt","year":"1932","unstructured":"Ritt, J. F., Differential Equations from the Algebraic Standpoint, Amer. Math. Soc., New York, 1932."},{"key":"24_CR4","volume-title":"Differential Algebra","author":"J. F. Ritt","year":"1950","unstructured":"Ritt, J. F., Differential Algebra, Amer. Math. Soc., New York, 1950."},{"key":"24_CR5","series-title":"RISC-LINZ","volume-title":"Lecture Notes","author":"D. M. Wang","year":"1989","unstructured":"Wang, D. M., Characteristic Sets and Zero Structure of Polynomial Sets, Lecture Notes, RISC-LINZ, Johannes Kepler University, Austria, 1989."},{"key":"24_CR6","unstructured":"Wang, D. M., Some Notes on Algebraic Methods for Geometry Theorem Proving, Preprint, RISC-LINZ, Johannes Kepler University, November 1990."},{"key":"24_CR7","series-title":"RISC-Linz Series no. 91-25.0","volume-title":"An Implementation of Characteristic Sets Method in MAPLE","author":"D. M. Wang","year":"1991","unstructured":"Wang, D. M., An Implementation of Characteristic Sets Method in MAPLE, RISC-Linz Series no. 91-25.0, Johannes Kepler University, Austria, May 1991."},{"key":"24_CR8","first-page":"207","volume":"4","author":"W. T. Wu","year":"1984","unstructured":"Wu, W. T., Basic Principles of Mechanical Theorem Proving in Elementary Geometries, J. Sys. Sci. & Math. Scis., 4(1984), 207\u2013235; J. Automated Reasoning, 2 (1986), 221\u2013252.","journal-title":"J. Sys. Sci. & Math. Scis."},{"key":"24_CR9","volume-title":"Basic Principles of Mechanical Theorem Proving in Geometries (Part on elementary geometries, in Chinese)","author":"W. T. Wu","year":"1984","unstructured":"Wu, W. T., Basic Principles of Mechanical Theorem Proving in Geometries (Part on elementary geometries, in Chinese), Science Press, Beijing, 1984."},{"key":"24_CR10","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1090\/conm\/029\/13","volume":"29","author":"W. T. Wu","year":"1984","unstructured":"Wu, W. T., Some Recent Advances in Mechanical Theorem-Proving of Geometries, Automated Theorem Proving: After 25 years, Contemp. Math., 29(1984), AMS, 235\u2013242.","journal-title":"Contemp. Math."}],"container-title":["Lecture Notes in Computer Science","Parallel Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55437-8_90.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:31:10Z","timestamp":1619559070000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55437-8_90"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540554370","9783540470731"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-55437-8_90","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}