Math 2.0

Inventory rows KF

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

tunnel number KF152EXA36

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

Mentions

History

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

equivariant stable homotopy theory KF5T9WTB7A

URIm2://inv/KF5T9WTB7A
Kindtopic
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

square kilometre KF6MCD9J3V

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

Mentions

History

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

Hilbert–Samuel function KFB45K92F1

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

Mentions

History

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

Baire space KFDWNNP8C7

URIm2://inv/KFDWNNP8C7
Kindconcept
Layertextbook
Sources1
Outcomeopen
NodeBaire space 0ZH5AJ2ED7

Mentions

History

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

Jordan normal form KFFKEYQB8N

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Linear algebra > Structure theory of endomorphisms > Jordan normal form, Jordan normal form (unknown)

History

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

number with finite decimal representation KFJPY88J7T

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

Mentions

History

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

Ellingham–Horton 78-graph KFPZBPGM9B

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

Mentions

History

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

Ian Stewart KFRS9K0XRD

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

$p$-adic integer KFTRRNHCK1

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

Mentions

  • mathlib_overview: mathlib_overview General algebra > Numbers > $p$-adic integer, $p$-adic integer (unknown). Also Mathlib PadicInt

History

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

particle statistics KFZAJJAZ4F

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

Mentions

History

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