Rigorous Computation of Fundamental Units in Number Fields
Talk by Dr. Felix Fontein
Date: 18.05.11 Time: 11.00 - 13.00 Room:
In this talk, we will discuss currently available rigorous methods for computation of fundamental units in an algebraic number field, as well as methods which verify that a given set of units is a set of fundamental units. By rigorous, we mean that the result of the computation is unconditionally correct, i.e. does not depend on any kind of unproven hypothesis. We will present results on the theoretical runtime complexity of such methods as well as their behaviour in practice.