Suchergebnisse - non-computation Grabner basis algorithms*