Math 2.0

Inventory rows 5W

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

primitive complex roots of unity 5W1ZBQCZ0N

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Group Theory > Abelian group > primitive complex roots of unity, primitive complex roots of unity (unknown). Also Mathlib Complex.isPrimitiveRoot_iff

History

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

Taylor series expansions 5W4Q1KCNHP

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Taylor-like theorems > Taylor series expansions, Taylor series expansions (unknown)

History

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

Theon of Smyrna 5W6F45ZF9J

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

path graph 5W7Y06HT43

URIm2://inv/5W7Y06HT43
Kinddefinition
Layertextbook
Sources1
Outcomeopen
NodePath graph 075WR6W3Y3

Mentions

History

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

Newton's theorem about ovals 5W8PBMGCJR

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

Mentions

History

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

Verdier duality 5WAZ8ZB78B

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

Mentions

History

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

dimension 5WF7892BWM

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

Mentions

History

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

Paulo Ribenboim 5WTHJKY9FR

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

unary relation 5WTZG0M35F

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

Mentions

History

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

Masamichi Takesaki 5WV4ACWX7V

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

reflection triangle 5WWXYNSAZP

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

Mentions

History

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

Zu Chongzhi 5WY9H6EZ2C

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

Davenport–Schmidt theorem 5WYSAWNKDW

URIm2://inv/5WYSAWNKDW
Kindstatement
Layertextbook
MSC11-XX
Sources2
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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