EPFL Logo
fr|en
Login
Concept

Invariant (mathematics)

Related lectures (33)
Derived Functors in Homotopical Algebra
Covers the Fundamental Theorem of homotopical algebra, Quillen pairs, and derived functors.
Invariants in Bounded Counter: Understanding Inductive Invariants
Explores invariants in a bounded counter system and the significance of inductive invariants in verifying system properties.
Shortest Paths: Bellman-Ford and Dijkstra
Covers the Bellman-Ford and Dijkstra algorithms for finding shortest paths in graphs with different edge weights.

Copyright © 2025 EPFL, all rights reserved

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.