Math 2.0

Inventory rows 5C

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

geometric class field theory 5C4YAXM5G4

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

Mentions

History

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

Euclidean affine space 5C7MGXCP9A

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

Mentions

  • mathlib_overview: mathlib_overview Geometry > Affine and Euclidean geometry > Euclidean affine space, Euclidean affine space (unknown). Also Mathlib NormedAddTorsor

History

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

Jacques Distler 5C8GJZXMYT

URIm2://inv/5C8GJZXMYT
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

Curtis Callan 5CHF2GN31M

URIm2://inv/5CHF2GN31M
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

matrix product state 5CHPAWXK91

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

Mentions

History

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

exact differential form 5CHYKBPHYW

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

Mentions

History

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

Α/α 5CJ90WB07W

URIm2://inv/5CJ90WB07W
Kindunknown
Layertextbook
Sources1
Outcomeout_of_scope (a notation: the notation register holds it (corpus spec K10.4))
NodeNone yet. Write the node.

Mentions

History

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

irregularity of distributions 5CP15909Y3

URIm2://inv/5CP15909Y3
Kindproblem
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

vertex operator algebra 5CPZGB8WY9

URIm2://inv/5CPZGB8WY9
Kindtopic
Layertextbook
MSC17B69
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

plurisubharmonic function 5CZ2DT5NR5

URIm2://inv/5CZ2DT5NR5
Kindtopic
Layertextbook
MSC32U05
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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