## Computational mathematics in computer assisted proofs

### Edited by org.aimpl.user:sb8458@nyu.edu

### 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.
*