Computation and Formalization - Case Studies in Computational Number Theory
Offered By: Hausdorff Center for Mathematics via YouTube
Course Description
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
Related Courses
Introduction to Mathematical ThinkingStanford University via Coursera Paradox and Infinity
Massachusetts Institute of Technology via edX Mathematical Logic and Algorithms Theory
Tomsk State University of Control Systems and Radioelectronics via iversity Discrete Mathematics
Shanghai Jiao Tong University via Coursera Introduction au raisonnement mathématique : préparation à l'entrée dans l'enseignement supérieur
École Polytechnique via France Université Numerique