Inventory rows 5D
The cards of the rows of the inventory whose ids start with 5D. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
corollary 5D5A21H9H1
| URI | m2://inv/5D5A21H9H1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1343870, corollary (unknown). Also MathWorld Corollary
History
- 2026-10-26: add by m2/dev
Hilbert's Nullstellensatz 5D6C93VH2G
| URI | m2://inv/5D6C93VH2G |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1068976, Hilbert's Nullstellensatz (statement). Also Mathlib MvPolynomial.vanishingIdeal_zeroLocus_eq_radical, Wikidata Q1068976
- mathlib_overview: mathlib_overview Geometry > Algebraic geometry > Nullstellensatz, Nullstellensatz (unknown). Also Mathlib MvPolynomial.vanishingIdeal_zeroLocus_eq_radical
- thousand_plus: thousand_plus Q1068976, Hilbert's Nullstellensatz (statement). Also Mathlib MvPolynomial.vanishingIdeal_zeroLocus_eq_radical, Wikidata Q1068976, Wikipedia Hilbert's Nullstellensatz
- wikidata: Wikidata Q1068976, Hilbert's Nullstellensatz (statement). Also MathWorld HilbertsNullstellensatz, ProofWiki Hilbert's_Nullstellensatz
History
- 2026-10-26: add by m2/dev
largest known prime number 5D6EC8D8TR
| URI | m2://inv/5D6EC8D8TR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3240929, largest known prime number (unknown). Also MathWorld LargePrime
History
- 2026-10-26: add by m2/dev
Triangle removal lemma 5D6YNWZAEK
| URI | m2://inv/5D6YNWZAEK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Graph theory > Triangle removal lemma, Triangle removal lemma (unknown). Also Mathlib SimpleGraph.triangle_removal
History
- 2026-10-26: add by m2/dev
gold-197 5D8FH035NH
| URI | m2://inv/5D8FH035NH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18883174, gold-197 (definition). Also ProofWiki Definition:Gold/197
History
- 2026-10-26: add by m2/dev
Chang graph 5DAEN50Q3T
| URI | m2://inv/5DAEN50Q3T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5071699, Chang graph (unknown). Also MathWorld ChangGraphs
History
- 2026-10-26: add by m2/dev
Courant algebroid 5DASPWZ2M9
| URI | m2://inv/5DASPWZ2M9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5178094, Courant algebroid (unknown). Also nLab Courant algebroid
History
- 2026-10-26: add by m2/dev
Fischer group 5DC11PM79P
| URI | m2://inv/5DC11PM79P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3117683, Fischer group (unknown). Also MathWorld FischerGroups, nLab Fischer group
History
- 2026-10-26: add by m2/dev
Daniel Kastler 5DQB4CCW23
| URI | m2://inv/5DQB4CCW23 |
|---|---|
| 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 Q828798, Daniel Kastler (unknown). Also nLab Daniel Kastler
History
- 2026-10-26: add by m2/dev
arc 5DTGG6T5KW
| URI | m2://inv/5DTGG6T5KW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q147572, arc (unknown). Also MathWorld Arc
History
- 2026-10-26: add by m2/dev
Cauchy–Schwarz inequality for integrals 5DY07D2CQJ
| URI | m2://inv/5DY07D2CQJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q117355636, Cauchy–Schwarz inequality for integrals (statement). Also ProofWiki Cauchy-Bunyakovsky-Schwarz_Inequality/Definite_Integrals
History
- 2026-10-26: add by m2/dev
Rosenbrock function 5DYCA8QZ1M
| URI | m2://inv/5DYCA8QZ1M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2981936, Rosenbrock function (unknown). Also MathWorld RosenbrockFunction
History
- 2026-10-26: add by m2/dev
vector field 5DZJFWHQAG
| URI | m2://inv/5DZJFWHQAG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Vector field 0299VCW1TH |
Mentions
- wikidata: Wikidata Q186247, vector field (definition). Also EoM Vector_field, MathWorld VectorField, nLab vector field, ProofWiki Definition:Vector_Field
History
- 2026-10-26: add by m2/dev
Czech Republic 5DZVMR9TMS
| URI | m2://inv/5DZVMR9TMS |
|---|---|
| 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 Q213, Czech Republic (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Czechia
History
- 2026-10-26: add by m2/dev