2,843 reputation
1229
bio website asmeurersympy.wordpress.org
location Austin, TX
age
visits member for 4 years
seen 10 hours ago

I am a software developer at Continuum Analytics. I am also the lead developer for the SymPy project.

I will gladly license my code snippets under something more permissive than StackExchange's CC-BY-SA if you want. Consider my work here to be public domain.


Jul
2
awarded  Curious
Jun
27
comment How are mathematicians taught to write with such an expository style?
In my case, for my introductory course that was the first real mathematics course (involving proofs), I had a grader who would mark us down if our proofs were correct but not written well (no complete sentences, using $\forall$ instead of "for all", leaving out steps, etc.).
Jun
27
comment How were 'old-school' mathematics graphics created?
@Amzoti maybe you should add an answer with some of the better images. All I have is a low quality black and white scan of one of the books given to me by my professor. Does the intro or back of the book mention how the drawings were done?
Jun
27
comment How were 'old-school' mathematics graphics created?
@Amzoti I found it. It is actually a series of books by Abraham and Shaw. I can't find any references to verify this (which is why this isn't an answer), but my professor who introduced me to this told us that one of the authors was a mathematician and one was an artist. The books are a very good visual introduction to the theory of dynamic systems. I highly recommend them.
Jun
26
comment Computer Programs for Pure Mathematicians
You probably mean LaTeX, not TeX. Most mathematicians do not know how to use raw TeX.
Jun
26
comment How were 'old-school' mathematics graphics created?
There is an entire book on dynamic systems that is just a bunch of hand-drawn graphs of dynamic systems. I can't remember what it is called, though.
Jun
24
comment Is there a(n elementary) function whose derivative we cannot integrate?
Actually, I've implemented the transcendental algorithm from Bronstein's book (in SymPy). The algebra is not something I would expect a calculus student to understand (but maybe I am just more cynical). And I found most of the algorithm to be tedious degree bound calculation and considerations of lots of different cases.
Jun
24
comment Is there a(n elementary) function whose derivative we cannot integrate?
Maybe complex is a better word than complicated.
Jun
24
awarded  Good Answer
Jun
24
comment Is there a(n elementary) function whose derivative we cannot integrate?
That's true, but it's not special to the Risch algorithm. Virtually every algorithm in algebra has this restriction. It boils down to simple things like the fact that $ax^n$ is degree $n$ in $x$ only if $a\neq0$. And note how zero equivalence computability in the constant field is fundamental to the correctness of very basic algorithms like the division algorithm and Gaussian elimination.
Jun
23
awarded  Nice Answer
Jun
23
answered Is there a(n elementary) function whose derivative we cannot integrate?
Jun
6
awarded  Enlightened
Jun
5
awarded  Nice Answer
May
28
revised $\lim_{x \to 1} \frac{x + x^2 + \dots + x^n - n}{x - 1} = \frac{n(n + 1)}{2}$
typo
May
18
comment Could somebody validate my proof for the limit of $a^{x_n}$ when $x_n \to c$?
The setup of your proof is invalid. You would need to prove that $y_n$ converges at all. $y_n \not \to a^c$ means $y_n \to l \neq a^c$ or $y_n$ diverges.
May
13
comment Is $\frac{dy}{dx}$ not a ratio?
I don't know. Assume dependence on a third dummy variable with respect to which everything is constant so that the lhs is really a partial?
May
12
comment Is there a fundamental reason that $\int_b^a = -\int_a^b$
Wouldn't it be $f(y - a - b)dy$?
Apr
12
comment Visually deceptive “proofs” which are mathematically wrong
One can make a similar proof of the false Pythagorean theorem that $a + b = c$ (instead of $a^2 + b^2 = c^2$).
Mar
30
awarded  Good Question