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