The User

top accounts reputation activity subscriptions

At which level is it currently possible to write formal proofs?

proof-assistant big-picture asked Jun 12, 2013 at 23:08

Hodge decomposition in Minkowski space

dg.differential-geometry mp.mathematical-physics hodge-theory semi-riemannian-geometry differential-forms asked Jun 5, 2013 at 21:31

mathoverflow.net

17 votes

Why did Bourbaki not use universal algebra?

ho.history-overview universal-algebra bourbaki asked May 24, 2013 at 22:36

mathoverflow.net

12 votes

Importance of separability vs. second-countability

gn.general-topology soft-question asked May 18, 2013 at 17:05

mathoverflow.net

6 votes

Plancherel formula for non-second-countable (non-unimodular) groups

harmonic-analysis rt.representation-theory reference-request asked May 17, 2013 at 0:34

mathoverflow.net

6 votes

Where does the deterministic simulation of non-deterministic ω-Turing machines fail?

computability-theory asked Jul 17, 2013 at 14:38

mathoverflow.net

Top Answers

Alternatives to Mathematica

mathematica.stackexchange.com

Is Riemannian integration sufficient in physics?

mathoverflow.net

Topological Characterisation of the real line.

mathoverflow.net

Compact open topology

mathoverflow.net

Spinoffs of analytic number theory

mathoverflow.net

Why does Fourier transform of a function give the frequency spectrum?

mathoverflow.net

Dual of the space of continuous functions

mathoverflow.net

Equivalence and weak equivalence of groupoids

mathoverflow.net

Computability complexity of the first-order theory of arithmetic?

mathoverflow.net

Generalized basis

mathoverflow.net

Not especially famous, long-open problems which anyone can understand

mathoverflow.net

Schwartz space defined on locally convex spaces

mathoverflow.net

What is convolution intuitively?

mathoverflow.net

Hausdorff measure on the sphere is well defined?

mathoverflow.net

Basic results with three or more hypotheses

mathoverflow.net

Group G hasn't all conditions of Lie group

mathoverflow.net

What are the best settings for the large scale geometry of locally compact groups?

mathoverflow.net