Talk page

Title:
Cylindrical Algebraic Decomposition with logical structure

Speaker:
James Davenport

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

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