The maximal linear extension theorem in second order arithmetic.

Alberto Marcone Richard A. Shore

Published in: Arch. Math. Log. (2011)

Keyphrases

genetic algorithm
computer vision
higher order
differential operators
neural network
social networks
case study
high order
hessian matrix