Unique factorization in ACL2: Euclidean domains.

John R. Cowles Ruben Gamboa

Published in: ACL2 (2006)

Keyphrases

real world
pairwise
application domains
neural network
information retrieval
information systems
case study
euclidean distance
singular value decomposition
cross domain