Math 2.0

Inventory rows 9N

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

theory of computation 9N21CWKEZC

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

Mentions

History

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

Selberg trace formula 9N3WK3TDAQ

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

Mentions

History

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

E-function 9N4320BY2J

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

Mentions

History

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

heptadecagonal number 9N8EHSDPSW

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

Mentions

History

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

operator topology 9N8SMRT5JG

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

Mentions

History

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

Raj Chandra Bose 9N9MZ39GK8

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

John Horton Conway 9NBB2PJQTD

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

furlong 9NHA10DH4Q

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

Mentions

History

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

convexity inequalities 9NHCF3621S

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Convexity > convexity inequalities, convexity inequalities (unknown)

History

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

coincidence 9NKZQZKB1H

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

Mentions

History

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

Einstein notation 9NTTKGEF08

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

Mentions

History

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

minimum spanning tree 9NVABAG4WT

URIm2://inv/9NVABAG4WT
Kindconcept
Layertextbook
Sources1
Outcomeopen
NodeMinimum spanning tree 0JW7KT6PQW

Mentions

History

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

strongly connected graph 9NW8A2NRE3

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

Mentions

History

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

the category of modules over a ring 9NYK3ZMEDK

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

Mentions

  • mathlib_overview: mathlib_overview Linear algebra > Fundamentals > the category of modules over a ring, the category of modules over a ring (unknown). Also Mathlib ModuleCat

History

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