Solving functional equations at higher types: some examples and some theorems.

Richard Statman

Published in: Notre Dame J. Formal Log. (1986)

Keyphrases

nonlinear equations
algebraic equations
differential equations
information retrieval
artificial intelligence
higher quality
training examples
gauss seidel method
set of linear equations
data sets
linear programming
numerical solution
linear equations
evolutionary algorithm
multiscale
decision trees
real world