## Connecting Gröbner bases programs with Coq to do proofs in algebra, geometry and arithmetics

by
Loïc Pottier
,
Inria Sophia Antipolis

Citations: | 3 - 0 self |