@misc{RISC2933,
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}
}