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

Document Versions

Connecting Gröbner bases programs with Coq to do proofs in algebra, geometry and arithmetics –Loïc Pottier, Inria Sophia Antipolis
Connecting Gröbner Bases Programs with Coq to do Proofs in Algebra, Geometry and Arithmetics –Loïc Pottier, Projet Marelle, Inria Sophia Antipolis — 2008 — Knowledge Exchange: Automated Provers and Proof Assistants, CEUR Workshop Proceedings