Inventory rows 7F
The cards of the rows of the inventory whose ids start with 7F. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
categorical distribution 7F030D7WZA
| URI | m2://inv/7F030D7WZA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5051810, categorical distribution (unknown). Also nLab categorical distribution
History
- 2026-10-26: add by m2/dev
Brown–Gitler spectrum 7F2YBQ42SQ
| URI | m2://inv/7F2YBQ42SQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q30590144, Brown–Gitler spectrum (concept). Also nLab Brown-Gitler spectrum
History
- 2026-10-26: add by m2/dev
Gromov's compactness theorem (geometry) 7F3ATJCSV4
| URI | m2://inv/7F3ATJCSV4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 53-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5610188, Gromov's compactness theorem (geometry) (statement). Also Wikidata Q5610188
- thousand_plus: thousand_plus Q5610188, Gromov's compactness theorem (statement). Also Wikidata Q5610188, Wikipedia Gromov's compactness theorem (geometry)
History
- 2026-10-26: add by m2/dev
pentagonal orthobirotunda 7F43BJ93ZW
| URI | m2://inv/7F43BJ93ZW |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q528787, pentagonal orthobirotunda (object). Also MathWorld PentagonalOrthobirotunda
History
- 2026-10-26: add by m2/dev
unification 7F5KRHDAMQ
| URI | m2://inv/7F5KRHDAMQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q609057, unification (unknown). Also MathWorld Unification
History
- 2026-10-26: add by m2/dev
direction 7F7KBNM4H7
| URI | m2://inv/7F7KBNM4H7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3055344, direction (unknown). Also MathWorld Direction
History
- 2026-10-26: add by m2/dev
circular segment 7F847WV10D
| URI | m2://inv/7F847WV10D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q783081, circular segment (unknown). Also MathWorld CircularSegment
History
- 2026-10-26: add by m2/dev
Donald W. Blackett 7F9GH6B2F2
| URI | m2://inv/7F9GH6B2F2 |
|---|---|
| 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 Q94929549, Donald W. Blackett (unknown). Also ProofWiki Mathematician:Donald_Watson_Blackett
History
- 2026-10-26: add by m2/dev
EHP spectral sequence 7FBF6Y5CX3
| URI | m2://inv/7FBF6Y5CX3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5323100, EHP spectral sequence (unknown). Also nLab EHP spectral sequence
History
- 2026-10-26: add by m2/dev
Jeff Cheeger 7FD2H02DHG
| URI | m2://inv/7FD2H02DHG |
|---|---|
| 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 Q526247, Jeff Cheeger (unknown). Also nLab Jeff Cheeger
History
- 2026-10-26: add by m2/dev
augmented matrix 7FF7WWJRZD
| URI | m2://inv/7FF7WWJRZD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Augmented matrix 0T6MWGZSXA |
Mentions
- wikidata: Wikidata Q2750301, augmented matrix (unknown). Also MathWorld AugmentedMatrix
History
- 2026-10-26: add by m2/dev
Euclidean domain 7FH8VCAA3H
| URI | m2://inv/7FH8VCAA3H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 3 |
| Outcome | open |
| Node | Euclidean domain 0CHS7RBD39 |
Mentions
- mathlib_overview: mathlib_overview General algebra > Divisibility in integral domains > Euclidean domain, Euclidean domain (unknown). Also Mathlib EuclideanDomain
- mathlib_undergrad: mathlib_undergrad Ring Theory > Divisibility in integral domains > Euclidean rings, Euclidean rings (unknown). Also Mathlib EuclideanDomain
- wikidata: Wikidata Q867345, Euclidean domain (definition). Also LMFDB knowl ring.euclidean_domain, Mathlib EuclideanDomain, MathWorld EuclideanDomain, nLab Euclidean domain, ProofWiki Definition:Euclidean_Domain
History
- 2026-10-26: add by m2/dev
Hong Kong 7FPKESX5QZ
| URI | m2://inv/7FPKESX5QZ |
|---|---|
| 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 Q8646, Hong Kong (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Hong_Kong
History
- 2026-10-26: add by m2/dev
recreational mathematics 7FQYX1HWT6
| URI | m2://inv/7FQYX1HWT6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 00A08 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1410503, recreational mathematics (topic). Also ProofWiki Definition:Recreational_Mathematics
History
- 2026-10-26: add by m2/dev
gradient 7FS5N7CVMX
| URI | m2://inv/7FS5N7CVMX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Submanifolds of $\R^n$ > gradient, gradient (unknown)
History
- 2026-10-26: add by m2/dev
Golomb sequence 7FSVQ8BM1J
| URI | m2://inv/7FSVQ8BM1J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q498247, Golomb sequence (unknown). Also MathWorld SilvermansSequence, OEIS A001462
History
- 2026-10-26: add by m2/dev
pure type system 7FW0S8BMF7
| URI | m2://inv/7FW0S8BMF7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7261163, pure type system (unknown). Also nLab pure type system
History
- 2026-10-26: add by m2/dev
Paul Cohn 7FZ6T0ZD4N
| URI | m2://inv/7FZ6T0ZD4N |
|---|---|
| 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 Q949132, Paul Cohn (unknown). Also ProofWiki Mathematician:Paul_Moritz_Cohn
History
- 2026-10-26: add by m2/dev