Cody Roux

Identifiers

• name variant Cody Roux 0.60 · backfill

Papers (2)

1. Elaboration in Dependent Type Theory cs.LO · 2015 · author #4
2. A heuristic prover for real inequalities cs.MS · 2014 · author #3

Mentions

• 1505.04324 #4 · backfill · confidence 0.70 Cody Roux
• 1404.4410 #3 · backfill · confidence 0.70 Cody Roux

Frequent Coauthors

• Jeremy Avigad 2 shared papers
• Leonardo de Moura 1 shared papers
• Robert Y. Lewis 1 shared papers
• Soonho Kong 1 shared papers