Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Untitled
Graph Chatbot
Related lectures (29)
Previous
Page 1 of 3
Next
Untitled
Untitled
Introduction to Coq: Arithmetic Expressions and Evaluators
Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.
Untitled
Untitled
Logic Programming Techniques: Automated Proof Search and Unification
Covers logic programming concepts, focusing on automated proof search and unification techniques in Coq.
Introduction to Proof Scripting: Basics of Ltac
Introduces the basics of proof scripting in Coq, focusing on the Ltac language and its tactics for managing proofs effectively.
Sparsest Cut: ARV Theorem
Covers the proof of the Bourgain's ARV Theorem, focusing on the finite set of points in a semi-metric space and the application of the ARV algorithm to find the sparsest cut in a graph.
Weak Derivatives: Definition and Properties
Covers weak derivatives, their properties, and applications in functional analysis.
Untitled
