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 : EnglishView all editions and formats
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://id.loc.gov/vocabulary/countries/vau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2243455840#Place/ft_belvoir> ; # Ft. Belvoir
   schema:about <http://experiment.worldcat.org/entity/work/data/2243455840#Topic/sequences_mathematics> ; # Sequences(mathematics)
   schema:about <http://experiment.worldcat.org/entity/work/data/2243455840#Topic/computer_programming_and_software> ; # Computer Programming and Software
   schema:about <http://experiment.worldcat.org/entity/work/data/2243455840#Topic/transformations_mathematics> ; # Transformations(mathematics)
   schema:about <http://experiment.worldcat.org/entity/work/data/2243455840#Topic/metamathematics> ; # Metamathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/2243455840#Topic/computer_hardware> ; # Computer Hardware
   schema:about <http://experiment.worldcat.org/entity/work/data/2243455840#Topic/theoretical_mathematics> ; # Theoretical Mathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/2243455840#Topic/adaptive_systems> ; # Adaptive systems
   schema:about <http://experiment.worldcat.org/entity/work/data/2243455840#Topic/inequalities> ; # Inequalities
   schema:about <http://experiment.worldcat.org/entity/work/data/2243455840#Topic/iterations> ; # Iterations
   schema:about <http://experiment.worldcat.org/entity/work/data/2243455840#Topic/differential_equations> ; # Differential equations
   schema:about <http://experiment.worldcat.org/entity/work/data/2243455840#Topic/algebra> ; # Algebra
   schema:about <http://experiment.worldcat.org/entity/work/data/2243455840#Topic/computers> ; # Computers
   schema:about <http://experiment.worldcat.org/entity/work/data/2243455840#Topic/problem_solving> ; # Problem solving
   schema:about <http://experiment.worldcat.org/entity/work/data/2243455840#Topic/theses> ; # Theses
   schema:about <http://experiment.worldcat.org/entity/work/data/2243455840#Topic/algorithms> ; # Algorithms
   schema:about <http://experiment.worldcat.org/entity/work/data/2243455840#Topic/taylors_series> ; # Taylors series
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/2243455840#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/2243455840#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/2243455840> ;
   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/2243455840#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/2243455840#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/2243455840#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/2243455840#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/2243455840#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/2243455840#Topic/differential_equations> # Differential equations
    a schema:Intangible ;
   schema:name "Differential equations"@en ;
    .

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

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

<http://experiment.worldcat.org/entity/work/data/2243455840#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.