Talk page

Title:
A Coq formalization of a sign determination algorithm in real algebraic geometry

Speaker:
Cyril Cohen

Link:
https://video-archive.fields.utoronto.ca/view/4388

Workshop:
Fields- Workshop on Algebra, Geometry and Proofs in Symbolic Computation