{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T16:54:18Z","timestamp":1725814458769},"publisher-location":"Cham","reference-count":58,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319137698"},{"type":"electronic","value":"9783319137704"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-13770-4_10","type":"book-chapter","created":{"date-parts":[[2014,12,8]],"date-time":"2014-12-08T08:36:05Z","timestamp":1418027765000},"page":"99-119","source":"Crossref","is-referenced-by-count":0,"title":["A Simple GUI for Developing Applications That Use Mathematical Software Systems"],"prefix":"10.1007","author":[{"given":"Eugenio","family":"Roanes-Lozano","sequence":"first","affiliation":[]},{"given":"Antonio","family":"Hernando","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"10_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/S0378-4754(01)00370-6","volume":"58","author":"C. P\u00e9rez-Carretero","year":"2002","unstructured":"P\u00e9rez-Carretero, C., Laita, L.M., Roanes-Lozano, E., L\u00e1zaro, L., Gonz\u00e1lez-Cajal, J., Laita, L.: A Logic and Computer Algebra-Based Expert System for Diagnosis of Anorexia. Math. Comp. Simul.\u00a058(3), 183\u2013202 (2002)","journal-title":"Math. Comp. Simul."},{"key":"10_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-540-30210-0_21","volume-title":"Artificial Intelligence and Symbolic Computation","author":"E. Roanes-Lozano","year":"2004","unstructured":"Roanes-Lozano, E., L\u00f3pez-Vidriero Jr., E., Laita, L.M., L\u00f3pez-Vidriero, E., Maojo, V., Roanes-Mac\u00edas, E.: An Expert System on Detection, Evaluation and Treatment of Hypertension. In: Buchberger, B., Campbell, J. (eds.) AISC 2004. LNCS (LNAI), vol.\u00a03249, pp. 251\u2013264. Springer, Heidelberg (2004)"},{"key":"10_CR3","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/j.eswa.2005.09.011","volume":"31","author":"C. Rodr\u00edguez-Solano","year":"2006","unstructured":"Rodr\u00edguez-Solano, C., Laita, L.M., Roanes-Lozano, E., L\u00f3pez Corral, L., Laita, L.: A Computational System for Diagnosis of Depressive Situations. Exp. Sys. Appl.\u00a031, 47\u201355 (2006)","journal-title":"Exp. Sys. Appl."},{"key":"10_CR4","unstructured":"Maxima: Maxima, a Computer Algebra System. Version 5.30.0 (2013), \n                    \n                      http:\/\/maxima.sourceforge.net\/"},{"key":"10_CR5","unstructured":"http:\/\/www.reduce-algebra.com"},{"key":"10_CR6","unstructured":"Abbot, J., Bigatti, A.M., Lagorio, G.: CoCoA-5: A system for doing Computations in Commutative Algebra, \n                    \n                      http:\/\/cocoa.dima.unige.it"},{"key":"10_CR7","unstructured":"http:\/\/yacas.soureceforge.net\/homepage.html"},{"key":"10_CR8","unstructured":"http:\/\/www.math.kobe-u.ac.jp\/Asir\/"},{"key":"10_CR9","unstructured":"Decker, W., Greuel, G.-M., Pfister, G., Sch\u00f6nemann, H.: Singular 3-1-6 \u2014 A computer algebra system for polynomial computations (2012), \n                    \n                      http:\/\/www.singular.uni-kl.de"},{"key":"10_CR10","unstructured":"http:\/\/wxmaxima.sourceforge.net\/"},{"key":"10_CR11","unstructured":"Octave community: GNU Octave 3.8.1 (2014), \n                    \n                      http:\/\/www.gnu.org\/software\/octave\/"},{"key":"10_CR12","unstructured":"http:\/\/www.microsoft.com\/downloads\/"},{"issue":"3-4","key":"10_CR13","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1016\/j.jsc.2005.09.007","volume":"41","author":"B. Buchberger","year":"2006","unstructured":"Buchberger, B.: Bruno Buchberger\u2019s PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Journal of Symbolic Computation\u00a041(3-4), 475\u2013511 (2006)","journal-title":"Journal of Symbolic Computation"},{"issue":"2","key":"10_CR14","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1109\/MCISE.2004.1267612","volume":"6","author":"E. Roanes-Lozano","year":"2004","unstructured":"Roanes-Lozano, E., Roanes-Mac\u00edas, E., Laita, L.M.: The Geometry of Algebraic Systems and Their Exact Solving Using Groebner Bases. Comp. Sci. Eng.\u00a06(2), 76\u201379 (2004)","journal-title":"Comp. Sci. Eng."},{"issue":"3","key":"10_CR15","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/MCISE.2004.1289309","volume":"6","author":"E. Roanes-Lozano","year":"2004","unstructured":"Roanes-Lozano, E., Roanes-Mac\u00edas, E., Laita, L.M.: Some Applications of Gr\u00f6bner Bases. Comp. Sci. Eng.\u00a06(3), 56\u201360 (2004)","journal-title":"Comp. Sci. Eng."},{"key":"10_CR16","series-title":"Procs. Series on Computer Engineering and Information Science","doi-asserted-by":"publisher","first-page":"769","DOI":"10.1142\/9789812799470_0126","volume-title":"Computational Intelligence in Decision and Control. Proceedings of the 8th International FLINS Conference","author":"E. Roanes-Lozano","year":"2008","unstructured":"Roanes-Lozano, E., Hernando, A., Laita, L.M., Roanes-Mac\u00edas, E.: A Shell for Rule-Based Expert Systems Development Using Groebner Bases-Based Inference Engines. In: Ruan, D., Montero, J., Lu, J., Mart\u00ednez, L., D\u2019hondt, P., Kerre, E.E. (eds.) Computational Intelligence in Decision and Control. Proceedings of the 8th International FLINS Conference. Procs. Series on Computer Engineering and Information Science, vol.\u00a01, pp. 769\u2013774. World Scientific, Singapore (2008)"},{"issue":"1","key":"10_CR17","doi-asserted-by":"publisher","first-page":"19","DOI":"10.5052\/RACSAM.2010.04","volume":"104","author":"E. Roanes-Lozano","year":"2010","unstructured":"Roanes-Lozano, E., Laita, L.M., Hernando, A., Roanes-Mac\u00edas, E.: An algebraic approach to rule based expert systems. RACSAM\u00a0104(1), 19\u201340 (2010), doi:10.5052\/RACSAM","journal-title":"RACSAM"},{"key":"#cr-split#-10_CR18.1","unstructured":"Kajler, N., Soiffer, N.: Some Human Interaction Issues in Computer Algebra. CAN Nieuwsbrief\u00a012, 14-24 (1994)"},{"key":"#cr-split#-10_CR18.2","unstructured":"Also in: ACM SIGSAM Bull. 28(1), 18-28 (1994), Also in: SIGCHI Bull. 26(4), 64-69 (1994)"},{"issue":"2","key":"10_CR19","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1006\/jsco.1997.0170","volume":"25","author":"N. Kajler","year":"1998","unstructured":"Kajler, N., Soiffer, N.: A Survey of User Interfaces for Computer Algebra Systems. J. Symb. Comp.\u00a025(2), 127\u2013160 (1998)","journal-title":"J. Symb. Comp."},{"key":"10_CR20","unstructured":"http:\/\/wme.cs.kent.edu\/research.html"},{"key":"10_CR21","unstructured":"Minsky, M.L.: MATHSCOPE: Part I - A Proposal for a Mathematical Manipulation-Display System. Technical Report MAC-M-118, Artificial Intelligence Project, Memo 61. MIT, Cambridge, MA, USA (1963)"},{"key":"10_CR22","unstructured":"Soiffer, N.M.: The Design of a User Interface for Computer Algebra Systems (Ph.D. Thesis). Report UCB\/CSD\/91\/626 (University of California, Berkeley, CA, USA) (1991), \n                    \n                      http:\/\/www.eecs.berkeley.edu\/Pubs\/TechRpts\/1991\/CSD-91-626.pdf"},{"key":"10_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/32439.32440","volume-title":"Proceedings of the Fifth ACM Symposium on Symbolic and Algebraic Computation","author":"B.L. Leong","year":"1986","unstructured":"Leong, B.L.: Iris: Design of a User Interface Program for Symbolic Algebra, in Symposium on Symbolic and Algebraic Manipulation. In: Proceedings of the Fifth ACM Symposium on Symbolic and Algebraic Computation, pp. 1\u20136. ACM Press, New York (1986)"},{"key":"10_CR24","first-page":"376","volume-title":"Proceedings of ISSAC 1992","author":"N. Kajler","year":"1992","unstructured":"Kajler, N.: CAS\/PI: a Portable and Extensible Interface for Computer Algebra Systems. In: Proceedings of ISSAC 1992, pp. 376\u2013386. ACM Press, New York (1992)"},{"key":"10_CR25","first-page":"1","volume-title":"UIST 1993: Proceedings of the 6th Annual ACM Symposium on User Interface Software and Technology","author":"N. Kajler","year":"1993","unstructured":"Kajler, N.: User Interfaces for Symbolic Computation: A Case Study. In: UIST 1993: Proceedings of the 6th Annual ACM Symposium on User Interface Software and Technology, pp. 1\u201310. ACM Press, New York (1993)"},{"key":"10_CR26","first-page":"89","volume-title":"Computer-Human Interaction in Symbolic Computation","author":"M. Beeson","year":"1998","unstructured":"Beeson, M.: Design Principles of Mathpert: Software to Support Education in Algebra and Calculus. In: Kajler, N. (ed.) Computer-Human Interaction in Symbolic Computation, pp. 89\u2013115. Springer, Vienna (1998)"},{"issue":"1","key":"10_CR27","first-page":"15","volume":"5","author":"J. Greenman","year":"1994","unstructured":"Greenman, J.: Theorist: A Review. Maths&Stats\u00a05(1), 15\u201317 (1994)","journal-title":"Maths&Stats"},{"key":"10_CR28","unstructured":"http:\/\/kayali.sourceforge.net\/"},{"key":"10_CR29","unstructured":"http:\/\/sourceforge.net\/projects\/equation\/"},{"key":"10_CR30","unstructured":"http:\/\/wims.unice.fr"},{"key":"10_CR31","unstructured":"Gang, X.: WIMS: An Interactive Mathematics Server. J. Online Math. Appl. Section 3.1 Algebra (2001), \n                    \n                      http:\/\/www.maa.org\/publications\/periodicals\/loci\/joma\/wims-an-interactive-mathematics-server"},{"key":"10_CR32","unstructured":"Galligo, A., Xiao, G.: Using WIMS for Mathematical Education. In: 2001 IAMC Workshop Proceedings (electronic), a Workshop at ISSAC 2001 (2001), \n                    \n                      http:\/\/icm.mcs.kent.edu\/research\/iamc.html"},{"issue":"2","key":"10_CR33","doi-asserted-by":"crossref","first-page":"347","DOI":"10.5485\/TMCS.2003.0030","volume":"1","author":"R. Vajda","year":"2003","unstructured":"Vajda, R., Kovacs, Z.: Interactive Web Portals in Mathematics. Teaching Math. and Comp. Sci.\u00a01(2), 347\u2013361 (2003)","journal-title":"Teaching Math. and Comp. Sci."},{"key":"10_CR34","unstructured":"http:\/\/matek.hu"},{"key":"10_CR35","unstructured":"http:\/\/wme.cs.kent.edu\/"},{"key":"10_CR36","doi-asserted-by":"crossref","unstructured":"Wang, P.S., Zhou, Y., Zou, X.: Web-based Mathematics Education: MeML Design and Implementation. In: Proceedings of IEEE\/ITCC 2004, Las Vegas, Nevada, USA, pp. 169\u2013175 (2004)","DOI":"10.1109\/ITCC.2004.1286445"},{"key":"10_CR37","first-page":"258","volume-title":"ISSAC 2003 Proceedings","author":"P.S. Wang","year":"2003","unstructured":"Wang, P.S., Kajler, N., Zhou, Y., Zou, X.: WME: Towards a Web for Mathematics Education. In: ISSAC 2003 Proceedings, pp. 258\u2013265. ACM Press, New York (2003)"},{"key":"10_CR38","unstructured":"http:\/\/icm.mcs.kent.edu\/research\/demo.html"},{"key":"10_CR39","unstructured":"Stein, W.A.: SAGE: Software for Algebra adn Geometry Experimentation. Project Description (2006), \n                    \n                      http:\/\/modular.math.washington.edu\/grants\/sage-06\/project_description.pdf"},{"key":"10_CR40","unstructured":"http:\/\/www.sagemath.org\/"},{"issue":"2","key":"10_CR41","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/1101884.1101889","volume":"39","author":"W. Stein","year":"2005","unstructured":"Stein, W., Joyner, D.: SAGE: System for Algebra and Geometry Experimentation. SISGSAM Bull.\u00a039(2), 61\u201364 (2005)","journal-title":"SISGSAM Bull."},{"key":"10_CR42","unstructured":"https:\/\/sagecell.sagemath.org\/"},{"key":"10_CR43","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/3-540-48660-7_17","volume-title":"Automated Deduction - CADE-16","author":"A. Franke","year":"1999","unstructured":"Franke, A., Kohlhase, M.: System Description: MathWeb, an Agent-Based Communications Layer for Distributed Automated Theorem Proving. In: Ganzinger, H. (ed.) CADE-16. LNCS (LNAI), vol.\u00a01632, pp. 217\u2013221. Springer, Heidelberg (1999)"},{"key":"10_CR44","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/3-540-45620-1_11","volume-title":"Automated Deduction - CADE-18","author":"J. Zimmer","year":"2002","unstructured":"Zimmer, J., Kohlhase, M.: System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning. In: Voronkov, A. (ed.) CADE-18. LNCS (LNAI), vol.\u00a02392, pp. 139\u2013143. Springer, Heidelberg (2002)"},{"issue":"3","key":"10_CR45","first-page":"156","volume":"5","author":"A. Franke","year":"1999","unstructured":"Franke, A., Hess, S.M., Jung, C.G., Kohlhase, M., Sorge, V.: Agent-Oriented Integration of Distributed Mathematical Services. J. of Universal Comp. Sci.\u00a05(3), 156\u2013187 (1999)","journal-title":"J. of Universal Comp. Sci."},{"key":"10_CR46","unstructured":"http:\/\/icl.cs.utk.edu\/netsolve\/"},{"key":"10_CR47","series-title":"Advances in Parallel Computing Series","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/S0927-5452(05)80005-X","volume-title":"Grid Computing and New Frontiers of High Performance Computing","author":"K. Seymour","year":"2005","unstructured":"Seymour, K., Yarkhan, A., Agrawal, S., Dongarra, J.: NetSolve: Grid Enabling Scientific Computing Environments. In: Grandinetti, L. (ed.) Grid Computing and New Frontiers of High Performance Computing. Advances in Parallel Computing Series, vol.\u00a014, pp. 33\u201352. Elsevier Science, Amsterdam (2005)"},{"key":"10_CR48","first-page":"613","volume-title":"Grid Computing - Making the Global Infrastructure a Reality","author":"S. Agrawal","year":"2003","unstructured":"Agrawal, S., Dongarra, J., Seymour, K., Vadhiyar, S.: NetSolve: Past, Present, and Future - A Look at a Grid Enabled Server. In: Berman, F., Fox, G., Hey, A. (eds.) Grid Computing - Making the Global Infrastructure a Reality, pp. 613\u2013622. John Wiley & Sons Ltd., Chichester (2003)"},{"key":"10_CR49","unstructured":"Anonymous: GUIKit, Technical software news (Wolfram Research) 2, 2 (2004)"},{"key":"10_CR50","unstructured":"Bernardin, L.: Mathematical Computations on the Web: The Maple Approach. In: 2004 IAMC Workshop Proceedings (electronic), a Workshop at ISSAC 2004 (2001), \n                    \n                      http:\/\/www.orcca.on.ca\/conferences\/iamc2004\/abstracts\/index.html"},{"key":"10_CR51","unstructured":"http:\/\/library.wolfram.com\/infocenter\/MathSource\/642"},{"key":"10_CR52","unstructured":"http:\/\/ptolemy.eecs.berkeley.edu\/other\/tmath\/tmath0.2\/README.html"},{"key":"10_CR53","unstructured":"http:\/\/javamath.sourceforge.net\/"},{"key":"10_CR54","unstructured":"Solomon, A., Struble, C.A., Cooper, A., Linton, S.A.: The JavaMath API: An architecture for Internet accessible mathematical services. Submitted to the J. Symb. Comp."},{"key":"10_CR55","unstructured":"Song, K.: Flash-Enabled User Interface for CAS. In: 2003 IAMC Workshop Proceedings (electronic), a Workshop at ISSAC 2003 (2003), \n                    \n                      http:\/\/www.researchgate.net\/publication\/240915416_Flash-Enabled_User_Interface_For_CAS"},{"key":"10_CR56","unstructured":"http:\/\/www.tutormates.es"},{"key":"10_CR57","unstructured":"Grupo TutorMates: TutorMates: C\u00e1lculo Cient\u00edfico en Educaci\u00f3n Secundaria. La Gaceta de la RSME 14(3), 565\u2013577 (2011)"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-13770-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T19:43:15Z","timestamp":1559072595000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-13770-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319137698","9783319137704"],"references-count":58,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-13770-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}