Inventory rows HT
The cards of the rows of the inventory whose ids start with HT. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Stephen Cole Kleene HT1M8G018W
| URI | m2://inv/HT1M8G018W |
|---|---|
| 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 Q335148, Stephen Cole Kleene (unknown). Also nLab Stephen Kleene
History
- 2026-10-26: add by m2/dev
evolute HT2PWQKMX3
| URI | m2://inv/HT2PWQKMX3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q658654, evolute (unknown). Also MathWorld Evolute
History
- 2026-10-26: add by m2/dev
isotherm HT36AJYFNT
| URI | m2://inv/HT36AJYFNT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7421486, isotherm (definition). Also ProofWiki Definition:Isothermal_Surface
History
- 2026-10-26: add by m2/dev
James Cullen HT5X95BMYY
| URI | m2://inv/HT5X95BMYY |
|---|---|
| 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 Q323473, James Cullen (unknown). Also ProofWiki Mathematician:James_Cullen
History
- 2026-10-26: add by m2/dev
generating sets HT6SFZN2Q5
| URI | m2://inv/HT6SFZN2Q5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Fundamentals > generating sets, generating sets (unknown). Also Mathlib Submodule.span
History
- 2026-10-26: add by m2/dev
statistical population HT7FA7TYA4
| URI | m2://inv/HT7FA7TYA4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q49918, statistical population (unknown). Also MathWorld Population
History
- 2026-10-26: add by m2/dev
Gregory number HTAPWTMD80
| URI | m2://inv/HTAPWTMD80 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5607239, Gregory number (unknown). Also MathWorld GregoryNumber
History
- 2026-10-26: add by m2/dev
Godunov's theorem HTDNN49KHX
| URI | m2://inv/HTDNN49KHX |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 65-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q17017973, Godunov's theorem (statement). Also Wikidata Q17017973
- thousand_plus: thousand_plus Q17017973, Godunov's theorem (statement). Also Wikidata Q17017973, Wikipedia Godunov's theorem
History
- 2026-10-26: add by m2/dev
site percolation HTE556T3V3
| URI | m2://inv/HTE556T3V3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121335525, site percolation (unknown). Also MathWorld SitePercolation
History
- 2026-10-26: add by m2/dev
Xiao-Gang Wen HTQW3YHHSD
| URI | m2://inv/HTQW3YHHSD |
|---|---|
| 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 Q2514375, Xiao-Gang Wen (unknown). Also nLab Xiao-Gang Wen
History
- 2026-10-26: add by m2/dev
folium of Descartes HTRS9EGCH9
| URI | m2://inv/HTRS9EGCH9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q837771, folium of Descartes (unknown). Also MathWorld FoliumofDescartes
History
- 2026-10-26: add by m2/dev
cross-ratio HTTF4QGXMS
| URI | m2://inv/HTTF4QGXMS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Cross-ratio 09ASMRMD67 |
Mentions
- wikidata: Wikidata Q899539, cross-ratio (definition). Also MathWorld CrossRatio, nLab cross ratio, ProofWiki Definition:Cross-Ratio/Complex_Analysis
History
- 2026-10-26: add by m2/dev
Harmonices Mundi HTXJJ8A89V
| URI | m2://inv/HTXJJ8A89V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1066757, Harmonices Mundi (unknown). Also ProofWiki Book:Johannes_Kepler/Harmonices_Mundi
History
- 2026-10-26: add by m2/dev
invariant HTY4RT3M5K
| URI | m2://inv/HTY4RT3M5K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q188211, invariant (unknown). Also MathWorld Invariant
History
- 2026-10-26: add by m2/dev
cyclic homology HTZ3N37G93
| URI | m2://inv/HTZ3N37G93 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q939179, cyclic homology (unknown). Also nLab cyclic homology
History
- 2026-10-26: add by m2/dev