The F4 algorithm in the Weyl algebra


Fumitsuna Maruyama



created Thu Jan 13 18:14:36 PST 2000