skip to content
CONTRIBUTIONS TO MECHANICAL MATHEMATICS. Preview this item
ClosePreview this item
Checking...

CONTRIBUTIONS TO MECHANICAL MATHEMATICS.

Author: Renato Iturriaga; CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE.
Publisher: Ft. Belvoir Defense Technical Information Center 27 MAY 1967.
Edition/Format:   Book : English
Database:WorldCat
Summary:
We describe the experience relating to the design of a programming language, Formula Algol, which is suitable for describing algorithms that mechanize some mathematical tasks. We develop a theory that yields results from which we can prove the termination of some Markov algorithms that perform algebraic transformations. Using these results, we also can characterize the classes of formulae that constitute the input  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Renato Iturriaga; CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE.
OCLC Number: 227467474
Description: 221 p.

Abstract:

We describe the experience relating to the design of a programming language, Formula Algol, which is suitable for describing algorithms that mechanize some mathematical tasks. We develop a theory that yields results from which we can prove the termination of some Markov algorithms that perform algebraic transformations. Using these results, we also can characterize the classes of formulae that constitute the input and output for such algorithms. Next, we discuss in some detail the various problems related to the mechanization of limiting processes and inequalities. Twenty-five appendices--with running programs--illustrate the various points made during our presentation. (Author).

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/227467474>
library:oclcnum"227467474"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/227467474>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
schema:datePublished"27 MAY 1967"
schema:datePublished"1967"
schema:description"We describe the experience relating to the design of a programming language, Formula Algol, which is suitable for describing algorithms that mechanize some mathematical tasks. We develop a theory that yields results from which we can prove the termination of some Markov algorithms that perform algebraic transformations. Using these results, we also can characterize the classes of formulae that constitute the input and output for such algorithms. Next, we discuss in some detail the various problems related to the mechanization of limiting processes and inequalities. Twenty-five appendices--with running programs--illustrate the various points made during our presentation. (Author)."@en
schema:exampleOfWork<http://worldcat.org/entity/work/id/137192080>
schema:inLanguage"en"
schema:name"CONTRIBUTIONS TO MECHANICAL MATHEMATICS."@en
schema:numberOfPages"221"
schema:publisher
schema:url

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.