Short Proofs for Nondivisibility of Sparse Polynomials under the Extended Riemann.

Dima Grigoriev Marek Karpinski Andrew M. Odlyzko

Published in: Fundam. Informaticae (1996)

Keyphrases

information systems
sparse data
high dimensional
sparse representation
data sets
neural network
database
machine learning
genetic algorithm
artificial intelligence
computer vision
theorem proving
compressive sensing
compressed sensing
low order
formal proof