SMCramsey, a Maple package that computes (symbolic!) moment for random variables that arise in Graph Colorings and Ramsey theory. It accompanies by the article Symbolic Moment Calculus II.: Why is Ramsey Theory Soooo Eeeeenormously Hard?

References in zbMATH (referenced in 1 article , 1 standard article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Zeilberger, Doron: Symbolic moment calculus. II: Why is Ramsey theory sooooo eeeenormously hard? (2007)