Read a complete book
Read numbers, algebra, geometry, sets, logic and proof, or download the PDFs. Traditional Chinese text.
OCME · Bilingual mathematics & derivations
Understand mathematics. Follow the derivation.
A mathematical knowledge system for Chinese and English readers and AI: from concepts and assumptions to examples, step-by-step derivations and traceable evidence.
- Bilingual question derivations
- 36,000
- Knowledge objects
- 302
- Concept guides
- 299
- Learning paths
- 59
Choose your starting point
Understand a concept
Read definitions, assumptions, relationships and exact formulas.
Follow a derivation
299 concept guides, distinct from individual question derivations.
Practice a topic
360 batches with links to bilingual question derivations.
Inspect the evidence
Inspect Lean sources, exact machine claims and verification limits.
Understanding verification states
Question derivations
36,000 have second-context AI mathematical and bilingual semantic review; 0 remain display/symbol-checked candidates.
Formal evidence
5 Lean evidence objects are linked to 4 knowledge objects; 298 objects have no linked formal evidence.
Read exact claims and Lean sourcesSource and review are separate
Source questions retain candidate and English retains ai_candidate. Second-context AI review is neither human review nor a whole-bank Lean proof. Finite checks support only their stated scope.
The map is an entry point
Core80 is the stable foundation; the complete current atlas has 302 nodes. Knowledge objects, concept guides, questions and formal evidence are distinct, linked layers.
Explore the mathematical atlas →