Inventory rows 5A
The cards of the rows of the inventory whose ids start with 5A. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
numerical differentiation 5A3YEMKAPT
| URI | m2://inv/5A3YEMKAPT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1683292, numerical differentiation (unknown). Also MathWorld NumericalDifferentiation
History
- 2026-10-26: add by m2/dev
orientifold plane 5A9SH8D0B6
| URI | m2://inv/5A9SH8D0B6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3391351, orientifold plane (unknown). Also nLab orientifold plane
History
- 2026-10-26: add by m2/dev
Smale's problems 5AAWXBCTWB
| URI | m2://inv/5AAWXBCTWB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2664496, Smale's problems (concept). Also MathWorld SmalesProblems
History
- 2026-10-26: add by m2/dev
antiprism 5ABP2TKH18
| URI | m2://inv/5ABP2TKH18 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1048057, antiprism (unknown). Also MathWorld Antiprism
History
- 2026-10-26: add by m2/dev
Douady rabbit 5ACCTWRES5
| URI | m2://inv/5ACCTWRES5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1150100, Douady rabbit (unknown). Also MathWorld DouadysRabbitFractal
History
- 2026-10-26: add by m2/dev
boson star 5ACV27THWF
| URI | m2://inv/5ACV27THWF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130402, boson star (unknown). Also nLab boson star
History
- 2026-10-26: add by m2/dev
ratio distribution 5ADF72EGAK
| URI | m2://inv/5ADF72EGAK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7295737, ratio distribution (unknown). Also MathWorld RatioDistribution
History
- 2026-10-26: add by m2/dev
Zipf's law 5AF82G329R
| URI | m2://inv/5AF82G329R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q205472, Zipf's law (statement). Also MathWorld ZipfsLaw
History
- 2026-10-26: add by m2/dev
Ulrik Buchholtz 5AGF4J5KRM
| URI | m2://inv/5AGF4J5KRM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q59749232, Ulrik Buchholtz (unknown). Also nLab Ulrik Buchholtz
History
- 2026-10-26: add by m2/dev
rank of a matrix 5AH385RGHD
| URI | m2://inv/5AH385RGHD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Rank of a matrix 0EWQEYRVA8 |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Matrices > rank of a matrix, rank of a matrix (unknown). Also Mathlib Matrix.rank
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Hex 5AKJ6QNHDT
| URI | m2://inv/5AKJ6QNHDT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q844874, Hex (definition). Also MathWorld GameofHex, ProofWiki Definition:Hex_(Game)
History
- 2026-10-26: add by m2/dev
equivariant algebraic K-theory 5AMV83DD1C
| URI | m2://inv/5AMV83DD1C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17012383, equivariant algebraic K-theory (unknown). Also nLab equivariant algebraic K-theory
History
- 2026-10-26: add by m2/dev
Heine–Cantor theorem 5AN7AXJXZ8
| URI | m2://inv/5AN7AXJXZ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | node (a node has the same name as the row) |
| Node | Heine–Cantor theorem 06B8BNJCD6 |
Mentions
- mathlib_1000: mathlib_1000 Q765987, Heine–Cantor theorem (statement). Also Mathlib CompactSpace.uniformContinuous_of_continuous, Wikidata Q765987
- mathlib_overview: mathlib_overview Topology > Uniform notions > Heine-Cantor theorem, Heine-Cantor theorem (unknown). Also Mathlib CompactSpace.uniformContinuous_of_continuous
- mathlib_undergrad: mathlib_undergrad Topology > Topology and Metric Spaces > Heine-Cantor theorem, Heine-Cantor theorem (unknown). Also Mathlib CompactSpace.uniformContinuous_of_continuous
- thousand_plus: thousand_plus Q765987, Heine–Cantor theorem (statement). Also Mathlib CompactSpace.uniformContinuous_of_continuous, Wikidata Q765987, Wikipedia Heine–Cantor theorem
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Jerome Gauntlett 5AP4ZVGBJG
| URI | m2://inv/5AP4ZVGBJG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q73546944, Jerome Gauntlett (unknown). Also nLab Jerome Gauntlett
History
- 2026-10-26: add by m2/dev
inner product space $L^2$ 5AP9EGBPW5
| URI | m2://inv/5AP9EGBPW5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Topology > Hilbert spaces > inner product space $L^2$, inner product space $L^2$ (unknown). Also Mathlib MeasureTheory.L2.innerProductSpace
History
- 2026-10-26: add by m2/dev
Peter Franek 5APJ8BP69D
| URI | m2://inv/5APJ8BP69D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q59833330, Peter Franek (unknown). Also nLab Peter Franek
History
- 2026-10-26: add by m2/dev
binding number 5AS75JXSX7
| URI | m2://inv/5AS75JXSX7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q131581195, binding number (unknown). Also MathWorld BindingNumber
History
- 2026-10-26: add by m2/dev
augmented truncated cube 5ATMKY4E16
| URI | m2://inv/5ATMKY4E16 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q614036, augmented truncated cube (object). Also MathWorld AugmentedTruncatedCube
History
- 2026-10-26: add by m2/dev
Cayley–Purser algorithm 5AWK2R5RSF
| URI | m2://inv/5AWK2R5RSF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1051982, Cayley–Purser algorithm (unknown). Also MathWorld Cayley-PurserAlgorithm
History
- 2026-10-26: add by m2/dev
The Cauchy-Schwarz Inequality 5AY2NHK57Q
| URI | m2://inv/5AY2NHK57Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 78, The Cauchy-Schwarz Inequality (statement). Also Mathlib inner_mul_inner_self_le, Mathlib norm_inner_le_norm
- mathlib_overview: mathlib_overview Analysis > Hilbert spaces > Cauchy-Schwarz inequality, Cauchy-Schwarz inequality (unknown). Also Mathlib inner_mul_inner_self_le
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Euclidean and Hermitian spaces > Cauchy-Schwarz inequality, Cauchy-Schwarz inequality (unknown). Also Mathlib inner_mul_inner_self_le
History
- 2026-10-26: add by m2/dev
Augusto Sagnotti 5AYJN0MH3J
| URI | m2://inv/5AYJN0MH3J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17986856, Augusto Sagnotti (unknown). Also nLab Augusto Sagnotti
History
- 2026-10-26: add by m2/dev
heat 5AZ5SCN50S
| URI | m2://inv/5AZ5SCN50S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q44432, heat (definition). Also ProofWiki Definition:Heat
History
- 2026-10-26: add by m2/dev