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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
The primary goal of IAM is to make algebraic manipulation by computer available to a non …