Skip to the content

Main page
All nodes
Subjects
Inventory
Search
Frontier
Reviewers
Projects

Project

Specification
Contribute
For agents
Content on GitHub
Toolchain on GitHub

Kinds

Concepts 1158
Definitions 1032
Statements 1079
Conjectures 2
Problems 7
Examples 91
Counterexamples 25
Objects 38
Proofs 0
Computations 1
Topics 0

01 History and biography

See MSC 01 on zbMATH Open.

This subject has no nodes yet. To add one, read Contribute.

The prose is under CC BY-SA 4.0. The metadata is under CC0 1.0. The code is under Apache-2.0.

Built by m2 dev from 545acf83a9b7 on 26 October 2026. llms.txt · JSON · Sitemap