Exponentiation and Second-Order Bounded Arithmetic.

Published in: Ann. Pure Appl. Log. (1990)

Keyphrases

higher order
arithmetic operations
high order
real time
data mining
information retrieval
floating point
real world
genetic algorithm
case study
database systems
expert systems
continuous functions
hessian matrix