The Mean Value Theorem in Second Order Arithmetic.

Christopher Hardin Daniel J. Velleman

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

Keyphrases

higher order
arithmetic operations
learning algorithm
data structure
floating point
von neumann
real time
data sets
computer vision
decision trees
learning environment
probabilistic model
fourth order
hessian matrix
finite sets
digital topology