Math 2.0

Inventory rows YX

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

Reinhold Baer YX1JFWDMG9

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

coordinate plane YX2TAB4TMY

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

Mentions

History

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

Baily–Borel theorem YX64DV94N0

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

Mentions

History

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

Gamas's Theorem YX6KFJDYAB

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

Mentions

History

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

Wishart distribution YX7AH9P6TT

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

Mentions

History

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

Karp–Lipton theorem YX8PQRRSQ0

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

Mentions

History

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

catastrophe theory YXATZVCNCS

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

Mentions

History

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

field YXE80BJJD6

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

Mentions

  • mathlib_overview: mathlib_overview General algebra > Field theory > field, field (unknown). Also Mathlib Field
  • mathlib_undergrad: mathlib_undergrad Ring Theory > Field Theory > fields, fields (unknown). Also Mathlib Field

History

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

classification of finite simple groups YXFV02XE2Y

URIm2://inv/YXFV02XE2Y
Kindstatement
Layertextbook
MSC20-XX
Sources3
Outcomeopen
NodeClassification of finite simple groups 06J6P03MG7

Mentions

History

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

automorphism group YXH89VAN13

URIm2://inv/YXH89VAN13
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeAutomorphism group 0K1SCPBNKJ

Mentions

History

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

positive cone YXK6NKW7C3

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

Mentions

  • mathlib_overview: mathlib_overview Geometry > Convex geometry > positive cone, positive cone (unknown). Also Mathlib ConvexCone.positive

History

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

class number YXMH7VSWP7

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

Mentions

History

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

Alejandro Adem YXMMTGMKG7

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

zero morphism YXPVNDMBR1

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

Mentions

History

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

McCarthy 91 function YXQ4BNPQTF

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

Mentions

History

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

cellular model YXRKR13HZT

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

Mentions

History

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