author = {W. Windsteiger}, title = {{Analytica V: Towards the Mordell-Weil Theorem}}, language = {english}, year = {2006}, month = {July 9}, note = {Contributed talk at Calculemus'06}, conferencename = {Calculemus'06}