COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Building blocks towards modeling the physical world: analysis, geometry, computer arithmetics

## Building blocks towards modeling the physical world: analysis, geometry, computer arithmeticsAdd 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 info@newton.ac.uk. 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
Note that ex-directory lists are not shown. |
## Other listsFoster Talks These Young Minds Maths Computing and IT Events## Other talksTitle: The Art of Psychosis St Catharine’s Political Economy Seminar – 'The Political Economy of Brexit', Michael Kitson Life 3.0: Being Human in the Age of Artificial Intelligence Cambridge-Lausanne Workshop 2018 - Day 2 Visual cognition tba |