A Simple GUI for Developing Applications That Use Mathematical Software Systems

We have observed that many mathematics teachers (of different educational levels), that know and use a certain mathematical software (like Maple TM , Maxima, MATLAB Open image in new window ,...) 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 Open image in new window 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.

[1]  Antonio Hernando,et al.  A SHELL FOR RULE-BASED EXPERT SYSTEMS DEVELOPMENT USING GRÖBNER BASES-BASED INFERENCE ENGINES , 2008 .

[2]  Neil Soiffer,et al.  Some human interaction issues in computer algebra , 1994, SIGSAM Bull..

[3]  Bruce W. Char.  Proceedings of the fifth ACM symposium on Symbolic and algebraic computation , 1986 .

[4]  Antonio Hernando,et al.  An algebraic approach to rule based expert systems , 2010 .

[5]  Neil Soiffer,et al.  A Survey of User Interfaces for Computer Algebra Systems , 1998, J. Symb. Comput..

[6]  Andrei Voronkov,et al.  Automated Deduction—CADE-18 , 2002, Lecture Notes in Computer Science.

[7]  Luis M. Laita,et al.  A logic and computer algebra-based expert system for diagnosis of anorexia , 2002, Math. Comput. Simul..

[8]  Jack J. Dongarra,et al.  NetSolve: Grid enabling scientific computing environments , 2004, High Performance Computing Workshop.

[9]  Luis M. Laita,et al.  A computational system for diagnosis of depressive situations , 2006, Expert Syst. Appl..

[10]  Kai-Uwe Kühnberger,et al.  Algorithmic Aspects of Theory Blending , 2014, AISC.

[11]  Jaime G. Carbonell,et al.  Automated Deduction — CADE-16 , 2002, Lecture Notes in Computer Science.

[12]  Victor Maojo,et al.  An Expert System on Detection, Evaluation and Treatment of Hypertension , 2004, AISC.

[13]  Norbert Kajler,et al.  User interfaces for symbolic computation: a case study , 1993, UIST '93.

[14]  Yi Zhou,et al.  WME: towards a web for mathematics education , 2003, ISSAC '03.

[15]  Luis M. Laita,et al.  Some applications of Grobner bases , 2004, Computing in Science & Engineering.

[16]  Marvin Minsky,et al.  MATHSCOPE Part I: A Proposal for a Mathematical Manipulation- Display System , 1963 .

[17]  Michael Kohlhase,et al.  System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning , 2002, CADE.

[18]  Benton L. Leong.  Iris: design of an user interface program for symbolic algebra , 1986, SYMSAC '86.

[19]  Luis M. Laita,et al.  The geometry of algebraic systems and their exact solving using Grobner bases , 2004, Computing in Science & Engineering.

[20]  Yi Zhou,et al.  Web-based mathematics education: MeML design and implementation , 2004, International Conference on Information Technology: Coding and Computing, 2004. Proceedings. ITCC 2004..

[21]  Francine Berman,et al.  Grid Computing: Making the Global Infrastructure a Reality , 2003 .

[22]  Bruno Buchberger,et al.  Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal , 2006, J. Symb. Comput..

[23]  Neil Soiffer.  The design of a user interface for computer algebra systems , 1991 .

[24]  Jack Dongarra,et al.  NetSolve: Past, Present, and Future - A Look at a Grid Enabled Server , 2003 .

[25]  Christoph Lossen,et al.  A COMPUTER ALGEBRA SYSTEM , 2003 .

[26]  Michael Kohlhase,et al.  System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving , 1999, CADE.

[27]  N. Kajler,et al.  Computer-Human Interaction in Symbolic Computation , 1998, Texts and Monographs in Symbolic Computation.

[28]  Zoltán Kovács,et al.  Interactive web portals in mathematics , 2003 .

[29]  Pascual Campoy Cervera,et al.  Computational intelligence in decision and control , 2008, CDC 2008.

[30]  Michael Beeson.  Design principles of Mathpert: software to support education in algebra and calculus , 1998, Computer-Human Interaction in Symbolic Computation.

[31]  Volker Sorge,et al.  Agent-Oriented Integration of Distributed Mathematical Services , 1999, J. Univers. Comput. Sci..

[32]  Hans Schönemann,et al.  SINGULAR: a computer algebra system for polynomial computations , 2001, ACCA.

[33]  Eugenio Roanes-Lozano,et al.  Some applications of Grobner bases , 2004 .

[34]  David Joyner,et al.  SAGE: system for algebra and geometry experimentation , 2005, SIGS.

[35]  Norbert Kajler,et al.  CAS/PI: a portable and extensible interface for computer algebra systems , 1992, ISSAC '92.