YoVDO

Programming Mathematics - Tools and Challenges

Offered By: Hausdorff Center for Mathematics via YouTube

Tags

Computer Science Courses Mathematics Courses Programming Courses Algorithm Design Courses Mathematical Modeling Courses Formal Methods Courses Computational Mathematics Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the intersection of programming and mathematics in this 43-minute lecture by Georges Gonthier at the Hausdorff Center for Mathematics. Delve into the tools and challenges involved in programming mathematical concepts, gaining insights into how computational approaches can enhance mathematical understanding and problem-solving. Discover the potential applications of programming in various mathematical fields and learn about the latest developments in this exciting interdisciplinary area.

Syllabus

Georges Gonthier: Programming Mathematics: Tools and Challenges


Taught by

Hausdorff Center for Mathematics

Related Courses

Human Computer Interaction
Independent Introduction à la logique informatique - Partie 2 : calcul des prédicats
Université Paris-Saclay via France Université Numerique System Validation (4): Modelling Software, Protocols, and other behaviour
EIT Digital via Coursera Formal Software Verification
University System of Maryland via edX Principles of Secure Coding
University of California, Davis via Coursera