Stream: math-comp users

Topic: Important theorems about linear algebra?


view this post on Zulip 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:

view this post on Zulip Karl Palmskog (Jan 26 2021 at 22:26):

Cayley-Hamilton: https://github.com/math-comp/math-comp/blob/e565f8d9bebd4fd681c34086d5448dbaebc11976/mathcomp/algebra/mxpoly.v#L457

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

view this post on Zulip 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:

view this post on Zulip 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/?

view this post on Zulip 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