Login / Signup
Gauss-Jordan Elimination for Matrices Represented as Functions.
Tobias Nipkow
Published in:
Arch. Formal Proofs (2011)
Keyphrases
</>
information systems
website
singular values
data sets
neural network
search engine
singular value decomposition
original data
matrix completion
linear transformations