Cyril Cohen

  1. 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

  2. Title:
    Hierarchy Builder
    Speaker:
    Cyril Cohen

    Link:
    https://www.youtube.com/watch?v=6tJdALwLUMQ