Thumbnail
Access Restriction
Subscribed

Author Blum, E. K.
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Copyright Year ©1966
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Abstract A formal system is presented for the differentiation of mathematical formulas which can be implemented on a digital computer. The system departs in concept from others in that the programming language is nonprocedural, permitting the statement of the problem for the machine to more closely resemble the corresponding statement for the human. Although limited ostensibly to the narrow and well-defined problem of mechanizing differentiation, many of the ideas and techniques presented can be applied in the broader context of the deeper problem of mechanizing mathematics. They should also be useful in programming theory, where the fundamental problem continues to be the narrowing of the gap between a natural language statement of a problem and a formal language statement acceptable to a computer.
ISSN 00045411
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 1966-10-01
Publisher Place New York
e-ISSN 1557735X
Journal Journal of the ACM (JACM)
Volume Number 13
Issue Number 4
Page Count 10
Starting Page 495
Ending Page 504


Open content in new tab

   Open content in new tab
Source: ACM Digital Library