Search
Now showing items 21-29 of 29
CHAR PLOT
(1966-10-01)
CHAR PLOT is a routine which enables one to use the Calcomp plotter as an output typewriter. This program is stored as CHPLOT BIN [English CHAR PLOT]. In use a code, representing a character of command as defined in Appendix ...
A Step by Step Computer Solution of Three Problems in Non-Numerical Analysis
(1966-07-01)
This memo describes the step by step solution of three problems from different fields of applied mathematics. These problems are solved by typing a series of computer commands for the manipulation of symbolic mathematical ...
CONVERT
(1966-06-01)
A programming language is described which is applicable to problems conveniently described by transformation rules. By this we mean that patterns may be prescribed, each being associated with a skeleton, so that a series ...
Hardware Memo - Input Multiplexer Status
(1966-10-01)
Note: Computer control of Input Multiplexer and Output Sample and Hold is available when clock and test switches on the I/O box are in "Computer Input" and "Computer Output" positions, respectively. Manual operation of the ...
A Description of the CNTOUR Program
(1966-11-01)
The CNTOUR program plots an intensity relief map of an image which is read from the vidisector camera (TV-B). It may be used as a general purpose aiming, monitoring and focusing program, especially for high-contrast images, ...
Program Memo about EYE
(1966-12-01)
EYE is a program (on the Vision System tape with the name EYE BALL) which displays on the 340 field of view of the vidisector. The program is controlled by the light pen, which selects various modes and options; and by the ...
PILOT: A Step Toward Man-Computer Symbiosis
(1966-09-01)
PILOT is a programming system constructed in LISP. It is designed to facilitate the development of programs by easing the familiar sequence: write some code, run the program, make some changes, write some more code, ...
ADEPT: A Heuristic Program for Proving Theorems of Group Theory
(1966-09-01)
A computer program, named ADEPT (A Distinctly Empirical Prover of Theorems), has been written which proves theorems taken from the abstract theory of groups. Its operation is basically heuristic, incorporating many ...
Properties of expanding universes
(University of CambridgeFaculty of Mathematics. Applied Mathematics and Theoretical Physics, 1966-03-15)
Some implications and consequences of the expansion of the universe are examined. In Chapter 1 it is shown that this expansion creates grave difficulties for the Hoyle-Narlikar theory of gravitation. Chapter 2 deals with ...