research-article

Free access

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

Author:

Carl EngelmanAuthors Info & Claims

AFIPS '65 (Fall, part II): Proceedings of the November 30--December 1, 1965, fall joint computer conference, part II: computers: their impact on society

Pages 117 - 126

https://doi.org/10.1145/1464013.1464034

Published: 30 November 1965 Publication History

Abstract

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 or 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.

References

[1]

J. H. Laning and N. Zierler, "A Program for Translation of Mathematical Equations for Whirlwind I," Instrumentation Laboratory, M.I.T. Engineering Memorandum E-364 (Jan. 1954).

[2]

International Business Macines Corp. Reference Manual 709-7090 FORTRAN Programming System, Prentice-Hall, Englewood Cliffs, N.J. (1958).

[3]

W. S. Brown, "The ALPAK System for Nonnumerical Algebra on a Digital Computer---I," Bell System Tech. J. (Sept. 1963).

[4]

W. S. Brown, J. P. Hyde, and B. A. Tague, "The ALPAK System for Nonnumerical Algebra on a Digital Computer---II, ibid (Mar. 1963).

[5]

J. P. Hyde, The ALPAK System for Nonnumerical Algebra on a Digital Computer---III, ibid (July 1964).

[6]

B. D. Fried, "STL On-Line Computer, Volume I---General Description," Space Technology Laboratories, 9824-6001-RU-000, Redondo Beach, Calif. (Dec. 28, 1964).

[7]

J. McCarty, "Recursive Functions of Symbolic Expressions and Their Computation by Machine," Communications of the ACM (Apr. 1960).

Digital Library

[8]

"LISP 1.5 Programmer's Manual," M.I.T. Computation Center and Research Laboratory of Electronics (Aug. 1962).

Digital Library

[9]

T. Hart, "Simplify, Artificial Intelligence Project," M.I.T. Computation Center and Research Laboratory of Electronics, Memo 27.

[10]

Dean Woolridge, Jr., "An Algebraic Simplify Program in LISP," Stanford Artificial Intelligence Project, Memo No. 11 (Dec. 27, 1963).

[11]

William A. Martin, "Hash-Coding Functions of a Complex Variable," M.I.T. Project MAC Memorandum MAC-M-165, Artificial Intelligence Project, Memo 70 (June 25, 1964).

[12]

K. Maling, "The LISP Differentiation Demonstration Program," Artificial Intelligence Project Research Laboratory of Electronics and M.I.T. Computation Center, Memo 10.

Digital Library

[13]

James Robert Slagle, "A Heuristic Program that Solves Integration Problems in Freshman Calculus, Symbolic Automatic Integrator (SAINT)," Ph.D. thesis, Mathematics Department, Massachusetts Institute of Technology, 1961.

[14]

William A. Martin, "Syntax and Display of Mathematical Expressions," M.I.T. Project MAC, Memorandum MAC-M-257, Artificial Intelligence Project, Memo 85 (July 29, 1965).

Digital Library

[15]

Lewis C. Clapp and Ricard Y. Kain, "A Computer Aid for Symbolic Mathematics", Proceedings of the Fall Joint Computer Conference, Spartan Books, Baltimore, 1963.

Digital Library

[16]

J. E. Sammet and E. R. Bond, "Introduction to FORMAC," IEEE Transactions on Electronic Computers (Aug. 1964).

[17]

A. J. Perlis and R. Iturriaga, "An Extension to ALGOL for Manipulating Formulae," Communications of the ACM, (Feb. 1964).

Digital Library

[18]

Aa nlJ. Perlis, Renato Iturriaga, and Tomas A. Standis, "A Preliminary Sketch of Formula ALGOL," Internal Report, Carnegie Institute of Technology, Pittsburgh (Apr. 9, 1965).

[19]

R. W. Mitcell, "LISP 2 Specifications Proposal," Stanford Artificial Intelligence Project, Memo No. 21 (Aug. 19, 1964).

