WolframAlpha computational knowledge AI
BowTie.gxl
chromatic polynomial