1,443 reputation
322
bio website google.com
location Idaho
age 38
visits member for 2 years, 2 months
seen 13 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.


13h
comment Heuristics for solving first order, nonhomogenous, linear differential equations
We haven't covered integrating factors yet, so I don't think this solution will be appropriate for my students.
13h
answered Heuristics for solving first order, nonhomogenous, linear differential equations
14h
asked Heuristics for solving first order, nonhomogenous, linear differential equations
Jul
15
revised How to prove there is no surjection
formatting
Jul
15
suggested suggested edit on How to prove there is no surjection
Jul
13
answered Trouble finding the derivative of an expression
Jul
13
revised Prove that $1-2^{-x}\geq \frac{\sqrt 2}{2}\sin\left(\frac{\pi}{4} x\right)$
correct error
Jul
13
suggested suggested edit on Prove that $1-2^{-x}\geq \frac{\sqrt 2}{2}\sin\left(\frac{\pi}{4} x\right)$
Jul
13
answered What exactly is a number?
Jul
13
revised Graphing functions
cleaned tags
Jul
13
answered Graphing functions
Jul
13
suggested suggested edit on Graphing functions
Jul
13
revised Function has vertical tangent or vertical cusp?
Removed unneeded periods.
Jul
13
comment Function has vertical tangent or vertical cusp?
You have shown that $f(x)$ has an extreme point at $c = -2$.
Jul
13
suggested suggested edit on Function has vertical tangent or vertical cusp?
Jul
12
comment I need help proving this theorem (composition of functions)
okay, the other way around then. Either way, your OP is missing information.
Jul
12
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.
Jul
12
comment I need help proving this theorem (composition of functions)
This looks like a definition to me as well. There is nothing to prove.
Jul
12
comment Solving a trigonometric limit
$(1-2sinx)(2\sqrt{3}cosx+3)=(2sinx-1)(-2\sqrt{3}cosx-3)$
Jul
12
answered Solving a trigonometric limit