Calculational Proofs in Relational Graphical Linear Algebra.

João Paixão Pawel Sobocinski

Published in: SBMF (2020)

Keyphrases

linear algebra
theorem proving
singular value decomposition
image processing
computer architecture
first order logic
theorem prover
radon transform
level set
machine learning
computer vision
image segmentation
multiscale
multiresolution
computer systems