{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:31:07Z","timestamp":1725489067787},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730835"},{"type":"electronic","value":"9783540730866"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73086-6_13","type":"book-chapter","created":{"date-parts":[[2007,8,14]],"date-time":"2007-08-14T10:57:56Z","timestamp":1187089076000},"page":"131-145","source":"Crossref","is-referenced-by-count":1,"title":["First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems"],"prefix":"10.1007","author":[{"given":"Miguel A.","family":"Ab\u00e1nades","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jes\u00fas","family":"Escribano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco","family":"Botana","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1-3","key":"13_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":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"801","DOI":"10.1007\/3-540-44860-8_83","volume-title":"Computational Science \u2013 ICCS 2003","author":"F. Botana","year":"2003","unstructured":"Botana, F.: A Web-based intelligent system for geometric discovery. In: Sloot, P.M.A., Abramson, D., Bogdanov, A.V., Gorbachev, Y.E., Dongarra, J.J., Zomaya, A.Y. (eds.) ICCS 2003. LNCS, vol.\u00a02657, pp. 801\u2013810. Springer, Heidelberg (2003)"},{"key":"13_CR3","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":"13_CR4","doi-asserted-by":"crossref","unstructured":"Buchberger, B.: Groebner Bases: An algorithmic method in polynomial ideal theory. Multidimensional Systems Theory, D. Reidel Publishing Company, pp. 184\u2013231 (1985)","DOI":"10.1007\/978-94-009-5225-6_6"},{"key":"13_CR5","unstructured":"Capani, A., Niesi, G., Robbiano, L.: CoCoA, a system for doing Computations in Commutative Algebra, available via anonymous ftp from: cocoa.dima.unige.it"},{"key":"13_CR6","volume-title":"Mechanical Geometry Theorem Proving","author":"S. Chou","year":"1988","unstructured":"Chou, S.: Mechanical Geometry Theorem Proving. Reidel, Dordrecht Boston (1988)"},{"key":"13_CR7","unstructured":"Escribano, J., Ab\u00e1nades, M., Valcarce, J., Botana, F.: On Using OpenMath for Representing Geometric Constructions. In: Proc. 6th Int. Workshop on Automated Deduction in Geometry (ADG 2006), pp. 26\u201330 (2006)"},{"key":"13_CR8","unstructured":"Fateman, N.: A Critique of OpenMath and Thoughts on Encoding Mathematics (January 2001), http:\/\/www.cs.berkeley.edu\/~fateman"},{"key":"13_CR9","unstructured":"Gao, X.S., Zhang, J.Z., Chou, S.C.: Geometry Expert. Nine Chapters, Taiwan (1998)"},{"key":"13_CR10","unstructured":"http:\/\/www.geogebra.at"},{"key":"13_CR11","volume-title":"The Geometer\u2019s Sketchpad v 4","author":"N. Jackiw","year":"2002","unstructured":"Jackiw, N.: The Geometer\u2019s Sketchpad v 4. Key Curriculum Press, Berkeley (2002)"},{"key":"13_CR12","unstructured":"http:\/\/www.dynamicgeometry.com\/javasketchpad"},{"key":"13_CR13","unstructured":"Todd, P.: Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System. Computeralgebra-Rundbrief, vol. 39 (2006)"},{"key":"13_CR14","first-page":"121","volume-title":"Perspectives on the teaching of Geometry for the 21st Century","author":"C. Hoyles","year":"1998","unstructured":"Hoyles, C., Jones, K.: Proof in Dynamic Geometry Contexts. In: Perspectives on the teaching of Geometry for the 21st Century, pp. 121\u2013128. Kluwer, Dordrecht (1998)"},{"key":"13_CR15","unstructured":"Laborde, J.M., Bellemain, F.: Cabri Geometry II. Texas Instruments, Dallas (1998)"},{"key":"13_CR16","unstructured":"http:\/\/mathforum.org\/kb\/"},{"key":"13_CR17","unstructured":"http:\/\/www.w3.org\/Math\/"},{"key":"13_CR18","unstructured":"http:\/\/www.openmath.org\/"},{"key":"13_CR19","unstructured":"http:\/\/www.win.tue.nl\/~amc\/oz\/om\/cds\/"},{"key":"13_CR20","unstructured":"http:\/\/www.riaca.win.tue.nl\/products\/openmath\/lib\/index.html"},{"key":"13_CR21","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":"13_CR22","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":"13_CR23","unstructured":"Roozemond, D.A.: Automated proofs using bracket algebra with Cinderella and OpenMath. In: Proc. 9th Rhine Workshop on Computer Algebra (RWCA 2004) (2004)"},{"key":"13_CR24","series-title":"Lecture Notes in Computer Science","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.) Automated Deduction - Cade-13. LNCS, vol.\u00a01104, Springer, Heidelberg (1996)"},{"key":"13_CR25","unstructured":"http:\/\/www.wolfram.com\/products\/webmathematica\/index.html"}],"container-title":["Lecture Notes in Computer Science","Towards Mechanized Mathematical Assistants"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73086-6_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T09:59:42Z","timestamp":1619517582000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73086-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540730835","9783540730866"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73086-6_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}