Details:
Title | Implementation of Boolean Gr\"oBner Bases in Risa/Asir | Author(s) | Shutaro Inoue, Yosuke Sato | Type | Article in Journal | ISSN | 1932-2240 |
URL |
http://doi.acm.org/10.1145/1823931.1823940 |
Language | English | Journal | ACM Commun. Comput. Algebra | Volume | 43 | Number | 3/4 | Pages | 83--84 | Publisher | ACM | Address | New York, NY, USA | Year | 2010 | Edition | 0 | Translation |
No | Refereed |
No |
|