-
Complete Solving of Linear Diophantine Equational and Inequational Systems wi...
In this report, we present an algorithm for solving {\em directly} linear Diophantine systems of both equations and inequations. Here directly means without adding... -
Generalized normal forms and polynomial system solving
International audience -
CONTRIBUTION METHODOLOGIQUE A LA CONCEPTION SOUS CONTRAINTES DE DISPOSITIFS E...
This work deals with constrained design of electrical devices, using analytical models. After a presentation of the context of design in electrical engineering, and... -
A delay differential equation solver for MONOLIX & MLXPLORE
We describe the implementation of a Delay differential Equation (DDE) solver in Monolix, a platform for population modeling of longitudinal data, and MlxPlore, a tool... -
Toric Border Basis
International audience -
Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a New...
To appear in post-event proceedings. Colloque avec actes et comité de lecture. internationale.
