Math 2.0

Inventory rows KT

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

Bring-Jerrard quintic form KT0F497ZSZ

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

Mentions

History

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

tadpole graph KT1MVFS254

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

Mentions

History

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

extravagant number KT1RM1YW3W

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

Mentions

History

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

Little's Law KT2D3HXP06

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

Mentions

History

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

Lami's theorem KT3NJXGXKX

URIm2://inv/KT3NJXGXKX
Kindstatement
Layertextbook
MSC70-XX
Sources2
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

second Celmins–Swart snark KT5NBJ7ZSR

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

Mentions

History

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

tetrahedron KT74NVYHA5

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

Mentions

History

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

Raman Sundrum KT7760YHGF

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

Beal's conjecture KTCQH2ETDV

URIm2://inv/KTCQH2ETDV
Kindconjecture
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

contingency table KTG8M7E612

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

Mentions

History

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

summation by parts KTHYY1YCGP

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

Mentions

History

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

Craig's theorem KTMNW7MJBG

URIm2://inv/KTMNW7MJBG
Kindstatement
Layertextbook
MSC03-XX
Sources2
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

obstruction theory KTN0D1AAPE

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

Mentions

History

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

Dennis Sullivan KTP25S4FGN

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

estimation of the error KTPR9YENR8

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Numerical Analysis > Approximation of numerical functions > estimation of the error, estimation of the error (unknown)

History

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

Ivan M. Niven KTQ7PC4S0F

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

closed map KTSBH3Q6J1

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

Mentions

  • mathlib_overview: mathlib_overview Topology > General topology > closed map, closed map (unknown). Also Mathlib IsClosedMap

History

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

Slant height KTTGNBGZ7P

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

Mentions

History

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

z-axis KTVETH3GF0

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

Mentions

History

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

conductor of an elliptic curve KTYQJVNKP0

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

Mentions

History

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

heptacontagon KTZ2DZ39VZ

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

Mentions

History

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

lattice KTZ85FHN6V

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

Mentions

History

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