Luc Jaulin, Benoît Desrochers, Simon Rohou, Jordan Ninin

- Introduction to IAMOOC
- Dates

- Post your work
- Files
- Lessons et vidéos
- List of students who got the diploma

Interval analysis concerns the methods which computes with intervals in place of real numbers.

There is a large number of applications in Control, Optimization, Robotics, Chemistry.

The registration is free.

Interval Computation can deal with a huge class of problems involving equations or inequalities which can be non-smooth, non-convex, or with different kind of variables.

Interval tools are easy to understand. They only require basic knowledge on mathematics and computer sciences.

The results provided by interval methods are guaranteed, which means that from correct assumptions.

Interval Computations will provide correct conclusions. The results are guaranteed in any case. As a consequence, Interval Computations can be used to prove mathematical theorems. For instance, W. Tucker has proven the conjecture of Lorenz and Thomas Hales the conjecture of Kepler, both using Interval Computations.

To register fill the form :

The registration is not mandatory to follow the MOOC and to see the videos.
But it is needed to have to get the diploma.

You will have to install Python 3 in your machine (see below).

The participants who got enough points will receive a diploma corresponding this MOOC.

This diploma can be used by students to obtain the corresponding ECTS from their PhD courses, or to comply with any other requests by their home university.

If needed by your doctoral school, I can also provide a 20 minutes Skype exam with a mark, once the MOOC is finished.

An example of the diploma you can obtain :

, 12:00. Chapter 1: Interval Computation

, 12:00. Chapter 2: Set inversion

, 12:00. Chapter 3: Contractors

, 12:00. Chapter 4: Application to robot localization

, 12:00. All exercises should be posted.

, 12:00. Diplomas are sent by email

For each lesson, you should send your solution by email to jaulin.iamooc@gmail.com

For the exercises that require the execution of a program,
You should provide the Python (or other) code.

You also have to send in your email a video capture
with your running program. A video should last for less than 1 minute, if possible.

A possibility is to open a youtube channel so that you can send be the associated link in the email

For the video capture, you may use 'SimpleScreenRecorder' for Linux or 'CamStudio' for Windows.

For some exercises, the solution corresponds to text and equations and no program is required.
In such a case, you should post a scan of your paper sheet,
(taken with you phone for instance) or any pdf file.

A small manual on PyIbex and Vibes:

A zip file with the slides of the lessons :

from pyIbex import * should be replaced by from codac import *

Moreover, to start Vibes from your terminal, write Vibes-viewer instead of vibes.

Some other modifications are described in the codac documentation, (in magenta)

Exercise 0.

You install all what you need in your computer. You have to send by email an image to jaulin.iamooc@gmail.com with a subpaving (see below). The role of the exercise is to show that all is well installed and that you can start the mooc next week.

For the installation, you have two possibilities : (1) Install all in your computer (2) Use Python online.

You need Python 3, codac and Vibes for graphics.

For the install of codac and Vibes, see:

Test the example given below :

from codac import * from vibes import vibes f = Function('x', 'y', '1+cos(x)+sin(y)^2') S = SepFwdBwd(f, [1,2]) X0 = IntervalVector(2,[-2,2]) vibes.beginDrawing() SIVIA(X0, S, 0.01) vibes.axisAuto() vibes.setFigureSize(500,500)

We use replit.com. Go to the project

Run to check the program is fine

Fork (for this, you will have to create an account).

Modify the program as you want. To post your program, just send the link.

AUBERTOT Quentin

BARONI Kévin

BARONNIER Romain

BASSET Pierre

BEAUDOIN Maxime

BERNARDES Evandro

BOENNING Hannah

BOURGOIS Auguste

CHANU Simon

COTTEN Guillaume

DALIN Eloïse

EL ABDALAOUI Zacharie

ENNOUHI M'hamed Fadil

FONTANA Werner

GALLAND Alexandre

GY Morgan

KARKOUB El Wali

LE ROCH Gwenn

LEGAY Kevin

LI Ang

LIU Wanxin

MARTIN Pierre

MEHDI Nima

MILHEM Rémi

NEAU Guillaume

PERTIERRE DO MONTE

PLANCHOT Antoine

RAYNEAU Vincent

SOLA Yoann

SOULIE Camille

SUN Tithnara

TANGUY Florian

TERTRAIS Donatien

THIBAULT Adrien

TOMEZACH Julien

VADAINE Hugo

WELTE Anthony

ZHU Lei

ZIANE Mohamed Mahrez

BEN SAID Hela

BHIRI Bessem

BOUKALYassine

El JAWAD Alaa

MANSOUR Fatma

MESLEM Nacim

ORJUELA Rodolfo

RENAUDEAU Brice

ROUSSEAU Gauthier

TANGUY Noel

