Typesetting math: 100%
| Register

Computational mathematics in computer assisted proofs

Edited by Simon Becker

    Sections

    1. Bibliography

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