Mihatsch, Andreas Johannes (2017-03-29)
We verify new cases of the Arithmetic Fundamental Lemma (AFL) of Wei Zhang. This relies on a recursive algorithm which allows, under certain conditions, to reduce the AFL identity in question to an AFL identity in lower ...