User wlad

0 votes

1 answer

77 views

Every square complex matrix is similar to a TRIDIAGONAL complex-symmetric matrix?

asked Mar 20 at 15:35

5 votes

1 answer

215 views

Are there any applications of the algebraic polar decomposition?

asked Nov 22, 2020 at 17:40

1 vote

4 answers

470 views

Does the generalised directional derivative satisfy any version of the chain rule?

asked Mar 25, 2020 at 11:38

6 votes

1 answer

622 views

Is there a conceptual reason why every square complex matrix is similar to a complex-symmetric matrix?

asked Jul 20, 2023 at 19:27

0 votes

0 answers

94 views

Is there a "cohomology theory" for involutive algebras?

asked Oct 21, 2023 at 15:10

2 votes

2 answers

183 views

Do positive-definite elements in finite-dimensional $*$-algebras over $\mathbb R$ always admit square roots?

asked Jul 1, 2023 at 11:55

3 votes

0 answers

169 views

Do the difficulties in generalising Henstock-Kurzweil still exist if every subset of $\mathbb R^n$ is Lebesgue measurable?

asked Jul 18, 2023 at 21:34

2 votes

1 answer

116 views

Polar decomposition with respect to the nonstandard involution of quaternionic matrices?

asked Jul 13, 2023 at 16:58

0 votes

0 answers

98 views

General reference for finite dimensional $*$-algebras over $\mathbb R$?

asked Jul 1, 2023 at 18:22

2 votes

0 answers

71 views

Are the following two characterisations of symplectic modules, using the language of form rings, the same?

asked Jun 16, 2023 at 10:49

1 vote

0 answers

58 views

Is there any point in considering Form Rings when 2 admits an inverse?

asked Jun 15, 2023 at 21:51

4 votes

0 answers

174 views

Is an orthogonal direct sum decomposition with respect to two quadratic forms necessarily unique up to isomorphism

asked May 4, 2023 at 19:06

1 vote

0 answers

116 views

Quiver representations and the standard matrix decompositions

asked Apr 30, 2023 at 19:42

2 votes

0 answers

143 views

Bruhat-Tits theory and Jordan-Chevalley decomposition

asked Apr 25, 2023 at 15:28

1 vote

1 answer

110 views

Can the condition number of a Jordan basis be made stubbornly large?

asked Dec 24, 2022 at 16:03

8 votes

1 answer

494 views

For every ring R, is there a block-diagonal canonical form for a square matrix over R?

asked Nov 23, 2021 at 12:54

29 votes

2 answers

1k views

Gaussian elimination is just Gram-Schmidt with a change to the inner product symbol?

asked Feb 25, 2023 at 18:17

2 votes

0 answers

127 views

Visualisation of general 3x3 matrices, with applications to the pedagogy of linear algebra?

asked Feb 8, 2023 at 15:33

1 vote

0 answers

76 views

A term for a submonoid of a free abelian monoid?

asked Jan 11, 2023 at 19:47

8 votes

1 answer

1k views

Why does an invertible complex symmetric matrix always have a complex symmetric square root?

asked Nov 20, 2020 at 11:45

12 votes

2 answers

574 views

Is the Intermediate Value Theorem strictly stronger than LLPO?

asked Dec 17, 2022 at 12:49

3 votes

0 answers

221 views

Has an uncomputable variant of the Cantor staircase ever been used in constructive logic?

asked Dec 25, 2022 at 11:50

3 votes

0 answers

142 views

Can the Jordan decomposition of a matrix be computed in a backwards stable way?

asked Dec 24, 2022 at 10:09

7 votes

0 answers

159 views

Is the IVT internally true in Johnstone's topological topos?

asked Dec 23, 2022 at 11:55

7 votes

0 answers

234 views

New Foundations in a Homotopy/Intuitionistic Type Theory form?

asked Dec 21, 2022 at 17:13

17 votes

4 answers

1k views

In choiceless constructivism: If $f'=0$ then is $f$ constant?

asked Apr 10, 2020 at 10:56

11 votes

2 answers

2k views

Can linear logic be used to resolve unexpected hanging/surprise examination paradox?

asked Nov 28, 2022 at 19:21

34 votes

3 answers

5k views

Why is uncomputability of the spectral decomposition not a problem?

asked Aug 23, 2020 at 15:18

1 vote

0 answers

59 views

A generalised spectral theorem for symmetric spaces generalising the one for symmetric matrices

asked Nov 7, 2022 at 20:52

3 votes

0 answers

172 views

Where could a paper on a unification of matrix decompositions be published?

asked Oct 25, 2022 at 15:26

Stack Exchange Network

82 Questions

Every square complex matrix is similar to a TRIDIAGONAL complex-symmetric matrix?

Are there any applications of the algebraic polar decomposition?

Does the generalised directional derivative satisfy any version of the chain rule?

Is there a conceptual reason why every square complex matrix is similar to a complex-symmetric matrix?

Is there a "cohomology theory" for involutive algebras?

Do positive-definite elements in finite-dimensional $*$-algebras over $\mathbb R$ always admit square roots?

Do the difficulties in generalising Henstock-Kurzweil still exist if every subset of $\mathbb R^n$ is Lebesgue measurable?

Polar decomposition with respect to the nonstandard involution of quaternionic matrices?

General reference for finite dimensional $*$-algebras over $\mathbb R$?

Are the following two characterisations of symplectic modules, using the language of form rings, the same?

Is there any point in considering Form Rings when 2 admits an inverse?

Is an orthogonal direct sum decomposition with respect to two quadratic forms necessarily unique up to isomorphism

Quiver representations and the standard matrix decompositions

Bruhat-Tits theory and Jordan-Chevalley decomposition

Can the condition number of a Jordan basis be made stubbornly large?

For every ring R, is there a block-diagonal canonical form for a square matrix over R?

Gaussian elimination is just Gram-Schmidt with a change to the inner product symbol?

Visualisation of general 3x3 matrices, with applications to the pedagogy of linear algebra?

A term for a submonoid of a free abelian monoid?

Why does an invertible complex symmetric matrix always have a complex symmetric square root?

Is the Intermediate Value Theorem strictly stronger than LLPO?

Has an uncomputable variant of the Cantor staircase ever been used in constructive logic?

Can the Jordan decomposition of a matrix be computed in a backwards stable way?

Is the IVT internally true in Johnstone's topological topos?

New Foundations in a Homotopy/Intuitionistic Type Theory form?

In choiceless constructivism: If $f'=0$ then is $f$ constant?

Can linear logic be used to resolve unexpected hanging/surprise examination paradox?

Why is uncomputability of the spectral decomposition not a problem?

A generalised spectral theorem for symmetric spaces generalising the one for symmetric matrices

Where could a paper on a unification of matrix decompositions be published?