Reputation
12,769
Top tag
Next privilege 15,000 Rep.
Protect questions
Badges
3 44 121
Impact
~621k people reached

1d
awarded  Popular Question
1d
comment Community experiences writing Lamport's structured proofs
Quotients are a godforsaken mess; it's not just undergrads that are struggling with them. They aren't easy to use in Coq either, unless one essentially constructs them by hand (i.e., instead of equivalence classes one uses objects defined explicitly, with explicit projection and lift maps).
1d
comment Community experiences writing Lamport's structured proofs
Related: academia.stackexchange.com/questions/52435/…
2d
comment Hard maths on viXra?
@IgorKhavkine: Euler's works come with lesser copyright troubles.
2d
comment Hard maths on viXra?
Also, the word "Scienceographic" is an abomination and whoever came up with it should be ashamed.
2d
reviewed Approve Hard maths on viXra?
2d
comment Hard maths on viXra?
vixra.org/pdf/1208.0223v1.pdf is a set of lecture notes on combinatorics by de Bruijn taken by Nienhuys. I don't know if the scribes have tried taking it to the arXiv, but I wouldn't be surprised if it got rejected due to the scribes not being authors. That said, this is the only time I have found anything of use on the viXra...
2d
comment Even parking functions and spanning trees of complete bipartite graphs
Any idea how this would look like for $K_{n,m}$ ?
2d
revised Even parking functions and spanning trees of complete bipartite graphs
latex
2d
awarded  Revival
Jan
31
comment books, lecture notes, for studying pullback rings
Why censor the number of the definition?
Jan
24
comment Elementary polynomial-free proofs of fundamental theorem of Galois theory?
@DrewArmstrong: Fixed the link.
Jan
24
revised Elementary polynomial-free proofs of fundamental theorem of Galois theory?
replace dead link by archive; typo
Jan
21
comment Exact determinant of a circulant matrix
$\omega_1$ is a root of the $n$-th cyclotomic polynomial $\Phi_n \in \mathbb{Z}\left[X\right]$, which is monic. Thus, $\mathbb{Z}\left[\omega_1\right] \cong \mathbb{Z}\left[X\right] / \Phi_n$, and in the latter ring you can easily calculate. Now, is this efficient? I don't know.
Jan
18
comment Witt-vector vectors
Good question. Something perhaps related is Lemma 2.2 in arxiv.org/abs/1006.3125v3 .
Jan
16
awarded  Good Question
Jan
16
revised The logic of convex sets
part of a sentence was missing
Jan
11
reviewed Approve posets tag wiki excerpt
Jan
11
reviewed Approve math-philosophy tag wiki excerpt
Jan
11
reviewed Approve modules tag wiki excerpt