Reputation
Top tag
Next privilege 5,000 Rep.
Approve tag wiki edits
Badges
1 17 33
Newest
 Yearling
Impact
~128k people reached

Aug
24
revised Are these two optimization problems equivalent to each other?
make the 1 vector a little easier to read
Aug
14
comment Can a sequence have infinitely many limits among its subsequences?
I see. Yes, the $\epsilon$ argument only gives you a finite number of points of the set of points is bounded (as there can only be a finite number of $\epsilon$ balls in a bounded subset of $\mathbb{R}$). If it isn't, the set can be countable, but not uncountable. I'm not sure about using diagonalization as an argument.
Aug
13
answered Can a sequence have infinitely many limits among its subsequences?
Aug
4
awarded  Yearling
Jul
19
answered A question regarding the constant of integration
Jul
9
comment Symbolically formulate the two guard problem so it can be solved by a computer
I'm actually skeptical whether this can be solve with propositional logic, given the nature of the "answer", but it would obviously be nice, since SAT solvers are common and fast.
Jul
8
asked Symbolically formulate the two guard problem so it can be solved by a computer
Jul
8
awarded  Informed
Jul
7
awarded  Civic Duty
Jul
7
answered Prove that if $g^2=e$ for all g in G then G is Abelian.
Jul
6
answered Unsolvability of a Quintic and its link with “Simplicity” of $A_{5}$
Jul
6
awarded  Excavator
Jul
6
revised A different proof of the insolubility of the quintic?
Fix link
Jul
4
answered Taking the square root of an imaginary number
Jun
18
answered Quartic Solution on Wikipedia special cases problem $S=0$ how to “change the choice of cubic root”?
Jun
18
answered Quartic Solution on Wikipedia special cases problem $S=0$ how to “change the choice of cubic root”?
Jun
15
answered A misleading commutative diagram
Jun
15
comment A misleading commutative diagram
By the definition of commutative diagram, wouldn't you need at least a triangle to imply that $\phi$ is a self-inverse? I don't see how the bottom diagram implies this.
Jun
15
comment Why ∫ dn is = N?
You should be careful about $n$ vs. $N$. In mathematics the two are always considered to be two separate variables. Your mixing of the two just makes things more confusing.
Jun
15
comment Computer algebra system for solving systems of partial differential equations / PDEs
Numerical PDE solvers are a dime a dozen, and the one you should use depends very much on the PDE. Symbolic solvers are much rarer. You should clarify what kind of PDEs you have and what kind of solutions you are looking for.