Séminaire Lotharingien de Combinatoire, B34e (1995), 15pp.
L. Cerlienco, M. Mureddu and F. Piras
in Gröbner Bases Theory
In this article both (i) general conditions under which a system
of evaluated differential forms generates a subspace H which
determines a non-trivial ideal I as the maximal ideal contained
in the kernel of all the forms in H and (ii) a handy canonical
matrix representation of term orderings are given.
The following versions are available: