vix.ing
·
top
·
new
·
best
·
stats
·
spec
Roux, Cody
A heuristic prover for real inequalities
2014/04/17 by
Avigad, Jeremy
,
Lewis, Robert Y.
,
Roux, Cody
· 1 citation
#F.2.1
#FOS: Computer and information sciences
#G.4
#I.1.2
#Logic in Computer Science (cs.LO)
#Mathematical Software (cs.MS)