1,197 reputation
718
bio website madore.org/~david
location Paris, France
age 38
visits member for 3 years, 4 months
seen Nov 21 at 18:59

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.