[20]

P. Hecel, forthcoming MITRE Aechnical Report (untitled).

[21]

M. Manove, "Integrate: A Program for the Machine Computation of the Indefinite Integral of Rational Functions," The MITRE Corporation, TM-04204 (Apr. 22, 1965).

[22]

G. H. Hardy, The Integration of Functions of a Single Variable, Cambridge University Press (1958).

Cited By

Eldh S(2022)On Technical Debt in Software Testing - Observations from IndustryLeveraging Applications of Formal Methods, Verification and Validation. Software Engineering10.1007/978-3-031-19756-7_17(301-323)Online publication date: 22-Oct-2022
https://dl.acm.org/doi/10.1007/978-3-031-19756-7_17
Safarkoopayeh BAbbasi AShayesteh A(2021)Two new metal-organic frameworks: Synthesis, characterization, gas adsorption and simulationInorganic Chemistry Communications10.1016/j.inoche.2021.108502127(108502)Online publication date: May-2021
https://doi.org/10.1016/j.inoche.2021.108502
Sammet J(1993)The beginning and development of FORMAC (FORmula MAnipulation Compiler)ACM SIGPLAN Notices10.1145/155360.15537228:3(209-230)Online publication date: 1-Mar-1993
https://dl.acm.org/doi/10.1145/155360.155372
Show More Cited By

Recommendations

MATHLAB: a program for on-line machine assistance in symbolic computations
AFIPS '65 (Fall, part I): Proceedings of the November 30--December 1, 1965, fall joint computer conference, part I

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 ...
The legacy of MATHLAB 68
SYMSAC '71: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation

MATHLAB 68 is an on-line system providing machine aid for the mechanical symbolic processes encountered in analysis. It is capable of performing, automatically and symbolically, such common procedures as differentiation, polynomial factorization, ...
MATHLAB tutorial
ACM '75: Proceedings of the 1975 annual conference

MATHLAB is an on-line system, publicly available under the DECsystem-10 Tops-10 and TENEX operating systems, which provides computer aid for the mechanical symbolic processes encountered in analysis. It is capable of performing, automatically and ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

AFIPS '65 (Fall, part II): Proceedings of the November 30--December 1, 1965, fall joint computer conference, part II: computers: their impact on society

November 1965

199 pages

ISBN:9781450378864

DOI:10.1145/1464013

Conference Chair:
Robert W. Rector

Copyright © 1965 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

AFIPS: American Federation of Information Processing Societies

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 30 November 1965

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
344
Total Downloads

Downloads (Last 12 months)119
Downloads (Last 6 weeks)40

Reflects downloads up to 29 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Eldh S(2022)On Technical Debt in Software Testing - Observations from IndustryLeveraging Applications of Formal Methods, Verification and Validation. Software Engineering10.1007/978-3-031-19756-7_17(301-323)Online publication date: 22-Oct-2022
https://dl.acm.org/doi/10.1007/978-3-031-19756-7_17
Safarkoopayeh BAbbasi AShayesteh A(2021)Two new metal-organic frameworks: Synthesis, characterization, gas adsorption and simulationInorganic Chemistry Communications10.1016/j.inoche.2021.108502127(108502)Online publication date: May-2021
https://doi.org/10.1016/j.inoche.2021.108502
Sammet J(1993)The beginning and development of FORMAC (FORmula MAnipulation Compiler)ACM SIGPLAN Notices10.1145/155360.15537228:3(209-230)Online publication date: 1-Mar-1993
https://dl.acm.org/doi/10.1145/155360.155372
Millen J(1967)CHARYBDISSymposium on Interactive Systems for Experimental Applied Mathematics: Proceedings of the Association for Computing Machinery Inc. Symposium10.1145/2402536.2402550(155-163)Online publication date: 1-Aug-1967
https://dl.acm.org/doi/10.1145/2402536.2402550

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Figures

Tables

Media

View Table of Conten