Point-Free, Set-Free Concrete Linear Algebra.

Georges Gonthier

Published in: ITP (2011)

Keyphrases

linear algebra
artificial intelligence
image processing
image sequences
high resolution
singular value decomposition