Inventory rows EJ
The cards of the rows of the inventory whose ids start with EJ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
asymptotic analysis EJ0825PXT2
| URI | m2://inv/EJ0825PXT2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q752718, asymptotic analysis (unknown). Also MathWorld AsymptoticAnalysis
History
- 2026-10-26: add by m2/dev
tangent circles EJ09K4V6KT
| URI | m2://inv/EJ09K4V6KT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7682871, tangent circles (unknown). Also MathWorld TangentCircles
History
- 2026-10-26: add by m2/dev
Joseph Ayoub EJ6K35XHC4
| URI | m2://inv/EJ6K35XHC4 |
|---|---|
| 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 Q30529348, Joseph Ayoub (unknown). Also nLab Joseph Ayoub
History
- 2026-10-26: add by m2/dev
Tate algebra EJ82EVMT06
| URI | m2://inv/EJ82EVMT06 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7687971, Tate algebra (unknown). Also nLab Tate algebra
History
- 2026-10-26: add by m2/dev
Malfatti circles EJ8NEHQE7N
| URI | m2://inv/EJ8NEHQE7N |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q182497, Malfatti circles (concept). Also MathWorld MalfattiCircles
History
- 2026-10-26: add by m2/dev
metacyclic group EJADFVKKQF
| URI | m2://inv/EJADFVKKQF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6822469, metacyclic group (unknown). Also MathWorld MetacyclicGroup
History
- 2026-10-26: add by m2/dev
Church–Rosser theorem EJCPXHP49N
| URI | m2://inv/EJCPXHP49N |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1308502, Church–Rosser theorem (statement). Also Wikidata Q1308502
- thousand_plus: thousand_plus Q1308502, Church–Rosser theorem (statement). Also Wikidata Q1308502, Wikipedia Church–Rosser theorem
- wikidata: Wikidata Q1308502, Church–Rosser theorem (statement). Also MathWorld Church-RosserTheorem
History
- 2026-10-26: add by m2/dev
weak-* topology EJFTJ06G97
| URI | m2://inv/EJFTJ06G97 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2644145, weak-* topology (definition). Also ProofWiki Definition:Weak-*_Topology
History
- 2026-10-26: add by m2/dev
derivative of the Heaviside function EJHF93YNJM
| URI | m2://inv/EJHF93YNJM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Distributions on $\R^d$ > derivative of the Heaviside function, derivative of the Heaviside function (unknown)
History
- 2026-10-26: add by m2/dev
predicate logic EJMV86AMWQ
| URI | m2://inv/EJMV86AMWQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q35148, predicate logic (topic). Also ProofWiki Definition:Predicate_Logic
History
- 2026-10-26: add by m2/dev
Rami Grossberg EJWN8RTM4B
| URI | m2://inv/EJWN8RTM4B |
|---|---|
| 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 Q7289523, Rami Grossberg (unknown). Also nLab Rami Grossberg
History
- 2026-10-26: add by m2/dev
Hiraku Nakajima EJX8D4VY1T
| URI | m2://inv/EJX8D4VY1T |
|---|---|
| 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 Q371515, Hiraku Nakajima (unknown). Also nLab Hiraku Nakajima
History
- 2026-10-26: add by m2/dev
primitive prime factor EJXQ52MKFT
| URI | m2://inv/EJXQ52MKFT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q132225597, primitive prime factor (definition). Also MathWorld PrimitivePrimeFactor, ProofWiki Definition:Primitive_Prime_Factor
History
- 2026-10-26: add by m2/dev