Branch Cuts and Formal Methods in Mathematics
Offered By: Hausdorff Center for Mathematics via YouTube
Course Description
Overview
Explore the intersection of branch cuts and formal methods in mathematics with James Davenport in this 49-minute lecture from the Hausdorff Center for Mathematics. Delve into the complexities of mathematical analysis and computational techniques as Davenport examines how formal methods can be applied to the study of branch cuts. Gain insights into advanced mathematical concepts and their practical applications in computational mathematics. Access updated slides for a comprehensive visual aid to complement the lecture content.
Syllabus
James Davenport: Branch Cuts and Formal Methods?
Taught by
Hausdorff Center for Mathematics
Related Courses
Human Computer InteractionIndependent 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