Dima Pasechnik
Reputation
233
Next privilege 250 Rep.
 Apr5 comment Dominated convergence theorem and fundamental lemma this looks like a meaningful question... Mar27 awarded Commentator Mar27 awarded Yearling Mar26 comment Proving that $(e^x+1)^{1/3}$ has no elementary antiderivative well, consider my answer being done by computer, not me :-) Mar26 answered Proving that $(e^x+1)^{1/3}$ has no elementary antiderivative Mar22 comment Determinant of a Vandermonde matrix of roots of monic polynomial with integer coefficients the square of the Vandermonde is a symmetric function, and thus Per's argument applies. Mar18 comment Nauty software package and weighted graphs There is no such command in dreadnaut. You will have to supply it the already prepared non-weighted graph. Mar18 comment Nauty software package and weighted graphs Well, how you represent weights is an entirely different question. In the setting of computing automorphisms and isomorphisms all what matters is that different weights are represented by different integer numbers (or colours). Mar18 answered Nauty software package and weighted graphs Feb12 revised Ten dimensional representation of $S_6$ expanded... Feb11 answered Ten dimensional representation of $S_6$ Jan21 comment How unitarize an irreducible representation of a finite group? In fact you don't need to compute eigenvalues and eigenvectors. Although you will still need to compute square roots of real cyclotomics at the end, as I mentioned in GAP forum. Dec26 comment symmetrizability of generalised cartan matrix either wikipedia is wrong, or this is by definition: en.wikipedia.org/wiki/Cartan_matrix en.wikipedia.org/wiki/Symmetric_matrix#Symmetrizable_matrix Dec19 awarded Caucus Sep29 comment What is the second least non prime order of a simple group? PSL(3,2), not PSL(7,2) Sep29 answered What is the second least non prime order of a simple group? Sep28 comment divisibility of number of solutions of $x_1+\cdots+x_k=n$ I'm not 100% sure, but it seems that if $\gcd(n,k)=1$ then all the $k$ cyclic $k$-shifts of a solution are different. This means that the number of solutions is divisible by $k$. Sep28 answered divisibility of number of solutions of $x_1+\cdots+x_k=n$ Sep28 answered For all real $\theta$ prove that $\cos(\sin\theta) \gt \sin(\cos\theta)$ Aug8 answered Reference Request: Characters of Finite General Linear Groups