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 the computation of
purity (codimension/bidualizing) filtration of modules and equidimensional block-triangular forms of linear (functional/control) systems.
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