Skip to main content
MathOverflow
wlad's user avatar
wlad's user avatar
wlad's user avatar
wlad
  • Member for 9 years, 5 months
  • Last seen this week
Profile Activity
Stats
4,943
reputation
99k
reached
36
answers
81
questions
Communities
View all
About

(Wlad is not my real name.)

Badges
View all badges
2
gold badges
21
silver badges
45
bronze badges
Top tags
View all tags
23
Score
20
Posts
17
Posts %
23
Score
10
Posts
9
Posts %
13
Score
40
Posts
34
Posts %
8
Score
8
Posts
7
Posts %
5
Score
20
Posts
17
Posts %
3
Score
10
Posts
9
Posts %
Top posts
View all questions and answers
37
Listing applications of the SVD
Nov 14, 2021
34
Why is uncomputability of the spectral decomposition not a problem?
Aug 23, 2020
30
Gaussian elimination is just Gram-Schmidt with a change to the inner product symbol?
Feb 25, 2023
20
Is it possible to constructively prove that every quaternion has a square root?
Sep 19, 2019
17
In choiceless constructivism: If $f'=0$ then is $f$ constant?
Apr 10, 2020
16
Famous examples of "serendipity" in 20th century mathematics
Apr 19, 2023
14
Is it possible to constructively prove that every quaternion has a square root?
Sep 20, 2019
13
How to express in categorical language that in some toposes not all complex numbers have square roots
Oct 26, 2021
12
Is the Intermediate Value Theorem strictly stronger than LLPO?
Dec 17, 2022
12
Toposes in which countable choice is true but dependent choice isn't
Apr 7, 2020
Top network posts
View all network posts
84
Pyspark: Convert column to lowercase
62
Pyspark: Convert column to lowercase
58
Proof of convergence of k-means
38
Why aren't zero-knowledge proofs used in practice for authentication?
37
Proof of convergence of k-means