-
Cinq algorithmes de calcul symbolique
Projet EURECA -
Computer Algebra Tools for the Dynamics of Multibody Systems
In this thesis, we describe some tools based on computer algebra techniques and methods. They are designed to enhance the performances and capabilities of software... -
De la modélisation littérale à la simulation numérique certifiée
Ce mémoire, a pour objet de présenter une synthèse de mes travaux de recherche et de les mettre en perspective avec l'objectif général de la conception et du... -
On the real and algebraic decomposition of parametric systems
Cette thèse traite des systèmes paramétrés. Ils modélisent des applications dans divers domaines, comme la robotique ou la calibration. Soit S un système paramétré.... -
Une interprétation fonctionelle de l'IDM
Cet article s'int'eresse aux mod'eles P,M tels que P M = M P. Par exemple, un polynˆome P dont les coefficients sont des matrices M peut ˆetre r'e'ecrit comme une... -
Effective methods in differential Galois theory and applications to integrabi...
Mes recherches portent essentiellement sur l''elaboration de m'ethodes de calcul formel pour l''etude constructive des 'equations diff'erentielles lin'eaires, plus... -
Real Root Counting For some Robotics problems
Contribution à un ouvrage. -
Maple V release 5 pour Windows 95
Article dans une revue de vulgarisation. -
MAP, un package Maple pour compter les cartes pointées
Manuel technique. -
Design of regular nonseparable bidimensional wavelets using Grobner basis tec...
Article dans revue scientifique avec comité de lecture. -
Solving Ordinary Differential Equations
Contribution à un ouvrage. -
Holonomic functions in computer algebra
This thesis shows how computer algebra makes it possible to manipulate a large class of sequences and functions that are solutions of linear operators, namely that of... -
Calcul formel : tendances et progrès récents
Article dans revue scientifique avec comité de lecture. -
Geometric Computation
Ouvrage (éditeur). -
Elimination Practice: Software Tools and Applications
The first half of the book presents the library Epsilon that has been built up for symbolic polynomial elimination and decomposition with (geometric) applications. It... -
Selected Lectures in Symbolic Computation
Ouvrage (auteur).
