A Subroutine for Computations with Rational Numbers
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Algebra of Polynomials in Several Variables for a Digital Computer
Journal of the ACM (JACM)
A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Mechanization of tedious algebra: the Newcomb operators of planetary theory
Communications of the ACM
An extension to ALGOL for manipulating formulae
Communications of the ACM
An experiment in a user-oriented computer system
Communications of the ACM
A simple automatic derivative evaluation program
Communications of the ACM
Investigation of a new analytical method for numerical derivative evaluation
Communications of the ACM
Wengert's numerical method for partial derivatives, orbit determination and quasilinearization
Communications of the ACM
Mechanization of tedious algebra—the e coefficients of theoretical chemistry
Communications of the ACM
A formal semantics for computer languages and its application in a compiler-compiler
Communications of the ACM
Some experiments in algebraic manipulation by computer
Communications of the ACM
Survey of formula manipulation
Communications of the ACM
Computation of algebraic properties of elementary particle reactions using a digital computer
Communications of the ACM
PM, a system for polynomial manipulation
Communications of the ACM
Experience with FORMAC algorithm design
Communications of the ACM
AUTOMAST: automatic mathematical analysis and symbolic translation
Communications of the ACM
Solutions of systems of polynomial equations by elimination
Communications of the ACM
Symbolic factoring of polynomials in several variables
Communications of the ACM
MADCAP: a scientific compiler for a displayed formula textbook language
Communications of the ACM
Manipulation of algebraic expressions
Communications of the ACM
MIRFAC: a compiler based on standard mathematical notation and plain English
Communications of the ACM
Analytic differentiation by computer
Communications of the ACM
FORMAC an experimental formula manipulation Compiler
ACM '64 Proceedings of the 1964 19th ACM national conference
Syntax and Display of Mathematical Expressions
Syntax and Display of Mathematical Expressions
The LISP Differentiation Demonstration Program
The LISP Differentiation Demonstration Program
MATHSCOPE Part I: A Proposal for a Mathematical Manipulation- Display System
MATHSCOPE Part I: A Proposal for a Mathematical Manipulation- Display System
Hash-Coding Functions of a Complex Variable
Hash-Coding Functions of a Complex Variable
The Compatible Time-Sharing System: A Programmer's Guide
The Compatible Time-Sharing System: A Programmer's Guide
The beginning and development of FORMAC (FORmula MAnipulation Compiler)
HOPL-II The second ACM SIGPLAN conference on History of programming languages
The role of programming in a Ph.D. computer science program
Communications of the ACM
Survey of formula manipulation
Communications of the ACM
Analysis of constructed mathematical responses by numeric tests for equivalence
ACM '69 Proceedings of the 1969 24th national conference
The status of systems for on-line mathematical assistance
ACM '67 Proceedings of the 1967 22nd national conference
Symbolic and algebraic manipulation for solving differential equations
ACM '71 Proceedings of the 1971 26th annual conference
The beginning and development of FORMAC: FORmula MAnipulation Compiler
History of programming languages---II
Symbolic mathematical computation: a survey
ACM SIGSAM Bulletin
| Hi-index | 48.25 |
The field of formula manipulation is surveyed, with particular attention to the specific capabilities of differentiation, integration and the supporting capabilities of simplification, displays and input/output editing, and precision arithmetic. General systems—both batch and online—are described. Finally, some programs to solve specific applications are discussed.