Filter your results
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Formalizing the Matrix Inversion Based on the Adjugate Matrix in HOL48th International Conference on Intelligent Information Processing (IIP), Oct 2014, Hangzhou, China. pp.178-186, ⟨10.1007/978-3-662-44980-6_20⟩
Conference papers
hal-01383331v1
|