Vol-417⫷ Vol-418 ⫸Vol-419
urn:nbn:de:0074-418-0


Vol-418/paper-4⫷Vol-418/paper-5⫸Vol-418/paper-6
Loïc Pottier

Connecting Gröbner Bases Programs with Coq to do Proofs in Algebra, Geometry and Arithmetics