DMCA

Formalizing Convex Hulls Algorithms (2001)

Cached

Download Links

by David Pichardie , Yves Bertot
Venue:IN TPHOLS’01
Citations:15 - 3 self