Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Computation and Formalization - Case Studies in Computational Number Theory

Hausdorff Center for Mathematics via YouTube

Overview

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

Reviews

Start your review of Computation and Formalization - Case Studies in Computational Number Theory

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.