5,004 reputation
828
bio website cs.ox.ac.uk/people/…
location Oxford, United Kingdom
age 51
visits member for 4 years, 4 months
seen 18 mins ago

1d
reviewed Edit Obtain any 3-manifold from repeating surgeries on knots in $S^3$
1d
revised Obtain any 3-manifold from repeating surgeries on knots in $S^3$
edited tags
1d
reviewed Approve relation between Ass Ext(M,N) and Ass M ,Ass N
2d
reviewed Close embdedding standard models of PA into nonstandard models
2d
reviewed Close About structure of the set of perfect matchings of $K_{n,n}$
2d
reviewed Close Does a (non-closed) differential 1-form define a curve?
2d
reviewed Close Variance under time-scaling of sample measurements
2d
reviewed Leave Closed In set theory, is there a name for a function which maps the empty set to zero and all the others to one?
2d
reviewed Close Proof theory and the generalized Riemann hypothesis
2d
reviewed Approve cyclic-homology tag wiki excerpt
Mar
27
revised Simply connected Lie groups homeomorphic to R^n are solvable
texify
Mar
27
comment name for a polytope constructed from a system of linear equations?
I must say I don't recall details right now - I was computing something generalising triangulations, using 4t2.
Mar
26
reviewed Approve Injecting premises into two implicational premises connected by a tensor (multiplicative conjunction) in linear logic
Mar
26
awarded  Custodian
Mar
26
reviewed Close Differentiability and the Maximum Theorem
Mar
26
comment How to pack 3D boxes into a bigger box?
dynamic programming might work well on instances which are not too big, IMHO
Mar
26
revised How to pack 3D boxes into a bigger box?
texify
Mar
26
comment The maximal eigenvalue of a symmetric Toeplitz matrix
I take this back: from mathoverflow.net/questions/68099/… it is seen that apparently for $n\geq 9$ there cannot be an explicit formula.
Mar
26
revised Diagonalizing a Certain Real and Symmetric Toeplitz Matrix
texify last equation
Mar
26
reviewed Approve Are all rational exactly solvable differential equations known?