Search alternatives:
algorithm » algorithms
Cover Image
Read Now

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