Pierre Corbineau (VERIMAG - IMAG)

Identifiers

• name variant Pierre Corbineau (VERIMAG - IMAG) 0.60 · backfill

Papers (1)

1. On the Generation of Positivstellensatz Witnesses in Degenerate Cases math.LO · 2011 · author #2

Mentions

• 1105.4421 #2 · backfill · confidence 0.70 Pierre Corbineau (VERIMAG - IMAG)

Frequent Coauthors

• David Monniaux (VERIMAG - Imag) 1 shared papers