Towards faster real algebraic numbers


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 algorithms. This allows us to work in the ring of real algebraic integers instead of the field of real… (More)
DOI: 10.1145/780506.780535



Citations per Year

Citation Velocity: 7

Averaging 7 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.

Cite this paper

@article{Rioboo2002TowardsFR, title={Towards faster real algebraic numbers}, author={Renaud Rioboo}, journal={J. Symb. Comput.}, year={2002}, volume={36}, pages={513-533} }