On validated computing in algebraic number fields (Q1382030)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On validated computing in algebraic number fields |
scientific article; zbMATH DE number 1136602
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On validated computing in algebraic number fields |
scientific article; zbMATH DE number 1136602 |
Statements
On validated computing in algebraic number fields (English)
0 references
15 February 1999
0 references
The author considers the use of decimal approximations (rather than integer arithmetic) in number field computations required (say) for finding units, e.g., divisibility of two numbers in an order and finding numbers with given norm. The LLL-algorithm is useful in ensuring scaled matrices for the basis (and conjugates). Specific practical bounds are given.
0 references
decimal approximations
0 references
number field computations
0 references
units
0 references
