{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T10:19:34Z","timestamp":1758709174058,"version":"3.37.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030232498"},{"type":"electronic","value":"9783030232504"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[[2019]]},"DOI":"10.1007\/978-3-030-23250-4_10","type":"book-chapter","created":{"date-parts":[[2019,7,2]],"date-time":"2019-07-02T07:01:17Z","timestamp":1562050877000},"page":"140-154","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Experiments on Automatic Inclusion of Some Non-degeneracy Conditions Among the Hypotheses in Locus Equation Computations"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2512-5793","authenticated-orcid":false,"given":"Zolt\u00e1n","family":"Kov\u00e1cs","sequence":"first","affiliation":[]},{"given":"Pavel","family":"Pech","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,7,3]]},"reference":[{"key":"10_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-4037-6","volume-title":"Mechanical Geometry Theorem Proving","author":"SC Chou","year":"1987","unstructured":"Chou, S.C.: Mechanical Geometry Theorem Proving. Springer, Heidelberg (1987)"},{"key":"10_CR2","unstructured":"Kov\u00e1cs, Z., Recio, T., V\u00e9lez, M.P.: Reasoning about linkages with dynamic geometry. J. Symb. Comput. (2019). https:\/\/www.sciencedirect.com\/science\/article\/abs\/pii\/S0747717118301299"},{"key":"10_CR3","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/S0378-4754(02)00173-8","volume":"61","author":"F Botana","year":"2003","unstructured":"Botana, F., Valcarce, J.: A software tool for the investigation of plane loci. Math. Comput. Simul. 61, 139\u2013152 (2003)","journal-title":"Math. Comput. Simul."},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Oldenburg, R.: FeliX - mit Algebra Geometrie machen. Computeralgebra Rundbrief, Sonderheft zum Jahr der Mathematik (2008)","DOI":"10.1007\/s00287-008-0303-8"},{"key":"10_CR5","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1564\/tme_v25.2.03","volume":"25","author":"Z Kov\u00e1cs","year":"2018","unstructured":"Kov\u00e1cs, Z., Recio, T., V\u00e9lez, M.P.: Using automated reasoning tools in GeoGebra in the teaching and learning of proving in geometry. Int. J. Technol. Math. Educ. 25, 33\u201350 (2018)","journal-title":"Int. J. Technol. Math. Educ."},{"key":"10_CR6","first-page":"1","volume":"2018","author":"J Bla\u017eek","year":"2018","unstructured":"Bla\u017eek, J., Pech, P.: Locus computation in dynamic geometry environment. Math. Comput. Sci. 2018, 1\u201310 (2018)","journal-title":"Math. Comput. Sci."},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1016\/j.cad.2014.06.008","volume":"56","author":"M Ab\u00e1nades","year":"2014","unstructured":"Ab\u00e1nades, M., Botana, F., Montes, A., Recio, T.: An algebraic taxonomy for locus computation in dynamic geometry. Comput. Aided Des. 56, 22\u201333 (2014)","journal-title":"Comput. Aided Des."},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1007\/978-3-662-44199-2_74","volume-title":"Mathematical Software \u2013 ICMS 2014","author":"MA Ab\u00e1nades","year":"2014","unstructured":"Ab\u00e1nades, M.A., Botana, F., Montes, A., Recio, T.: Software using the Gr\u00f6bner Cover for geometrical loci computation and classification. In: Hong, H., Yap, C. (eds.) ICMS 2014. LNCS, vol. 8592, pp. 492\u2013499. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-44199-2_74"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Montes, A.: The Gr\u00f6bner Cover. Springer, Heidelberg (2019)","DOI":"10.1007\/978-3-030-03904-2"},{"key":"10_CR10","first-page":"1","volume":"2018","author":"Z Kov\u00e1cs","year":"2018","unstructured":"Kov\u00e1cs, Z.: Achievements and challenges in automatic locus and envelope animations in dynamic geometry. Math. Comput. Sci. 2018, 1\u201311 (2018)","journal-title":"Math. Comput. Sci."},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1016\/S0747-7171(86)80007-4","volume":"2","author":"D Kapur","year":"1986","unstructured":"Kapur, D.: Using Gr\u00f6bner bases to reason about geometry problems. J. Symb. Comput. 2, 399\u2013408 (1986)","journal-title":"J. Symb. Comput."},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/0001-8708(82)90048-2","volume":"46","author":"E Mayr","year":"1982","unstructured":"Mayr, E., Meyer, A.: The complexity of the word problem for commutative semigroups and polynomial ideals. Adv. Math. 46, 305\u2013329 (1982)","journal-title":"Adv. Math."},{"issue":"2\u20134","key":"10_CR13","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/s10472-018-9598-6","volume":"85","author":"M Nikoli\u0107","year":"2019","unstructured":"Nikoli\u0107, M., Marinkovi\u0107, V., Kov\u00e1cs, Z., Jani\u010di\u0107, P.: Portfolio theorem proving and prover runtime prediction for geometry. Ann. Math. Artif. Intell. 85(2\u20134), 119\u2013146 (2019). https:\/\/doi.org\/10.1007\/s10472-018-9598-6","journal-title":"Ann. Math. Artif. Intell."},{"key":"10_CR14","unstructured":"Botana, F., Recio, T.: On the envelope of a family of ellipses. (A prop\u00f3sito de la envolvente de una familia de elipses.). Bolet\u00edn. Sociedad \u201cPuig Adam\u201d de Profesores de Matem\u00e1ticas 95, 15\u201330 (2013). https:\/\/www.ucm.es\/data\/cont\/media\/www\/pag-81677\/Indice%20del%20Boletin%2095.pdf"},{"key":"10_CR15","unstructured":"Botana, F., Kov\u00e1cs, Z.: New tools in GeoGebra offering novel opportunities to teach loci and envelopes. CoRR abs\/1605.09153 (2016)"},{"key":"10_CR16","unstructured":"Arbeo, S.: From locus construction to polynomials. GeoGebra developer wiki (2010). https:\/\/dev.geogebra.org\/trac\/wiki\/LocusLineEquation\/Examples\/Locus_2_polynomials"},{"key":"10_CR17","unstructured":"Kov\u00e1cs, Z., Vajda, R.: A note about Euler\u2019s inequality and automated reasoning with dynamic geometry. CoRR abs\/1708.02993v2 (2017)"},{"key":"10_CR18","doi-asserted-by":"publisher","unstructured":"Ha\u0161ek, R.: Dynamic geometry software supplemented with a computer algebra system as a proving tool. Math. Comput. Sci. (2018). https:\/\/doi.org\/10.1007\/s11786-018-0369-x","DOI":"10.1007\/s11786-018-0369-x"},{"key":"10_CR19","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/s10472-018-9590-1","volume":"85","author":"Z Kov\u00e1cs","year":"2019","unstructured":"Kov\u00e1cs, Z., Recio, T., S\u00f3lyom-Gecse, C.: Rewriting input expressions in complex algebraic geometry provers. Ann. Math. Artif. Intell. 85, 73\u201387 (2019)","journal-title":"Ann. Math. Artif. Intell."},{"key":"10_CR20","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569340","volume-title":"A Book of Curves","author":"EH Lockwood","year":"1961","unstructured":"Lockwood, E.H.: A Book of Curves. Cambridge University Press, Cambridge (1961)"},{"key":"10_CR21","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/s11424-019-8341-7","volume":"32","author":"F Botana","year":"2019","unstructured":"Botana, F., Recio, T.: A proposal for the automatic computation of envelopes of families of plane curves. J. Syst. Sci. Complex. 32, 150\u2013157 (2019)","journal-title":"J. Syst. Sci. Complex."},{"key":"10_CR22","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.matcom.2014.05.011","volume":"125","author":"F Botana","year":"2016","unstructured":"Botana, F., Recio, T.: Some issues on the automatic computation of plane envelopes in interactive environments. Math. Comput. Simul. 125, 115\u2013125 (2016)","journal-title":"Math. Comput. Simul."},{"key":"10_CR23","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10472-016-9500-3","volume":"80","author":"F Botana","year":"2017","unstructured":"Botana, F., Recio, T.: Computing envelopes in dynamic geometry environments. Ann. Math. Artif. Intell. 80, 3\u201320 (2017)","journal-title":"Ann. Math. Artif. Intell."},{"key":"10_CR24","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35651-8","volume-title":"Ideals, Varieties, and Algorithms","author":"D Cox","year":"2007","unstructured":"Cox, D., Little, J., O\u2019Shea, D.: Ideals, Varieties, and Algorithms. Springer, New York (2007). https:\/\/doi.org\/10.1007\/978-0-387-35651-8"},{"key":"10_CR25","first-page":"144","volume-title":"ADG 2016, Eleventh International Workshop on Automated Deduction in Geometry","author":"M Ladra","year":"2016","unstructured":"Ladra, M., P\u00e1ez-Guill\u00e1n, P., Recio, T.: Two ways of using Rabinowitsch trick for imposing non-degeneracy conditions. In: Narboux, J., Schreck, P., Streinu, I. (eds.) ADG 2016, Eleventh International Workshop on Automated Deduction in Geometry, pp. 144\u2013151. University of Strasbourg, Strasbourg (2016)"},{"key":"10_CR26","unstructured":"Kov\u00e1cs, Z.: Computer based conjectures and proofs in teaching Euclidean geometry. Ph.D. thesis, Johannes Kepler University, Linz (2015)"},{"key":"10_CR27","unstructured":"Kov\u00e1cs, Z.: Unifying the prover in GeoGebra\u2013and speeding it up (2019). https:\/\/kovz0l.blogspot.com\/2019\/01\/unifying-prover-in-geogebraand-speeding.html"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-23250-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,20]],"date-time":"2024-07-20T13:58:49Z","timestamp":1721483929000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-23250-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030232498","9783030232504"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-23250-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"3 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CICM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Intelligent Computer Mathematics","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Prague","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Czech Republic","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 July 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 July 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"mkm2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cicm-conference.org\/2019\/cicm.php?event=&menu=general","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}