1,364 reputation
322
bio website google.com
location Idaho
age 37
visits member for 2 years
seen 7 hours ago

I primarily program in C++ and Java. Recently I started learning Haskell. My current mathematical interests are group theory, graph theory, category theory, and type theory. I also enjoy playing chess and Go.

Me on projecteuler.net

My GitHub projects.


10h
answered What exactly is a number?
10h
revised Graphing functions
cleaned tags
10h
answered Graphing functions
10h
suggested suggested edit on Graphing functions
11h
revised Function has vertical tangent or vertical cusp?
Removed unneeded periods.
11h
comment Function has vertical tangent or vertical cusp?
You have shown that $f(x)$ has an extreme point at $c = -2$.
11h
suggested suggested edit on Function has vertical tangent or vertical cusp?
12h
comment I need help proving this theorem (composition of functions)
okay, the other way around then. Either way, your OP is missing information.
12h
comment I need help proving this theorem (composition of functions)
The statement in your comment is a theorem. The statement in your OP is a definition that can be used to prove this theorem.
12h
comment I need help proving this theorem (composition of functions)
This looks like a definition to me as well. There is nothing to prove.
13h
comment Solving a trigonometric limit
$(1-2sinx)(2\sqrt{3}cosx+3)=(2sinx-1)(-2\sqrt{3}cosx-3)$
13h
answered Solving a trigonometric limit
13h
comment Solving a trigonometric limit
Yes, that's exactly what he's saying.
13h
comment Finding a matrix projecting vectors onto column space
Why do you care about $AA^T$? It doesn't appear anywhere in the formula for $P$.
14h
answered Proving double derivatives with the chain rule (I think?)
14h
comment Proving double derivatives with the chain rule (I think?)
Start by taking the first derivative of $y$.
14h
comment Finding a matrix projecting vectors onto column space
Perform the multiplications in your formula.
14h
suggested suggested edit on Finding a matrix projecting vectors onto column space
14h
comment How to solve the following an ODE?
What have you tried?
1d
awarded  Peer Pressure