A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia - Distinguished Dissertations - Jacques Fleuriot - Livros - Springer London Ltd - 9781852334666 - 8 de junho de 2001
Caso a capa e o título não sejam correspondentes, considere o título como correto

A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia - Distinguished Dissertations 2001 edition

Jacques Fleuriot

Preço
Fr. 106,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 16 - 25 de jun

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Também disponível como:

A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia - Distinguished Dissertations 2001 edition

Demonstrations of Newton's theorems are usually presented using calculus. This text describes the mechanization of Lemmas and Propositions from the "Principia", using formal tools developed in the generic theorem prover Isabelle.

140 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 8 de junho de 2001
ISBN13 9781852334666
Editoras Springer London Ltd
Páginas 140
Dimensões 155 × 235 × 11 mm   ·   385 g
Idioma English  

Ver tudo de Jacques Fleuriot ( por exemplo Paperback Book e Hardcover Book )