Mark Hughes

  1. Title:
    Braided surfaces with caps and positive branch points

    Speaker:

    Link:

  2. Title:
    Machine and reinforcement learning for constructive proofs in topology

    Speaker:

    Link: