{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,3]],"date-time":"2026-01-03T14:44:40Z","timestamp":1767451480232,"version":"3.41.0"},"reference-count":8,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2016,11,4]],"date-time":"2016-11-04T00:00:00Z","timestamp":1478217600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Commun. Comput. Algebra"],"published-print":{"date-parts":[[2016,11,4]]},"abstract":"<jats:p>Much effort has been put into the implementation of automatic proving in interactive geometric environments (e.g. Java Geometry Expert, GeoGebra). The closely related concept of automatic discovery, remains however almost unexplored.<\/jats:p>\n          <jats:p>This software presentation will demonstrate our results towards the incorporation of automatic discovery capabilities into GeoGebra, an educational software with tens of millions of users worldwide. As main result, we report on a new command, currently available in the official version, that allows the automatic discovery of loci of points in diagrams defined by implicit conditions. This represents an extension of a previous command, similar in nature, but restricted to loci defined by the standard mover-tracer construction. Our proposal successfully automates the `dummy locus dragging' in dynamic geometry. This makes the cycle conjecturing-checking-proving accessible for general users in elementary geometry.<\/jats:p>","DOI":"10.1145\/3015306.3015309","type":"journal-article","created":{"date-parts":[[2016,11,4]],"date-time":"2016-11-04T19:35:48Z","timestamp":1478288148000},"page":"85-88","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["Development of automatic reasoning tools in GeoGebra"],"prefix":"10.1145","volume":"50","author":[{"given":"Miguel","family":"Ab\u00e1nades","sequence":"first","affiliation":[{"name":"Universidad Rey Juan Carlos, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco","family":"Botana","sequence":"additional","affiliation":[{"name":"Universidad de Vigo, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zolt\u00e1n","family":"Kov\u00e1cs","sequence":"additional","affiliation":[{"name":"The Private University College of Education of the Diocese of Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom\u00e1s","family":"Recio","sequence":"additional","affiliation":[{"name":"Universidad de Cantabria, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Csilla","family":"S\u00f3lyom-Gecse","sequence":"additional","affiliation":[{"name":"Babes-Bolyai University, Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,11,4]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-015-9326-4"},{"key":"e_1_2_1_2_1","volume-title":"Reidel Publ. Comp","author":"Chou S.-C.","year":"1988","unstructured":"S.-C. Chou : `Mechanical Geometry Theorem Proving', in Mathematics and its Applications, D . Reidel Publ. Comp . Dordrecht , 1988 . S.-C. Chou: `Mechanical Geometry Theorem Proving', in Mathematics and its Applications, D. Reidel Publ. Comp. Dordrecht, 1988."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-009-9133-x"},{"key":"e_1_2_1_4_1","volume-title":"The MIT press","author":"Kapur D.","year":"1989","unstructured":"D. Kapur : Wu's method and its application to perspective viewing . In: Geometric Reasoning. D. Kapur and J.L. Mundy, eds. The MIT press , Cambridge , Ma ., 1989 . D. Kapur: Wu's method and its application to perspective viewing. In: Geometric Reasoning. D. Kapur and J.L. Mundy, eds. The MIT press, Cambridge, Ma., 1989."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1006135322108"},{"key":"e_1_2_1_6_1","first-page":"25","volume-title":"Numerical and Symbolic Scientific Computing: Progress and Prospects","author":"Recio T.","year":"2011","unstructured":"T. Recio , M.P. V\u00e9lez : `An introduction to automated discovery in geometry through symbolic computation ', in Numerical and Symbolic Scientific Computing: Progress and Prospects , (U. Langer and P. Paule, eds.), Springer Series : Texts and Monographs in Symbolic Computation, Vienna , pp. 25 -- 271 , 2011 . T. Recio, M.P. V\u00e9lez: `An introduction to automated discovery in geometry through symbolic computation', in Numerical and Symbolic Scientific Computing: Progress and Prospects, (U. Langer and P. Paule, eds.), Springer Series: Texts and Monographs in Symbolic Computation, Vienna, pp. 25--271, 2011."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01231031"},{"key":"e_1_2_1_8_1","first-page":"213","volume-title":"AMS","author":"Wen-Ts\u00fcn W.","year":"1984","unstructured":"W. Wen-Ts\u00fcn : `On the decision problem and the mechanization of theorem-proving in elementary geometry', in Automated theorem proving: After 25 years (W. W. Bledsoe and D. W. Loveland, eds.) , AMS , Providence , pp. 213 -- 234 , 1984 . W. Wen-Ts\u00fcn: `On the decision problem and the mechanization of theorem-proving in elementary geometry', in Automated theorem proving: After 25 years (W. W. Bledsoe and D. W. Loveland, eds.), AMS, Providence, pp. 213--234, 1984."}],"container-title":["ACM Communications in Computer Algebra"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3015306.3015309","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3015306.3015309","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:38:40Z","timestamp":1750221520000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3015306.3015309"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11,4]]},"references-count":8,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,11,4]]}},"alternative-id":["10.1145\/3015306.3015309"],"URL":"https:\/\/doi.org\/10.1145\/3015306.3015309","relation":{},"ISSN":["1932-2240"],"issn-type":[{"type":"print","value":"1932-2240"}],"subject":[],"published":{"date-parts":[[2016,11,4]]},"assertion":[{"value":"2016-11-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}