Reputation
3,552
Top tag
Next privilege 5,000 Rep.
Approve tag wiki edits
Badges
1 16 33
Newest
 Informed
Impact
~125k people reached

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.
Jun
14
answered Computer algebra system for solving systems of partial differential equations / PDEs
May
19
comment Is $\frac{\textrm{d}y}{\textrm{d}x}$ not a ratio?
@JohnRobertson of course it is. That's the whole point here, that this sort of "fake proof" thinking leads to wrong results here. I blatantly ignore the fact that $d \neq \partial$ (essentially), and I also completely ignore what $F$ really is. My only point here is that if you try to use this as a mnemonic (or worse, a "proof" method), you will get completely wrong results.
Feb
19
comment Why is the inverse of a sum of matrices not the sum of their inverses?
In general, any identity that is not true for real numbers is not going to be true for matrices.
Feb
9
comment Algorithms for Symbolic Manipulation
I don't think the WolframAlpha step-by-step integration is using the Risch algorithm. It's likely just using a rules based system with pattern matching.