Loading view.
Calendar of Events
M Mon
T Tue
W Wed
T Thu
F Fri
S Sat
S Sun
0 events,
0 events,
0 events,
0 events,
0 events,
0 events,
0 events,
0 events,
0 events,
0 events,
0 events,
0 events,
0 events,
0 events,
0 events,
0 events,
1 event,
-
Team Meeting: Faustine Oliva
Team Meeting: Faustine Oliva
Faustine Oliva is a doctoral student at Université d’Aix-Marseille. Her project is about the significance of computer-assisted proofs for mathematical knowledge. In what sense are (computer-assisted) proofs experiments? The Four Color Theorem (4CT) states that four color suffice to color any planar map in such a way that no two adjacent regions have the same …
0 events,
0 events,
0 events,
0 events,
0 events,
0 events,
0 events,
0 events,
0 events,
0 events,
0 events,
0 events,
- There are no events on this day.
- There are no events on this day.
- There are no events on this day.
- There are no events on this day.
- There are no events on this day.
- There are no events on this day.
- There are no events on this day.
- There are no events on this day.
- There are no events on this day.
- There are no events on this day.
- There are no events on this day.
- There are no events on this day.
- There are no events on this day.
- There are no events on this day.
- There are no events on this day.
- There are no events on this day.
- There are no events on this day.
- There are no events on this day.
- There are no events on this day.
- There are no events on this day.
- There are no events on this day.
- There are no events on this day.
- There are no events on this day.
- There are no events on this day.
- There are no events on this day.
- There are no events on this day.
- There are no events on this day.
- There are no events on this day.
- There are no events on this day.
- There are no events on this day.
- There are no events on this day.
- There are no events on this day.