Math 2.0

Inventory rows FN

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

Mercer's theorem FN1M6BQN7E

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

Mentions

History

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

Convex uniform honeycomb FN2YDR86KW

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

Mentions

History

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

minimum cut FN4BDPW9RQ

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

Mentions

History

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

aliquot sequence FNB5VWJ6Q5

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

Mentions

History

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

inverse hyperbolic cosine FNJEVQS83B

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

Mentions

History

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

unimodal sequence FNJW1J0CFE

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

Mentions

History

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

Bézout's identity FNJYV0DRC9

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Ring Theory > Divisibility in integral domains > Bézout's identity, Bézout's identity (unknown). Also Mathlib exists_gcd_eq_mul_add_mul

History

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

David Eisenbud FNKEBT9WV3

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

quasigroup FNKRPAWYSD

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

Mentions

History

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

sinusoidal spiral FNMERK4F7D

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

Mentions

History

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

heptomino FNRV52ME8E

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

Mentions

History

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

Pisot–Vijayaraghavan number FNXA84T40V

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

Mentions

History

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

irreflexive relation FNXN4YNNFS

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

Mentions

History

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

M'Cay cubic FNYEQ8WZGJ

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

Mentions

History

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