On validated computing in algebraic number fields

DOI10.1006/JSCO.1997.0159zbMath0919.11090OpenAlexW2030492148MaRDI QIDQ1382030

Michael E. Pohst

Publication date: 15 February 1999

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jsco.1997.0159

zbMATH Keywords

unitsdecimal approximationsnumber field computations

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Units and factorization (11R27) Algebraic number theory computations (11Y40)

This page was built for publication: On validated computing in algebraic number fields