Math 2.0

Inventory rows 4J

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

pseudoforest 4J5497H13N

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

Mentions

History

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

cosine of integer multiple of pi 4J5J8DM3SE

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

Mentions

History

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

galaxy rotation curve 4J72WS3Z2V

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

Mentions

History

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

free monoid 4J8ERBRS5R

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

Mentions

History

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

mathematics award 4JBZSBJHMM

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

Mentions

History

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

Sebastian Georg Manuel Wolfgang Pauli 4JG8MY0C42

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

theory of eigenspaces 4JGPKM8GQ5

URIm2://inv/4JGPKM8GQ5
Kindtopic
Layertextbook
MSC15A18
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

discrete law 4JKHNMSKED

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

Mentions

  • mathlib_overview: mathlib_overview Probability Theory > Random variables and their laws > discrete law, discrete law (unknown). Also Mathlib PMF
  • mathlib_undergrad: mathlib_undergrad Probability Theory > Random variables and their laws > discrete law, discrete law (unknown). Also Mathlib PMF

History

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

Hardy–Littlewood maximal theorem 4JN04PRS2F

URIm2://inv/4JN04PRS2F
Kindstatement
Layertextbook
MSC26-XX
Sources2
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

Higgs field 4JNMTSA4HY

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

Mentions

History

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

Frank Verstraete 4JPMR2D3ZP

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

integer sequence 4JQME5D4WB

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

Mentions

History

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

Brocard axis 4JVSWV3XY2

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

Mentions

History

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

Wiener–Araya graph 4JX44D3NV0

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

Mentions

History

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

Initial value theorem 4JXQ8YG28K

URIm2://inv/4JXQ8YG28K
Kindstatement
Layertextbook
MSC44-XX
Sources2
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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