Automatic Derivation of the Irrationality of e.

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

Keyphrases

database
wide range
real time
databases
data mining
learning algorithm
high level
data structure
cooperative
fully automatic