On Validated Computing in Algebraic Number Fields.

Michael E. Pohst

Published in: J. Symb. Comput. (1997)

Keyphrases

small number
artificial intelligence
fixed number
database
image segmentation
finite number
information retrieval
learning algorithm
web services
case study
database systems
wide range
computational complexity
higher order
maximum number