Search alternatives:
tableau algorithms » tableau algorithm, tables algorithms
Cover Image
Read Now

1
Published 1998
Springer Berlin Heidelberg
Table of Contents: “...Certified version of Buchberger's algorithm -- Selectively instantiating definitions -- Using...”