{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T10:10:15Z","timestamp":1649067015822},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2014,11,1]],"date-time":"2014-11-01T00:00:00Z","timestamp":1414800000000},"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":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1007\/s10472-014-9438-2","type":"journal-article","created":{"date-parts":[[2014,11,3]],"date-time":"2014-11-03T09:36:33Z","timestamp":1415007393000},"page":"359-370","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["A Singular web service for geometric computations"],"prefix":"10.1007","volume":"74","author":[{"given":"Francisco","family":"Botana","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zolt\u00e1n","family":"Kov\u00e1cs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,11,1]]},"reference":[{"key":"9438_CR1","unstructured":"Sutherland, I.E.: Sketchpad: A man-machine graphical communication system, Tech. Rep. 574, Computer Laboratory, University of Cambridge (2003)"},{"key":"9438_CR2","first-page":"44","volume":"3763","author":"XS Gao","year":"2006","unstructured":"Gao, X.S., Lin, Q.: MMP\/Geometer - A software package for automated geometric reasoning. Lect. Notes Artif. Int. 3763, 44\u201366 (2006)","journal-title":"Lect. Notes Artif. Int."},{"key":"9438_CR3","volume-title":"Geometry Expert","author":"XS Gao","year":"1998","unstructured":"Gao, X.S., Zhang, J.Z., Chou, S.C.: Geometry Expert. Nine Chapters, Taiwan (1998)"},{"key":"9438_CR4","doi-asserted-by":"crossref","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. J. Autom. Reason. 23, 63\u201382 (1999)","journal-title":"J. Autom. Reason."},{"key":"9438_CR5","doi-asserted-by":"crossref","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. Comput. Educ. 38, 21\u201335 (2002)","journal-title":"Comput. Educ."},{"key":"9438_CR6","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s10817-009-9135-8","volume":"44","author":"P Jani\u010di\u0107","year":"2010","unstructured":"Jani\u010di\u0107, P.: Geometry constructions language. J. Autom. Reason. 44, 3\u201324 (2010)","journal-title":"J. Autom. Reason."},{"key":"9438_CR7","unstructured":"Decker, W., Greuel, G.M., Pfister, G., Sch\u00f6nemann, H.: Singular - A computer algebra system for polynomial computations. http:\/\/www.singular.uni-kl.de (2013). Accessed 27 December 2013"},{"key":"9438_CR8","doi-asserted-by":"crossref","first-page":"1391","DOI":"10.1016\/j.jsc.2010.06.017","volume":"45","author":"A Montes","year":"2010","unstructured":"Montes, A., Wibmer, M.: Gr\u00f6bner bases for polynomial systems with parameters. J. Symb. Comput. 45, 1391\u20131425 (2010)","journal-title":"J. Symb. Comput."},{"key":"9438_CR9","unstructured":"Oracle Corporation: Java Native Interface (2013)"},{"key":"9438_CR10","unstructured":"Ancsin, G., Hohenwarter, M., Kov\u00e1cs, Z.: GeoGebra Goes Web. Electron. J. Math. Technol. 7(6) 412\u2013418 (2013)"},{"key":"9438_CR11","unstructured":"Botana, F., Kov\u00e1cs Z., Weitzhofer, S.: Implementing theorem proving in GeoGebra by using a Singular webservice. In: Sendra, J.R., Villarino, C. (eds.) Proceedings EACA 2012, pp. 67\u201370. Universidad de Alcal\u00e1 , Alcal\u00e1 de Henares (2012)"},{"key":"9438_CR12","unstructured":"Kov\u00e1cs, Z., Parisse, B.: Giac and GeoGebra \u2014 improved Gr\u00f6bner basis computations, Special Semester on Applications of Algebra and Number Theory, Workshop 3 on Computer Algebra and Polynomials. https:\/\/www.ricam.oeaw.ac.at\/specsem\/specsem2013\/workshop3\/slides\/parisse-kovacs.pdf (2013). Accessed 27 December 2013"},{"key":"9438_CR13","unstructured":"Kov\u00e1cs, Z.: Singular WebService. VirtualBox ISO Image. http:\/\/ggb1.idm.jku.at\/kovzol\/VMs\/SingularWS-20140104.zip (2014). Accessed 7 January 2014"},{"key":"9438_CR14","unstructured":"Kov\u00e1cs, Z.: Singular WebService in GeoGebra. http:\/\/dev.geogebra.org\/trac\/wiki\/SingularWS (2012). Accessed 27 December 2013"},{"key":"9438_CR15","unstructured":"Kov\u00e1cs, Z.: Singular WebService documentation and source code. http:\/\/code.google.com\/p\/singularws\/source\/browse\/doc\/README (2012). Accessed 27 December 2013"},{"key":"9438_CR16","unstructured":"Freundt, S., Horn, P., Konovalov, A., Linton, S., Roozemond, D.: Symbolic Computation Software Composability Protocol (SCSCP) specification, Version 1.3. ( http:\/\/www.symbolic-computing.org\/scscp ) (2009)"},{"key":"9438_CR17","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/j.datak.2011.10.004","volume":"73","author":"X Chen","year":"2012","unstructured":"Chen, X., Wang, D.: Management of geometric knowledge in textbooks. Data Knowl. Eng. 73, 43\u201357 (2012)","journal-title":"Data Knowl. Eng."},{"key":"9438_CR18","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/j.comgeo.2013.07.001","volume":"47","author":"F Botana","year":"2014","unstructured":"Botana, F., Ab\u00e1nades, M.A.: Automatic deduction in (dynamic) geometry: Loci computation. Comp. Geom-Theor. Appl. 47, 75\u201389 (2014)","journal-title":"Comp. Geom-Theor. Appl."},{"key":"9438_CR19","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/978-3-642-39320-4_27","volume":"7961","author":"MA Ab\u00e1nades","year":"2013","unstructured":"Ab\u00e1nades, M.A., Botana, F.: A dynamic symbolic geometry environment based on the Gr\u00f6bnerCover algorithm for the computation of geometric loci and envelopes. Lect. Notes Comput. Sc. 7961, 349\u2013353 (2013)","journal-title":"Lect. Notes Comput. Sc."},{"key":"9438_CR20","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/3-540-46080-2_22","volume":"2330","author":"F Botana","year":"2002","unstructured":"Botana, F.: Interactive versus symbolic approaches to plane loci generation in dynamic geometry environments. Lect. Notes Comput. Sc. 2330, 211\u2013218 (2002)","journal-title":"Lect. Notes Comput. Sc."},{"key":"9438_CR21","volume-title":"Curves and Singularities","author":"JW Bruce","year":"1984","unstructured":"Bruce, J.W., Giblin, P.J.: Curves and Singularities. Cambridge University Press, Cambridge (1984)"},{"key":"9438_CR22","doi-asserted-by":"crossref","unstructured":"Botana, F.: A parametric approach to 3D dynamic geometry. Math. Comput. Simulat. 104, 3\u201320 (2014)","DOI":"10.1016\/j.matcom.2012.12.004"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-014-9438-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-014-9438-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-014-9438-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T17:58:20Z","timestamp":1559152700000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-014-9438-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,1]]},"references-count":22,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2015,8]]}},"alternative-id":["9438"],"URL":"https:\/\/doi.org\/10.1007\/s10472-014-9438-2","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,11,1]]}}}