{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:23:54Z","timestamp":1725575034352},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540343813"},{"type":"electronic","value":"9783540343820"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11758525_63","type":"book-chapter","created":{"date-parts":[[2006,5,11]],"date-time":"2006-05-11T15:03:32Z","timestamp":1147359812000},"page":"470-477","source":"Crossref","is-referenced-by-count":0,"title":["Automated Discovery in Elementary Extrema Problems"],"prefix":"10.1007","author":[{"given":"Francisco","family":"Botana","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 L.","family":"Valcarce","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1-3","key":"63_CR1","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/S0360-1315(01)00089-6","volume":"38","author":"F. Botana","year":"2002","unstructured":"Botana, F., Valcarce, J.L.: A dynamic-symbolic interface for geometric theorem discovery. Computers and Education\u00a038(1-3), 21\u201335 (2002)","journal-title":"Computers and Education"},{"key":"63_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":"63_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":"63_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":"63_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/11615798_7","volume-title":"Automated Deduction in Geometry","author":"F. Botana","year":"2006","unstructured":"Botana, F., Recio, T.: Towards solving the dynamic geometry bottleneck via a symbolic approach. In: Hong, H., Wang, D. (eds.) ADG 2004. LNCS (LNAI), vol.\u00a03763, pp. 92\u2013110. Springer, Heidelberg (2006)"},{"key":"63_CR6","unstructured":"Capani, A., Niesi, G., Robbiano, L.: CoCoA, a system for doing Computations in Commutative Algebra. Available via anonymous ftp from, \n                    \n                      cocoa.dima.unige.it"},{"key":"63_CR7","volume-title":"Geometry Expert","author":"X.S. Gao","year":"1998","unstructured":"Gao, X.S., Zhang, J.Z., Chou, S.C.: Geometry Expert. Nine Chapters, Taiwan (1998)"},{"key":"63_CR8","volume-title":"The Geometer\u2019s Sketchpad v 4.0","author":"N. Jackiw","year":"2002","unstructured":"Jackiw, N.: The Geometer\u2019s Sketchpad v 4.0. Key Curriculum Press, Berkeley (2002)"},{"key":"63_CR9","volume-title":"Cabri Geometry II","author":"J.M. Laborde","year":"1998","unstructured":"Laborde, J.M., Bellemain, F.: Cabri Geometry II. Texas Instruments, Dallas (1998)"},{"key":"63_CR10","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 theorem proving in elementary geometry). 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":"63_CR11","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)"},{"issue":"9\u201310","key":"63_CR12","doi-asserted-by":"publisher","first-page":"1005","DOI":"10.1016\/S0895-7177(03)00115-8","volume":"37","author":"E. Roanes\u2013Lozano","year":"2003","unstructured":"Roanes\u2013Lozano, E., Roanes\u2013Mac\u00edas, E., Villar, M.: A bridge between dynamic geometry and computer algebra. Mathematical and Computer Modelling\u00a037(9\u201310), 1005\u20131028 (2003)","journal-title":"Mathematical and Computer Modelling"},{"key":"63_CR13","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":"63_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/11615798_9","volume-title":"Automated Deduction in Geometry","author":"T. Liang","year":"2006","unstructured":"Liang, T., Wang, D.: Towards a geometric-object-oriented language. In: Hong, H., Wang, D. (eds.) ADG 2004. LNCS (LNAI), vol.\u00a03763, pp. 130\u2013155. Springer, Heidelberg (2006)"},{"key":"63_CR15","unstructured":"http:\/\/www.keypress.com\/sketchpad\/javasketchpad\/"},{"key":"63_CR16","unstructured":"http:\/\/www.openmath.org"},{"key":"63_CR17","unstructured":"http:\/\/www.win.tue.nl\/~amc\/oz\/om\/cds\/geometry.html"}],"container-title":["Lecture Notes in Computer Science","Computational Science \u2013 ICCS 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11758525_63","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T19:34:12Z","timestamp":1553369652000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11758525_63"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540343813","9783540343820"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11758525_63","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}