{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:56:17Z","timestamp":1725494177863},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425984"},{"type":"electronic","value":"9783540454106"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45410-1_12","type":"book-chapter","created":{"date-parts":[[2007,11,5]],"date-time":"2007-11-05T12:16:33Z","timestamp":1194264993000},"page":"193-198","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Decision Complexity in Dynamic Geometry"],"prefix":"10.1007","author":[{"given":"Ulrich","family":"Kortenkamp","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00fcrgen","family":"Richter-Gebert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,9,11]]},"reference":[{"key":"12_CR1","series-title":"A Series of Comprehensive Studies in Mathematics","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/978-3-662-03338-8_4","volume-title":"Algebraic Complexity Theory","author":"P. B\u00fcrgisser","year":"1997","unstructured":"Peter B\u00fcrgisser, Michael Clausen, and M. Amin Shokrollahi. Algebraic Complexity Theory, volume 315 of A Series of Comprehensive Studies in Mathematics, chapter 4, pages 103\u2013124. Springer-Verlag, Berlin Heidelberg New York, 1997."},{"key":"12_CR2","first-page":"1066","volume":"34","author":"M. Deng","year":"1989","unstructured":"Mike Deng. The parallel numerical method of proving the constructive geometric theorem. Chinese Science Bulletin, 34:1066\u20131070, 1989.","journal-title":"Chinese Science Bulletin"},{"key":"12_CR3","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/978-94-010-2115-9_15","volume-title":"For Dirk Struik","author":"H. Freudenthal","year":"1974","unstructured":"Hans Freudenthal. The impact of von Staudt\u2019s foundations of geometry. In R. S. Cohen, J. J. Stachel, and M. W. Wartofsky, editors, For Dirk Struik, pages 189\u2013200. D. Reidel, Dordrecht-Holland, 1974. An article emphasizing the foundation-laying contribution (in terms of purely algebraic description) of von Staudt to projective geometry."},{"issue":"1","key":"12_CR4","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1145\/42267.45069","volume":"35","author":"E. Kaltofen","year":"1988","unstructured":"Erich Kaltofen. Greatest common divisors of polynomials given by straight-line programs. Journal of the Association for Computing Machinery, 35(1):231\u2013264, January 1988.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"12_CR5","unstructured":"Ulrich Kortenkamp. Foundations of Dynamic Geometry. Dissertation, ETH Z\u00fcrich, October 1999."},{"key":"12_CR6","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511814075","volume-title":"Randomized Algorithms","author":"R. Motwani","year":"1995","unstructured":"Rajeev Motwani and Prabhakar Raghavan. Randomized Algorithms, chapter 7. Cambridge University Press, Cambridge, 1995."},{"key":"12_CR7","volume-title":"Book & CD-ROM","author":"J. Richter-Gebert","year":"1999","unstructured":"J\u00fcrgen Richter-Gebert and Ulrich Kortenkamp. Die interaktive Geometriesoftware Cinderella. Book & CD-ROM, HEUREKA-Klett Softwareverlag, Stuttgart, 1999."},{"key":"12_CR8","volume-title":"Book & CD-ROM","author":"J. Richter-Gebert","year":"1999","unstructured":"J\u00fcrgen Richter-Gebert and Ulrich Kortenkamp. The Interactive Geometry Software Cinderella. Book & CD-ROM, Springer-Verlag, Berlin Heidelberg New York, 1999."},{"key":"12_CR9","unstructured":"J\u00fcrgen Richter-Gebert and Ulrich Kortenkamp. Complexity issues in Dynamic Geometry. Submitted to Proceedings of the Smale Fest 2000, Hongkong, 2000."},{"key":"12_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/3-540-09519-5_72","volume-title":"Symbolic and Algebraic Computation","author":"J. T. Schwartz","year":"1979","unstructured":"Jacob T. Schwartz. Probabilistic algorithms for verification of polynomial identities. In Symbolic and Algebraic Computation, EUROSAM\u2019 79, Int. Symp., Marseille 1979, Lect. Notes Comput. Sci. 72, pages 200\u2013215. Springer-Verlag, Berlin Heidelberg New York, 1979."},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/BF00289512","volume":"1","author":"V. Strassen","year":"1972","unstructured":"Volker Strassen. Berechnung und Programm I. Acta Informatica, 1:320\u2013335, 1972.","journal-title":"Acta Informatica"},{"key":"12_CR12","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1090\/conm\/029\/12","volume":"29","author":"W.-t. Wu","year":"1984","unstructured":"Wen-ts\u00fcn Wu. On the decision problem and the mechanization of theorem-proving in elementary geometry. In Contemp. Math., volume 29, pages 213\u2013234. AMS, Providence, 1984.","journal-title":"Contemp. Math."},{"key":"12_CR13","volume-title":"Texts and Monographs in Symbolic Computation","author":"W.-t. Wu","year":"1994","unstructured":"Wen-ts\u00fcn Wu. Mechanical Theorem Proving in Geometries. Basic Principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang. Texts and Monographs in Symbolic Computation. Springer-Verlag, Wien, 1994."},{"key":"12_CR14","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/0304-3975(90)90077-U","volume":"74","author":"J. Zhang","year":"1990","unstructured":"Jingzhong Zhang, Lu Yang, and Mike Deng. The parallel numerical method of mechanical theorem proving. Theoretical Computer Science, 74:253\u2013271, 1990.","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction in Geometry"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45410-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T14:53:17Z","timestamp":1558277597000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45410-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425984","9783540454106"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45410-1_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"11 September 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}