Math 2.0

Inventory rows P2

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

Banach *-algebra P2154PS7Q3

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

Mentions

History

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

anabelian geometry P22501GZRP

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

Mentions

History

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

beta-binomial distribution P29WWSDJY8

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

Mentions

History

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

octagonal number P2APZKWGM3

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

Mentions

History

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

normal distribution P2B3RPZM0Y

URIm2://inv/P2B3RPZM0Y
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNormal distribution 05AQE0QR0D

Mentions

History

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

edge P2CYGNTT2J

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

Mentions

History

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

invertible matrix P2E2KV54BD

URIm2://inv/P2E2KV54BD
Kinddefinition
Layertextbook
Sources1
Outcomeopen
NodeInvertible matrix 0EB9N0S33C

Mentions

History

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

Arthur Ogus P2G3NC5JHQ

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

Sylvester matrix P2KX1QSNDJ

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

Mentions

History

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

Hodge star operator P2Q06T8FHT

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

Mentions

History

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

type P2Q9E9Q54R

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

Mentions

History

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

Lebesgue Measure and Integration P2S3KHK9EQ

URIm2://inv/P2S3KHK9EQ
Kindstatement
Layertextbook
Sources3
Outcomeopen
NodeNone yet. Write the node.

Mentions

  • mathlib_100: mathlib_100 86, Lebesgue Measure and Integration (statement). Also Mathlib MeasureTheory.lintegral
  • mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > integral of positive measurable functions, integral of positive measurable functions (unknown). Also Mathlib MeasureTheory.lintegral
  • mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Integration > integral of positive measurable functions, integral of positive measurable functions (unknown). Also Mathlib MeasureTheory.lintegral

History

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

conformal map P2T381T3N5

URIm2://inv/P2T381T3N5
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeConformal map 0YYT36R4YD

Mentions

History

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

k-subset P2VHADN6KG

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

Mentions

History

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

Euler's Polygon Division Problem P2XJC41X17

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

Mentions

History

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

row-reduced matrices P2YE4H5BQ9

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Linear algebra > Matrices > row-reduced matrices, row-reduced matrices (unknown)

History

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

Eisenstein series P2ZZX45H89

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

Mentions

History

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