Communications of the ACM
Some comments on the aims of MIRFAC
Communications of the ACM
An experiment in a user-oriented computer system
Communications of the ACM
Survey of formula manipulation
Communications of the ACM
MIRFAC: a compiler based on standard mathematical notation and plain English
Communications of the ACM
Communications of the ACM
A potpourri of notational pet peeves (and their resolution in modcap)
ACM SIGPLAN Notices
An on-line symbolic mathematics system using hand-printed two-dimensional notation
ACM '69 Proceedings of the 1969 24th national conference
Automatic programming and compilers II: The COLASL automatic coding system
ACM '62 Proceedings of the 1962 ACM national conference on Digest of technical papers
A conversational system for engineering assistance: Aladin
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Preprocessing of typed two-dimensional mathematical expressions
ACM SIGPLAN Notices
Generalized data structures in Madcap VI
ACM SIGPLAN Notices
AFIPS '65 (Fall, part I) Proceedings of the November 30--December 1, 1965, fall joint computer conference, part I
Further advances in two-dimensional input-output by typewriter terminals
AFIPS '67 (Fall) Proceedings of the November 14-16, 1967, fall joint computer conference
Interactive programming and automated mathematics
Symposium on Interactive Systems for Experimental Applied Mathematics: Proceedings of the Association for Computing Machinery Inc. Symposium
CHARYBDIS: a LISP program to display mathematical expressions on typewriter-like devices
Symposium on Interactive Systems for Experimental Applied Mathematics: Proceedings of the Association for Computing Machinery Inc. Symposium
Syntax-directed recognition of hand-printed two-dimensional mathematics
Symposium on Interactive Systems for Experimental Applied Mathematics: Proceedings of the Association for Computing Machinery Inc. Symposium
Hi-index | 48.31 |