Intelligent Computer MathematicsCezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen · First published 2019Open the Tome