El algoritmo que determina si un conjunto de secciones provee una base (hasta la torsión) para el grupo Mordell–Weil de una superficie elíptica E → S, donde S es isomórfica a la línea de proyección, se llama…

“Cox–Zucker machine”

Toma su nombre de sus inventores, David A. Cox y Steven Zucker

( ¿No habla inglés? Nota explicativa: fonéticamente, “Cox–Zucker machine” se lee como “la máquina que chupa penes”)

Vota!

Fuentes

Cox, D. A.; Zucker, S. (1979). "Intersection numbers of sections of elliptic surfaces". Invent. Math. 53: 1–44. doi:10.1007/BF01403189. http://dx.doi.org/10.1007%2FBF01403189