Inventory rows ME
The cards of the rows of the inventory whose ids start with ME. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Stieltjes measure ME03CMV9MH
| URI | m2://inv/ME03CMV9MH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > Stieltjes measure, Stieltjes measure (unknown). Also Mathlib StieltjesFunction.measure
History
- 2026-10-26: add by m2/dev
seven circles theorem ME97K9DEMF
| URI | m2://inv/ME97K9DEMF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7457534, seven circles theorem (statement). Also MathWorld SevenCirclesTheorem
History
- 2026-10-26: add by m2/dev
sin ME9JNTF3D5
| URI | m2://inv/ME9JNTF3D5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Complex-valued series > power series expansion of elementary functions > sin, sin (unknown). Also Mathlib Complex.hasSum_sin
History
- 2026-10-26: add by m2/dev
Brjuno number MEB85EM216
| URI | m2://inv/MEB85EM216 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4971764, Brjuno number (unknown). Also MathWorld BrjunoNumber
History
- 2026-10-26: add by m2/dev
Kiepert conics MEB8VWS97E
| URI | m2://inv/MEB8VWS97E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q111165553, Kiepert conics (unknown). Also MathWorld KiepertParabola
History
- 2026-10-26: add by m2/dev
Geometry of Interaction MECE5TYEFP
| URI | m2://inv/MECE5TYEFP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5535524, Geometry of Interaction (unknown). Also nLab Geometry of Interaction
History
- 2026-10-26: add by m2/dev
key-value map MEDGPB7T0Z
| URI | m2://inv/MEDGPB7T0Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Data structures > Maps > key-value map, key-value map (unknown). Also Mathlib AList
History
- 2026-10-26: add by m2/dev
370 MEDZ41KZQJ
| URI | m2://inv/MEDZ41KZQJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1095791, 370 (statement). Also ProofWiki 370
History
- 2026-10-26: add by m2/dev
Byzantine fault MEGK7R9XKS
| URI | m2://inv/MEGK7R9XKS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1353446, Byzantine fault (unknown). Also MathWorld ByzantineGeneralsProblem
History
- 2026-10-26: add by m2/dev
Constantin Teleman MEK3RVBP4Z
| URI | m2://inv/MEK3RVBP4Z |
|---|---|
| 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 Q21033031, Constantin Teleman (unknown). Also nLab Constantin Teleman
History
- 2026-10-26: add by m2/dev
biconnected graph MEMTDM7SN6
| URI | m2://inv/MEMTDM7SN6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4390447, biconnected graph (unknown). Also MathWorld BiconnectedGraph
History
- 2026-10-26: add by m2/dev
Newtonian gravitational constant MEQ257YRFM
| URI | m2://inv/MEQ257YRFM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18373, Newtonian gravitational constant (definition). Also nLab gravitational constant, ProofWiki Definition:Universal_Gravitational_Constant
History
- 2026-10-26: add by m2/dev
Dyck words MEV4FTXB56
| URI | m2://inv/MEV4FTXB56 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Enumerative combinatorics > Dyck words, Dyck words (unknown). Also Mathlib DyckWord
History
- 2026-10-26: add by m2/dev
flat manifold MEYTY2MX37
| URI | m2://inv/MEYTY2MX37 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q601110, flat manifold (unknown). Also MathWorld FlatManifold
History
- 2026-10-26: add by m2/dev