Gröbner basis and Syzygy computation in kan/sm1



Subsections

Nobuki Takayama 2016-02-12