You are about to access our book library "Computer aided proofs in analysis (The IMA volumes in mathematics and its applications) full version" .