Details:
Title | | Author(s) | Deepak Kapur, Yao Sun, Dongming Wang | Type | Article in Conference Proceedings | Keywords | Gr\"obner basis, comprehensive Gr\"obner system, probabilistic check, radical ideal membership | ISBN | 978-1-4503-0150-3 |
URL |
http://doi.acm.org/10.1145/1837934.1837946 |
Language | English | Series | ISSAC | Pages | 29--36 | Publisher | ACM | Address | New York, NY, USA | Year | 2010 | Edition | 0 | Translation |
No | Refereed |
No |
|