论文信息 - MATHLAB: a program for on-line machine assistance in symbolic computations

MATHLAB: a program for on-line machine assistance in symbolic computations

A mathematical scientist experiments. Today, his test tube and his breadboard are blackboard and paper. He may, it is true, have available a computer, but its role is numerical and its results are delivered not today, not tomorrow, but the day after the final programming bug is corrected. The computer is not present during the most creative phases of the scientist's labor. The purpose of MATHLAB is to provide the scientist with computational aid of a much more intimate and liberating nature.

C. Engelman

[1] William Martin. Syntax and Display of Mathematical Expressions , 1965 .

[2] Alan J. Perlis,et al. An extension to ALGOL for manipulating formulae , 1964, CACM.

[3] William S. Brown,et al. The alpak system for nonnumerical algebra on a digital computer , 1963 .

[4] Alan J. Perlis,et al. A PRELIMINARY SKETCH OF FORMULA ALGOL. , 1965 .

[5] John McCarthy,et al. Recursive functions of symbolic expressions and their computation by machine, Part I , 1960, Commun. ACM.

[6] K. Maling. The LISP Differentiation Demonstration Program , 1959 .

[7] J. P. Hyde. The Alpak system for nonnumerical algebra on a digital computer — III: Systems of linear equations and a class of side relations , 1964 .

[8] J. E. Sammet,et al. Introduction to FORMAC , 1964, IEEE Trans. Electron. Comput..

[9] Richard Y. Kain,et al. A computer aid for symbolic mathematics , 1963, AFIPS '63 (Fall).

[10] James R. Slagle,et al. A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus , 1963, JACM.

[11] G. Hardy. The Integration of Functions of a Single Variable , Nature.

[12] J. Hyde,et al. The Alpak system for nonnumerical algebra on a digital computer — II: Rational functions of several variables and truncated power series with rational-function coefficients , 1964 .

[13] William Martin,et al. Hash-Coding Functions of a Complex Variable , 1964 .

[14] John McCarthy,et al. LISP 1.5 Programmer's Manual , 1962 .