Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Home

Lecture

Modular Arithmetic: Inverses and Equations

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (49)

Optimal Transport: Rockafellar Theorem Log in to Mediaspace to watch this video

Explores the Rockafellar Theorem in optimal transport, focusing on c-cyclical monotonicity and convex functions.

Analysis IV: Convergence Theorems and Integrable Functions Log in to Mediaspace to watch this video

Covers convergence theorems and integrable functions, including the Lebesgue integral and Borel-Cantelli sets.

Preliminaries in Measure Theory Log in to Mediaspace to watch this video

Covers the preliminaries in measure theory, including loc comp, separable, complete metric space, and tightness concepts.

Hadamard Factorisation Log in to Mediaspace to watch this video

Covers the Hadamard factorisation theorem for entire functions of order at most 1.

Distribution & Interpolation Spaces Log in to Mediaspace to watch this video

Explores distribution and interpolation spaces, showcasing their importance in mathematical analysis and the computations involved.

Inductive Propositions: Reasoning and Evaluation Techniques Log in to Mediaspace to watch this video

Discusses inductive propositions, their definitions, and applications in reasoning and evaluation techniques in Coq.

Relative Homology: Exact Sequence Log in to Mediaspace to watch this video

Covers the long exact sequence of relative homology groups and chain complexes.

Integration on H_pxH and Arithmetic Log in to Mediaspace to watch this video

Explores integration on H_pxH and arithmetic properties, including norms, structures, and polynomial factorization.

Fourier Transform: Properties and Applications Log in to Mediaspace to watch this video

Covers the properties and applications of the Fourier transform and its relation to Heisenberg's uncertainty principle.

Cheeger's Inequality Log in to Mediaspace to watch this video

Explores Cheeger's inequality and its implications in graph theory.

Cauchy-Hadamard Theorem Log in to Mediaspace to watch this video

Explores the Cauchy-Hadamard theorem on convergence radius of power series and real analytical solutions.

Introduction to Coq: Arithmetic Expressions and Evaluators Log in to Mediaspace to watch this video

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

Linear differential equations Log in to Mediaspace to watch this video

Explores linear differential equations of order n, including homogeneous and inhomogeneous equations, solutions, and linear independence.

Statistical Theory: Maximum Likelihood Estimation Log in to Mediaspace to watch this video

Explores the consistency and asymptotic properties of the Maximum Likelihood Estimator, including challenges in proving its consistency and constructing MLE-like estimators.

Variational Problems: Quasi-Convexity Log in to Mediaspace to watch this video

Explores the theory of quasi-convexity in variational problems from continuum mechanics, discussing its principles, applications, and relationship with convexity.

Laplace Equation: Decomposition and Solutions Log in to Mediaspace to watch this video

Covers the Laplace equation, decomposition of linear problems, and solutions through separation of variables.

Complex Integration and Cauchy's Theorem Log in to Mediaspace to watch this video

Discusses complex integration and Cauchy's theorem, focusing on integrals along curves in the complex plane.

Matrix Inversion: Basics and Properties Log in to Mediaspace to watch this video

Covers the basics of matrix inversion, properties of matrix multiplication, and the uniqueness of matrix inverses.

Linear Algebra: Inverse Matrix and Systems Resolution Log in to Mediaspace to watch this video

Covers the concept of inverse matrices and systems resolution, including the conditions for matrix invertibility and the Gauss-Jordan algorithm.

Inductive Propositions: Understanding Evaluation in Coq Log in to Mediaspace to watch this video

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

Page 2 of 3