OreModules:
A symbolic package for the study of linear (functional/control) systems
over Ore algebras (with
F. Chyzak and D. Robertz).
Stafford:
An OreModules package dedicated Stafford's theorems on the Weyl
algebras and their applications in algebraic systems theory (with D. Robertz).
QuillenSuslin:
An Involutive
package dedicated the Quillen-Suslin theorem and its applications in
algebraic systems theory (with A. Fabiańska).
OreMorphisms:
A homological algebra package for factoring, reducing and decomposing
linear functional systems based on the OreModules package (with
T. Cluzeau).
PurityFiltration:
An OreModules package dedicated to the computation of
purity (codimension/bidualizing) filtration of modules and equidimensional block-triangular forms of linear (functional/control) systems.
Schwarz:
An OreModules package dedicated to to the symbolic development of
new domain decomposition algorithms based on Smith normal forms,
Gröbner basis computation and constructive algebraic analysis
(with
T. Cluzeau,
V. Dolean and
F. Nataf).