Thirty Five Years of Automating Mathematics: 28 (Applied Logic Series, 28) - Image 1

£72.77

Springer Thirty Five Years of Automating Mathematics: 28 (Applied Logic Series, 28)

Name: Thirty Five Years of Automating Mathematics: 28 (Applied Logic Series, 28)
Brand: Springer
Price: 72.62 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 91 days • 91 data points

Historical

Generating forecast...

Price Distribution

Price distribution over 91 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £78 (63 days, 69.2%)

Price range: £73 - £78

Price levels: 2 different prices over 91 days

Description

THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN'S AUTOMATH N. G. de Bruijn was a well established mathematician before deciding in 1967 at the age of 49 to work on a new direction related to Automating Mathematics. By then, his contributions in mathematics were numerous and extremely influential. His book on advanced asymptotic methods, North Holland 1958, was a classic and was subsequently turned into a book in the well known Dover book series. His work on combinatorics yielded influential notions and theorems of which we mention the de Bruijn-sequences of 1946 and the de Bruijn-Erdos theorem of 1948. De Bruijn's contributions to mathematics also included his work on generalized function theory, analytic number theory, optimal control, quasicrystals, the mathematical analysis of games and much more. In the 1960s de Bruijn became fascinated by the new computer technology and as a result, decided to start the new AUTOMATH project where he could check, with the help of the computer, the correctness of books of mathematics. In each area that de Bruijn approached, he shed a new light and was known for his originality and for making deep intellectual contributions. And when it came to automating mathematics, he again did it his way and introduced the highly influential AUTOMATH. In the past decade he has also been working on theories of the human brain.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 9048164400
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Publication Date: 22 October 2010
Listed Since: 20 September 2010

Barcode

No barcode data available

Springer Thirty Five Years of Automating Mathematics: 28 (Applied Logic Series, 28)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Combinatorics, Automata and Number Theory: 135 (Encyclopedia of Mathematics and its Applications, Series Number 135)

Algebraic and Geometric Methods in Nonlinear Control Theory: 29 (Mathematics and Its Applications, 29)

Noncommutative Rational Series with Applications: 137 (Encyclopedia of Mathematics and its Applications, Series Number 137)

Restarting Automata: The Standard Type of Restarting Automaton and Its Variants (Theory and Applications of Computability)

Samson Abramsky on Logic and Structure in Computer Science and Beyond: 25 (Outstanding Contributions to Logic, 25)

Cellular Automata: A Parallel Model: 460 (Mathematics and Its Applications, 460)

Restarting Automata: Extensions and Generalizations (Theory and Applications of Computability)

Commutative Algebra: Constructive Methods: Finite Projective Modules: 20 (Algebra and Applications, 20)

Open Problems in Mathematics and Computational Science

A³N²M: Approximation, Applications, and Analysis of Nonlocal, Nonlinear Models: Proceedings of the 50th John H. Barrett Memorial Lectures: 165 (The ... in Mathematics and its Applications, 165)

Combinatorial Complexes: A Mathematical Theory of Algorithms: 2 (Mathematics and Its Applications, 2)

Computation, Proof, Machine: Mathematics Enters a New Age

Nonstandard Analysis for the Working Mathematician

Extremal Combinatorics: With Applications in Computer Science (Texts in Theoretical Computer Science. An EATCS Series)

Eisenstein Series and Applications: 258 (Progress in Mathematics, 258)

Models and Algorithms of Time-Dependent Scheduling (Monographs in Theoretical Computer Science. An EATCS Series)

Recent Findings in Boolean Techniques: Selected Papers from the 14th International Workshop on Boolean Problems

The Mathematical-Function Computation Handbook: Programming Using the MathCW Portable Software Library

Turing’s Revolution: The Impact of His Ideas about Computability

Application-Specific Arithmetic: Computing Just Right for the Reconfigurable Computer and the Dark Silicon Era

Handbook of Computability Theory (Volume 140) (Studies in Logic and the Foundations of Mathematics, Volume 140)

Mathematical Topics on Representations of Ordered Structures and Utility Theory: Essays in Honor of Professor Ghanshyam B. Mehta: 263 (Studies in Systems, Decision and Control, 263)

Analysis of Operators on Function Spaces: The Serguei Shimorin Memorial Volume (Trends in Mathematics)

Introduction to Number Theory