Cox–Zucker machine
In arithmetic geometry, the Cox–Zucker machine is an algorithm introduced by David A. Cox and Steven Zucker for studying elliptic surfaces. It determines whether a given set of sections of an elliptic surface provides a basis, up to torsion, for the surface's Mordell–Weil group, in the case where the base curve is isomorphic to the projective line.