Computational mathematics in computer assisted proofs

Typesetting math: 100%

| Register

AIM Problem Lists » Computational mathematics in computer assisted proofs

$\newcommand{\Cat}{{\rm Cat}}$

$\newcommand{\A}{\mathcal A}$

$\newcommand{\freestar}{ \framebox[7pt]{$\star$} }$

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

() [] {} 