-
A predictive approach for a real-time remote visualization of large meshes
International audience -
Interval Methods for Model Qualification: Methodology and Advanced Application
It is often too complex to use, and sometimes impossible to obtain, an actual model in simulation or command field . To handle a system in practice, a simplification... -
Multi-Valued Computer Algebra
One of the main strengths of computer algebra is being able to solve a family of problems with one computation. In order to express not only one problem but a family... -
Introduction to the Rewriting Calculus
The $\rho$-calculus is a new calculus that integrates in a uniform and simple setting first-order rewriting, $\lambda$-calculus and non-deterministic computations.... -
Type Inference in the Presence of Subtyping: from Theory to Practice
From a purely theoretical point of view, type inference for a functional language with parametric polymorphism and subtyping poses little difficulty. Indeed, it... -
Solving Zero-dimensional Polynomial Systems through the Rational Univariate R...
This paper is devoted to the {\it resolution} of zero-dimensional systems in $K[X_1,\ldots X_n]$, where $K$ is a field of characteristic zero (or strictly positive... -
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.
