-
Simplifying Polynomial Expressions in a Proof Assistant
This paper presents a simple way of performing polynomial simplifications in a proof assistant. This method has been implemented and tested within the Coq prover. -
Combining meshes and geometric primitives for accurate and semantic modeling
International audience -
Perceptual metrics for static and dynamic triangle meshes
Improved version of Eurographics State-of-the-Art Report. -
Superposition with Equivalence Reasoning and Delayed Clause Normal Form Trans...
Colloque avec actes et comité de lecture. internationale.
