From Satisfiability to Linear Algebra Fangzhen Lin Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong Technical Report

First Page		Document Content
Date: 2013-12-05 23:11:14 Matrix theory Rank Matrix Matrices Determinants Numerical linear algebra Unimodular matrix Cauchy–Binet formula Algebra Linear algebra Mathematics		From Satisfiability to Linear Algebra Fangzhen Lin Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong Technical Report Add to Reading List Source URL: www.cs.ust.hk Download Document from Source Website File Size: 218,83 KB Share Document on Facebook

	Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–124) QUIVERS WITH RELATIONS FOR SYMMETRIZABLE CARTAN MATRICES AND ALGEBRAIC LIE THEORY Christof Geiß DocID: 1xW2r - View Document
	Exploiting sparsity in difference-bound matrices Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2 DocID: 1xVoW - View Document
	Shorter Linear Straight-Line Programs for MDS Matrices Yet another XOR Count Paper Thorsten Kranz1 , Gregor Leander1 , Ko Stoffelen2 , Friedrich Wiemer1 1 DocID: 1xU7I - View Document
	COLLOQUIUM Shaun Fallat University of Regina Continuous Powers of Certain Positive Matrices DocID: 1xTTx - View Document
	Mixing Layers in Symmetric Crypto Ko Stoffelen Part I Shorter Linear Straight-Line Programs for MDS Matrices DocID: 1xTP1 - View Document