Cox–Zucker machine - Wikipedia, the free encyclopedia

The Cox–Zucker machine is an algorithm created by David A. Cox and Steven Zucker. This algorithm determines if a given set of sections provides a basis (up to torsion) for the Mordell–Weil group of an elliptic surface E → S where S is isomorphic to the projective line.

Click to view the original at en.wikipedia.org