Cohomology for computer science - Alex Lubotzky
Cohomology in Grothendieck Topologies and Lower Bounds in Boolean Complexity
Computing Sheaf Cohomology for Products of Projective Spaces
Computing cohomology in algebraic geometry (Michael Stillman) 1-5
Cohomology of Open Sets: Show me the Code!
Piotr Nowak (IMPAN), "Computing cohomology via semidefinite programming".
Alexander HULPKE - Computational group theory, cohomology of groups and topological methods 4
Alexander HULPKE - Computational group theory, cohomology of groups and topological methods 5
Frank Roumen: "Cohomology of effect algebras"
Computing cohomology in algebraic geometry (Michael Stillman) 4-5
Graham ELLIS - Computational group theory, cohomology of groups and topological methods 3
Graham ELLIS - Computational group theory, cohomology of groups and topological methods 4
Cohomology of Classifying Stacks (and Spaces) - Dmitry Kubrak
Homology to Cohomology
[CPP'23] Computing Cohomology Rings in Cubical Agda
Graham ELLIS - Computational group theory, cohomology of groups and topological methods 2
Graham ELLIS - Computational group theory, cohomology of groups and topological methods 5
Alexander HULPKE - Computational group theory, cohomology of groups and topological methods 1
Computing cohomology in algebraic geometry (Michael Stillman) 3-5
Robert Raussendorf: "Cohomological framework for contextual quantum computations"
![[CPP'23] Computing Cohomology Rings in Cubical Agda](https://img.youtube.com/vi/Rc3qDxyQNUM/0.jpg)
