Undecidability in matrices over Laurent polynomials.

Vesa Halava Tero Harju

Published in: Adv. Appl. Math. (2004)

Keyphrases

description logics
low order
answering queries
singular value decomposition
database
neural network
probabilistic planning
hermite transform
search algorithm
singular values
eigendecomposition
projection matrices