VANDERMOTTE Sylvain

Alain Acevedo

Yacine Benhnini

Justine Bonnot

François C.

Antoine C.

Jean-Marie CODOL

Julien Damers

Hani Dbouk

Lionel Génevé

Gabriel GODEAU

Jean-Philippe Gras

Yoann Guguen

Fabrice Lallement

Philippe Lambert

Julien Langlois

Francois Leborne

Nisha Mahato

Fatma Mansour

Mohamad Mezher

Yasmine Najar

Mohamed Outahar

Clément Rolinat

Joris Tillet

Sophie Tuton

Nicolas Veylon

Raphael Voges

Jean Walter

Mohamed Ouadrhiri

Maha Abouzai

Yves Le Palud

Emilien Fournier

Philipe Miranda de Moura

Julien Brisset

Noureddine Bensafi

Elias Aoun Durand

Denis Bacchus

Vanessa Baray

Philippe Chapuis

Alexandre Chenu

Evann Clavier

Maria Luiza Costa Vianna

Charles Coquet

georges daher

Sarah Delmas

Teva Temangeot

Maxime Do Rosario

Romain Dussot

Pierre Filiol

Mohamed Fnadi

Quentin François

Charlie Goutorbe

Alexandre Houdeville

Juliette Brugier

Jacques Kadima

Olivier Laurendin

Lucie Lefevre

Elodie Noëlé

Fabrice Poirier

Abbas Ramadan

Louis Valéry

Mihály Zsolt

Hyacinthe Andrieux

Alexandre Argento

Aurélien Grenier

Kevin Bedin

Matthieu Bouveron

Philippe Capdepuy

Quentin Cardinal

Cyril Cotsaftis

Alexandre Courjaud

Nathan Fourniol

Jonathan Gomis

Corentin Jégat

Jean-Luc Kersulec

Arnaud Klipfel

Erwann Landais

Louis Lesieur

Luc Longin

Pierre-Yves Mauduit

John Nikas

Junaid Rasheed

Driss Tayebi

Suman Maiti

Florian Gaurier

Ayman Al-Khazraji

Victoria Alonso

Agathe Archet

Colin Baumgard

Jules Berhault

Quentin Brateau

Elliot Brendel

Jose Eduardo Carvajal Rubio

Mamadou Dembélé

Subham Dey

Aaronkumar Ehambram

Imad El Bouazzaoui

Alexandre Evain

Sylvain Guénon

Hamid Hacène

Maha Halimi

Paul-Antoine Le Tolguenec

Corentin Lemoine

Antonin Lizé

Badr Moutalib

Gwendal Priser

Alexander Radaev

Mohamed Sadiq Ikbal

Robin Sanchez

Bertrand Turk

Nicolas Torres Alberto

Yann Musellec

Timothée Guy

Jingyao Su

Sylvain Hernandez

Youssef El Gaouti

Mathilde Roques

Gabriel Adjouet

Angelica Ginnante

Julien Albrand

Yuehan Jiang

Hoang Nguyen

Estelle ARRICAU

Antonin BETAILLE Enzo-Loïd ESSONO AUBAME

Martin GOUNABOU

Bernardo HUMMES FLORES

Jean-Vincent KLEIN

Katell LAGATTU

Stéphane NGNEPIEPAYE WEMBE

Yves Jordan NJAMEN NGONGANG

Nicolas ODORICO

Baptiste ORLHAC

Hugo PIQUARD

Samuel PROUTEN

Hugo SABATIER

Julien TARAN

Isaac-Andreï WITT

Jadoul Thibault

Yohann GOURRET

Bilal Ghader

Alexis Stoven-Dubois

Alessandro Colotti

Marion Brateau

Danil Klyanchin

Luc Desbos

Artem Androsov

Chaolun Lu

Charly Peraud

Maxim Zvyagin

Dmitry Malyshev

Vilma Muco

Daan Wynen

Côme Butin

Alexandre L'Her

Chidiebere Millicent IGWEBUIKE

Anton Pisarenko

Patrick Auger

Muhammad Farhan AHMED

Alexandr Tereshchenko

Maksim Bezel

Mosaab Derbal

Jonatan Contreras

Ömer Gürsoy

Gabriel Betton

Théo Boutémy

Ermance Decaudaveine

Nicolas Defour

Laurent Droudin

Damien Esnault

Hugo Gace

Simon Gervaise

Mael Godard

Taddéo Guérin

Florian Jerram

Thibault Langlard

Augustin Morge

Virgile Pelle

Rémi Porée

Danut Pop

Chloe Potherat

Laurent Potin

Mirado Rajaomarosata

Hugo Reubrecht

Jonas Soueidan

Thomas Tacheron

Antoine Wanctin

Hugo Yverneau

Morgan Louédec