Mathematics
and Interactions
-
Videos linked to Guillaume HennenfentMore +
![On expansions of monadic second-order logic with power predicates - Lecture 3]()
01:04:54published on October 13, 2025On expansions of monadic second-order logic with power predicates - Lecture 3
By Joël Ouaknine
![On expansions of monadic second-order logic with power predicates - Lecture 2]()
59:18published on October 13, 2025On expansions of monadic second-order logic with power predicates - Lecture 2
By Joël Ouaknine
![Quantum algorithms for factorization and other problems in cryptanalysis - lecture 2]()
02:03:39published on August 7, 2025Quantum algorithms for factorization and other problems in cryptanalysis - lecture 2
By Pierre-Alain Fouque
![Paradigms for the algorithms on different technologies - lecture 1]()
01:32:52published on August 7, 2025Paradigms for the algorithms on different technologies - lecture 1
By Thomas Ayral
