The following pages link to A brute force computer aided proof of an existence result about extremal hyperbolic surfaces (Q4998850):
Displaying 1 item.