OKlibrary  0.2.1.6
3k.mac File Reference

Certificates for vdw_2(3,k) More...

Go to the source code of this file.


Detailed Description

Certificates for vdw_2(3,k)

Use by

oklib_load("OKlib/ComputerAlgebra/RamseyTheory/Lisp/VanderWaerden/data/3k.mac");

Definition in file 3k.mac.