User Nate Eldredge

81 votes

3 answers

5k views

How do I verify the Coq proof of Feit-Thompson?

asked May 2, 2014 at 3:05

32 votes

4 answers

2k views

"Wild" solutions of the heat equation: how to graph them?

asked Mar 21, 2013 at 12:58

27 votes

2 answers

4k views

Does Arzelà-Ascoli require choice?

asked Nov 13, 2010 at 15:14

26 votes

3 answers

7k views

Dual of bounded uniformly continuous functions

asked Oct 29, 2010 at 21:20

22 votes

2 answers

1k views

Meager subspaces of a Banach space and weak-* convergence

asked Nov 12, 2013 at 17:36

21 votes

4 answers

2k views

Motivation for strong law of large numbers

asked Mar 23, 2010 at 21:42

20 votes

1 answer

4k views

Where can I find Gonthier's Coq code proving the four color theorem?

asked May 1, 2014 at 23:02

14 votes

3 answers

1k views

Explicit formulas for Carnot-Carathéodory distances on Carnot groups

asked Mar 14, 2017 at 22:28

12 votes

3 answers

2k views

Reference request: Simple facts about vector-valued Sobolev space

asked Feb 3, 2012 at 22:09

10 votes

1 answer

619 views

Extending state space to make a process Feller

asked Jun 6, 2011 at 18:00

10 votes

1 answer

2k views

Multilinear generalization of Cauchy-Schwarz inequality

asked Aug 28, 2011 at 23:07

10 votes

1 answer

747 views

Canonical English edition of Dellacherie and Meyer's "Probabilities and Potential"

asked Aug 30, 2016 at 23:18

10 votes

1 answer

243 views

Approximation via finite rank Cameron-Martin projections

asked Sep 27, 2015 at 0:27

9 votes

1 answer

1k views

Can a non-Borel set be a standard Borel space?

asked Nov 7, 2010 at 12:38

8 votes

1 answer

983 views

Is there a regular Dirichlet form with no associated Feller process?

asked May 27, 2011 at 20:36

8 votes

2 answers

1k views

Does infinite-dimensional Brownian motion live in hyperplanes?

asked Jul 23, 2012 at 18:25

8 votes

1 answer

720 views

Strongly continuous semigroups that cannot be contractions

asked Jun 28, 2013 at 18:15

7 votes

2 answers

707 views

Is taking the product of signed measures weakly continuous?

asked Jul 8, 2015 at 21:26

7 votes

0 answers

166 views

Choice and the Baire property in non-separable complete metric spaces

asked Jul 13, 2016 at 22:21

7 votes

3 answers

3k views

Cauchy-Schwarz inequality for bilinear forms valued in an abstract vector space

asked Jun 17, 2013 at 15:08

7 votes

3 answers

981 views

Non-Borel subspace of Banach space

asked Oct 6, 2010 at 18:47

5 votes

2 answers

354 views

$L^\infty$ properties of an infinite-dimensional Gaussian semigroup

asked Jun 2, 2012 at 19:07

5 votes

1 answer

591 views

Are polynomials dense in holomorphic $L^p(\mathrm{Gauss})$ for $p < 1$?

asked Feb 12, 2015 at 2:15

4 votes

1 answer

434 views

Area enclosed by Brownian motion (without winding number)

asked Apr 14, 2015 at 21:55

4 votes

2 answers

1k views

Examples of Lyapunov functions for Markov processes

asked Mar 23, 2011 at 0:23

Stack Exchange Network

25 Questions

How do I verify the Coq proof of Feit-Thompson?

"Wild" solutions of the heat equation: how to graph them?

Does Arzelà-Ascoli require choice?

Dual of bounded uniformly continuous functions

Meager subspaces of a Banach space and weak-* convergence

Motivation for strong law of large numbers

Where can I find Gonthier's Coq code proving the four color theorem?

Explicit formulas for Carnot-Carathéodory distances on Carnot groups

Reference request: Simple facts about vector-valued Sobolev space

Extending state space to make a process Feller

Multilinear generalization of Cauchy-Schwarz inequality

Canonical English edition of Dellacherie and Meyer's "Probabilities and Potential"

Approximation via finite rank Cameron-Martin projections

Can a non-Borel set be a standard Borel space?

Is there a regular Dirichlet form with no associated Feller process?

Does infinite-dimensional Brownian motion live in hyperplanes?

Strongly continuous semigroups that cannot be contractions

Is taking the product of signed measures weakly continuous?

Choice and the Baire property in non-separable complete metric spaces

Cauchy-Schwarz inequality for bilinear forms valued in an abstract vector space

Non-Borel subspace of Banach space

$L^\infty$ properties of an infinite-dimensional Gaussian semigroup

Are polynomials dense in holomorphic $L^p(\mathrm{Gauss})$ for $p < 1$?

Area enclosed by Brownian motion (without winding number)

Examples of Lyapunov functions for Markov processes