I'm not an expert in the area, but here's a few highlights: Bridson distinguished automatic and combable groups. Burger and Mozes found examples of biautomatic simple groups. Mapping class groups were originally shown to be automatic by Mosher. Recently, Hamenstadt has shown that they are biautom...
Recently I came to know about Atsuji space from the paper1. A metric space $X$ is called an Atsuji space if every real-valued continuous function on $X$ is uniformly continuous. Strikingly I have found in the above paper that, $X$ is an Atsuji space if and only if every bounded real-valued contin...
It's just a simple Find & Replace tool which (AFAIK) doesn't support wildcards. In that case, that means the operation needs to be performed once for every individual PlanetMath page that is being linked to (because the .html needs to be removed). I'll wait for a staff member to confirm this, but...
arxiv.org/abs/math/
does work) could be automated in this way?
« first day (3066 days earlier) ← previous day next day → last day (826 days later) »