Some human interaction issues in computer algebra

This paper addresses some of the current issues concerning the improvement of user interfaces for computer algebra systems. Some state of the art commercial software as well as research prototypes are presented, followed by a description of present research directions.

[1]  Paul S. Wang,et al.  MP: a protocol for efficient exchange of mathematical expressions , 1994, ISSAC '94.

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

[3]  William A. Martin,et al.  Computer input/output of mathematical expressions , 1971, SYMSAC '71.

[4]  Richard J. Fateman,et al.  Mathematical Computation with Maple V: Ideas and Applications , 1993, Birkhäuser Boston.

[5]  Ron Avitzur.  Your own handprinting recognition engine , 1992 .

[6]  C. Marlin “Lin” Brown.  Comparison of Typing and Handwriting in “Two-Finger Typists” , 1988 .

[7]  Robert H. Anderson.  Syntax-directed recognition of hand-printed two-dimensional mathematics , 1967, Symposium on Interactive Systems for Experimental Applied Mathematics.

[8]  Reiner Marzinkewitsch.  Operating computer algebra systems by handprinted input , 1991, ISSAC '91.

[9]  Dennis S. Arnon.  Report of the workshop on environments for computational mathematics , 1987, SIGS.

[10]  Neil Soiffer,et al.  MathScribe: a user interface for computer algebra systems , 1986, SYMSAC '86.

[11]  Norbert Kajler,et al.  Building a Computer Algebra Environment by Composition of Collaborative Tools , 1992, DISCO.

[12]  Stephen Wolfram,et al.  Mathematica: a system for doing mathematics by computer (2nd ed.) , 1991 .

[13]  Paul S. Wang,et al.  SUI: a system independent user interface for an integrated scientific computing environment , 1990, ISSAC '90.

[14]  Norbert Kajler,et al.  Building graphic user interfaces for Computer Algebra Systems , 1990, DISCO.

[15]  Paul S. Wang,et al.  GI/S: A Graphical User Interface For Symbolic Computation Systems , 1987, J. Symb. Comput..

[16]  Bunny numerics: a number theory microworld , 1989 .

[17]  Richard J. Beach,et al.  CaminoReal: an interactive mathematical notebook , 1988 .

[18]  Richard D. Jenks,et al.  AXIOM: the scientific computation system , 1992 .

[19]  Michael B. Hayden,et al.  The design of a user interface to a computer algebra system for introductory calculus , 1992, ISSAC '92.

[20]  John T. Stasko.  Tango: A Framework and System for Algorithm Animation , 1990, Computer.

[21]  Steven Skiena,et al.  Implementing discrete mathematics - combinatorics and graph theory with Mathematica , 1990 .

[22]  Mark B. Wells.  A review of two-dimensional programming languages , 1972 .

[23]  Tyler Gregory Hicks.  Standard Handbook of Engineering Calculations , 1985 .

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

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

[26]  Michael Beeson,et al.  Logic and Computation in MATHPERT: An Expert System for Learning Mathematics , 1989, Computers and Mathematics.

[27]  James M. Purtilo.  Polylith: An environment to support management of tool interfaces , 1985, ACM SIGPLAN Notices.

[28]  Bernard Mourrain,et al.  IZIC: A Portable Language-Driven Tool for Mathematical Surfaces Visualization , 1993, DISCO.

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

[30]  Norbert Kajler,et al.  Environnement graphique distribue pour le calcul formel , 1993 .

[31]  T. A. Ager,et al.  Representation of Inference in Computer Algebra Systems with Applications to Intelligent Tutoring , 1989, Computers and Mathematics.

[32]  Alan R. Katz.  Issues in defining an equations representation standard , 1987, SIGS.

[33]  Marc H. Brown,et al.  Exploring algorithms using Balsa-II , 1988, Computer.

[34]  M. R. Genesereth.  The difficulties of using MACSYMA and the function of user aids , 1977 .

[35]  Paul S. Wang.  A System Independent Graphing Package for Mathematical Functions , 1990, DISCO.

[36]  Gregory Butler,et al.  The Progress Towards an Intelligent Assistent - A Discussion Paper , 1992, AISMC.

[37]  William C. Bauldry.  Calculus Laboratories with Maple , 1991 .

[38]  Jacques Calmet,et al.  Artificial Intelligence and Symbolic Mathematical Computation , 1992, Lecture Notes in Computer Science.