Math 2.0

Inventory rows WW

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

simplicial homology WW04YBFQPX

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

Mentions

History

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

Frobenius normal form WW2247HJ2X

URIm2://inv/WW2247HJ2X
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeRational canonical form 042JWAR3Q0

Mentions

History

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

Mark Mahowald WW3VENMBVE

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

Newton's second law of motion for constant mass WW4YVTKMJM

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

Mentions

History

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

Borel-Cantelli lemma (difficult direction) WW8SESKX09

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Probability Theory > Definitions of a probability space > Borel-Cantelli lemma (difficult direction), Borel-Cantelli lemma (difficult direction) (unknown). Also Mathlib ProbabilityTheory.measure_limsup_eq_one

History

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

“What Do You Care What Other People Think?” WW9BXQJ5SZ

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

Mentions

History

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

polar set WW9GS76WTJ

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

Mentions

History

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

tebibyte WWBR6HR063

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

Mentions

History

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

Fred Van Oystaeyen WWE5HBTGPA

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

supremum WWF2FB02KS

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

Mentions

History

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

quadrant WWGJMMS93S

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

Mentions

History

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

Jackson's theorem (queueing theory) WWGKP9K5GM

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

Mentions

History

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

Barker code WWJ9Y79FDY

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

Mentions

History

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

pentagonal orthocupolarotunda WWMZTQYYRB

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

Mentions

History

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

eigenvectors and eigenvalues WWPA78XGFN

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

Mentions

History

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

Leslie matrix WWV1D3T3V7

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

Mentions

History

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

Grothendieck construction WWV80MJRC3

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

Mentions

History

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