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 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. |
## Other listsMuseum of Archaeology & Anthropology Contemporary Political Theory CISA C.P. Snow Lectures Research Seminars - Department of Biochemistry Leadership in the Emerging Markets## Other talksArt speak Research frontiers and new therapeutic strategies in pancreatic cancer Planck Stars: theory and observations Primate tourism: opportunities and challenges CANCELLED DUE TO STRIKE ACTION Positive definite kernels for deterministic and stochastic approximations of (invariant) functions |