Linear Types, Approximation, and Topology

Michael Huth Achim Jung Klaus Keimel

Published in: LICS (1994)

Keyphrases

linear approximation
databases
closed form
conjugate gradient algorithm
database
neural network
knowledge base
linear programming
linear systems
approximation methods
linear complexity
linear functions
approximation schemes