Log in | Register

AIM Problem Lists » Computational mathematics in computer assisted proofs » Bibliography

Bibliography

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

Username:

Password: