Otwarty dostęp

On the Formalization of Gram-Schmidt Process for Orthonormalizing a Set of Vectors

Hiroyuki Okazaki

Okazaki, Hiroyuki

26 wrz 2023

On the Formalization of Gram-Schmidt Process for Orthonormalizing a Set of Vectors's Cover Image

Formalized Mathematics

Tom 31 (2023): Zeszyt 1 (Wrzesień 2023)

O artykule

Poprzedni artykuł

Następny artykuł

Zacytuj

Udostępnij

Pobierz okładkę

Data publikacji: 26 wrz 2023

Zakres stron: 53 - 57

Przyjęty: 31 mar 2023

DOI: https://doi.org/10.2478/forma-2023-0005

Słowa kluczowe
Gram-Schmidt process, orthonormal basis, linear algebra

© 2023 Hiroyuki Okazaki, published by Sciendo

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Public License.

Język:: Angielski

Częstotliwość wydawania:: 1 razy w roku
Dziedziny czasopisma:: Matematyka, Matematyka ogólna, Informatyka, Informatyka, inne

Kanał RSS czasopisma