meta user
network profile
| bio | website | asmeurersympy@wordpress.org |
|---|---|---|
| location | New Mexico | |
| age | ||
| visits | member for | 2 years, 9 months |
| seen | 2 days ago | |
| stats | profile views | 246 |
I am a graduate student in mathematics at NMSU. I am 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.
|
Nov 14 |
comment |
Intuition why the volume and surface area of the unit sphere eventually decrease Ah, I rather suspected there might be something there. That site tends to have more upper-level math questions than this one. |
|
Nov 14 |
answered | Is $dy/dx$ not a ratio? |
|
Nov 14 |
asked | Intuition why the volume and surface area of the unit sphere eventually decrease |
|
Nov 14 |
comment |
How do we prove that a sphere maximizes the volume enclosed among all simple closed surfaces of given surface area? Perhaps use the calculus of variations and the Euler-Lagrange formula. |
|
Nov 12 |
reviewed | Reviewed Is there a natural , $1\leq t\leq n$ such that $(n,t)=1$ and $\frac{n}{(n,t-1)}=d$? |
|
Nov 12 |
reviewed | Reviewed Finding eigenvalues and eigenvectors of a $3\times 3$ matrix |
|
Nov 12 |
reviewed | Reviewed On group such that the group of inner automorphisms of it is isomorphic to $S_{3}$. |
|
Oct 28 |
comment |
How does $\cos\frac\theta2 = \pm\sqrt{\frac{(1 + \cos \theta)}{2}}$? If you're familiar with the complex exponential definition of sine and cosine, it will usually be the easiest way to prove the various elementary trig identities. |
|
Oct 27 |
comment |
Is $0^0=1$ postulate independent of all other axioms of complex numbers? Isn't saying that there exists a function $f:\emptyset \rightarrow A$ also a convention? I don't disagree with it (it ultimately boils down to the principle of vacuous truth), but it seems like circular reasoning to use it as an argument here. |
|
Oct 27 |
comment |
Is $0^0=1$ postulate independent of all other axioms of complex numbers? I fixed the answer. $x_n$ should be positive as pointed out. This does not change the argument, though. |
|
Oct 27 |
revised |
Is $0^0=1$ postulate independent of all other axioms of complex numbers? x_n should be positive |
|
Oct 27 |
answered | Is $0^0=1$ postulate independent of all other axioms of complex numbers? |
|
Oct 25 |
accepted | Minimal set of trig identities to define all the trig functions |
|
Oct 24 |
comment |
How to Decompose $\mathbb{N}$ like this? And if you insist that $0\in \mathbb{N}$, then toss it in too. |
|
Oct 21 |
comment |
Minimal set of trig identities to define all the trig functions Regarding measurability, that makes sense thinking about it in terms of the standard example of a non-measurable set (representatives of equivalence classes of real numbers differing by a rational). These functional equations only define their functions up to rational differences, so discontinuity will have to be because of different values on these equivalence classes (or something quite like them), though I guess it's surprising that a difference on even just one of these classes is enough to make it non-measurable. |
|
Oct 21 |
comment |
Minimal set of trig identities to define all the trig functions Well, I'm not as interested in the natural relationship as just having a minimal set of defining equations. Or at any rate, we should consider the minimal defining equations to be natural, rather than the other way around, since all other identities will be logically derivable from them. And anyway, it seems fairly natural to me. It just says that $\sin(x)$ and $\cos(x)$ are basically the same function, up to a shift. So if we're interested in defining them, it's only really necessary to define one of them. |
|
Oct 21 |
comment |
Minimal set of trig identities to define all the trig functions If you do like I said and define $\cos(x)$ as $\sin(\frac{\pi}{2} - x)$ and then only worry about defining $\sin(x)$, would that be a sufficient use of $\pi$? |
|
Oct 21 |
comment |
Minimal set of trig identities to define all the trig functions I get how continuous works (because you basically get values at all rational multiples of $\pi$ using the formula), but how is measurable also sufficient? |
|
Oct 21 |
comment |
Minimal set of trig identities to define all the trig functions Oh sure, I knew you would have to mention $\pi$. When I said not analytic, I meant more about requirements on the functions rather than analytically defined constants. |
|
Oct 21 |
asked | Minimal set of trig identities to define all the trig functions |
