Computational mathematics in computer assisted proofs
Edited by Simon Becker
Sections
Cite this as: AimPL: Computational mathematics in computer assisted proofs, available at http://aimpl.org/compproofs.
Cite this as: AimPL: Computational mathematics in computer assisted proofs, available at http://aimpl.org/compproofs.