H rtDown: Document Processor for Executable Linear Algebra Papers.

Yong Li Shoaib Kamil Alec Jacobson Yotam I. Gingold

Published in: SIGGRAPH Asia (2022)

Keyphrases

linear algebra
computer architecture
image processing
singular value decomposition
computer systems
parallel computers
artificial intelligence
computer vision
information systems
least squares
radon transform
formal specification
sparse matrices