{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:31:51Z","timestamp":1725550311165},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540313328"},{"type":"electronic","value":"9783540313632"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11615798_7","type":"book-chapter","created":{"date-parts":[[2006,2,7]],"date-time":"2006-02-07T07:45:44Z","timestamp":1139298344000},"page":"92-110","source":"Crossref","is-referenced-by-count":7,"title":["Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach"],"prefix":"10.1007","author":[{"given":"Francisco","family":"Botana","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom\u00e1s","family":"Recio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/3-540-45410-1_7","volume-title":"Automated Deduction in Geometry","author":"L. Bazzotti","year":"2001","unstructured":"Bazzotti, L., Dalzotto, G., Robbiano, L.: Remarks on geometric theorem proving. In: Richter-Gebert, J., Wang, D. (eds.) ADG 2000. LNCS (LNAI), vol.\u00a02061, pp. 104\u2013128. Springer, Heidelberg (2001)"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/3-540-46080-2_22","volume-title":"Computational Science - ICCS 2002","author":"F. Botana","year":"2002","unstructured":"Botana, F.: Interactive versus symbolic approaches to plane loci generation in dynamic geometry environments. In: Sloot, P.M.A., Tan, C.J.K., Dongarra, J., Hoekstra, A.G. (eds.) ICCS-ComputSci 2002. LNCS, vol.\u00a02330, pp. 211\u2013218. Springer, Heidelberg (2002)"},{"issue":"2","key":"7_CR3","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/S0378-4754(02)00173-8","volume":"61","author":"F. Botana","year":"2003","unstructured":"Botana, F., Valcarce, J.L.: A software tool for the investigation of plane loci. Mathematics and Computers in Simulation\u00a061(2), 141\u2013154 (2003)","journal-title":"Mathematics and Computers in Simulation"},{"issue":"1\u20132","key":"7_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.matcom.2004.05.004","volume":"67","author":"F. Botana","year":"2004","unstructured":"Botana, F., Valcarce, J.L.: Automatic determination of envelopes and other derived curves within a graphic environment. Mathematics and Computers in Simulation\u00a067(1\u20132), 3\u201313 (2004)","journal-title":"Mathematics and Computers in Simulation"},{"key":"7_CR5","unstructured":"Capani, A., Niesi, G., Robbiano, L.: CoCoA, a system for doing Computations in Commutative Algebra. Available via anonymous ftp from, http:\/\/cocoa.dima.unige.it"},{"key":"7_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/3-540-45410-1_6","volume-title":"Automated Deduction in Geometry","author":"P. Conti","year":"2001","unstructured":"Conti, P., Traverso, C.: Algebraic and semialgebraic proofs: Methods and paradoxes. In: Richter-Gebert, J., Wang, D. (eds.) ADG 2000. LNCS (LNAI), vol.\u00a02061, pp. 83\u2013103. Springer, Heidelberg (2001)"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1023\/A:1006031329384","volume":"21","author":"A. Dolzmann","year":"1998","unstructured":"Dolzmann, A., Sturm, A., Weispfenning, V.: A new approach for automatic theorem proving in real geometry. Journal of Automated Reasoning\u00a021, 357\u2013380 (1998)","journal-title":"Journal of Automated Reasoning"},{"key":"7_CR8","unstructured":"Gawlick, T.: Towards a theory of visualization by dynamic geometry software. Paradigms, phenomena, principles. Int. Conf. on Mathematical Education 10 (ICME 10). Topic Study Group 16, http:\/\/www.icme-organisers.dk\/tsg16\/papers\/Gawlick.theoryofvisDGS.pdf"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S0010-4485(97)00052-3","volume":"30","author":"X.S. Gao","year":"1998","unstructured":"Gao, X.S., Chou, S.C.: Solving geometric constraint systems. I. A global propagation approach. Computer\u2013Aided Design\u00a030, 47\u201354 (1998)","journal-title":"Computer\u2013Aided Design"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/S0010-4485(97)00055-9","volume":"30","author":"X.S. Gao","year":"1998","unstructured":"Gao, X.S., Chou, S.C.: Solving geometric constraint systems. II. A symbolic approach and decision of Rc\u2013constructibility. Computer\u2013Aided Design\u00a030, 115\u2013122 (1998)","journal-title":"Computer\u2013Aided Design"},{"key":"7_CR11","unstructured":"Gao, X.S., Zang, J.Z., Chou, S.C.: Geometry expert. Nine Chapters Publ., Taiwan (1998)"},{"issue":"2","key":"7_CR12","first-page":"119","volume":"1","author":"O. Giering","year":"1997","unstructured":"Giering, O.: Affine and projective generalization of Wallace lines. Journal of Geometry and Graphics\u00a01(2), 119\u2013133 (1997)","journal-title":"Journal of Geometry and Graphics"},{"issue":"2","key":"7_CR13","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1023\/A:1017982418841","volume":"6","author":"M.J. Gonz\u00e1lez L\u00f3pez","year":"2001","unstructured":"Gonz\u00e1lez L\u00f3pez, M.J.: Using dynamic geometry software to simulate physical motion. International Journal of Computers for Mathematical Learning\u00a06(2), 127\u2013142 (2001)","journal-title":"International Journal of Computers for Mathematical Learning"},{"issue":"6","key":"7_CR14","doi-asserted-by":"publisher","first-page":"574","DOI":"10.2307\/2589470","volume":"106","author":"M. Guzm\u00e1n de","year":"1999","unstructured":"de Guzm\u00e1n, M.: An extension of the Wallace\u2013Simson theorem: projecting in arbitrary directions. American Mathematical Monthly\u00a0106(6), 574\u2013580 (1999)","journal-title":"American Mathematical Monthly"},{"key":"7_CR15","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1016\/0010-4485(94)00013-4","volume":"27","author":"C. Hoffmann","year":"1995","unstructured":"Hoffmann, C., Bouma, W., Fudos, I., Cai, J., Paige, R.: A geometric constraint solver. Computer\u2013Aided Design\u00a027, 487\u2013501 (1995)","journal-title":"Computer\u2013Aided Design"},{"key":"7_CR16","volume-title":"The Geometer\u2019s Sketchpad","author":"N. Jackiw","year":"1997","unstructured":"Jackiw, N.: The Geometer\u2019s Sketchpad. Key Curriculum Press, Berkeley (1997)"},{"key":"7_CR17","unstructured":"King, J., Schattschneider, D.: Geometry turned on Mathematical Association of America, Washington DC (1997)"},{"key":"7_CR18","unstructured":"Kortenkamp, U.: Foundations of dynamic geometry, Ph.D. Thesis, ETH, Zurich (1999)"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Kortenkamp, U., Richter-Gebert, J.: A dynamic setup for elementary geometry. In: Proc. Multimedia Tools for Comunicating Mathematics (MTCM 2000). Springer, Heidelberg (2001)","DOI":"10.1007\/978-3-642-56240-2_12"},{"key":"7_CR20","unstructured":"Laborde, J.M., Bellemain, F.: Cabri Geometry II. Texas Instruments, Dallas (1998)"},{"key":"7_CR21","unstructured":"Laborde, J.M.: Some issues raised by the development of implemented dynamic geometry as with Cabri-Geometre. In: Proc. 15th European Workshop on Computational Geometry, pp. 7\u201319 (1999)"},{"key":"7_CR22","doi-asserted-by":"publisher","first-page":"236","DOI":"10.2307\/2371070","volume":"58","author":"S. MacLane","year":"1936","unstructured":"MacLane, S.: Some interpretation of abstract linear dependence in terms of projective geometry. American Journal of Mathematics\u00a058, 236\u2013240 (1936)","journal-title":"American Journal of Mathematics"},{"key":"7_CR23","unstructured":"Recio, T.: C\u00e1lculo simb\u00f3lico y geom\u00e9trico. S\u00edntesis, Madrid (1998)"},{"key":"7_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1007\/978-3-540-24709-8_80","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2004","author":"T. Recio","year":"2004","unstructured":"Recio, T., Botana, F.: Where the truth lies (in automatic geometry theorem proving). In: Lagan\u00e1, A., Gavrilova, M.L., Kumar, V., Mun, Y., Tan, C.J.K., Gervasi, O. (eds.) ICCSA 2004. LNCS, vol.\u00a03044, pp. 761\u2013770. Springer, Heidelberg (2004)"},{"key":"7_CR25","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1007\/978-3-662-03891-8_12","volume-title":"Some Tapas of Computer Algebra (Algorithms and Computations in Mathematics","author":"T. Recio","year":"1999","unstructured":"Recio, T., Sterk, H., V\u00e9lez, P.: Project: Automated Geometry theorem proving. In: Cohen, A.M., Cuypers, H., Sterk, H. (eds.) Some Tapas of Computer Algebra (Algorithms and Computations in Mathematics, vol.\u00a04, pp. 276\u2013296. Springer, Berlin (1999)"},{"key":"7_CR26","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1023\/A:1006135322108","volume":"23","author":"T. Recio","year":"1999","unstructured":"Recio, T., V\u00e9lez, M.P.: Automatic discovery of theorems in elementary geometry. Journal of Automated Reasoning\u00a023, 63\u201382 (1999)","journal-title":"Journal of Automated Reasoning"},{"key":"7_CR27","unstructured":"Richard, P.: Raisonnement et strat\u00e9gies de preuve dans l\u2019enseignement des math\u00e9matiques, Peter Lang, Berne (2004)"},{"key":"7_CR28","volume-title":"The interactive geometry software Cinderella","author":"J. Richter\u2013Gebert","year":"1999","unstructured":"Richter\u2013Gebert, J., Kortenkamp, U.: The interactive geometry software Cinderella. Springer, Berlin (1999)"},{"key":"7_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/3-540-61511-3_78","volume-title":"Automated Deduction - Cade-13","author":"D. Wang","year":"1996","unstructured":"Wang, D.: GEOTHER: A geometry theorem prover. In: McRobbie, M.A., Slaney, J.K. (eds.) CADE 1996. LNCS, vol.\u00a01104, pp. 166\u2013170. Springer, Heidelberg (1996)"},{"key":"7_CR30","first-page":"23","volume-title":"Proc. Third Asian Symposium on Computer Mathematics (ASCM 1998)","author":"D. Wang","year":"1998","unstructured":"Wang, D., Zhi, L.: Algebraic Factorization Applied to Geometric Problems. In: Proc. Third Asian Symposium on Computer Mathematics (ASCM 1998), pp. 23\u201336. Lanzhou University Press, Lanzhou (1998)"},{"key":"7_CR31","unstructured":"http:\/\/www-calfor.lip6.fr\/~wang\/GRBib\/Welcome.html"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction in Geometry"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11615798_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:11:36Z","timestamp":1619507496000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11615798_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540313328","9783540313632"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/11615798_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}