Programming Mathematics - Tools and Challenges

Programming Mathematics - Tools and Challenges

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.