Proving and Computing: a certified version of the Buchberger's algorithm (1997)

Cached

Download Links

by Laurent Théry
Citations:5 - 0 self