Isolating the real roots of the piecewise algebraic variety
โ Scribed by Xiaolei Zhang; Renhong Wang
- Publisher
- Elsevier Science
- Year
- 2009
- Tongue
- English
- Weight
- 471 KB
- Volume
- 57
- Category
- Article
- ISSN
- 0898-1221
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
We propose an algorithm for isolating the real solutions of semi-algebraic systems, which has been implemented as a Maple-program realzero. The performance of realzero in solving some examples from various applications is presented and the timings are reported.
In this paper we prove several theorems about abelian varieties over finite fields by studying the set of monic real polynomials of degree 2n all of whose roots lie on the unit circle. In particular, we consider a set V n of vectors in R n that give the coefficients of such polynomials. We calculate