Carmin.tv

Mathematics
and Interactions

Please leave your feedback in order for us to improve your experience !
50 ans du bâtiment Institut Fourier
4 videos

50 ans du bâtiment Institut Fourier

2026 - T1 - Illustration as a mathematical research technique
3 videos

2026 - T1 - Illustration as a mathematical research technique

2026 - T1 - WS1 - Rigorous Illustrations - Their creation and evaluation for mathematical research
7 videos

2026 - T1 - WS1 - Rigorous Illustrations - Their creation and evaluation for mathematical research

Illustration as a Mathematical Research Technique / La recherche mathématique par le biais de l'illustration
5 videos

Illustration as a Mathematical Research Technique / La recherche mathématique par le biais de l'illustration

All the collections
CIMPA
CIRM
IHES
IHP
Institut Fourier
LMR
SMF
All the institutions
00:00:00 / 00:00:00

Proof assistants in computer science research

By Xavier Leroy

Appears in collection : 2014 - T2 - Semantics of proofs and certified mathematics

J'ai créé cette vidéo à l'aide de l'application de montage de vidéos YouTube (http://www.youtube.com/editor).

Information about the video

  • Date of publication 22/04/2014
  • Institution IHP
  • Licence CC BY-NC-ND
  • Format MP4

Domain(s)

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow




Register

  • Bookmark videos
  • Add videos to see later &
    keep your browsing history
  • Comment with the scientific
    community
  • Get notification updates
    for your favorite subjects
Copyright Carmin.tv 2026
By browsing our website, you accept the use of cookies to improve your experience. Find out more about our privacy policy.
Approve
Give feedback