An on-line symbolic mathematics system using hand-printed two-dimensional notation
ACM '69 Proceedings of the 1969 24th national conference
MathScribe: a user interface for computer algebra systems
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Edusym—educational symbolic manipulator on a microcomputer
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
GI/S: A graphical user interface for symbolic computation systems
Journal of Symbolic Computation
SUI: a system independent user interface for an integrated scientific computing environment
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Some human interaction issues in computer algebra
ACM SIGSAM Bulletin
Some human interaction issues in computer algebra
ACM SIGCHI Bulletin
Design of a customizable component to display and edit formulas
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
An intelligent tutor for high-school algebra
CSC '87 Proceedings of the 15th annual conference on Computer Science
An Approach for Processing Mathematical Expressions in Printed Document
DAS '98 Selected Papers from the Third IAPR Workshop on Document Analysis Systems: Theory and Practice
Symbolic mathematical computation—introduction and overview
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
On the use of syntax-based translators for symbolic and algebraic manipulation
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Preprocessing of typed two-dimensional mathematical expressions
ACM SIGPLAN Notices
ACM SIGSAM Bulletin
Some reduce facilities for pretty printing subscripts and formal derivatives
ACM SIGSAM Bulletin
An interactive graphical interface for REDUCE
ACM SIGSAM Bulletin
Evaluation of techniques for visualizing mathematical expression recognition results
GI '08 Proceedings of graphics interface 2008
Designing UI techniques for handwritten mathematics
SBIM '07 Proceedings of the 4th Eurographics workshop on Sketch-based interfaces and modeling
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Hi-index | 0.00 |
Studying mathematics is, in part, a language problem. Naturally, mathematicians are more likely to resist using a computer as a tool in their work if the tedious task of learning a new language for mathematics is part of the bargain. Furthermore, until a new language is thoroughly learned, difficulty in communication will make it less likely that their new experience will be a successful one. Beyond that, if a new computer language does not provide the same visual clues as standard mathematical notation, it may never adequately serve the mathematician. It therefore seems fair to assume that the computer input/output of mathematical expressions in a form resembling standard notation is an important goal. This form of expression is considerably more complex and expensive to handle than those used in, for example, the programming language FORTRAN. But the alternative (e.g., correctly manipulating a one page FORTRAN expression) is often quite painful.