Relational Algebraic Techniques for the Synthesis of Sparse Matrix Programs

Vladimir Kotlyar. Relational Algebraic Techniques for the Synthesis of Sparse Matrix Programs. PhD thesis, Cornell University, USA, 1998.

Abstract

Abstract is missing.