On the Formalization of Gram-Schmidt Process for Orthonormalizing a Set of Vectors.
| Autor: | Okazaki, Hiroyuki1 (AUTHOR) |
|---|---|
| Zdroj: | Formalized Mathematics. Sep2023, Vol. 31 Issue 1, p53-57. 5p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|
| Autor: | Okazaki, Hiroyuki1 (AUTHOR) |
|---|---|
| Zdroj: | Formalized Mathematics. Sep2023, Vol. 31 Issue 1, p53-57. 5p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|