Abstract
For a system of polynomial equations over Qp we present an efficient construction of a single polynomial of quite small degree whose zero set over Qp coincides with, the zero set over Qp of the original system. We also show that the polynomial has some other attractive features such as low additive and straight-line complexity. The proof is based on a link established here between the above problem and some recent number theoretic result about zeros of p-adic forms.
Original language | English |
---|---|
Title of host publication | ISSAC 2004 - Proceedings of the 2004 International Symposium on Symbolic and Algebraic Computation |
Editors | Jaime Gutierrez |
Place of Publication | New York |
Publisher | Association for Computing Machinery (ACM) |
Pages | 163-166 |
Number of pages | 4 |
ISBN (Print) | 9781581138276 |
Publication status | Published - 2004 |
Event | ISSAC 2004 - International Symposium on Symbolic and Algebraic Computation - Santander, Spain Duration: 4 Jul 2004 → 7 Jul 2004 |
Other
Other | ISSAC 2004 - International Symposium on Symbolic and Algebraic Computation |
---|---|
Country/Territory | Spain |
City | Santander |
Period | 4/07/04 → 7/07/04 |
Keywords
- System of Equations