Math 2.0

Inventory rows 82

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

weak law of large numbers 820VWQ54P8

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Probability Theory > Convergence of a sequence of random variables > weak law of large numbers, weak law of large numbers (unknown)

History

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

Curry's paradox 822HQ6G3HX

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

Mentions

History

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

Camille Laurent-Gengoux 825PESS3VC

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

Weierstrass M-test 8299GFAP7B

URIm2://inv/8299GFAP7B
Kindstatement
Layertextbook
Sources1
Outcomeopen
NodeWeierstrass M-test 0NX5NWAFC9

Mentions

History

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

Richard's paradox 82AFCQE96B

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

Mentions

History

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

bean curve 82AVSXVZV2

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

Mentions

History

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

product of six distinct primes 82AYHK08GX

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

Mentions

History

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

line integral 82CZ9A1EVM

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

Mentions

History

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

Jean Pradines 82K8P72T8X

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

strange attractor 82KDWP0PJG

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

Mentions

History

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

Flower of Life 82KMEAGDGY

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

Mentions

History

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

non-abelian group 82MA7VC82E

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

Mentions

History

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

Tupper's self-referential formula 82N8SXZXWP

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

Mentions

History

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

Bodo Pareigis 82NQC2Y366

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

complemented subspace 82QJFZAT02

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

Mentions

History

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

lambda calculus 82R3A2CW64

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

Mentions

History

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

great dodecahedron 82T8GPXE81

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

Mentions

History

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

prenex normal form 82V6X6EEQQ

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

Mentions

History

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

polar decompositions in $\mathrm{GL}(n, \C)$ 82ZDT4FP69

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Endomorphisms > polar decompositions in $\mathrm{GL}(n, \C)$, polar decompositions in $\mathrm{GL}(n, \C)$ (unknown)

History

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

Nielsen realization problem 82ZHYZK05H

URIm2://inv/82ZHYZK05H
Kindstatement
Layertextbook
MSC54-XX
Sources2
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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