Inventory rows 64
The cards of the rows of the inventory whose ids start with 64. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Glaisher's theorem 640B2CKRNB
| URI | m2://inv/640B2CKRNB |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5566491, Glaisher's theorem (statement). Also Mathlib Nat.Partition.card_restricted_eq_card_countRestricted, Wikidata Q5566491
- thousand_plus: thousand_plus Q5566491, Glaisher's theorem (statement). Also Mathlib Nat.Partition.card_restricted_eq_card_countRestricted, Wikidata Q5566491, Wikipedia Glaisher's theorem
History
- 2026-10-26: add by m2/dev
computational geometry 641Q08592R
| URI | m2://inv/641Q08592R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q874709, computational geometry (unknown). Also MathWorld ComputationalGeometry
History
- 2026-10-26: add by m2/dev
Newton's first law 643N6T8WZ4
| URI | m2://inv/643N6T8WZ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3235671, Newton's first law (statement). Also ProofWiki Newton's_Laws_of_Motion/First_Law
History
- 2026-10-26: add by m2/dev
Konstantinos Carathéodory 645MQGDQJX
| URI | m2://inv/645MQGDQJX |
|---|---|
| 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 Q65332, Konstantinos Carathéodory (unknown). Also nLab Constantin Carathéodory, ProofWiki Mathematician:Constantin_Carathéodory
History
- 2026-10-26: add by m2/dev
Howard Georgi 6469HE08PN
| URI | m2://inv/6469HE08PN |
|---|---|
| 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 Q951426, Howard Georgi (unknown). Also nLab Howard Georgi
History
- 2026-10-26: add by m2/dev
Kolmogorov's $0$-$1$ law 6483SERS74
| URI | m2://inv/6483SERS74 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Random variables and their laws > Kolmogorov's $0$-$1$ law, Kolmogorov's $0$-$1$ law (unknown). Also Mathlib ProbabilityTheory.measure_zero_or_one_of_measurableSet_limsup_atTop
- mathlib_undergrad: mathlib_undergrad Probability Theory > Definitions of a probability space > $0$-$1$ law, $0$-$1$ law (unknown). Also Mathlib ProbabilityTheory.measure_zero_or_one_of_measurableSet_limsup_atTop
History
- 2026-10-26: add by m2/dev
maximal clique 6489ZGDSCX
| URI | m2://inv/6489ZGDSCX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q93598414, maximal clique (unknown). Also MathWorld MaximalClique
History
- 2026-10-26: add by m2/dev
compound of six octahedra 64EB3EAAB1
| URI | m2://inv/64EB3EAAB1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q85753715, compound of six octahedra (unknown). Also MathWorld Octahedron6-Compound
History
- 2026-10-26: add by m2/dev
Autonomous convergence theorem 64KZNWH53N
| URI | m2://inv/64KZNWH53N |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 37-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4826848, Autonomous convergence theorem (statement). Also Wikidata Q4826848
- thousand_plus: thousand_plus Q4826848, Autonomous convergence theorem (statement). Also Wikidata Q4826848, Wikipedia Autonomous convergence theorem
History
- 2026-10-26: add by m2/dev
medical mathematics 64MM72071T
| URI | m2://inv/64MM72071T |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 92C50 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11691599, medical mathematics (topic)
History
- 2026-10-26: add by m2/dev
topological vector space 64MQ75AGR8
| URI | m2://inv/64MQ75AGR8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1455249, topological vector space (definition). Also MathWorld TopologicalVectorSpace, nLab topological vector space, ProofWiki Definition:Topological_Vector_Space
History
- 2026-10-26: add by m2/dev
exterior covariant derivative 64PV6NF89F
| URI | m2://inv/64PV6NF89F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5421988, exterior covariant derivative (unknown). Also nLab exterior covariant derivative
History
- 2026-10-26: add by m2/dev
Rainer M. Vogt 64RGPWGKM9
| URI | m2://inv/64RGPWGKM9 |
|---|---|
| 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 Q63218089, Rainer M. Vogt (unknown). Also nLab Rainer Vogt
History
- 2026-10-26: add by m2/dev