Plans and Projects
- Library: Resolution of singularities.
- Library: Differential equations with algebraic constraints.
- Kernel: Gröbner basis computation in characteristic 0, using
Gröbner basis computations in characteristic p
and their lifting using Chinese Remainder Theorem.
- Gröbner bases with sparse matrix-technique ?
: a kernel extension for
providing Gröbner basis based computations in noncommutative
polynomial algebras over fields (algebras of solvable type
(Kandri-Rodi, Weispfenning), G-algebras (Apel, Levandovskyy)).
These classes of algebras include, e.g. quantized enveloping algebras of Lie
algebras, Weyl algebras, exterior algebras and many others. The
Gröbner basis, syzygy module and free resolution
computations for left (resp. two-sided) modules are planned to be