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

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

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

Download to your calendar using vCal

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:

Note that ex-directory lists are not shown.

Other lists

Webinar & FW11, Computer Laboratory, William Gates Building. Webinar & FW11, Computer Laboratory, William Gates Building. Homerton Changemakers

Other talks

Spectral theory for Dirac operators with singular potentials Title to be confirmed Strange New Worlds What Can a Spectrum Learn? AI Perspectives on the Kohn Laplacian of Sphere Quotients Title to be confirmed Christmas Social Evening & Annual General Meeting
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity