Neil Thapen

Identifiers

• name variant Neil Thapen 0.60 · backfill

Papers (3)

1. How much randomness is needed for statistics? math.LO · 2014 · author #3
2. The complexity of proving that a graph is Ramsey cs.CC · 2013 · author #4
3. The strength of replacement in weak arithmetic cs.LO · 2004 · author #2

Mentions

• 1303.3166 #4 · backfill · confidence 0.70 Neil Thapen

Frequent Coauthors

• Antoine Taveneaux 1 shared papers
• Bj{\o}rn Kjos-Hanssen 1 shared papers
• Massimo Lauria 1 shared papers
• Pavel Pudl\'ak 1 shared papers
• Stephen Cook 1 shared papers
• Vojt\v{e}ch R\"odl 1 shared papers