Inventory rows EQ
The cards of the rows of the inventory whose ids start with EQ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Nielsen–Ninomiya theorem EQ04VT76RK
| URI | m2://inv/EQ04VT76RK |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 81-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q17104863, Nielsen–Ninomiya theorem (statement). Also Wikidata Q17104863
- thousand_plus: thousand_plus Q17104863, Nielsen–Ninomiya theorem (statement). Also Wikidata Q17104863, Wikipedia Nielsen–Ninomiya theorem
History
- 2026-10-26: add by m2/dev
automorphic function EQ0AJZ6XGN
| URI | m2://inv/EQ0AJZ6XGN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4826704, automorphic function (unknown). Also MathWorld AutomorphicFunction
History
- 2026-10-26: add by m2/dev
isocline EQ4N6D9B4J
| URI | m2://inv/EQ4N6D9B4J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1546820, isocline (unknown). Also MathWorld Isocline
History
- 2026-10-26: add by m2/dev
incomplete elliptic integral of the second kind EQ66HN9B22
| URI | m2://inv/EQ66HN9B22 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q109752773, incomplete elliptic integral of the second kind (unknown). Also MathWorld EllipticIntegraloftheSecondKind
History
- 2026-10-26: add by m2/dev
Eric Arnold Bergshoeff EQ6SFZX87T
| URI | m2://inv/EQ6SFZX87T |
|---|---|
| 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 Q16318957, Eric Arnold Bergshoeff (unknown). Also nLab Eric Bergshoeff
History
- 2026-10-26: add by m2/dev
stochastic EQDES1RK1B
| URI | m2://inv/EQDES1RK1B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1071239, stochastic (unknown). Also MathWorld Stochastic
History
- 2026-10-26: add by m2/dev
Ruzsa covering lemma EQGHGGZJC1
| URI | m2://inv/EQGHGGZJC1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Additive combinatorics > Ruzsa covering lemma, Ruzsa covering lemma (unknown). Also Mathlib Set.ruzsa_covering_add
History
- 2026-10-26: add by m2/dev
Conway puzzle EQHHEHYQ5E
| URI | m2://inv/EQHHEHYQ5E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1130010, Conway puzzle (unknown). Also MathWorld ConwayPuzzle
History
- 2026-10-26: add by m2/dev
Chebyshev's sum inequality EQMJ3SQTYD
| URI | m2://inv/EQMJ3SQTYD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1428736, Chebyshev's sum inequality (statement). Also MathWorld ChebyshevSumInequality
History
- 2026-10-26: add by m2/dev
wild number EQMVH63GYD
| URI | m2://inv/EQMVH63GYD |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25305116, wild number (object). Also OEIS A058883
History
- 2026-10-26: add by m2/dev
minimal tensor product EQNJ8VECQE
| URI | m2://inv/EQNJ8VECQE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Convex geometry > minimal tensor product, minimal tensor product (unknown). Also Mathlib PointedCone.minTensorProduct
History
- 2026-10-26: add by m2/dev
Andreas Blass EQR5XDSK17
| URI | m2://inv/EQR5XDSK17 |
|---|---|
| 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 Q4755386, Andreas Blass (unknown). Also nLab Andreas Blass
History
- 2026-10-26: add by m2/dev
Notices of the American Mathematical Society EQS559Q1R1
| URI | m2://inv/EQS559Q1R1 |
|---|---|
| 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 Q24158, Notices of the American Mathematical Society (unknown). Also ProofWiki Book:Journal/Notices_of_the_American_Mathematical_Society
History
- 2026-10-26: add by m2/dev
pentagonal number theorem EQZRV30AWS
| URI | m2://inv/EQZRV30AWS |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q282649, Pentagonal number theorem (statement). Also Mathlib PowerSeries.WithPiTopology.hasProd_one_sub_X_pow, Mathlib hasProd_eulerFunction, Wikidata Q282649
- thousand_plus: thousand_plus Q282649, Pentagonal number theorem (statement). Also Wikidata Q282649, Wikipedia Pentagonal number theorem
- wikidata: Wikidata Q282649, pentagonal number theorem (statement). Also MathWorld PentagonalNumberTheorem
History
- 2026-10-26: add by m2/dev