La machine de Cox-Zucker est un algorithme créé par David A. Cox et . Cet algorithme détermine si un ensemble donné de sections fournit une base (à torsion près) pour le groupe de Mordell-Weil d'une E → S, où S est isomorphe à la droite projective.
Histoire et origine du nom vignette|redresse|David Cox à Oberwolfach en . L'algorithme a été publié pour la première fois dans l'article de « » ( « Nombres d'intersection de sections de surfaces elliptiques ») par Cox et Zucker. et a ensuite été nommé « » (« machine de Cox-Zucker ») par Charles Schwartz en .. Le nom est un jeu de mots, par homophonie avec « ». Ce trait d'humour était voulu par Cox et Zucker, qui ont eu l'idée de co-écrire un article en tant qu'étudiants à Princeton dans l'unique but de réaliser cette blague, une blague qu'ils ont poursuivie lorsqu'ils étaient professeurs à Rutgers cinq ans plus tard. Comme Cox l'a expliqué dans un hommage commémoratif à Zucker dans en :
Notes et références Notes
Références
Catégorie:Algorithme Catégorie:Humour scientifique Catégorie:Jeu de mots