ACM Computing Surveys (CSUR)
Communications of the ACM
ET++—an object oriented application framework in C++
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Mathematical formula editor for CAI
CHI '89 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Controlled grammatic ambiguity
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the 1985 ACM SIGSMALL symposium on Small systems
Bounds on the Complexity of the Longest Common Subsequence Problem
Journal of the ACM (JACM)
Optimal Code Generation for Expression Trees
Journal of the ACM (JACM)
An Algorithm for Structuring Flowgraphs
Journal of the ACM (JACM)
Interactive Editing Systems: Part II
ACM Computing Surveys (CSUR)
Document Formatting Systems: Survey, Concepts, and Issues
ACM Computing Surveys (CSUR)
A High-Level Language for Specifying Pictures
ACM Transactions on Graphics (TOG)
Efficient string matching: an aid to bibliographic search
Communications of the ACM
Deterministic parsing of ambiguous grammars
Communications of the ACM
A high-level approach to computer document formatting
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A mathematical typesetting system
ACM SIGAPL APL Quote Quad
An operating system case study
ACM SIGOPS Operating Systems Review
Anti-aliased line drawing using brush extrusion
SIGGRAPH '83 Proceedings of the 10th annual conference on Computer graphics and interactive techniques
UNIXTM as an environment for producing numerical software
Proceedings of the SIGNUM Conference on the Programming Environment for Development of Numerical Software
PEN: A hierarchical document editor
Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation
PIC—a language for typesetting graphics
Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation
A graphics typesetting language
Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation
On the line breaking problem in text formatting
Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation
An annotated bibliography of background material on text manipulation
Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation
An interactive documentation system
SIGGRAPH '79 Proceedings of the 6th annual conference on Computer graphics and interactive techniques
An introduction to the Programmer's Workbench
ICSE '76 Proceedings of the 2nd international conference on Software engineering
A system for transcribing mathematics into braille
ACM SIGCAPH Computers and the Physically Handicapped
ACM SIGPLAN Notices
Preprocessing of typed two-dimensional mathematical expressions
ACM SIGPLAN Notices
Font variations in vector plotter lettering
ACM SIGGRAPH Computer Graphics
On FROFF: a text processing system for English texts and figures
COLING '80 Proceedings of the 8th conference on Computational linguistics
Production of the SIGOA Newsletter
ACM SIGOA Newsletter
Creating structured PDF files using XML templates
Proceedings of the 2004 ACM symposium on Document engineering
An application of symbolic computation to crystal physics
ACM SIGSAM Bulletin
A perspective on interactive survey analysis
ACM SIGSOC Bulletin
The refdbms distributed bibliographic database system
WTEC'94 Proceedings of the USENIX Winter 1994 Technical Conference on USENIX Winter 1994 Technical Conference
Computer typesetting of technical journals on UNIX
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
A research perspective on computer-assisted office work
IBM Systems Journal
Hi-index | 48.25 |
This paper describes the design and implementation of a system for typesetting mathematics. The language has been designed to be easy to learn and to use by people (for example, secretaries and mathematical typists) who know neither mathematics nor typesetting. Experience indicates that the language can be learned in an hour or so, for it has few rules and fewer exceptions. For typical expressions, the size and font changes, positioning, line drawing, and the like necessary to print according to mathematical conventions are all done automatically. For example, the input sum from i=0 to infinity x sub i = pi over 2 produces ∑∞i=0xi = &pgr;/2The syntax of the language is specified by a small context-free grammar; a compiler-compiler is used to make a compiler that translates this language into typesetting commands. Output may be produced on either a phototypesetter or on a terminal with forward and reverse half-line motions. The system interfaces directly with text formatting programs, so mixtures of text and mathematics may be handled simply.This paper was typeset by the authors using the system described.