Building blocks towards modeling the physical world: analysis, geometry, computer arithmetics

Add to your list(s) Download to your calendar using vCal

• Yves Bertot (INRIA Sophia Antipolis)
• Tuesday 25 July 2017, 11:00-12:00
• Seminar Room 2, Newton Institute.

If you have a question about this talk, please contact INI IT.

BPR - Big proof

In the long run, we should be able to formalize most of the design of cyber-physical systems and robots, to help detecting flaws at early stages of design. Among the many questions that arise, there is the question of going from an abstract design to a concrete implementation. I wish to describe two experiments where this path is taken.

•  A question going from mathematical analysis to computer arithmetic: computing record numbers of decimals of PI
•  A question going from geometry to combinatorial structures: describe triangulations and Voronoi Diagrams.

Part of this work was done in collaboration with Clément Sartori.

This talk is part of the Isaac Newton Institute Seminar Series series.

This talk is included in these lists:

• All CMS events
• Featured lists
• INI info aggregator
• Isaac Newton Institute Seminar Series
• School of Physical Sciences
• Seminar Room 2, Newton Institute
• bld31

Note that ex-directory lists are not shown.