Coq'Art is the familiar name for the first book on the Coq proof assistant and its underlying theory, the Calculus of Inductive Constructions. This project contains the Coq sources of all examples and ...
Abstract: With the advent of new-generation depth sensors, the use of three-dimensional (3-D) data is becoming increasingly popular. As these sensors are commodity hardware and sold at low cost, a ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback