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

  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:
    A Comparison of Approaches for Incorporating Syntax-Based Mathematical Algorithms into Proof Assistants
    Speaker:
    William Farmer

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