Peter Bruin

According to our database, Peter Bruin authored at least 4 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

The Directed Van Kampen Theorem in Lean.

Henning Basold, Peter Bruin, Dominique Lawson

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2018

On L-functions of quadratic ℚ-curves.

Peter Bruin, Andrea Ferraguti

Math. Comput., 2018

2015

Hyperelliptic modular curves and isogenies of elliptic curves over quadratic fields.

Peter Bruin, Filip Najman

LMS J. Comput. Math., 2015

2013

Computing in Picard groups of projective curves over finite fields.

Peter Bruin

Math. Comput., 2013