Computation and Formalization - Case Studies in Computational Number Theory

Offered By: Hausdorff Center for Mathematics via YouTube

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!

Explore a comprehensive lecture on computational number theory, delving into case studies that illuminate the intersection of computation and formalization. Gain insights from experts Sander Dahmen and Alain Chavarri Villarello as they present their research and findings in this 37-minute talk hosted by the Hausdorff Center for Mathematics. Discover how advanced computational techniques are applied to solve complex problems in number theory and learn about the importance of formalizing mathematical proofs in the digital age.

Syllabus

Sander Dahmen and Alain Chavarri Villarello: Computation and formalization

Taught by

Hausdorff Center for Mathematics

Related Courses

Introduction to Mathematical Thinking
Stanford University via Coursera Effective Thinking Through Mathematics
The University of Texas at Austin via edX Cryptography
University of Maryland, College Park via Coursera Математика для всех
Moscow Institute of Physics and Technology via Coursera Number Theory and Cryptography
University of California, San Diego via Coursera