Math 2.0

Inventory rows CH

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

standard score CH13MNMR0K

URIm2://inv/CH13MNMR0K
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeStandard score 0VXJHZ1G9J

Mentions

History

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

Michael Heinrich Dütsch CH14ZTBQ51

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

gigaelectronvolt CH3BWRVSH2

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

Mentions

History

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

excircle CH7F5BKXKT

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

Mentions

History

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

hyperbolic cotangent CH8M3CVDX2

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

Mentions

History

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

dynamic programming CHBVR5ZYN8

URIm2://inv/CHBVR5ZYN8
Kindtopic
Layertextbook
MSC90C39
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

Kurt Reidemeister CHD365BQX1

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

Bangladesh CHJ1VMT31C

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

constructible function CHQ5S36MK6

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

Mentions

History

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

Kuiper's theorem CHQQMTRAYP

URIm2://inv/CHQQMTRAYP
Kindstatement
Layertextbook
MSC47-XX
Sources3
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

Hopf algebra CHRKQ15PPP

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

Mentions

History

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

skew diagonal CHS8ZCMR9Y

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

Mentions

History

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

Rouché–Capelli theorem CHV02TF7SA

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

Mentions

History

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

noncommutative ring CHVVSZDP6Q

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

Mentions

History

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

bilinear form CHW4ARY8XE

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

Mentions

  • mathlib_overview: mathlib_overview Linear algebra > Bilinear and quadratic forms > bilinear form, bilinear form (unknown). Also Mathlib LinearMap.BilinForm
  • mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Bilinear forms > bilinear forms, bilinear forms (unknown). Also Mathlib LinearMap.BilinForm

History

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