Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Quizes
Exercises
Publications
Startups
Units
Show all results for
Home
Lecture
Conformity in Normal Components
Graph Chatbot
Related lectures (51)
Harmonic Forms: Main Theorem
Explores harmonic forms on Riemann surfaces and the uniqueness of solutions to harmonic equations.
Coq: Introduction
Introduces Coq, covering defining propositions, proving theorems, and using tactics.
Proofs: Logic, Mathematics & Algorithms
Explores proof concepts, techniques, and applications in logic, mathematics, and algorithms.
Untitled
Fundamental Groups
Explores fundamental groups, homotopy classes, and coverings in connected manifolds.
Interpolation: Lagrange polynomial and error analysis
Covers the interpolation of functions using Lagrange polynomials and error analysis, emphasizing the dependence on the function.
Markov Chains: Applications and Coupled Chains
Covers Markov chains, coupled chains, and their applications, emphasizing the importance of irreducibility.
The Languages of Isabelle: Isar, ML, and Scala
Explores the languages of Isabelle, focusing on Isar, ML, and Scala, covering proof schemes, Natural Deduction rules, inductive definitions, and the LCF approach.
Numerical Analysis: Polynomial Interpolation Techniques
Provides an overview of polynomial interpolation techniques in numerical analysis, focusing on Lagrange interpolation and error estimation methods.
Closed Curves and Topological Spaces
Explores closed curves in topological spaces, emphasizing their properties and significance in mathematics.
Analysis I: Indeterminate Forms and Gendarmes' Role
Covers indeterminate forms, logarithmic functions, and the 'role of the gendarmes' theorem.
Untitled
Log in to Mediaspace to watch this video
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.
Geodesic Convexity: Theory and Applications
Log in to Mediaspace to watch this video
Explores geodesic convexity in metric spaces and its applications, discussing properties and the stability of inequalities.
Harmonic Forms and Riemann Surfaces
Log in to Mediaspace to watch this video
Explores harmonic forms on Riemann surfaces, covering uniqueness of solutions and the Riemann bilinear identity.
Stokes Theorem
Log in to Mediaspace to watch this video
Covers the Stokes theorem, extending the Green theorem to surfaces in R3 and explaining its application.
Fundamental Solutions
Log in to Mediaspace to watch this video
Explores fundamental solutions in partial differential equations, highlighting their significance in mathematical applications.
Approximation in Sobolev Spaces
Log in to Mediaspace to watch this video
Covers the approximation of functions in Sobolev spaces using smooth functions.
Implicit Functions Theorem
Log in to Mediaspace to watch this video
Covers the Implicit Functions Theorem and its applications in finding extremums under constraints.
Untitled
Log in to Mediaspace to watch this video
Previous
Page 1 of 3
Next
