Inventory rows EF
The cards of the rows of the inventory whose ids start with EF. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Pasch's theorem EF04WBTZPC
| URI | m2://inv/EF04WBTZPC |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 06-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q951327, Pasch's theorem (statement). Also Wikidata Q951327
- thousand_plus: thousand_plus Q951327, Pasch's theorem (statement). Also Wikidata Q951327, Wikipedia Pasch's theorem
- wikidata: Wikidata Q951327, Pasch's theorem (statement). Also MathWorld PaschsTheorem
History
- 2026-10-26: add by m2/dev
British flag theorem EF13T3HRY0
| URI | m2://inv/EF13T3HRY0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4971339, British flag theorem (statement). Also Mathlib EuclideanGeometry.dist_sq_add_dist_sq_eq_dist_sq_add_dist_sq_of_angle_eq_pi_div_two, Wikidata Q4971339
- thousand_plus: thousand_plus Q4971339, British flag theorem (statement). Also Wikidata Q4971339, Wikipedia British flag theorem
History
- 2026-10-26: add by m2/dev
Sage EF36RYFZ4N
| URI | m2://inv/EF36RYFZ4N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1165184, Sage (unknown). Also LMFDB knowl sage, nLab Sage
History
- 2026-10-26: add by m2/dev
Enneper surface EF461X43T8
| URI | m2://inv/EF461X43T8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q615502, Enneper surface (unknown). Also MathWorld EnnepersMinimalSurface
History
- 2026-10-26: add by m2/dev
algebraic expression EF48RWCCN9
| URI | m2://inv/EF48RWCCN9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4724001, algebraic expression (unknown). Also MathWorld AlgebraicExpression
History
- 2026-10-26: add by m2/dev
finite field EF4R1EEHA4
| URI | m2://inv/EF4R1EEHA4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 11T06 |
| Sources | 1 |
| Outcome | open |
| Node | Finite field 0ZXZ82FTX2 |
Mentions
- wikidata: Wikidata Q603880, finite field (topic). Also EoM Galois_field, MathWorld FiniteField, nLab finite field
History
- 2026-10-26: add by m2/dev
× EF72RF330W
| URI | m2://inv/EF72RF330W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1900125, × (unknown). Also MathWorld MultiplicationSign
History
- 2026-10-26: add by m2/dev
Cantor function EFHR13WW6M
| URI | m2://inv/EFHR13WW6M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q938883, Cantor function (unknown). Also MathWorld CantorFunction
History
- 2026-10-26: add by m2/dev
edge coloring EFK09BNH93
| URI | m2://inv/EFK09BNH93 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Edge colouring 0B5WCC02AN |
Mentions
- wikidata: Wikidata Q1050972, edge coloring (definition). Also ProofWiki Definition:Coloring/Edge_Coloring
History
- 2026-10-26: add by m2/dev
error estimation EFMPP28AHA
| URI | m2://inv/EFMPP28AHA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Numerical series > error estimation, error estimation (unknown)
History
- 2026-10-26: add by m2/dev
Leibniz integral rule EFMSVJ40KV
| URI | m2://inv/EFMSVJ40KV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Differentiation under the integral sign 0AR06W1E1B |
Mentions
- wikidata: Wikidata Q2996637, Leibniz integral rule (statement). Also MathWorld LeibnizIntegralRule
History
- 2026-10-26: add by m2/dev
valuation EFNY568EE2
| URI | m2://inv/EFNY568EE2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4008379, valuation (unknown). Also nLab valuation
History
- 2026-10-26: add by m2/dev
Shrikhande graph EFR2S2TA70
| URI | m2://inv/EFR2S2TA70 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115537, Shrikhande graph (unknown). Also House of Graphs 1308, MathWorld ShrikhandeGraph
History
- 2026-10-26: add by m2/dev
Boris Zilber EFV25MJY6F
| URI | m2://inv/EFV25MJY6F |
|---|---|
| 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 Q893805, Boris Zilber (unknown). Also nLab Boris Zilber, ProofWiki Mathematician:Boris_Iosifovich_Zilber
History
- 2026-10-26: add by m2/dev