Jacques Fleuriot – författare

Visar alla böcker från författaren Jacques Fleuriot. Handla med fri frakt och snabb leverans.

7 produkter

Kategorier

7 produkter

Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
AvJacques Fleuriot
E-bok
PDF, Engelska, 2012
1 427 kr
Läs direkt efter köp
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.
Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
AvJacques Fleuriot
Häftad, Engelska, 2012
1 110 kr
Skickas inom 10-15 vardagar
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.
Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
AvJacques Fleuriot
Inbunden, Engelska, 2001
1 110 kr
Skickas inom 10-15 vardagar
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.
Del 11110 - Lecture Notes in Computer Science
Artificial Intelligence and Symbolic Computation
13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings
AvJacques Fleuriot,Dongming Wangm. fl.
Häftad, Engelska, 2018
575 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, held in Suzhou, China, in September 2018. The 13 full papers presented together with 5 short and 2 invited papers were carefully reviewed and selected from 31 submissions. The AISC conference is an important forum when it comes to ensuring that ideas, theoretical insights, methods and results from traditional AI can be discussed and showcased, while fostering new links with other areas of AI such as probabilistic reasoning and deep learning.
Artificial Intelligence and Symbolic Computation
13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings
AvJacques Calmet,Dongming Wangm. fl.
E-bok
Engelska, 2018
732 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, held in Suzhou, China, in September 2018.
The 13 full papers presented together with 5 short and 2 invited papers were carefully reviewed and selected from 31 submissions. The AISC conference is an important forum when it comes to ensuring that ideas, theoretical insights, methods and results from traditional AI can be discussed and showcased, while fostering new links with other areas of AI such as probabilistic reasoning and deep learning.
Automated Deduction in Geometry
9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
AvTetsuo Ida,Jacques Fleuriot
Häftad, Engelska, 2013
530 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The 10 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. The conference represents a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction; the scope of the ADG 2012 moreover has been expanded to cover topics in dynamic geometry.
Automated Deduction in Geometry
9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
AvJacques Fleuriot,Tetsuo Ida
E-bok
PDF, Engelska, 2013
638 kr
Läs direkt efter köp
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The 10 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. The conference represents a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction; the scope of the ADG 2012 moreover has been expanded to cover topics in dynamic geometry.

Jacques Fleuriot – författare

Visar alla böcker från författaren Jacques Fleuriot. Handla med fri frakt och snabb leverans.

7 produkter

Kategorier

7 produkter

Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
AvJacques Fleuriot
E-bok
PDF, Engelska, 2012
1 427 kr
Läs direkt efter köp
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.
Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
AvJacques Fleuriot
Häftad, Engelska, 2012
1 110 kr
Skickas inom 10-15 vardagar
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.
Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
AvJacques Fleuriot
Inbunden, Engelska, 2001
1 110 kr
Skickas inom 10-15 vardagar
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.
Del 11110 - Lecture Notes in Computer Science
Artificial Intelligence and Symbolic Computation
13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings
AvJacques Fleuriot,Dongming Wangm. fl.
Häftad, Engelska, 2018
575 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, held in Suzhou, China, in September 2018. The 13 full papers presented together with 5 short and 2 invited papers were carefully reviewed and selected from 31 submissions. The AISC conference is an important forum when it comes to ensuring that ideas, theoretical insights, methods and results from traditional AI can be discussed and showcased, while fostering new links with other areas of AI such as probabilistic reasoning and deep learning.
Artificial Intelligence and Symbolic Computation
13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings
AvJacques Calmet,Dongming Wangm. fl.
E-bok
Engelska, 2018
732 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, held in Suzhou, China, in September 2018.
The 13 full papers presented together with 5 short and 2 invited papers were carefully reviewed and selected from 31 submissions. The AISC conference is an important forum when it comes to ensuring that ideas, theoretical insights, methods and results from traditional AI can be discussed and showcased, while fostering new links with other areas of AI such as probabilistic reasoning and deep learning.
Automated Deduction in Geometry
9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
AvTetsuo Ida,Jacques Fleuriot
Häftad, Engelska, 2013
530 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The 10 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. The conference represents a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction; the scope of the ADG 2012 moreover has been expanded to cover topics in dynamic geometry.
Automated Deduction in Geometry
9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
AvJacques Fleuriot,Tetsuo Ida
E-bok
PDF, Engelska, 2013
638 kr
Läs direkt efter köp
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The 10 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. The conference represents a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction; the scope of the ADG 2012 moreover has been expanded to cover topics in dynamic geometry.

Jacques Fleuriot – författare

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

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

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

Artificial Intelligence and Symbolic Computation

Artificial Intelligence and Symbolic Computation

Automated Deduction in Geometry

Automated Deduction in Geometry

Jacques Fleuriot – författare

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

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

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

Artificial Intelligence and Symbolic Computation

Artificial Intelligence and Symbolic Computation

Automated Deduction in Geometry

Automated Deduction in Geometry