On Friday 19/12/2008, at 10h30, in room Galois Coriolis.
Speaker: Loïc Pottier.
Title: Connecting Grobner bases programs with Coq to do proofs in algebra, geometry and arithmetics.
PDF: http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-418/paper5.pdf