James Davenport

  1. Title:
    Notations and Meaning

    Speaker:

    Link:

  2. Title:
    Cylindrical Algebraic Decomposition with logical structure

    Speaker:

    Link: