Lectures related to Untitled | EPFL Graph Search

Explores harmonic forms on Riemann surfaces and the uniqueness of solutions to harmonic equations.

Formal Proofs: Checking Invariants and Bounded Model Checking

Explores formal proofs, satisfiability problems, and inductive invariants using SAT queries in sequential circuits.

Inductive Propositions: Understanding Evaluation in Coq

Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.

Introduction to Coq: Arithmetic Expressions and Evaluators

Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.

Fundamental Groups

Explores fundamental groups, homotopy classes, and coverings in connected manifolds.

Coq: Overview

Introduces Coq and focuses on proving the theorem and_comm step by step.

Fourier Inversion Formula

Covers the Fourier inversion formula, exploring its mathematical concepts and applications, emphasizing the importance of understanding the sign.

Distributions and Derivatives

Covers distributions, derivatives, convergence, and continuity criteria in function spaces.