phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł ORLEN Paczka 10.99 zł Poczta Polska 18.99 zł
phone Kontakt phoneJak kupować

Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia

Język AngielskiAngielski
Książka Twarda
Książka Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia Jacques Fleuriot
Kod Libristo: 05260523
Wydawnictwo Springer London Ltd, czerwiec 2001
Sir Isaac Newton's philosophi Naturalis Principia Mathematica'(the Principia) contains a prose-style... Cały opis
? points 304 b
516.18 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Kidnapped By A Sex Maniac Christopher Pierce / Miękka
common.buy 65.61 zł
Bergsonism Deleuze / Miękka
common.buy 95.13 zł
Byzantine Trade, 4th-12th Centuries / Twarda
common.buy 859.45 zł
International Directory of Company Histories Tina Grant / Twarda
common.buy 2 434.55 zł
biopolitica pela publicidade de alimentos funcionais Ideylson dos Anjos / Miękka
common.buy 237.94 zł
A Restless Wind Siara Brandt / Miękka
common.buy 62.32 zł
אַן ינלענדיש ווויאַגע / Miękka
common.buy 56.54 zł
Down by the Riverside / Miękka
common.buy 179.30 zł
Cybercrime / Miękka
common.buy 173.72 zł
Morality, Mortality: Volume I: Death and Whom to Save From It Frances Myrna Kamm / Miękka
common.buy 546.00 zł
Complete Your Dissertation or Thesis in Two Semesters or Less Evelyn Hunt Ogden / Miękka
common.buy 88.75 zł
Breastfeeding Your Baby Jane Moody / Miękka
common.buy 100.91 zł
In the Public Domain Lori Cox Han / Miękka
common.buy 186.28 zł
Hobbit & The Lord of the Rings Ph.D. Gene B. Hardy / MP3
common.buy 124.55 zł
Redemption of Time Baoshu / MP3
common.buy 115.87 zł
Anatomy of Terror Andrew Sinclair / Miękka
common.buy 134.22 zł

Sir Isaac Newton's philosophi Naturalis Principia Mathematica'(the Principia) contains a prose-style mixture of geometric and limit reasoning that has often been viewed as logically vague.§In A Combination of Geometry Theorem Proving and Nonstandard Analysis, Jacques Fleuriot presents a formalization of Lemmas and Propositions from the Principia using a combination of methods from geometry and nonstandard analysis. The mechanization of the procedures, which respects much of Newton's original reasoning, is developed within the theorem prover Isabelle. The application of this framework to the mechanization of elementary real analysis using nonstandard techniques is also discussed.

Informacje o książce

Pełna nazwa Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
Autor Jacques Fleuriot
Język Angielski
Oprawa Książka - Twarda
Data wydania 2001
Liczba stron 140
EAN 9781852334666
ISBN 1852334665
Kod Libristo 05260523
Wydawnictwo Springer London Ltd
Waga 890
Wymiary 155 x 235 x 13

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń > Matematyka w informatyce
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Systemy ekspertowe / Systemy oparte na wiedzy
Matematyka i nauki ścisłe > Matematyka > Geometria
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo