Proofs and computations - Schwichtenberg, Helmut (New York, 2012)