Stream: math-comp users

Topic: Important theorems about linear algebra?

Xuanrui Qi (Jan 26 2021 at 20:48):

Hi all! I'm not really familiar with the linear algebra part of mathcomp-algebra, so I wonder if the following important theorems have been proven:

• the rank-nullity theorem
• the Cayley-Hamilton theorem
• the Jordan normal form theorem

Karl Palmskog (Jan 26 2021 at 22:26):

Mathematical Components. Contribute to math-comp/math-comp development by creating an account on GitHub.

Cyril Cohen (Jan 27 2021 at 01:30):

Xuanrui Qi said:

Hi all! I'm not really familiar with the linear algebra part of mathcomp-algebra, so I wonder if the following important theorems have been proven:

• the rank-nullity theorem
• the Cayley-Hamilton theorem
• the Jordan normal form theorem

Reynald Affeldt (Jan 27 2021 at 02:17):

Should these be listed along the odd order theorem on the mathcomp webpage https://math-comp.github.io/?

Cyril Cohen (Jan 27 2021 at 14:23):

Reynald Affeldt said:

Should these be listed along the odd order theorem on the mathcomp webpage https://math-comp.github.io/?

Follow up on this question in topic https://coq.zulipchat.com/#narrow/stream/237664-math-comp-users/topic/Documenting.20mathcomp.20theorems

Last updated: Jan 29 2023 at 19:02 UTC