skip to content

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

Presented by: 
Yves Bertot INRIA Sophia Antipolis
Tuesday 25th July 2017 - 11:00 to 12:00
INI Seminar Room 2
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.
The video for this talk should appear here if JavaScript is enabled.
If it doesn't, something may have gone wrong with our embedded player.
We'll get it fixed as soon as possible.
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons