49 citations · 109 across the 8 of their papers we have counts for
1 paper · 1 filter
Loïc Pottier
We describe how we connected three programs that compute Groebner bases to Coq, to do automated proofs on algebraic, geometrical and arithmetical expressions. The result is a set o…