Details:
Title | Matrix-F5 Algorithms over Finite-precision Complete Discrete Valuation Fields | Author(s) | Vaccon Tristan | Type | Article in Conference Proceedings | Keywords | p-adic algorithm, p-adic precision, F5 algorithm, gr\"obner bases, moreno-socias conjecture | ISBN | 978-1-4503-2501-1 |
URL |
http://doi.acm.org/10.1145/2608628.2608658 |
Language | English | Series | ISSAC | Pages | 397--404 | Publisher | ACM | Address | New York, NY, USA | Year | 2014 | Edition | 0 | Translation |
No | Refereed |
No |
|