Skip to main content
SpringerLink
Log in

A Simple GUI for Developing Applications That Use Mathematical Software Systems

  • Conference paper
Artificial Intelligence and Symbolic Computation (AISC 2014)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 8884))

  • 519 Accesses

Abstract

We have observed that many mathematics teachers (of different educational levels), that know and use a certain mathematical software (like Maple TM, Maxima, MATLAB ,...) and consider it useful for classroom use, do not use it in the classroom because they do not want to spend the time required to introduce the mathematical software system. Simultaneously, many small specific purpose mathematical applications (usually applets), that take much time to be programmed because they do not take advantage of the possibilities of existing software, have been developed. Therefore, we have implemented a humble GUI that can call different pieces of mathematical software, mainly computer algebra systems. This way, anyone with some experience programming one of the compatible pieces of mathematics software can effortlessly develop easy-to-use specific purpose applications (where the end user, for instance a student, only has to type the data or code indicated by the GUI, without having to learn in detail the mathematical software own syntax). Accessing Rule Based Expert Systems is an example of application. The GUI is compatible with most mathematical software systems that have command line versions using standard text interfaces, but requires Windows to be the operating system chosen. The GUI is freely available from the authors’ web page. This is a hot topic. For instance, the last release of Maple TM, Maple TM 18, greatly increases its possibilities in this line, developing the so called “embedded components”, “Clickable MathTM” and “Explore” command.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Pérez-Carretero, C., Laita, L.M., Roanes-Lozano, E., Lázaro, L., González-Cajal, J., Laita, L.: A Logic and Computer Algebra-Based Expert System for Diagnosis of Anorexia. Math. Comp. Simul. 58(3), 183–202 (2002)

    Article  MATH  Google Scholar 

  2. Roanes-Lozano, E., López-Vidriero Jr., E., Laita, L.M., López-Vidriero, E., Maojo, V., Roanes-Macías, E.: An Expert System on Detection, Evaluation and Treatment of Hypertension. In: Buchberger, B., Campbell, J. (eds.) AISC 2004. LNCS (LNAI), vol. 3249, pp. 251–264. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  3. Rodríguez-Solano, C., Laita, L.M., Roanes-Lozano, E., López Corral, L., Laita, L.: A Computational System for Diagnosis of Depressive Situations. Exp. Sys. Appl. 31, 47–55 (2006)

    Article  Google Scholar 

  4. Maxima: Maxima, a Computer Algebra System. Version 5.30.0 (2013), http://maxima.sourceforge.net/

  5. http://www.reduce-algebra.com

  6. Abbot, J., Bigatti, A.M., Lagorio, G.: CoCoA-5: A system for doing Computations in Commutative Algebra, http://cocoa.dima.unige.it

  7. http://yacas.soureceforge.net/homepage.html

  8. http://www.math.kobe-u.ac.jp/Asir/

  9. Decker, W., Greuel, G.-M., Pfister, G., Schönemann, H.: Singular 3-1-6 — A computer algebra system for polynomial computations (2012), http://www.singular.uni-kl.de

  10. http://wxmaxima.sourceforge.net/

  11. Octave community: GNU Octave 3.8.1 (2014), http://www.gnu.org/software/octave/

  12. http://www.microsoft.com/downloads/

  13. Buchberger, B.: Bruno Buchberger’s 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 41(3-4), 475–511 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  14. Roanes-Lozano, E., Roanes-Macías, E., Laita, L.M.: The Geometry of Algebraic Systems and Their Exact Solving Using Groebner Bases. Comp. Sci. Eng. 6(2), 76–79 (2004)

    Article  Google Scholar 

  15. Roanes-Lozano, E., Roanes-Macías, E., Laita, L.M.: Some Applications of Gröbner Bases. Comp. Sci. Eng. 6(3), 56–60 (2004)

    Article  Google Scholar 

  16. Roanes-Lozano, E., Hernando, A., Laita, L.M., Roanes-Macías, E.: A Shell for Rule-Based Expert Systems Development Using Groebner Bases-Based Inference Engines. In: Ruan, D., Montero, J., Lu, J., Martínez, L., D’hondt, 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. 1, pp. 769–774. World Scientific, Singapore (2008)

    Chapter  Google Scholar 

  17. Roanes-Lozano, E., Laita, L.M., Hernando, A., Roanes-Macías, E.: An algebraic approach to rule based expert systems. RACSAM 104(1), 19–40 (2010), doi:10.5052/RACSAM

    Article  MATH  MathSciNet  Google Scholar 

  18. Kajler, N., Soiffer, N.: Some Human Interaction Issues in Computer Algebra. CAN Nieuwsbrief 12, 14–24 (1994); Also in: ACM SIGSAM Bull. 28(1), 18–28 (1994), Also in: SIGCHI Bull. 26(4), 64–69 (1994)

    Google Scholar 

  19. Kajler, N., Soiffer, N.: A Survey of User Interfaces for Computer Algebra Systems. J. Symb. Comp. 25(2), 127–160 (1998)

    Article  Google Scholar 

  20. http://wme.cs.kent.edu/research.html

  21. 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)

    Google Scholar 

  22. 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), http://www.eecs.berkeley.edu/Pubs/TechRpts/1991/CSD-91-626.pdf

  23. 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–6. ACM Press, New York (1986)

    Chapter  Google Scholar 

  24. Kajler, N.: CAS/PI: a Portable and Extensible Interface for Computer Algebra Systems. In: Proceedings of ISSAC 1992, pp. 376–386. ACM Press, New York (1992)

    Google Scholar 

  25. 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–10. ACM Press, New York (1993)

    Google Scholar 

  26. 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–115. Springer, Vienna (1998)

    Google Scholar 

  27. Greenman, J.: Theorist: A Review. Maths&Stats 5(1), 15–17 (1994)

    Google Scholar 

  28. http://kayali.sourceforge.net/

  29. http://sourceforge.net/projects/equation/

  30. http://wims.unice.fr

  31. Gang, X.: WIMS: An Interactive Mathematics Server. J. Online Math. Appl. Section 3.1 Algebra (2001), http://www.maa.org/publications/periodicals/loci/joma/wims-an-interactive-mathematics-server

  32. Galligo, A., Xiao, G.: Using WIMS for Mathematical Education. In: 2001 IAMC Workshop Proceedings (electronic), a Workshop at ISSAC 2001 (2001), http://icm.mcs.kent.edu/research/iamc.html

  33. Vajda, R., Kovacs, Z.: Interactive Web Portals in Mathematics. Teaching Math. and Comp. Sci. 1(2), 347–361 (2003)

    Google Scholar 

  34. http://matek.hu

  35. http://wme.cs.kent.edu/

  36. 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–175 (2004)

    Google Scholar 

  37. Wang, P.S., Kajler, N., Zhou, Y., Zou, X.: WME: Towards a Web for Mathematics Education. In: ISSAC 2003 Proceedings, pp. 258–265. ACM Press, New York (2003)

    Google Scholar 

  38. http://icm.mcs.kent.edu/research/demo.html

  39. Stein, W.A.: SAGE: Software for Algebra adn Geometry Experimentation. Project Description (2006), http://modular.math.washington.edu/grants/sage-06/project_description.pdf

  40. http://www.sagemath.org/

  41. Stein, W., Joyner, D.: SAGE: System for Algebra and Geometry Experimentation. SISGSAM Bull. 39(2), 61–64 (2005)

    Article  Google Scholar 

  42. https://sagecell.sagemath.org/

  43. 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. 1632, pp. 217–221. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  44. Zimmer, J., Kohlhase, M.: System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning. In: Voronkov, A. (ed.) CADE-18. LNCS (LNAI), vol. 2392, pp. 139–143. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  45. Franke, A., Hess, S.M., Jung, C.G., Kohlhase, M., Sorge, V.: Agent-Oriented Integration of Distributed Mathematical Services. J. of Universal Comp. Sci. 5(3), 156–187 (1999)

    MATH  Google Scholar 

  46. http://icl.cs.utk.edu/netsolve/

  47. 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. 14, pp. 33–52. Elsevier Science, Amsterdam (2005)

    Chapter  Google Scholar 

  48. 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–622. John Wiley & Sons Ltd., Chichester (2003)

    Google Scholar 

  49. Anonymous: GUIKit, Technical software news (Wolfram Research) 2, 2 (2004)

    Google Scholar 

  50. Bernardin, L.: Mathematical Computations on the Web: The Maple Approach. In: 2004 IAMC Workshop Proceedings (electronic), a Workshop at ISSAC 2004 (2001), http://www.orcca.on.ca/conferences/iamc2004/abstracts/index.html

  51. http://library.wolfram.com/infocenter/MathSource/642

  52. http://ptolemy.eecs.berkeley.edu/other/tmath/tmath0.2/README.html

  53. http://javamath.sourceforge.net/

  54. 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.

    Google Scholar 

  55. Song, K.: Flash-Enabled User Interface for CAS. In: 2003 IAMC Workshop Proceedings (electronic), a Workshop at ISSAC 2003 (2003), http://www.researchgate.net/publication/240915416_Flash-Enabled_User_Interface_For_CAS

  56. http://www.tutormates.es

  57. Grupo TutorMates: TutorMates: Cálculo Científico en Educación Secundaria. La Gaceta de la RSME 14(3), 565–577 (2011)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Instituto de Matemática Interdiciplinar (IMI) & Depto. de Álgebra, Fac. de Educación, Universidad Complutense de Madrid, c/ Rector Royo Villanova s/n, 28040, Madrid, Spain

    Eugenio Roanes-Lozano

  2. Depto. de Sistemas Inteligentes Aplicados, Escuela Universitaria de Inform’atica, Universidad Politécnica de Madrid, Carretera de Valencia km 7, 28031, Madrid, Spain

    Antonio Hernando

Authors
  1. Eugenio Roanes-Lozano
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Antonio Hernando
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Information Technologies, University of Huelva, Crta. Palos de la Frontera, s/n, 21810, Palos de la Frontera, Spain

    Gonzalo A. Aranda-Corral

  2. Institute for Theoretical Informatics, Karlsruhe Institute of Technology, Am Fasanengarten 5, 76131, Karlsruhe, Germany

    Jacques Calmet

  3. Departamento de Ciencias de la Computación e Inteligencia Artificial, Universidad de Sevilla, Avda. Reina Mercedes, s/n, 41012, Sevilla, Spain

    Francisco J. Martín-Mateos

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Roanes-Lozano, E., Hernando, A. (2014). A Simple GUI for Developing Applications That Use Mathematical Software Systems. In: Aranda-Corral, G.A., Calmet, J., Martín-Mateos, F.J. (eds) Artificial Intelligence and Symbolic Computation. AISC 2014. Lecture Notes in Computer Science(), vol 8884. Springer, Cham. https://doi.org/10.1007/978-3-319-13770-4_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-13770-4_10

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-13769-8

  • Online ISBN: 978-3-319-13770-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation