Computer-assisted proof

Related lectures (27)

Page 1 of 3

Covers the rigorous proof of differential equations, emphasizing accuracy and precision.

Explores Maxwell's equations in vacuum, photon scanning near-field optical microscope, light confinement, and experimental proof of light effects.

Explores formal verification using the LISA proof assistant and the OCBSL Equivalence Checker.

Covers the LISA proof assistant's codebase organization, kernel package, FOL formalization, and proof package.

Introduces the Cauchy-Lipschitz theorem and demonstrates uniqueness of global solutions.

Explores formally secure compilation, emphasizing the importance of mathematical proofs and compartmentalization in ensuring component security.

Explores optimal transport theory, transport maps, entropy, and their practical implications in mathematical optimization.

Covers solutions to the 2018 exam, focusing on bounded functions and distinct solutions.

Explores the Supremum Theorem, its properties, proofs, and exercises.

Explores Projected Gradient Descent and related optimization methods using Bregman Divergence.