Lectures related to Untitled | EPFL Graph Search

Untitled

Proofs: Logic, Mathematics & Algorithms

Explores proof concepts, techniques, and applications in logic, mathematics, and algorithms.

Concept of Proof in Mathematics

Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.

Differential Forms Integration

Covers the integration of differential forms on smooth manifolds, including the concepts of closed and exact forms.

Multivariate Statistics: Normal Distribution

Covers the multivariate normal distribution, properties, and sampling methods.

Composition of Applications in Mathematics

Explores the composition of applications in mathematics and the importance of understanding their properties.

Multivariate Statistics: Wishart and Hotelling T²

Explores the Wishart distribution, properties of Wishart matrices, and the Hotelling T² distribution, including the two-sample Hotelling T² statistic.

Generalization Error

Explores generalization error in machine learning, focusing on data distribution and hypothesis impact.

Harmonic Forms: Main Theorem

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

Fundamental Groups

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

Principal Components: Properties & Applications

Explores principal components, covariance, correlation, choice, and applications in data analysis.

Topology of Riemann Surfaces

Covers the topology of Riemann surfaces, focusing on orientation and orientability.

Principal Component Analysis: Introduction

Introduces Principal Component Analysis, focusing on maximizing variance in linear combinations to summarize data effectively.

Information Measures: Entropy and Information Theory

Explains how entropy measures uncertainty in a system based on possible outcomes.

Linear Independence: The Wronskian Concept

Explains the Wronskian and its role in determining linear independence of solutions to differential equations.

Coq Workshop: Introduction to Interactive Theorem Proving

Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.

Kinetic Theory: Distribution Function Evolution

Explores the evolution of the distribution function describing particles in phase space.

Coq: Introduction

Introduces Coq, covering defining propositions, proving theorems, and using tactics.

Cartesian Product and Induction

Introduces Cartesian product and induction for proofs using integers and sets.

Distributions and Derivatives Log in to Mediaspace to watch this video

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