-
Research activities:
Symbolic computation, constructive algebraic analysis, mathematical systems
theory and control theory:
-
Study of linear functional systems by means of constructive algebraic
analysis methods and development of symbolic packages
-
Algebraic and geometric approaches to mathematical systems theory and
control theory
-
Publications:
-
Symbolic packages
-
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)
-
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)
-
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
-
OreAlgebraicAnalysis:
A Mathematica implementation of the OreModules and
OreMorphisms packages (with
T. Cluzeau and
Maris Tõnso)
-
AbelianSystems:
A
homalg project
package (GAP4) dedicated to abelian categories of systems (with
M. Barakat)
-
SystemTheory:
A
homalg project package (GAP4) dedicated to
mathematical system theory (with
M. Barakat, T. Cluzeau and
M. Lange-Hegermann)
-
NonA:
A small OreModules package dedicated to the algebraic parameter estimation problem
-
RankFactorizationProblem:
An OreModules package dedicated to the rank factorization
problem and its application to gearbox vibration analysis
- Study of linear functional systems by means of constructive algebraic analysis methods and development of symbolic packages
- Algebraic and geometric approaches to mathematical systems theory and control theory
-
OreModules:A symbolic package for the study of linear (functional/control) systems over Ore algebras (with F. Chyzak and D. Robertz) -
Stafford:AnOreModulespackage dedicated Stafford's theorems on the Weyl algebras and their applications in algebraic systems theory (with D. Robertz) -
QuillenSuslin:AnInvolutivepackage 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 theOreModulespackage (with T. Cluzeau) -
Schwarz:AnOreModulespackage 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) -
PurityFiltration:AnOreModulespackage dedicated to the computation of purity (codimension/bidualizing) filtration of modules and equidimensional block-triangular forms of linear (functional/control) systems -
OreAlgebraicAnalysis:A Mathematica implementation of theOreModulesandOreMorphismspackages (with T. Cluzeau and Maris Tõnso) -
AbelianSystems:Ahomalg projectpackage (GAP4) dedicated to abelian categories of systems (with M. Barakat) -
SystemTheory:Ahomalg projectpackage (GAP4) dedicated to mathematical system theory (with M. Barakat, T. Cluzeau and M. Lange-Hegermann) -
NonA:A smallOreModulespackage dedicated to the algebraic parameter estimation problem -
RankFactorizationProblem:AnOreModulespackage dedicated to the rank factorization problem and its application to gearbox vibration analysis