_micaela-mayero-overview-of-real-numbers-in-theorem-provers-application-with-real-analysis-in-coq-preview-1.jpg "Micaela Mayero - Overview of real numbers in theorem provers: application with real analysis in Coq from mario marietti univpm Video Screenshot Preview 1")
Gallery_micaela-mayero-overview-of-real-numbers-in-theorem-provers-application-with-real-analysis-in-coq-preview-3.jpg "Micaela Mayero - Overview of real numbers in theorem provers: application with real analysis in Coq from mario marietti univpm Video Screenshot Preview 3")
Gallery_micaela-mayero-overview-of-real-numbers-in-theorem-provers-application-with-real-analysis-in-coq-preview-hqdefault.jpg "Micaela Mayero - Overview of real numbers in theorem provers: application with real analysis in Coq from mario marietti univpm Video Screenshot Preview hqdefault")
GalleryPlay Video:
(Note: The default playback of the video is HD VERSION. If your browser is buffering the video slowly, please play the REGULAR MP4 VERSION or Open The Video below for better experience. Thank you!)
Jump To Video Parts
⏲ Duration: 44 minutes 40 seconds
👁 View: 161 times
Play Audio:👁 View: 161 times
Description:
Institute for Pure u0026 Applied Mathematics (IPAM)
Institute for Pure u0026 Applied Mathematics (IPAM)
Share with your friends:
Whatsapp | Viber | Telegram | Line | SMS
Email | Twitter | Reddit | Tumblr | Pinterest
Related Videos
_why-i-chose-my-major-mathematics.webp "College of Science and Engineering, UMN")
_lecture-i-beauty-and-truth-in-mathematics-and-science.webp "Santa Fe Institute")
_gloria-polinesi-metodologie-statistiche-per-big-data.webp "UNIVPM")
_master-program-probability-theory-lecture-3a-large-deviations-for-i-i-d-random-variables.webp "Instituto de Matemática Pura e Aplicada")
⏲ 1 hour 5 minutes 59 seconds 👁 2.3K
_the-most-beautiful-equation-in-math.webp "Carnegie Mellon University")
_master-program-probability-theory-lecture-3-applications-of-independence.webp "Instituto de Matemática Pura e Aplicada")
⏲ 58 minutes 45 seconds 👁 2.6K
_8-2-1-an-introduction-to-linear-optimization-video-1-introduction.webp "MIT OpenCourseWare")
_master-program-probability-theory-lecture-9-the-lvy-continuity-theorem.webp "Instituto de Matemática Pura e Aplicada")
⏲ 45 minutes 26 seconds 👁 2.2K
_why-i-chose-my-major-mathematics.jpg)
_lecture-i-beauty-and-truth-in-mathematics-and-science.jpg)
_gloria-polinesi-metodologie-statistiche-per-big-data.jpg)
_master-program-probability-theory-lecture-3a-large-deviations-for-i-i-d-random-variables.jpg)
_the-most-beautiful-equation-in-math.jpg)
_master-program-probability-theory-lecture-3-applications-of-independence.jpg)
_8-2-1-an-introduction-to-linear-optimization-video-1-introduction.jpg)
_master-program-probability-theory-lecture-9-the-lvy-continuity-theorem.jpg)
![[+]](/images/menu.gif){kind=small}