Computing in Picard groups of projective curves over finite fields. - Peter Bruin (Math. Comput., 2013)

Hyperelliptic modular curves and isogenies of elliptic curves over quadratic fields. - Peter Bruin; Filip Najman (LMS J. Comput. Math., 2015)

On L-functions of quadratic ℚ-curves. - Peter Bruin; Andrea Ferraguti (Math. Comput., 2018)

The Directed Van Kampen Theorem in Lean. - Henning Basold; Peter Bruin; Dominique Lawson (ITP, 2024)