Simulation for the Environment: Reliable and Efficient Numerical Algorithms

- English
- Français

HOME
TEAM MEMBERS
RESEARCH
PARTNERS
- Academic
- Industrial
NEWS
JOB OFFERS
CONTACT
Search for:

Home News Internal Seminar (Français) Computer-assisted proofs for nonlinear equations: how to turn a numerical simulation into a theorem.

(Français) Computer-assisted proofs for nonlinear equations: how to turn a numerical simulation into a theorem.

Zhaonan DongInternal Seminar

Sorry, this entry is only available in French.

Bookmark.

Computer-assisted proofs for nonlinear equations: how to turn a numerical simulation into a theorem.

A Volume-Preserving Reference Map Method for the Level Set Representation

Comments are closed.

Links
Seminars
Various
Recent Posts

Search for:

SERENA 2021

HOME
TEAM MEMBERS
RESEARCH
PARTNERS
NEWS
JOB OFFERS
CONTACT

We are using cookies to give you the best experience on our website.

You can find out more about which cookies we are using or switch them off in .

Privacy Overview

This website uses cookies so that we can provide you with the best user experience possible. Cookie information is stored in your browser and performs functions such as recognising you when you return to our website and helping our team to understand which sections of the website you find most interesting and useful.

Strictly Necessary Cookies

Strictly Necessary Cookie should be enabled at all times so that we can save your preferences for cookie settings.

Enable or Disable Cookies

If you disable this cookie, we will not be able to save your preferences. This means that every time you visit this website you will need to enable or disable cookies again.

(Français) Computer-assisted proofs for nonlinear equations: how to turn a numerical simulation into a theorem.

Links

Seminars

Various

Recent Posts