Math 2.0

Inventory rows P5

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

circle packing in a circle P5863TK7AP

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

Mentions

History

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

bridgeless graph P59GC90ZAR

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

Mentions

History

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

Rogers–Ramanujan identities P59VTB7VJK

URIm2://inv/P59VTB7VJK
Kindstatement
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

Lie group P5B454M6CZ

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

Mentions

History

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

conference graph P5E5XTJRC3

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

Mentions

History

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

cis P5G8Z9FBER

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

Mentions

History

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

exterior algebra P5MM0KG3JN

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

Mentions

  • mathlib_overview: mathlib_overview General algebra > Algebras over a ring > exterior algebra, exterior algebra (unknown). Also Mathlib ExteriorAlgebra

History

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

decade P5PK3YT267

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

Mentions

History

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

Gray graph P5XC71HENW

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

Mentions

History

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

Laplace transform P5ZB1JKQQ3

URIm2://inv/P5ZB1JKQQ3
Kindtopic
Layertextbook
MSC44A10
Sources1
Outcomeopen
NodeLaplace transform 0V49JEZW06

Mentions

History

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