| Register
\(\newcommand{\Cat}{{\rm Cat}} \) \(\newcommand{\A}{\mathcal A} \) \(\newcommand{\freestar}{ \framebox[7pt]{$\star$} }\)

Computational mathematics in computer assisted proofs

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

    Sections

    1. 1. General questions
    2. 2. Concrete problems
    1. Bibliography

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