Formula manipulation by computer

JE Sammet - Advances in Computers, 1967 - Elsevier
Publisher Summary “Formula manipulation” refers to the use of a computer to manipulate
mathematical expressions in a formal fashion. The chapter presents a discussion of the main …

FORMAC an experimental formula manipulation compiler

E Bond, M Auslander, S Grisoff, R Kenney… - Proceedings of the …, 1964 - dl.acm.org
FORMAC,(FORmula MAnipulation Compiler), is an experimental programming system
which can assist scientists in the manipulation of mathematical expressions. It is an …

Survey of formula manipulation

JE Sammet - Communications of the ACM, 1966 - dl.acm.org
The field of formula manipulation is surveyed, with particular attention to the specific
capabilities of differentiation, integration and the supporting capabilities of simplification …

Formula Manipulation—The User's Point of View

ME Engeli - Advances in Information Systems Science: Volume 1, 1969 - Springer
For a number of years, formula manipulation has been a prosperous member of the large
family of computer applications. It has already facilitated the solution of problems too lengthy …

The beginning and development of FORMAC (FORmula MAnipulation compiler)

JE Sammet - ACM SIGPLAN Notices, 1993 - dl.acm.org
The first widely available programming language for symbolic mathematical computation to
have significant practical usage was FORMAC (FORmula MAnipulation Compiler). This …

INFORM: an interactive syntax-directed formulae editor

S Van Egmond, FC Heeman, JC van Vliet - Journal of Systems and …, 1989 - Elsevier
This paper addresses a particular problem in text-processing systems, namely, that of
processing mathematical formulae. As in programs in some given programming language …

[PDF][PDF] A descriptive language for symbol manipulation

RW Floyd - Journal of the ACM (JACM), 1961 - dl.acm.org
The algebraic command languages (ALGOL, IT, FORTRAN, UNICODE), although useful in
preparing numerical algorithms, have not in the author's opinion proven themselves useful …

The PL/I-Formac Interpreter

J Xenakis - Proceedings of the second ACM symposium on …, 1971 - dl.acm.org
The PL/I-FORMAC Interpreter is a Type III IBM Programming System designed to add the
capabilities of a formula manipulation language to the capabilities of PL/I. The program …

[CITATION][C] Compiling techniques for algebraic expressions

HD Huskey - The Computer Journal, 1961 - academic.oup.com
Compiling Techniques for Algebraic Expressions Page 1 Compiling Techniques for Algebraic
Expressions By Harry D. Huskey This paper describes a method of translating algebraic formulae …

IAM, a system for interactive algebraic manipulation

C Christensen, M Karr - Proceedings of the second ACM symposium on …, 1971 - dl.acm.org
The principal features of IAM, a system for interactive algebraic manipulation, are described.
The primary goal of IAM is to make algebraic manipulation by computer available to a non …