Details:
Title | Groebner Bases in Theorema Using Functors | Author(s) | Bruno Buchberger | Type | Talk |
Language | English | Year | 2008 | Month | April | Note | Invited talk at Conference on Symbolic Computation and Cryptography | Translation |
No | Refereed |
No | Institution |
Beihang University | Conferencename | Conference on Symbolic Computation and Cryptography |
|