SAT as a Programming Environment for Linear Algebra.

Marian Srebrny Lidia Stepien

Published in: Fundam. Informaticae (2010)

Keyphrases

programming environment
linear algebra
programming language
programming environments
singular value decomposition
image processing
relational database systems
novice programmers
computer architecture
databases
general purpose
data management
data processing
parallel algorithm
radon transform