Talk page

Title:
Computing intersections of two algebraic plane curves : the price of the certification

Speaker:
Fabrice Rouillier

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

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