Math 2.0

Inventory rows CR

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

scalar potential CR1CD9331M

URIm2://inv/CR1CD9331M
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeScalar potential 0H7C3T1GJY

Mentions

History

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

Prime zeta function CR1E47A9XS

URIm2://inv/CR1E47A9XS
Kindconcept
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

parabiaugmented dodecahedron CR41E3ENZR

URIm2://inv/CR41E3ENZR
Kindobject
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

tempered distribution CR6BDKG9QK

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

Mentions

History

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

Law of truly large numbers CRBR87R8N7

URIm2://inv/CRBR87R8N7
Kindstatement
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

G/g CRFXX8R45K

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

imaginary error function CRQ7P851W1

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

Mentions

History

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

orbifold notation CRTKD6GZQS

URIm2://inv/CRTKD6GZQS
Kindconcept
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

LU decomposition CRTS3W4YNF

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Numerical Analysis > Solving systems of linear inequalities > LU decomposition, LU decomposition (unknown)

History

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

Tōru Eguchi CRTZ4AZB7J

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

Brocard points CRWCSAMVCJ

URIm2://inv/CRWCSAMVCJ
Kindconcept
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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