-
Cusp Points in the Parameter Space of Degenerate 3-RPR Planar Parallel Manipu...
International audience -
Symbolic methods for developing new domain decomposition algorithms
The purpose of this work is to show how algebraic and symbolic techniques such as Smith normal forms and Gröbner basis techniques can be used to develop new... -
Algorithms Seminar, 2002-2004
These seminar notes constitute the proceedings of a seminar devoted to the analysis of algorithms and related topics. The subjects covered include combinatorics,... -
Exhaustive enumeration of Kochen-Specker vector systems
The Kochen-Specker theorem is one of the fundamental theorems in non-contextuality hypothesis that assumes that the values of observables are independent of the... -
Stability Analysis for Discrete Biological Models Using Algebraic Methods
International audience -
Using morphism computations for factoring and decomposing linear functional s...
Within a constructive homological algebra approach, we study the factorization and decomposition problems for general linear functional systems (determined,... -
A probabilistic algorithm to compute the real dimension of a semi-algebraic set
Several typos fixed in Sections 4 and 5. There is an error in Section 5 and thus the complexity result stated does not hold -
MAP, un package Maple pour compter les cartes pointées
Manuel technique. -
Algebraic Geometry & Computer Vision: Polynomial Systems, Real & Complex Roots
Article dans revue scientifique avec comité de lecture. -
Calcul formel : tendances et progrès récents
Article dans revue scientifique avec comité de lecture.
