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:   Print 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 pages

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


Primary Entity

<http://www.worldcat.org/oclc/227467474> # CONTRIBUTIONS TO MECHANICAL MATHEMATICS.
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "227467474" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/137192080#Place/ft_belvoir> ; # Ft. Belvoir
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/vau> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/137192080#Topic/sequences_mathematics> ; # Sequences(mathematics)
    schema:about <http://experiment.worldcat.org/entity/work/data/137192080#Topic/inequalities> ; # Inequalities
    schema:about <http://experiment.worldcat.org/entity/work/data/137192080#Topic/computer_programming_and_software> ; # Computer Programming and Software
    schema:about <http://experiment.worldcat.org/entity/work/data/137192080#Topic/algorithms> ; # Algorithms
    schema:about <http://experiment.worldcat.org/entity/work/data/137192080#Topic/iterations> ; # Iterations
    schema:about <http://experiment.worldcat.org/entity/work/data/137192080#Topic/adaptive_systems> ; # Adaptive systems
    schema:about <http://experiment.worldcat.org/entity/work/data/137192080#Topic/computer_hardware> ; # Computer Hardware
    schema:about <http://experiment.worldcat.org/entity/work/data/137192080#Topic/taylors_series> ; # Taylors series
    schema:about <http://experiment.worldcat.org/entity/work/data/137192080#Topic/transformations_mathematics> ; # Transformations(mathematics)
    schema:about <http://experiment.worldcat.org/entity/work/data/137192080#Topic/computers> ; # Computers
    schema:about <http://experiment.worldcat.org/entity/work/data/137192080#Topic/theses> ; # Theses
    schema:about <http://experiment.worldcat.org/entity/work/data/137192080#Topic/algebra> ; # Algebra
    schema:about <http://experiment.worldcat.org/entity/work/data/137192080#Topic/differential_equations> ; # Differential equations
    schema:about <http://experiment.worldcat.org/entity/work/data/137192080#Topic/metamathematics> ; # Metamathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/137192080#Topic/problem_solving> ; # Problem solving
    schema:about <http://experiment.worldcat.org/entity/work/data/137192080#Topic/theoretical_mathematics> ; # Theoretical Mathematics
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/137192080#Organization/carnegie_mellon_univ_pittsburgh_pa_dept_of_computer_science> ; # CARNEGIE-MELLON UNIV PITTSBURGH PA Dept. of COMPUTER SCIENCE.
    schema:contributor <http://experiment.worldcat.org/entity/work/data/137192080#Person/iturriaga_renato> ; # Renato Iturriaga
    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:productID "227467474" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/227467474#PublicationEvent/ft_belvoirdefense_technical_information_center27_may_1967> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/137192080#Agent/defense_technical_information_center> ; # Defense Technical Information Center
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/227467474> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/137192080#Agent/defense_technical_information_center> # Defense Technical Information Center
    a bgn:Agent ;
    schema:name "Defense Technical Information Center" ;
    .

<http://experiment.worldcat.org/entity/work/data/137192080#Organization/carnegie_mellon_univ_pittsburgh_pa_dept_of_computer_science> # CARNEGIE-MELLON UNIV PITTSBURGH PA Dept. of COMPUTER SCIENCE.
    a schema:Organization ;
    schema:name "CARNEGIE-MELLON UNIV PITTSBURGH PA Dept. of COMPUTER SCIENCE." ;
    .

<http://experiment.worldcat.org/entity/work/data/137192080#Person/iturriaga_renato> # Renato Iturriaga
    a schema:Person ;
    schema:familyName "Iturriaga" ;
    schema:givenName "Renato" ;
    schema:name "Renato Iturriaga" ;
    .

<http://experiment.worldcat.org/entity/work/data/137192080#Topic/computer_hardware> # Computer Hardware
    a schema:Intangible ;
    schema:name "Computer Hardware"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/137192080#Topic/computer_programming_and_software> # Computer Programming and Software
    a schema:Intangible ;
    schema:name "Computer Programming and Software"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/137192080#Topic/differential_equations> # Differential equations
    a schema:Intangible ;
    schema:name "Differential equations"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/137192080#Topic/sequences_mathematics> # Sequences(mathematics)
    a schema:Intangible ;
    schema:name "Sequences(mathematics)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/137192080#Topic/theoretical_mathematics> # Theoretical Mathematics
    a schema:Intangible ;
    schema:name "Theoretical Mathematics"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/137192080#Topic/transformations_mathematics> # Transformations(mathematics)
    a schema:Intangible ;
    schema:name "Transformations(mathematics)"@en ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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