Math 2.0

Inventory rows CW

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

Nahm transform CW2MEJ66VX

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

Mentions

History

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

orientable surface CW3MVTV0FC

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

Mentions

History

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

principal ideal domain CW5ERFPKGK

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

Mentions

  • mathlib_overview: mathlib_overview General algebra > Divisibility in integral domains > principal ideal domain, principal ideal domain (unknown). Also Mathlib Submodule.IsPrincipal
  • mathlib_undergrad: mathlib_undergrad Ring Theory > Divisibility in integral domains > principal ideal domain, principal ideal domain (unknown). Also Mathlib Submodule.IsPrincipal

History

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

pencil of circles CW6GDPYGS0

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

Mentions

History

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

rough number CW83V9J357

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

Mentions

History

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

Friedmann universe CW86K4WFBD

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

Mentions

History

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

Sion's minimax theorem CW88S7RVHB

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

Mentions

History

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

Beauville–Laszlo theorem CWDVN83VWA

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

Mentions

History

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

CWEVQQHJFW CWEVQQHJFW

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

Mentions

History

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

von Neumann regular ring CWFHD34HXC

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

Mentions

History

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

Hirosi Ooguri CWJAZXRDSG

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

distance from a point to a plane CWJN4C7MV5

URIm2://inv/CWJN4C7MV5
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeDistance from a point to a plane 0K1E2S6Z69

Mentions

History

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

4-sunlet graph CWPGR3DYBD

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

Mentions

History

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

clique cover number CWQTWVTNWC

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

Mentions

History

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

Hafner–Sarnak–McCurley constant CWRFPAX91F

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

Mentions

History

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

octagram CWSCSZCR19

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

Mentions

History

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

dissipative system CWSCYWY0ZR

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

Mentions

History

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

Helmholtz theorem (classical mechanics) CWTEG14FJB

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

Mentions

History

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

Arnold tongue CWZW349FZ7

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

Mentions

History

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