DMCA

A decision procedure for geometry in coq (2004)

by Julien Narboux
Venue:IN TPHOLS
Citations:13 - 5 self