Inventory rows ER
The cards of the rows of the inventory whose ids start with ER. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
spin ER40CSZ58Z
| URI | m2://inv/ER40CSZ58Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q133673, spin (definition). Also ProofWiki Definition:Intrinsic_Angular_Momentum
History
- 2026-10-26: add by m2/dev
Gosper curve ER40MHWQKK
| URI | m2://inv/ER40MHWQKK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1188650, Gosper curve (unknown). Also MathWorld Peano-GosperCurve
History
- 2026-10-26: add by m2/dev
straightedge ER4G2N5S6C
| URI | m2://inv/ER4G2N5S6C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q354733, straightedge (unknown). Also MathWorld Straightedge
History
- 2026-10-26: add by m2/dev
transfer function ER61SEXGFN
| URI | m2://inv/ER61SEXGFN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q334269, transfer function (unknown). Also MathWorld TransferFunction
History
- 2026-10-26: add by m2/dev
inversive geometry ER6EGJ38DQ
| URI | m2://inv/ER6EGJ38DQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9267097, inversive geometry (unknown). Also MathWorld InversiveGeometry
History
- 2026-10-26: add by m2/dev
hole argument ER71ES2QQY
| URI | m2://inv/ER71ES2QQY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13636406, hole argument (unknown). Also nLab hole argument
History
- 2026-10-26: add by m2/dev
Dirac comb ERF8K72MBA
| URI | m2://inv/ERF8K72MBA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q385599, Dirac comb (concept). Also MathWorld ShahFunction
History
- 2026-10-26: add by m2/dev
principal value ERGSNTZE00
| URI | m2://inv/ERGSNTZE00 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Principal branch 017BPGVEE8 |
Mentions
- wikidata: Wikidata Q6126499, principal value (unknown). Also MathWorld PrincipalValue
History
- 2026-10-26: add by m2/dev
Neville's algorithm ERH40C2YT2
| URI | m2://inv/ERH40C2YT2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7884545, Neville's algorithm (unknown). Also MathWorld NevillesAlgorithm
History
- 2026-10-26: add by m2/dev
fundamental sequences ERHDS3SBDE
| URI | m2://inv/ERHDS3SBDE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Set theory > Ordinals > fundamental sequences, fundamental sequences (unknown). Also Mathlib Ordinal.IsFundamentalSeq
History
- 2026-10-26: add by m2/dev
Vandermonde's identity ERKZWVJC01
| URI | m2://inv/ERKZWVJC01 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Vandermonde's identity 01JADB9VW5 |
Mentions
- wikidata: Wikidata Q3147827, Vandermonde's identity (concept). Also MathWorld VandermondeIdentity, ProofWiki Chu-Vandermonde_Identity
History
- 2026-10-26: add by m2/dev