Math 2.0

Inventory rows 8H

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

Schwarz minimal surface 8H17J7B7HA

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

Mentions

History

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

uniquely colorable graph 8H61EQJH7V

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

Mentions

History

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

q-exponential 8H7K1VC2J2

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

Mentions

History

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

least common multiple 8H8TYKF9QF

URIm2://inv/8H8TYKF9QF
Kindunknown
Layertextbook
Sources2
Outcomeopen
NodeNone yet. Write the node.

Mentions

  • mathlib_overview: mathlib_overview General algebra > Divisibility in integral domains > least common multiple, least common multiple (unknown). Also Mathlib GCDMonoid.lcm
  • mathlib_undergrad: mathlib_undergrad Ring Theory > Divisibility in integral domains > least common multiple, least common multiple (unknown). Also Mathlib GCDMonoid.lcm

History

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

Mark Van Raamsdonk 8HCZTVA77F

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

direct image functor 8HDDNCPG6R

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

Mentions

History

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

tangential triangle 8HE72WHGWG

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

Mentions

History

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

Turán's brick factory problem 8HFM575YWV

URIm2://inv/8HFM575YWV
Kindproblem
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

Hilbert matrix 8HHDDKA8WD

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

Mentions

History

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

Sperner's theorem 8HK7V2D9FQ

URIm2://inv/8HK7V2D9FQ
Kindstatement
Layertextbook
MSC05-XX
Sources4
Outcomeopen
NodeSperner's theorem 0J87V9K1GE

Mentions

History

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

Syria 8HSNZ95RN2

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

Hamiltonian path 8HT77WQKPA

URIm2://inv/8HT77WQKPA
Kindstatement
Layertextbook
MSC05-XX
Sources3
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

absolute error 8HTKRBY0E2

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

Mentions

History

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

no-cloning theorem 8HWK3YKTN3

URIm2://inv/8HWK3YKTN3
Kindstatement
Layertextbook
MSC81-XX
Sources3
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

Markus−Yamabe theorem 8HWPTSFW32

URIm2://inv/8HWPTSFW32
Kindstatement
Layertextbook
MSC37-XX
Sources2
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

Alexander matrix 8HWXBA2TK4

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

Mentions

History

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

Poisson kernel 8HY9EY9SCW

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

Mentions

History

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