5,321 reputation
930
bio website cs.ox.ac.uk/people/…
location Oxford, United Kingdom
age 51
visits member for 4 years, 8 months
seen 2 days ago

Apr
28
comment lower bound on A(k,4,floor(k/2))
Did you compare this with known upper bounds (e.g. Delsarte bound)?
Apr
28
revised lower bound on A(k,4,floor(k/2))
added 18 characters in body
Apr
28
reviewed Leave Open Atiyah's vector bundles over an elliptic curve
Apr
28
comment Generalization of Schur polynomials
how about multisymmetric ones, such as e.g. in arxiv.org/abs/math/0405490 ?
Apr
28
reviewed Close Algebraic Groups of Type H_3 and H_4
Apr
28
reviewed Close Backward Uniqueness for the wave equation
Apr
28
reviewed Close What defines a “short proof”?
Apr
28
reviewed Leave Open Good ways to organize old personal mathematical resources
Apr
28
reviewed Approve Is the set $ AA+A $ always at least as large as $ A+A $?
Apr
27
comment Complexity :: Integer Programming :: Non-Poly Example
an example in this area is something that depends on a parameter; say, an array of length $n$ of integer numbers, and the task is to sort them; or a graph on $n$ vertices, and the task is to find a maximum clique. See, it's crucial that there is $n$ involved, because the question computational complexity answers is "provide a function of $n$ that tells the number of operations needed to solve the task".
Apr
27
comment Complexity :: Integer Programming :: Non-Poly Example
the notions of NP-completeness and polynomial-time solvability are about classes of problems, and not individual examples.
Apr
27
reviewed Close Is there a nonzero sheaf with all cohomologies vanish?
Apr
27
comment Mysterious identity between numbers of odd/even meander systems
I bet this is a relatively easy exercise with generating functions; a one Richard Stanley can do in his head :-)
Apr
27
comment Mysterious identity between numbers of odd/even meander systems
So, do you have explicit formulae for $OMS$ and $EMS$, or not?
Apr
27
comment Mysterious identity between numbers of odd/even meander systems
then what kind of "explicit expressions" are you talking about?
Apr
27
comment Mysterious identity between numbers of odd/even meander systems
Then why do you ask "whether this is true"? So the numbers are the same, as you just said. Do you rather ask for an explicit bijection?
Apr
27
comment Mysterious identity between numbers of odd/even meander systems
Did you try putting your numbers into oeis.org and see what it tells you?
Apr
26
reviewed Close Do those manifolds atrached to L-functions give rise naturally to motives?
Apr
26
answered Computionally efficient vertex enumeration for (convex) polytopes
Apr
26
reviewed Leave Closed Maximality statements that cannot be proved using $\mathsf{ZL}$