R. Hammer

• Numerical toolbox for verified computing
• American woman
• C++ Toolbox for Verified Computing I: Basic Numerical Problems
• Face Up E.S.S