Connecting gröbner bases programs with coq to do proofs in algebra, geometry and arithmetics (0)

by Loic Pottier
Venue:In LPAR Workshops, volume 418 of CEUR Workshop Proceedings. CEUR-WS.org, 2008. Cyril Cohen, Assia Mahboubi