SYMSAC86

This paper describes a LISP program that analyzes sequences of letters and numbers. The program, which operates interactively, takes as input a sequence such as

ACEGI...

It produces as output the next element of the sequence, in this case K, together ...

A mathematical expression written in FORTRAN notation is stored in the computer as a string of BCD characters. The algebra program operates exhaustively on the expression according to standard laws of algebra which have been translated into a ...

This article describes a notation and a programming language for expressing, from within a LISP system, string transformations such as those performed in COMIT or SNOBOL. A simple transformation (or transformation rule) is specified by providing a ...

The purpose of this paper is to summarize significant characteristics and features of the FORMAC system. FORMAC (FORmula MAnipulation Compiler), an extension of IBM 7090/94 FORTRAN IV, permits algebraic manipulation of mathematical expressions. The ...

This paper describes the ALPAK system and the ALTRAN language for symbolic algebra on a digital computer. The ALPAK system is specifically designed for the efficient handling of large scale algebraic computations, and has been applied to a wide variety ...

PANON-1B is a Universal Programming Language for Symbol Manipulation, base on a particular extension of Markov Normal Algorithms. It consists essentially of a sequence of Labelled Structural Transformation Rules to be applied to an arbitrary argument ...

Designing a system for the analytic processing of mathematical functions around a central syntax processor and permitting the user to work within the context of mathematical syntax leads to a flexible system with a broad range of capabilities. One ...

A computer program is described which has been developed for obtaining approximate solutions to linear initial and boundary value problems involving differential equations. The program can be used for ordinary curve fitting as well. For each problem, ...

Poisson series of three variables are manageable symbolically through a set of formal subroutines written partially in the IBM 7094 machine language, but to be called in the FORTRAN language for use in FORTRAN programs. An effort has been made to supply ...

The General Recursive Algebra and Differentiation Assistant (GRAD Assistant) now under development, is a LISP-based system which can perform symbolic algebraic manipulation and differentiation. It is designed to produce a simplified expression of the ...

ALGEM is a package of subprograms written in SLIP, FORTRAN IV and MAP for the IBM 7094 II to manipulate algebraic expressions. Given an expression with multiple components connected by the arithmetic operations.+, -, *, /, ** (exponentiation), it is ...

The author presents an application of computers which is not restricted to a single problem area but is perhaps not general purpose enough to be considered a programming language, even a problem-oriented one. The application is a program to eliminate ...

The paper describes a program for on line manipulation and simplification of non-numerical algebra. The program is written in LISP 1,5 for use under the time-sharing system of the Q-32 computer at System Development Corporation in Santa Monica, ...

A notation for representing algebraic expressions to be manipulated by a SLIP type list processor is described in detail. This notation allows Fortran type algebraic expressions to be represented in the form of list structures which will be used in a ...

The purpose of this paper is to describe and illustrate a program, written for the IBM 7090, which defines a model for a finite collection of algebras for the computer. It is shown that the program contains a structure broad enough in scope to allow one ...

The manipulation of symbolic expressions, optimization of computer programs by a compiler, and the use of graphical or pictorial input-output have heretofore been considered to be unrelated problems. The Algorithmic Theory of Language provides a ...