MathOverflow

Math Overflow. Q&A for professional mathematicians.

Read Mathoverflow.net news digest here: view the latest Math Overflow articles and content updates right away or get to their most visited pages. Mathoverflow.net belongs to a group of fairly successful websites, with more than 458K visitors from all over the world monthly. It seems that Math Overflow content is notably popular in USA, as 32.4% of all users (148K visits per month) come from this country. We haven’t detected security issues or inappropriate content on Mathoverflow.net and thus you can safely use it. Mathoverflow.net is hosted with Stack Exchange, Inc. (United States).

  • Content verdict: Safe
  • Website availability: Live
  • Last check:
  • 15 260

    Visitors daily
  • 54 936

    Pageviews daily
  • 6

    Google PR
  • 22 857

    Alexa rank

Mathoverflow.net news digest

  • 1 day

    Dynamic programming without discounting

    Let $u:[0,1]^2\to \mathbb{R}$ be a continuous and differentiable function such that
    $u(x,x)=0$ for any $x\in [0,1]$, and
    $\partial u(x,y)/\partial y>0$ for any $x\in [0,1]$ and any $y\in [x,1]$.

  • 1 day

    Triangulating disk bundles and plumbed manifolds

    I'm trying to prove complexity bounds for generalised triangulations (in the sense of Jaco & Rubenstein) of Lens spaces, and my idea was to look at the plumbed manifold X bounded by $L(p,q)$, triangulate it in some standard way, and then look at...

  • 1 day

    most probable path between two points, onsager-machlup functional

    Say I have an SDE $$dx_t = b(x_t)dt + dB_t$$ where $B_t$ is a Brownian motion. I would like to compute the most probable path between two points $y_0$ and $y_1$.
    I know the Onsager-Machlup functional which gives the most probable path on a time interval $[0,T]$. Following Zeitouni, we have$$\frac{ P(\,\|\phi - x\| < \varepsilon\,) }{ P(\,\|w\| < \varepsilon\,) }= J(\phi, \varepsilon)$$...

  • 1 day

    Is there a natural topos where the Riemann hypothesis is provable or disprovable...

    While constructive logic is compatible with classical logic and is sufficient to develop almost all important theorems from classical complex analysis, constructive is also compatible with axioms that are simply false in classical mathematics and incompatible...

Domain history

Web host: Stack Exchange, Inc.
Registrar: GoDaddy.com, LLC
Registrant: Registration Private (Domains By Proxy, LLC)
Updated: July 07, 2025
Expires: July 14, 2026
Created: July 14, 2009

Whois record

Visitor gender

Male

Female

Safety scores

Trustworthiness

Excellent

Child safety

Excellent