Return to search

Automated discovery and proof in three combinatorial problems

Thesis (Ph. D.)--Rutgers University, 2009. / "Graduate Program in Mathematics." Includes bibliographical references (p. 114-117).

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/567949575
Date January 2009
CreatorsRaff, Paul,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0017 seconds