Math 2.0

Inventory rows WK

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

theory of everything WK14PBEZHR

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

Mentions

History

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

Ruth–Aaron pair WK3KAPPZ6S

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

Mentions

History

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

Noether's second theorem WK8PYA072W

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

Mentions

History

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

cup product WKACZX62DG

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

Mentions

History

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

Klaus Fredenhagen WKC6P7VPP8

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

Bertrand's test WKDMW0HRHF

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

Mentions

History

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

manifold WKFF962V9Y

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

Mentions

History

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

Philippe Maurice Tondeur WKH4FMB0Y8

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

Edward V. Shuryak WKQ1NCHNQ6

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

Sylvester graph WKRBDR2FN8

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

Mentions

History

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

Denjoy–Carleman theorem WKSVHPKV43

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

Mentions

History

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

Condorcet criterion WKXFXF6XV0

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

Mentions

History

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

Euclid's' algorithm WKZB4Q15QN

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

Mentions

  • mathlib_overview: mathlib_overview General algebra > Divisibility in integral domains > Euclid's' algorithm, Euclid's' algorithm (unknown). Also Mathlib Nat.xgcd
  • mathlib_undergrad: mathlib_undergrad Ring Theory > Divisibility in integral domains > Euclid's' algorithm, Euclid's' algorithm (unknown). Also Mathlib Nat.xgcd

History

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