
Plans and Projects
 Partial standard bases.
 Cohomology of sheaves using the Tateresolution
 Parallelization of computation of resolution of singularities.
 Dynamic modules (
SINGULAR
2.1).
 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 matrixtechnique

PLURAL
: the name for
the prototype of
SINGULAR
,
providing also Gröbner basis computations
in noncommutative
polynomial algebras over fields.The classes of algebras we can treat
include,
e.g. quantized enveloping algebras of Lie algebras, Weyl algebras,
exterior algebras and many others.
