- Computation of the algebraic multifaults signatures of dynamical system parameters (en Maple) Vers. 2022-06
This file is an implementation of the algorithm presented in the paper Diagnosability and detectability of multiple faults in nonlinear models. - Computation of the relative identifiability tree of a parametrized dynamical system (en Maple) Vers. 2022-06
This file is an implementation of the algorithm presented in the paper A systematic approach for doing an a priori identifiability study of dynamical nonlinear models. - Strong generating set of the decomposition group of a triangular ideal (en Magma) Vers. 2004-11.
This file is an implementation of the algorithm presented in the paper Computation of the decomposition group of a triangular ideal (Journal AAECC, November 2004, Volume 15, Numbers 3-4).
- Computation of the setwise stabiliser of a triangular ideal (en Magma) Vers. 2010-10
- Splitting Tables Computation (en Magma) Vers. 2007-03
This implementation correspond to the LIP6 internal report A new tool for computing Galois groups and Galois ideals. - Convergence of Simplicies (en Maple) Vers. 2010-09
The computation presented in this file shows one the main result of the paper Dynamical systems of simplices in dimension 2 or 3 (Automated deduction in geometry, LNCS, Volume 6301 - 2011. Preliminary version ).