You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output.
Click here to find out more.
Chapter title |
Formalizing the Matrix Inversion Based on the Adjugate Matrix in HOL4
|
---|---|
Chapter number | 20 |
Book title |
Intelligent Information Processing VII
|
Published by |
Springer, Berlin, Heidelberg, October 2014
|
DOI | 10.1007/978-3-662-44980-6_20 |
Book ISBNs |
978-3-66-244979-0, 978-3-66-244980-6
|
Authors |
Liming Li, Zhiping Shi, Yong Guan, Jie Zhang, Hongxing Wei, Li, Liming, Shi, Zhiping, Guan, Yong, Zhang, Jie, Wei, Hongxing |