OKlibrary  0.2.1.6
Certificates.mac File Reference

Functions for investigating certificates of vdW-lower-bounds. More...

Go to the source code of this file.


Detailed Description

Functions for investigating certificates of vdW-lower-bounds.

Use by

oklib_load("OKlib/ComputerAlgebra/RamseyTheory/Lisp/VanderWaerden/Certificates.mac");

Definition in file Certificates.mac.