Efficient checking of computations in number theory.

Leonard M. Adleman Ming-Deh A. Huang Kireeti Kompella

Published in: ANTS (1994)

Keyphrases

small number
maximum number
neural network
multi agent systems
theoretical framework
finite number
real time
data mining
artificial intelligence
computational complexity
artificial neural networks
computational model
theoretical foundation
information theory
general theory