𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Towards faster real algebraic numbers

✍ Scribed by Renaud Rioboo

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
277 KB
Volume
36
Category
Article
ISSN
0747-7171

No coin nor oath required. For personal study only.

✦ Synopsis

This paper presents a new encoding scheme for real algebraic number manipulations which enhances current Axiom's real closure. Algebraic manipulations are performed using different instantiations of sub-resultant-like algorithms instead of Euclidean-like algorithms. We use these algorithms to compute polynomial gcds and Bezout relations, to compute the roots and the signs of algebraic numbers. This allows us to work in the ring of real algebraic integers instead of the field of real algebraic numbers avoiding many denominators.

πŸ“œ SIMILAR VOLUMES

Virtual Betti numbers of real algebraic
Virtual Betti numbers of real algebraic varieties
✍ Clint McCrory; Adam ParusiΕ„ski πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 105 KB

We show that for all i 0 the i-th mod 2 Betti number of compact nonsingular real algebraic varieties has a unique extension to a virtual Betti number Ξ² i defined for all real algebraic varieties, such that if Y is a closed subvariety of X then Ξ² i (X) = Ξ² i (X \ Y ) + Ξ² i (Y ). We show by example th

On approximation of real numbers by alge
On approximation of real numbers by algebraic numbers of bounded degree
✍ Kiryl I. Tsishchanka πŸ“‚ Article πŸ“… 2007 πŸ› Elsevier Science 🌐 English βš– 228 KB

Dirichlet proved that for any real irrational number ΞΎ there exist infinitely many rational numbers p/q such that |ΞΎp/q| < q -2 . The correct generalization to the case of approximation by algebraic numbers of degree n, n > 2, is still unknown. Here we prove a result which improves all previous esti