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 9 mins ago

7h
reviewed Close embdedding standard models of PA into nonstandard models
7h
reviewed Close About structure of the set of perfect matchings of $K_{n,n}$
7h
reviewed Close Does a (non-closed) differential 1-form define a curve?
7h
reviewed Close Variance under time-scaling of sample measurements
19h
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?
19h
reviewed Close Proof theory and the generalized Riemann hypothesis
19h
reviewed Approve cyclic-homology tag wiki excerpt
1d
revised Simply connected Lie groups homeomorphic to R^n are solvable
texify
1d
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.
1d
reviewed Approve Injecting premises into two implicational premises connected by a tensor (multiplicative conjunction) in linear logic
2d
awarded  Custodian
2d
reviewed Close Differentiability and the Maximum Theorem
2d
comment How to pack 3D boxes into a bigger box?
dynamic programming might work well on instances which are not too big, IMHO
2d
revised How to pack 3D boxes into a bigger box?
texify
2d
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.
2d
revised Diagonalizing a Certain Real and Symmetric Toeplitz Matrix
texify last equation
2d
reviewed Approve Are all rational exactly solvable differential equations known?
2d
reviewed Close Closed Form Solutions To Simple Iterated Polynomial Building Blocks
2d
awarded  Custodian
2d
reviewed No Action Needed Notation: Categories of measur(abl)e spaces