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 listsDAMTP Fluids Talks Friends of the Sedgwick Museum Biodiversity and genomics## Other talksOncological imaging: introduction and non-radionuclide techniques Maximising the number of induced cycles Measuring landscape resilience: tephra, soil and spatial patterns Machine Learning for Sounds Modelling Volatility Surfaces - Dimension Reduction Techniques to Extract Structure from Option Price Data How Democracy Ends: Thinking the Unthinkable |