Bounded Variation Implies Regulated: A Constructive Proof.

Douglas S. Bridges Ayan Mahalanobis

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

Keyphrases

theorem proving
three dimensional
wide range
data sets
information systems
feature selection
artificial neural networks
np hard
theorem prover
asymptotically optimal
geometry theorem proving