An OreModules package dedicated Stafford's theorems on the Weyl
algebras and their applications in algebraic systems theory (with D. Robertz).
package dedicated the Quillen-Suslin theorem and its applications in
algebraic systems theory (with A. Fabiańska).
A homological algebra package for factoring, reducing and decomposing
linear functional systems based on the OreModules package (with
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
V. Dolean and
An OreModules package dedicated to the computation of
purity (codimension/bidualizing) filtration of modules and equidimensional block-triangular forms of linear (functional/control) systems.