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
Linear Algebra: Implications and Equivalences
Graph Chatbot
Related lectures (29)
Formal Proofs: Checking Invariants and Bounded Model Checking
Explores formal proofs, satisfiability problems, and inductive invariants using SAT queries in sequential circuits.
Linear Algebra: Equivalence and Calculations
Explains equivalence in linear algebra and set calculations with illustrative examples.
Coq: Introduction
Introduces Coq, covering defining propositions, proving theorems, and using tactics.
Linear Independence: The Wronskian Concept
Explains the Wronskian and its role in determining linear independence of solutions to differential equations.
Linear Algebra: Properties and Operations
Explores subset properties, contraposition, and equivalence in linear algebra.
What is a Formal Proof?
Covers the concept of formal proof systems, their structure, and soundness.
Finite Systems Expressed with Formulas
Explores encoding finite systems with boolean functions, propositional logic, inductive invariants, and formal proof systems.
Linear Algebra: Reciprocity and Equivalence
Explores reciprocity, equivalence, and proof techniques in linear algebra, emphasizing logical reasoning and mathematical rigor.
Finite Automata: Recap
Covers the fundamentals of finite automata and formal languages.
Linear Similarities and Similitudes
Explores linear similarities and similitudes, demonstrating their properties and applications in geometry.
Automated Reasoning: Formal Verification with LISA
Explores formal verification using the LISA proof assistant and the OCBSL Equivalence Checker.
Proofs and Computations: A Journey Through Mathematical Theory
Explores historical mathematical proofs, decision problems, deductive systems, probabilistic and quantum proofs, and interactive proof systems.
Coq: Overview
Introduces Coq and focuses on proving the theorem and_comm step by step.
Linear Algebra: Propositions and Sets
Covers propositions indexed by vectors, proof by induction, and Cartesian products of sets.
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.
Proofs: Logic, Mathematics & Algorithms
Explores proof concepts, techniques, and applications in logic, mathematics, and algorithms.
Propositional Logic: Translations and Equivalences
Covers translating natural language to propositional logic and proving tautologies.
Concept of Proof in Mathematics
Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.
WireGuard: Cryptographic Protocol for VPNs
Log in to Mediaspace to watch this video
Explores the WireGuard Protocol, a modern VPN replacement for IPsec and OpenVPN, focusing on encrypted tunnelling and security properties.
Optimal Transport: Theory and Applications
Log in to Mediaspace to watch this video
Explores Lagrange multipliers, minimax theorems, and convex subsets in optimal transport theory.
Previous
Page 1 of 2
Next
