Math 2.0

Inventory rows ND

The cards of the rows of the inventory whose ids start with ND. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.

parallelohedron ND018JC57T

URIm2://inv/ND018JC57T
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

small icosihemidodecahedron ND5GVGAV6C

URIm2://inv/ND5GVGAV6C
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

Cantor's paradox ND5M2JGRFX

URIm2://inv/ND5M2JGRFX
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

tromino ND7Q0V6GJ7

URIm2://inv/ND7Q0V6GJ7
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

De divina proportione ND873X55RE

URIm2://inv/ND873X55RE
Kindunknown
Layertextbook
Sources1
Outcomeout_of_scope (a book, not an item of mathematics)
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

pressure ND8YZXVTFF

URIm2://inv/ND8YZXVTFF
Kinddefinition
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

10^27 NDBADGS5J1

URIm2://inv/NDBADGS5J1
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

Wilhelm Ackermann NDBQSTQWBD

URIm2://inv/NDBQSTQWBD
Kindunknown
Layertextbook
Sources1
Outcomeout_of_scope (a person, not an item of mathematics)
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

successor ordinal NDG25ER8Q5

URIm2://inv/NDG25ER8Q5
Kinddefinition
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

Gauss map NDGZJY5CYJ

URIm2://inv/NDGZJY5CYJ
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

Theodore James Courant NDHWYE4ARV

URIm2://inv/NDHWYE4ARV
Kindunknown
Layertextbook
Sources1
Outcomeout_of_scope (a person, not an item of mathematics)
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

Duncan Sommerville NDNS9CDFMM

URIm2://inv/NDNS9CDFMM
Kindunknown
Layertextbook
Sources1
Outcomeout_of_scope (a person, not an item of mathematics)
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

language NDRYV88EFY

URIm2://inv/NDRYV88EFY
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

  • mathlib_overview: mathlib_overview Logic and computation > Formal languages > language, language (unknown). Also Mathlib Language

History

  • 2026-10-26: add by m2/dev

pseudotree NDS9YJ37WQ

URIm2://inv/NDS9YJ37WQ
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

harmonic oscillator NDTA24VJMF

URIm2://inv/NDTA24VJMF
Kinddefinition
Layertextbook
Sources1
Outcomeopen
NodeHarmonic oscillator 0YG0ZJPTWG

Mentions

History

  • 2026-10-26: add by m2/dev

solvable group NDVKCTT0R6

URIm2://inv/NDVKCTT0R6
Kinddefinition
Layertextbook
Sources1
Outcomeopen
NodeSolvable group 0FXJ7YFMMX

Mentions

History

  • 2026-10-26: add by m2/dev