bio | website | madore.org/~david |
---|---|---|
location | Paris, France | |
age | 38 | |
visits | member for | 3 years, 4 months |
seen | Nov 21 at 18:59 | |
stats | profile views | 749 |
Sep 13 |
comment |
Have any long-suspected irrational numbers turned out to be rational?
How does one prove this sort of equalities? |
Aug 30 |
comment |
“Converse” of Taylor's theorem
The Marcinkiweicz & Zygmund paper is available from EUDML, but I can't find the appropriate theorem in it (as I mentioned in my answer I could find it in a later paper by Oliver, however): all conclusions seem to be "almost everywhere" (e.g., theorem 1). Did I miss something, or were you perhaps thinking of a different paper? |
Aug 30 |
answered | “Converse” of Taylor's theorem |
Aug 30 |
revised |
Is the absolute of a compact space the projective limit of the Stone-Čech compactifications of its open dense subsets?
found the statement in FGL, but I still prefer the accepted answer |
Aug 29 |
accepted | Is the absolute of a compact space the projective limit of the Stone-Čech compactifications of its open dense subsets? |
Aug 20 |
answered | Hilbert's 17th Problem for smooth functions |
Aug 19 |
comment |
Why are there so few zero-dimensional polynomial system solvers and is this because there is no real market for them?
I would say part of the problem is that numerical methods done over approximate (floating-point) real values do not mix well with algebraic methods such as Gröbner bases where it is necessary to be able to decide (exact!) equality. |
Aug 19 |
awarded | Nice Answer |
Aug 18 |
revised |
Is the absolute of a compact space the projective limit of the Stone-Čech compactifications of its open dense subsets?
add "reference-request" tag |
Aug 18 |
answered | Lower bound on the irrationality measure of $\pi$ |
Aug 18 |
asked | Is the absolute of a compact space the projective limit of the Stone-Čech compactifications of its open dense subsets? |
Aug 10 |
awarded | Yearling |
Jul 23 |
comment |
What about the classification of big finite simple groups?
Another question along the same lines would be: what about classifying finite simple groups whose order divides some sufficiently large constant (e.g., a prime larger than any one dividing the order of one of the sporadics). |
Jul 21 |
comment |
Flag manifolds (=R-spaces): quotients by parabolic subgroups vs. isotropy representation
I should add as a comment to this fairly old answer that the book Parabolic Geometries by Čap and Slovák, despite a slightly intimidating title, is excellent as an introduction to real and complex Lie groups and homogeneous spaces in general, and to answer my question in particular. (Arvanitoyeorgos's book is quite good, but only deals with the complex case of parabolic quotients.) |
Jul 20 |
comment |
Can we define an “empirically generic” real number?
My initial formulation of the question was very unclear, I'm sorry about that, I hope I've made it better. No explicit real number can be generic, but we can hope for one to be "empirically generic-looking, in the same way that $e$ and $\pi$ are empirically random-looking (even though they are, of course, not at all random)". |
Jul 19 |
comment |
Can we define an “empirically generic” real number?
I'm sorry my original formulation of the question was very messy and unclear. I tried reformulating it (starting from "edit/clarification") in a manner that I hope is clearer and less sweeping. |
Jul 19 |
revised |
Can we define an “empirically generic” real number?
try to clarify the question and make it less informal by offering different formulation |
Jul 18 |
asked | Can we define an “empirically generic” real number? |
Jul 10 |
revised |
Power series defined by Witt vectors / Teichmüller representatives of p-adics
Fix typo pointed out in comment |
Jul 10 |
comment |
Power series defined by Witt vectors / Teichmüller representatives of p-adics
@Lubin: You're right. I replaced $\times$ by $\cdot$ everywhere. |