YoVDO

Mathematics Courses

Formalizing Post-Rigorous Mathematics
Hausdorff Center for Mathematics via YouTube
Insights into Search Interfaces for Mathematicians
Hausdorff Center for Mathematics via YouTube
Autoformalisation - Bridging the Gap Between Informal and Formal Proofs
Hausdorff Center for Mathematics via YouTube
Mathematics and Democracy Teach Out
Johns Hopkins University via Coursera
How to Start Your STEM Career
LinkedIn Learning
Coding Exercises: Scala
LinkedIn Learning
Foundational Math for Machine Learning
LinkedIn Learning
Hard Unsolved Math Problems - The Collatz Conjecture
Math Sorcerer via YouTube
Python ate my Homework - Using SymPy for Mathematical Problem-Solving
PyCon US via YouTube
Computational Origami - Harnessing Paper Folding for Problem Solving
PyCon US via YouTube
< Prev Page 233 Next >