Math 2.0

Inventory rows 69

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

locally constant function 690EFA5QWV

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

Mentions

History

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

square pyramidal number 693J15EEE6

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

Mentions

History

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

Schröder number 698YV9FRVG

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

Mentions

History

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

Dirac equation 69DFTRC74E

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

Mentions

History

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

tropical semiring 69EECRD657

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

Mentions

History

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

St. Petersburg paradox 69MZSPK5FG

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

Mentions

History

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

Jensen's inequality (integral version) 69QZQ5T7P0

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

Mentions

  • mathlib_overview: mathlib_overview Analysis > Convexity > Jensen's inequality (integral version), Jensen's inequality (integral version) (unknown). Also Mathlib ConvexOn.map_integral_le

History

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

cone 69TNYMRF72

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

Mentions

History

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

vertex enumeration problem 69TPVHWT3Z

URIm2://inv/69TPVHWT3Z
Kindproblem
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

Journal of Homotopy and Related Structures 69XEM3EWC6

URIm2://inv/69XEM3EWC6
Kindunknown
Layertextbook
Sources1
Outcomeout_of_scope (a book or a journal, not an item of mathematics)
NodeNone yet. Write the node.

Mentions

History

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

Martin Rees 69XFMB89KD

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

halting problem 69Z9SC24HS

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

Mentions

History

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