The Prehistory of the Subsystems of second-order Arithmetic.

Walter Dean Sean Walsh

Published in: Rev. Symb. Log. (2017)

Keyphrases

higher order
high order
hessian matrix
neural network
real world
computer vision
fourth order
arithmetic operations
databases
artificial intelligence
information systems
preprocessing
medical images
floating point