Mathematical Proofs Courses and Certifications

Institute for Pure & Applied Mathematics (IPAM)

How to Prove a Calculation Correct? - IPAM at UCLA

Explore alternative methods for proving calculation correctness, focusing on real algebraic geometry and using intermediate information as hints for proof engines.

• YouTube
• 52 minutes
• Self-Paced
• Free Video

Fields Institute

The Value of Errors in Proofs

Explore the significance of errors in mathematical proofs with Avi Wigderson. Gain insights into how mistakes contribute to advancing mathematical understanding and problem-solving techniques.

• YouTube
• 43 minutes
• Self-Paced
• Free Video

IMSA

A More Comprehensible Proof of the Reductive Shafarevich Conjecture

Explore a new, more comprehensible proof of the reductive Shafarevich conjecture in complex geometry, connecting non-abelian Hodge theories and presenting recent work on Shafarevich morphisms construction.

• YouTube
• 58 minutes
• Self-Paced
• Free Video

Math with Professor V

Determining Algebraically if a Function is Even, Odd, or Neither Using Radical Functions - Part 2

Master algebraic techniques for classifying radical functions and rational exponents as even, odd, or neither through step-by-step examples and clear mathematical explanations.

• YouTube
• 14 minutes
• Self-Paced
• Free Video

NPTEL-NOC IITM

Examples and Generalizations - Part 2

Explore advanced concepts of generalizations through practical examples and in-depth analysis of mathematical principles and their broader applications.

• YouTube
• 29 minutes
• Self-Paced
• Free Video

GreeneMath.com

Even and Odd Functions - Practice Test Solutions with Graphical Approaches

Master even and odd functions through detailed solutions and graphical approaches to 10 practice problems, featuring step-by-step explanations and interactive Desmos visualizations.

• YouTube
• 22 minutes
• Self-Paced
• Free Video

Mr. Robinson's Virtual Math Classroom

Finding Sums of Infinite Geometric Series

Master the calculation of infinite geometric series sums through step-by-step problem solving and comprehensive formula derivation, with emphasis on convergence conditions and practical applications.

• YouTube
• 1 hour 30 minutes
• Self-Paced
• Free Video

Simons Institute

Proofs - Practice 1

Dive into practical proof techniques with Justin Thaler from Georgetown University, exploring cryptographic concepts in this Simons Institute session.

• YouTube
• 1 hour 9 minutes
• Self-Paced
• Free Video

Topos Institute

Organizing Libraries Behind Big Proofs - From Elementary to Advanced Mathematics

Explore how computer-assisted formal mathematics requires meticulous organization of proof libraries, from basic foundations to complex theorems like the Four Color theorem.

• YouTube
• 1 hour
• Self-Paced
• Free Video

Paul G. Allen School

The Value and Pitfalls of Proof

Explore the critical balance between computational methods and mathematical proofs through real-world examples where simulations fail and theoretical proofs triumph in solving complex problems.

• YouTube
• 1 hour 5 minutes
• Self-Paced
• Free Video

INSAIT Institute

Automated Modular Program Verification - From Testing to Mathematical Proofs

Dive into automated program verification techniques to mathematically prove software correctness, exploring tools, methodologies, and real-world applications like the Scion Internet Architecture.

• YouTube
• 32 minutes
• Self-Paced
• Free Video

Simons Institute

Indistinguishability Obfuscation via Mathematical Proofs

Explore advanced cryptographic techniques using mathematical proofs to overcome the input-length barrier in indistinguishability obfuscation for unbounded programs.

• YouTube
• 1 hour 7 minutes
• Self-Paced
• Free Video

Discrete Mathematics

3931 ratings at Udemy

Master Discrete Math with 400+ Practice Questions and Quizzes: Foundational for Computer Science and Math Students

• Udemy
• 19 hours
• Self-Paced
• Paid Course

Discrete Mathematics

203 ratings at Coursera

Explore foundational concepts in discrete mathematics, including sets, functions, relations, and graphs. Develop mathematical maturity through rigorous proofs and fascinating results in computer science.

• Coursera
• 1 day 21 hours 57 minutes
• Self-Paced
• Paid Course

Michael Penn

Proof Writing - Introduction to Mathematical Proofs and Set Theory

Master the fundamentals of mathematical proof writing through sets, logic, induction, and functions with comprehensive examples and techniques.

• YouTube
• 7 hours 8 minutes
• Self-Paced
• Free Video