Proofs And Computations by Helmut Schwichtenberg & Stanley S. Wainer