C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formalizing the Matrix Inversion Based on the Adjugate Matrix in HOL4.
Liming Li
Zhiping Shi
Yong Guan
Jie Zhang
Hongxing Wei
Published in:
Intelligent Information Processing (2014)
Keyphrases
</>
matrix inversion
monte carlo
least squares
computational cost
kernel matrix
light transport
kernel methods