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