Math 2.0

Inventory rows 67

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

The (1,1)-term of the 3 X 3 matrix M^n, where M = [1,2,3 / 4,7,11 / 6,10,16]. 672JHA245R

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

Mentions

History

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

constant morphism 6741JWT84Y

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

Mentions

History

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

The Art of Computer Programming 67600TCQMF

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

butterfly effect 6772D2ZTBJ

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

Mentions

History

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

well-ordering theorem 67781NWDPD

URIm2://inv/67781NWDPD
Kindstatement
Layertextbook
MSC03-XX
Sources3
Outcomeopen
NodeWell-ordering theorem 0N109NG5ZX

Mentions

History

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

Jonathan Wise 677NFJA8RD

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

stability by derivation 67EB82JMZW

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Distribution calculus > Spaces $\mathcal{D}(\R^d)$ > stability by derivation, stability by derivation (unknown)

History

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

mice problem 67FR86A4BK

URIm2://inv/67FR86A4BK
Kindproblem
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

vercosine 67FVXFZ67Q

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

Mentions

History

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

Hausdorff dimension 67QSVTZKCA

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

Mentions

History

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

finitely supported function 67VSNNRVEN

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

Mentions

  • mathlib_overview: mathlib_overview Data structures > Maps > finitely supported function, finitely supported function (unknown). Also Mathlib Finsupp

History

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

Cauchy–Schwarz inequality for sums 67Y7X6R1A2

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

Mentions

History

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

weak inverse 67ZB6WQW72

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

Mentions

History

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