Inventory rows JC
The cards of the rows of the inventory whose ids start with JC. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
neutron mass JC20BYWB75
| URI | m2://inv/JC20BYWB75 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q98000454, neutron mass (definition). Also ProofWiki Definition:Neutron/Mass
History
- 2026-10-26: add by m2/dev
Thomas Buscher JC301T7W11
| URI | m2://inv/JC301T7W11 |
|---|---|
| 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 Q2422813, Thomas Buscher (unknown). Also nLab Thomas Buscher
History
- 2026-10-26: add by m2/dev
Van der Corput sequence JC4KRAK735
| URI | m2://inv/JC4KRAK735 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q650859, Van der Corput sequence (concept). Also MathWorld vanderCorputSequence
History
- 2026-10-26: add by m2/dev
class field theory JC87Q8GDMA
| URI | m2://inv/JC87Q8GDMA |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 11R37 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1744580, class field theory (topic). Also nLab class field theory
History
- 2026-10-26: add by m2/dev
triangle center JC9PJYBJ7E
| URI | m2://inv/JC9PJYBJ7E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q778806, triangle center (unknown). Also MathWorld TriangleCenter
History
- 2026-10-26: add by m2/dev
Ernst Leonard Lindelöf JCDFVQCBQ6
| URI | m2://inv/JCDFVQCBQ6 |
|---|---|
| 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 Q924443, Ernst Leonard Lindelöf (unknown). Also nLab Ernst Leonard Lindelöf, ProofWiki Mathematician:Ernst_Leonard_Lindelöf
History
- 2026-10-26: add by m2/dev
Probable error JCDYDJBGTG
| URI | m2://inv/JCDYDJBGTG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7246885, Probable error (concept). Also MathWorld ProbableError
History
- 2026-10-26: add by m2/dev
Grothendieck inequality JCJW1B8S3J
| URI | m2://inv/JCJW1B8S3J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5610731, Grothendieck inequality (statement). Also MathWorld GrothendiecksConstant, nLab Grothendieck inequality
History
- 2026-10-26: add by m2/dev
discrete spaces are 0-manifolds JCMGY4WWMQ
| URI | m2://inv/JCMGY4WWMQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > discrete spaces are 0-manifolds, discrete spaces are 0-manifolds (unknown). Also Mathlib IsManifold.of_discreteTopology
History
- 2026-10-26: add by m2/dev
Cauchy determinant JCQ1YT7DJ8
| URI | m2://inv/JCQ1YT7DJ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q77975711, Cauchy determinant (definition). Also ProofWiki Definition:Cauchy_Determinant
History
- 2026-10-26: add by m2/dev
Dinostratus' theorem JCWHN9ZANX
| URI | m2://inv/JCWHN9ZANX |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1125462, Dinostratus' theorem (statement). Also Wikidata Q1125462
- thousand_plus: thousand_plus Q1125462, Dinostratus' theorem (statement). Also Wikidata Q1125462, Wikipedia Dinostratus' theorem
History
- 2026-10-26: add by m2/dev
Anne's theorem JCXB79YNRF
| URI | m2://inv/JCXB79YNRF |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q15859323, Anne's theorem (statement). Also Wikidata Q15859323
- thousand_plus: thousand_plus Q15859323, Anne's theorem (statement). Also Wikidata Q15859323, Wikipedia Anne's theorem
- wikidata: Wikidata Q15859323, Anne's theorem (statement). Also MathWorld LeonAnnesTheorem
History
- 2026-10-26: add by m2/dev