Inventory rows VR
The cards of the rows of the inventory whose ids start with VR. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Kharitonov's theorem VR33TS3RYZ
| URI | m2://inv/VR33TS3RYZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 93-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6400676, Kharitonov's theorem (statement). Also Wikidata Q6400676
- thousand_plus: thousand_plus Q6400676, Kharitonov's theorem (statement). Also Wikidata Q6400676, Wikipedia Kharitonov's theorem
History
- 2026-10-26: add by m2/dev
Gyula Kőnig VR342CNHS8
| URI | m2://inv/VR342CNHS8 |
|---|---|
| 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 Q515891, Gyula Kőnig (unknown). Also ProofWiki Mathematician:Gyula_Kőnig
History
- 2026-10-26: add by m2/dev
absolute zero VR9Y62TZ8F
| URI | m2://inv/VR9Y62TZ8F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q81182, absolute zero (definition). Also ProofWiki Definition:Absolute_Zero
History
- 2026-10-26: add by m2/dev
Angles of intersection VRAZ5STFYT
| URI | m2://inv/VRAZ5STFYT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2248173, Angles of intersection (unknown). Also MathWorld Line-LineAngle
History
- 2026-10-26: add by m2/dev
Peano existence theorem VRDAF4QBXP
| URI | m2://inv/VRDAF4QBXP |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 34-XX |
| Sources | 3 |
| Outcome | open |
| Node | Peano existence theorem 098YP831QY |
Mentions
- mathlib_1000: mathlib_1000 Q740093, Peano existence theorem (statement). Also Wikidata Q740093
- thousand_plus: thousand_plus Q740093, Peano existence theorem (statement). Also Wikidata Q740093, Wikipedia Peano existence theorem
- wikidata: Wikidata Q740093, Peano existence theorem (statement). Also EoM Peano_theorem
History
- 2026-10-26: add by m2/dev
Dijkstra's algorithm VRE44DDNK6
| URI | m2://inv/VRE44DDNK6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8548, Dijkstra's algorithm (unknown). Also MathWorld DijkstrasAlgorithm
History
- 2026-10-26: add by m2/dev
multiplication by a function $C^\infty$ of slow growth VRG44KTH6Z
| URI | m2://inv/VRG44KTH6Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Tempered distributions > multiplication by a function $C^\infty$ of slow growth, multiplication by a function $C^\infty$ of slow growth (unknown). Also Mathlib TemperedDistribution.smulLeftCLM
History
- 2026-10-26: add by m2/dev
heap VRKCR0RPZ7
| URI | m2://inv/VRKCR0RPZ7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q274089, heap (unknown). Also MathWorld Heap
- wikidata: Wikidata Q803847, binary heap (unknown). Also MathWorld Heap
History
- 2026-10-26: add by m2/dev
limits of sequences VRTKESCABW
| URI | m2://inv/VRTKESCABW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Topology > Topology and Metric Spaces > limits of sequences, limits of sequences (unknown). Also Mathlib Metric.tendsto_atTop
History
- 2026-10-26: add by m2/dev
stopping time VRWC32ZAFX
| URI | m2://inv/VRWC32ZAFX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Stochastic Processes > stopping time, stopping time (unknown). Also Mathlib MeasureTheory.IsStoppingTime
History
- 2026-10-26: add by m2/dev
classifying topos VRXM0C40N3
| URI | m2://inv/VRXM0C40N3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17006942, classifying topos (unknown). Also nLab classifying topos
History
- 2026-10-26: add by m2/dev
subspace topology VRY8JPATZ4
| URI | m2://inv/VRY8JPATZ4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Subspace topology 0WS9P12FQR |
Mentions
- wikidata: Wikidata Q660730, subspace topology (unknown). Also MathWorld RelativeTopology, nLab subspace topology
History
- 2026-10-26: add by m2/dev