You can also get a PDF version here (9.1 MB).
The poster discusses how to effectively compute in the Arakelov divisor class group of a number field , which is assumed to be totally real in the current implementation described in the poster, but the same method works as long as there is at least one real embedding of . In case is totally imaginary, the only thing which gets more complicated is doing comparisms. The arithmetic uses -representations as the main tool, i.e. it allows to compute in the infrastructure of .