Inventory rows HJ
The cards of the rows of the inventory whose ids start with HJ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Formal definition HJ035XX8E2
| URI | m2://inv/HJ035XX8E2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjoint bundle#K4K5, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
HJ0426DXZ7 HJ0426DXZ7
| URI | m2://inv/HJ0426DXZ7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.17066#45CG (definition). In X2AEJAQEP8/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Advances in High Energy Physics HJ05QNBJR9
| URI | m2://inv/HJ05QNBJR9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Advances in High Energy Physics, Advances in High Energy Physics (definition). Also Wikidata Q26151
History
- 2026-11-02: add by m2/dev
HJ066B71HW HJ066B71HW
| URI | m2://inv/HJ066B71HW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38532#HDD1 (statement). In X7YYWCZFTV/e1, lemma 2.11
History
- 2026-10-30: add by m2/v0.4.12
HJ0CSYXRT6 HJ0CSYXRT6
| URI | m2://inv/HJ0CSYXRT6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16554#DDMK (statement). In GWNT8HEZG1/e1, proposition 4.18
History
- 2026-10-27: add by m2/v0.3.6
HJ0FTWRVNM HJ0FTWRVNM
| URI | m2://inv/HJ0FTWRVNM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33263#F2QZ (statement). In 6S5EH3388Z/e1, theorem 1.7
History
- 2026-10-30: add by m2/v0.4.12
HJ0JRNAZD6 HJ0JRNAZD6
| URI | m2://inv/HJ0JRNAZD6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14842#AHEX (statement). In MQXT5RQE0C/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Gammoid HJ0S050E8F
| URI | m2://inv/HJ0S050E8F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gammoid, Gammoid (definition). Also Wikidata Q5520354
History
- 2026-11-02: add by m2/dev
HJ0SAQTJJV HJ0SAQTJJV
| URI | m2://inv/HJ0SAQTJJV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37489#NTZ3 (statement). In 5ZC91T5PHQ/e1, lemma
History
- 2026-10-30: add by m2/v0.4.12
Surface bundle HJ0YB1NMNC
| URI | m2://inv/HJ0YB1NMNC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surface bundle, Surface bundle (definition). Also Wikidata Q7645952
History
- 2026-11-02: add by m2/dev
Mis-quotation HJ1FCVCY9Z
| URI | m2://inv/HJ1FCVCY9Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotation#EHX3, Mis-quotation (unknown)
History
- 2026-11-02: add by m2/dev
HJ1G22X5P6 HJ1G22X5P6
| URI | m2://inv/HJ1G22X5P6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#exercise-20 (exercise). In E9HS8K3A52, exercise, section 3.3.2
History
- 2026-11-01: add by m2/v0.6.13
HJ1JBGVVPJ HJ1JBGVVPJ
| URI | m2://inv/HJ1JBGVVPJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25656#O1I7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Antoine Deparcieux HJ1WSZWXQP
| URI | m2://inv/HJ1WSZWXQP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antoine Deparcieux, Antoine Deparcieux (topic). Also Wikidata Q2853864
History
- 2026-11-02: add by m2/dev
HJ29CAG1ZV HJ29CAG1ZV
| URI | m2://inv/HJ29CAG1ZV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2402.17852#IPF8 (statement). In 1WCXV5PVZA/e1, lemma 4.7
History
- 2026-10-27: add by m2/v0.4.0
cubic centimetre HJ29V1XP85
| URI | m2://inv/HJ29V1XP85 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1022113, cubic centimetre (definition). Also ProofWiki Definition:Centimetre/Cubic_Centimetre
History
- 2026-10-26: add by m2/dev
Connected fibers HJ2AEY2CN8
| URI | m2://inv/HJ2AEY2CN8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11793#VAJX, Connected fibers (statement). In GGCY8Z053Z/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.3
HJ2H11SV4X HJ2H11SV4X
| URI | m2://inv/HJ2H11SV4X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/unique-readability.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 39.3
History
- 2026-11-01: add by m2/v0.6.13
HJ2M22T7CS HJ2M22T7CS
| URI | m2://inv/HJ2M22T7CS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28336#4CR2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tychonoff plank HJ33MWC9HS
| URI | m2://inv/HJ33MWC9HS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q250509, Tychonoff plank (concept). Also MathWorld TychonoffPlank
- wikipedia: Wikipedia Tychonoff plank, Tychonoff plank (definition). Also Wikidata Q250509
History
- 2026-10-26: add by m2/dev
Two-regime tail-to-radius conversion HJ3DCK09F6
| URI | m2://inv/HJ3DCK09F6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40338#ZD02, Two-regime tail-to-radius conversion (statement). In K5H6GS0SGQ/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
HJ3EHV13JF HJ3EHV13JF
| URI | m2://inv/HJ3EHV13JF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-104 (exercise). In E9HS8K3A52, exercise, section 10.9.4
History
- 2026-11-01: add by m2/v0.6.13
divisor, common HJ3EMS4TZM
| URI | m2://inv/HJ3EMS4TZM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/3.5.1/divisor-common, divisor, common (concept). In QKM9DD2H56, index, section 3.5.1
History
- 2026-11-01: add by m2/v0.6.13
HJ3TJFDJXG HJ3TJFDJXG
| URI | m2://inv/HJ3TJFDJXG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33015#W6HD (statement). In W6Y6NPK648/e1, lemma 4.7
History
- 2026-10-27: add by m2/v0.3.5
Computation HJ3VQS4PNS
| URI | m2://inv/HJ3VQS4PNS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized estimating equation#ZP26, Computation (definition)
History
- 2026-11-02: add by m2/dev
Daphne L. Smith HJ3W36WHZM
| URI | m2://inv/HJ3W36WHZM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daphne L. Smith, Daphne L. Smith (topic). Also Wikidata Q12889393
History
- 2026-11-02: add by m2/dev
Example HJ43FZB1WK
| URI | m2://inv/HJ43FZB1WK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chain rule (probability)#2UOO, Example (example)
History
- 2026-11-02: add by m2/dev
HJ4AC9SD6C HJ4AC9SD6C
| URI | m2://inv/HJ4AC9SD6C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#NRTN (statement). In 5E9G06XJKC/e1, lemma G.13
History
- 2026-10-28: add by m2/v0.4.2
MacMahon's master theorem HJ4DHXPDT7
| URI | m2://inv/HJ4DHXPDT7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6722024, MacMahon Master theorem (statement). Also Wikidata Q6722024
- thousand_plus: thousand_plus Q6722024, MacMahon Master theorem (statement). Also Wikidata Q6722024, Wikipedia MacMahon Master theorem
- wikipedia: Wikipedia MacMahon's master theorem, MacMahon's master theorem (statement). Also Wikidata Q6722024
History
- 2026-10-26: add by m2/dev
Examples HJ4JM8GAKE
| URI | m2://inv/HJ4JM8GAKE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nilmanifold#0HTC, Examples (example)
History
- 2026-11-02: add by m2/dev
HJ4M9JNR16 HJ4M9JNR16
| URI | m2://inv/HJ4M9JNR16 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22514#RYUH (definition)
History
- 2026-11-02: add by m2/v0.6.17
HJ534BA92A HJ534BA92A
| URI | m2://inv/HJ534BA92A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06200#M67J (definition). In B5XCHJKX7Q/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.10
General discrete Hardy inequality HJ5558A169
| URI | m2://inv/HJ5558A169 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hardy's inequality#9SZW, General discrete Hardy inequality (statement)
History
- 2026-11-02: add by m2/dev
Cape Manzamo HJ573MA7TG
| URI | m2://inv/HJ573MA7TG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#AXXY, Cape Manzamo (unknown)
History
- 2026-11-02: add by m2/dev
HJ593WRD88 HJ593WRD88
| URI | m2://inv/HJ593WRD88 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.10963#JN6X (example). In F32XWYWG8E/e1, example 4.10
History
- 2026-10-27: add by m2/v0.3.5
HJ5G8XFHFQ HJ5G8XFHFQ
| URI | m2://inv/HJ5G8XFHFQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9902147#WHQV (statement). In 7CK21JGM5A/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.4.2
HJ5PTE214V HJ5PTE214V
| URI | m2://inv/HJ5PTE214V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2206.11797#TOO7 (definition). In 8SJWWZN4FH/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.4.0
Conditional sampling HJ64R1KW4Y
| URI | m2://inv/HJ64R1KW4Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11145#U1ER, Conditional sampling (definition). In 2KME4YY99M/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.3
Quantum groupoid HJ6728RVD6
| URI | m2://inv/HJ6728RVD6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum groupoid, Quantum groupoid (definition). Also Wikidata Q48968833
History
- 2026-11-02: add by m2/dev
iron-58 HJ6FJ3W0K8
| URI | m2://inv/HJ6FJ3W0K8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2704780, iron-58 (definition). Also ProofWiki Definition:Iron/58
History
- 2026-10-26: add by m2/dev
HJ6FPHY275 HJ6FPHY275
| URI | m2://inv/HJ6FPHY275 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26134#GUDW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition HJ79PT31F8
| URI | m2://inv/HJ79PT31F8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Studentized range distribution#D35I, Definition (definition)
History
- 2026-11-02: add by m2/dev
HJ7CVDF08Z HJ7CVDF08Z
| URI | m2://inv/HJ7CVDF08Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-60 (exercise). In E59CDZA4DP, exercise, section 4.5.6
History
- 2026-11-01: add by m2/v0.6.13
Universal approximation theorem for pi-sigma networks HJ7JQ3YK8S
| URI | m2://inv/HJ7JQ3YK8S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal approximation theorem#RVDK, Universal approximation theorem for pi-sigma networks (statement)
History
- 2026-11-02: add by m2/dev
Construction HJ7RSJBJC0
| URI | m2://inv/HJ7RSJBJC0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 6-cube#L1VR, Construction (definition)
History
- 2026-11-02: add by m2/dev
HJ7SGQR7JF HJ7SGQR7JF
| URI | m2://inv/HJ7SGQR7JF |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.05288#05BZ (problem). In RTW3GDYPND/e1, problem 1
History
- 2026-10-27: add by m2/v0.4.0
HJ7V2KTQD5 HJ7V2KTQD5
| URI | m2://inv/HJ7V2KTQD5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2206.05392#QSEH (example). In 58D1ZC82DW/e1, example 18
History
- 2026-10-27: add by m2/v0.3.5
Castigliano's first and second theorems HJ84Q3E2AK
| URI | m2://inv/HJ84Q3E2AK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#WVEL, Castigliano's first and second theorems (definition)
History
- 2026-11-02: add by m2/dev
Ruth Moufang HJ87K0ZW4A
| URI | m2://inv/HJ87K0ZW4A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#DXXQ, Ruth Moufang (topic)
History
- 2026-11-02: add by m2/dev
HJ89DG1JVX HJ89DG1JVX
| URI | m2://inv/HJ89DG1JVX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise-9 (exercise). In E59CDZA4DP, exercise, section 3.1.3
History
- 2026-11-01: add by m2/v0.6.13
HJ8EA5N4H2 HJ8EA5N4H2
| URI | m2://inv/HJ8EA5N4H2 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.01436#L8V7 (proof). In FE59Q5BHKZ/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
HJ8HJ8J591 HJ8HJ8J591
| URI | m2://inv/HJ8HJ8J591 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#F72N (statement). In CY1FE8W1ZW/e1, lemma 0.83
History
- 2026-10-27: add by m2/v0.4.0
James A. Yorke HJ8XNQW42V
| URI | m2://inv/HJ8XNQW42V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James A. Yorke, James A. Yorke (topic). Also Wikidata Q897961
History
- 2026-11-02: add by m2/dev
HJ8XR2YHQE HJ8XR2YHQE
| URI | m2://inv/HJ8XR2YHQE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36313#VUKU (statement). In Z5SP3NW41S/e1, theorem 5.1
History
- 2026-10-30: add by m2/v0.4.12
HJ95BZKMRK HJ95BZKMRK
| URI | m2://inv/HJ95BZKMRK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01251#SV68 (statement). In CZ2247RGQ4/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
graph, comparability HJ97PD67G4
| URI | m2://inv/HJ97PD67G4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/6.1/graph-comparability, graph, comparability (concept). In QKM9DD2H56, index, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
HJ9BQ9ATCG HJ9BQ9ATCG
| URI | m2://inv/HJ9BQ9ATCG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21632#O3R3 (statement). In Q4RZTN2EX6/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.4.2
Stable but not uniformly stable HJ9PQV9CC3
| URI | m2://inv/HJ9PQV9CC3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11002#AG6U, Stable but not uniformly stable (example). In P55JSAYR3T/e1, example
History
- 2026-10-28: add by m2/v0.4.3
HJ9QC0JCKJ HJ9QC0JCKJ
| URI | m2://inv/HJ9QC0JCKJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.07511#MBCK (statement). In 652CJVBF7C/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.6
Dmitry Turaev HJ9V7CA6EE
| URI | m2://inv/HJ9V7CA6EE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ITDT, Dmitry Turaev (unknown)
History
- 2026-11-02: add by m2/dev
Basic properties HJ9VK21DAJ
| URI | m2://inv/HJ9VK21DAJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi polynomials#AA9B, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Fermat–Catalan conjecture HJ9YEEX7AV
| URI | m2://inv/HJ9YEEX7AV |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q851604, Fermat–Catalan conjecture (conjecture). Also MathWorld Fermat-CatalanConjecture
- wikipedia: Wikipedia Fermat–Catalan conjecture, Fermat–Catalan conjecture (conjecture). Also Wikidata Q851604
History
- 2026-10-26: add by m2/dev
HJA0V4ZE9X HJA0V4ZE9X
| URI | m2://inv/HJA0V4ZE9X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12169#ZA24 (definition). In 645GF9SFWM/e1, definition 19
History
- 2026-10-28: add by m2/v0.4.2
HJA16B1C73 HJA16B1C73
| URI | m2://inv/HJA16B1C73 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21662#8HL7 (statement). In 25B3WHEKH2/e1, theorem 3.9
History
- 2026-10-27: add by m2/v0.4.2
A Course of Modern Analysis HJA37N73RF
| URI | m2://inv/HJA37N73RF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A Course of Modern Analysis, A Course of Modern Analysis (definition). Also Wikidata Q7996825
History
- 2026-11-02: add by m2/dev
breadth first search HJA5AVXKXT
| URI | m2://inv/HJA5AVXKXT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.2.2/breadth-first-search, breadth first search (concept). In Y91XFCEVHQ, index, section 5.2.2
History
- 2026-11-01: add by m2/v0.6.13
Ralph Tambs Lyche HJA7AA2WKB
| URI | m2://inv/HJA7AA2WKB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0QDA, Ralph Tambs Lyche (unknown)
History
- 2026-11-02: add by m2/dev
Roger Lyndon HJA7SVMX4M
| URI | m2://inv/HJA7SVMX4M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#T50N, Roger Lyndon (unknown)
History
- 2026-11-02: add by m2/dev
HJAEDKXAQ8 HJAEDKXAQ8
| URI | m2://inv/HJAEDKXAQ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03719#U6TG (statement). In 8MDK189ZMB/e1, proposition 3.12
History
- 2026-10-29: add by m2/v0.4.12
HJAF3KBDRV HJAF3KBDRV
| URI | m2://inv/HJAF3KBDRV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1303.4328#YD1B (statement). In HCTYW6VH87/e1, lemma 8.9
History
- 2026-10-27: add by m2/v0.3.5
Dynamic projected gradient descent HJAQJ0PAF6
| URI | m2://inv/HJAQJ0PAF6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20187#25LB, Dynamic projected gradient descent (statement). In N280AVNNBY/e1, lemma B.13
History
- 2026-10-27: add by m2/v0.4.2
Integral varifolds with generalized boundary HJAZ4DV3FB
| URI | m2://inv/HJAZ4DV3FB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24716#DGIE, Integral varifolds with generalized boundary (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lemma 1 HJB241SM2Z
| URI | m2://inv/HJB241SM2Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NC (complexity)#5SLM, Lemma 1 (statement)
History
- 2026-11-02: add by m2/dev
\(\mathbf{SOb}_{\mathcal{C}}\) is faithful when \(\mathcal{C}\) is subobject-separated HJB8BAVCZB
| URI | m2://inv/HJB8BAVCZB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#TPGN, \(\mathbf{SOb}_{\mathcal{C}}\) is faithful when \(\mathcal{C}\) is subobject-separated (statement). In HX63A1PH1W/e1, proposition 6.6
History
- 2026-10-28: add by m2/v0.4.3
Cauchy–Green deformation tensor HJBFK94QME
| URI | m2://inv/HJBFK94QME |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#LNFH, Cauchy–Green deformation tensor (definition)
History
- 2026-11-02: add by m2/dev
Ordered probit HJBK83FVS3
| URI | m2://inv/HJBK83FVS3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CYBV, Ordered probit (definition)
History
- 2026-11-02: add by m2/dev
Impact bias HJBQB67VNE
| URI | m2://inv/HJBQB67VNE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#3DRB, Impact bias (unknown)
History
- 2026-11-02: add by m2/dev
Chirp HJBV5C2BBZ
| URI | m2://inv/HJBV5C2BBZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chirp, Chirp (definition). Also Wikidata Q27304
History
- 2026-11-02: add by m2/dev
Principal stratification HJBW97NWC1
| URI | m2://inv/HJBW97NWC1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal stratification, Principal stratification (definition). Also Wikidata Q7245092
History
- 2026-11-02: add by m2/dev
HJBY8WND1H HJBY8WND1H
| URI | m2://inv/HJBY8WND1H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2201.04174#VRMH (definition). In NVTHDNQQ4Q/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
HJC8B2Q0WB HJC8B2Q0WB
| URI | m2://inv/HJC8B2Q0WB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23106#28Y1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
HJCG1G2EF1 HJCG1G2EF1
| URI | m2://inv/HJCG1G2EF1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25321#2DUT (definition)
History
- 2026-11-01: add by m2/v0.6.15
Boundary Rectifiability Theorem HJCKBB7P2Q
| URI | m2://inv/HJCKBB7P2Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04833#A0P4, Boundary Rectifiability Theorem (statement). In AKB3CNDA0F/e1, theorem 3.42
History
- 2026-10-29: add by m2/v0.4.12
Compactness HJCKNVBN39
| URI | m2://inv/HJCKNVBN39 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/proof-theoretic-notions.tex#prop:proves-compact, Compactness (statement). In PKGMM3P5QY, prop, section 22.5
History
- 2026-11-01: add by m2/v0.6.13
G. Spencer-Brown HJCQGP8JE7
| URI | m2://inv/HJCQGP8JE7 |
|---|---|
| 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 Q1508271, G. Spencer-Brown (unknown). Also MathWorld Spencer-BrownForm
History
- 2026-10-26: add by m2/dev
L-moment HJCR6YKDMM
| URI | m2://inv/HJCR6YKDMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#90A9, L-moment (definition)
History
- 2026-11-02: add by m2/dev
HJCS6QFS00 HJCS6QFS00
| URI | m2://inv/HJCS6QFS00 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36045#K52G (conjecture). In F0E8YBV0Z0/e1, conjecture 1.6
History
- 2026-10-30: add by m2/v0.4.12
HJCTGFBPZY HJCTGFBPZY
| URI | m2://inv/HJCTGFBPZY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07790#N0YX (statement). In A5YJDDM0NX/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.10
HJCXG3QKP3 HJCXG3QKP3
| URI | m2://inv/HJCXG3QKP3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24314#48Z8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
HJD15PRBJF HJD15PRBJF
| URI | m2://inv/HJD15PRBJF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12740#JC6Z (statement). In HKYRZSZPEC/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
Lebesgue space estimates of the perturbative operator HJD4WZBCZM
| URI | m2://inv/HJD4WZBCZM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22513#YBKP, Lebesgue space estimates of the perturbative operator (statement)
History
- 2026-11-02: add by m2/v0.6.17
Susan S. Ellenberg HJD58JXD4T
| URI | m2://inv/HJD58JXD4T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Susan S. Ellenberg, Susan S. Ellenberg (topic). Also Wikidata Q59160152
History
- 2026-11-02: add by m2/dev
HJD5JVZE4Q HJD5JVZE4Q
| URI | m2://inv/HJD5JVZE4Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16081#BWHT (statement). In RS6WWZKMT6/e1, lemma A.4
History
- 2026-10-28: add by m2/v0.4.2
AF+BG theorem HJDAD1CGH1
| URI | m2://inv/HJDAD1CGH1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#BL64, AF+BG theorem (statement)
History
- 2026-11-02: add by m2/dev
HJDKM2QXK0 HJDKM2QXK0
| URI | m2://inv/HJDKM2QXK0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2604.10080#3PFY (statement). In KM2FWKP93A/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.4.0
HJDXQKKP5B HJDXQKKP5B
| URI | m2://inv/HJDXQKKP5B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.00589#LJ3G (statement). In C8JAGP8VCQ/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
Dudley E. Littlewood HJEANY9EZX
| URI | m2://inv/HJEANY9EZX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dudley E. Littlewood, Dudley E. Littlewood (topic). Also Wikidata Q381339
History
- 2026-11-02: add by m2/dev
Definition HJEBN11CDG
| URI | m2://inv/HJEBN11CDG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Manin matrix#BI8J, Definition (definition)
History
- 2026-11-02: add by m2/dev
HJEQGN868W HJEQGN868W
| URI | m2://inv/HJEQGN868W |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-103 (exercise). In VNMV985MXX, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
HJEQWXQXDW HJEQWXQXDW
| URI | m2://inv/HJEQWXQXDW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25568#T4LQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
HJF43XG3CA HJF43XG3CA
| URI | m2://inv/HJF43XG3CA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#YSHS (statement). In E7W2HDNEKJ/e1, corollary 7.11
History
- 2026-10-30: add by m2/v0.4.12
Fréchet derivative HJFMD7QKFR
| URI | m2://inv/HJFMD7QKFR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Fréchet derivative 06EH97V2A7 |
Mentions
- wikidata: Wikidata Q1305350, Fréchet derivative (unknown). Also MathWorld FrechetDerivative, nLab Fréchet derivative
- wikipedia: Wikipedia Fréchet derivative, Fréchet derivative (definition). Also Wikidata Q1305350
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Mirimanoff's congruence HJFNBMJ421
| URI | m2://inv/HJFNBMJ421 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8349850, Mirimanoff's congruence (concept). Also MathWorld MirimanoffsCongruence
- wikipedia: Wikipedia Mirimanoff's congruence, Mirimanoff's congruence (definition). Also Wikidata Q8349850
History
- 2026-10-26: add by m2/dev
HJFP5GMNTA HJFP5GMNTA
| URI | m2://inv/HJFP5GMNTA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#VA5B (definition). In BDN507RN7J/e1, definition 3.1.1
History
- 2026-10-30: add by m2/v0.4.12
Becker, Betsy HJFP7480S2
| URI | m2://inv/HJFP7480S2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#VCPG, Becker, Betsy (topic)
History
- 2026-11-02: add by m2/dev
Agnew's theorem HJFPNFAN92
| URI | m2://inv/HJFPNFAN92 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Agnew's theorem, Agnew's theorem (statement). Also Wikidata Q127260178
History
- 2026-11-02: add by m2/dev
HJFQ394P9Q HJFQ394P9Q
| URI | m2://inv/HJFQ394P9Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.00589#TG6H (statement). In C8JAGP8VCQ/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
HJFWCACXD0 HJFWCACXD0
| URI | m2://inv/HJFWCACXD0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.14143#53U1 (statement). In 7WV4JVGEN1/e1, theorem 7.1
History
- 2026-10-27: add by m2/v0.4.0
naive set theory HJFWWF8MRM
| URI | m2://inv/HJFWWF8MRM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#UENX, naive set theory (definition)
History
- 2026-11-02: add by m2/dev
HJFX5CPD2W HJFX5CPD2W
| URI | m2://inv/HJFX5CPD2W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14616#3KHY (statement). In 17ACAG0N9C/e1, lemma 7.5
History
- 2026-10-28: add by m2/v0.4.2
HJG20HH266 HJG20HH266
| URI | m2://inv/HJG20HH266 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18673#X6CQ (definition). In 7ZFD9XRKA1/e1, definition 2.27
History
- 2026-10-28: add by m2/v0.4.2
HJG2GCACC3 HJG2GCACC3
| URI | m2://inv/HJG2GCACC3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1905.00573#56K1 (definition). In 74RNQVBM2G/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Uses HJGBJVGP24
| URI | m2://inv/HJGBJVGP24 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Null set#AV67, Uses (example)
History
- 2026-11-02: add by m2/dev
HJGHA2EF6C HJGHA2EF6C
| URI | m2://inv/HJGHA2EF6C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 18-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2304.07398#JZQG (definition). In JS5FKV1S9T/e1, definition F.1
History
- 2026-10-27: add by m2/v0.3.5
List of numerical analysis topics HJGJ4J99G2
| URI | m2://inv/HJGJ4J99G2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics, List of numerical analysis topics (topic). Also Wikidata Q1663788
History
- 2026-11-02: add by m2/dev
HJGK0TMB41 HJGK0TMB41
| URI | m2://inv/HJGK0TMB41 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03728#Z3R5 (statement). In NXR84SNM8F/e1, corollary 9.2
History
- 2026-10-29: add by m2/v0.4.12
HJGMNMJSQA HJGMNMJSQA
| URI | m2://inv/HJGMNMJSQA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26450#1ZHM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Moritz Steinschneider HJGZQPMBWS
| URI | m2://inv/HJGZQPMBWS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#B58C, Moritz Steinschneider (unknown)
History
- 2026-11-02: add by m2/dev
Representations HJH0SH4C64
| URI | m2://inv/HJH0SH4C64 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact quantum group#IFLE, Representations (definition)
History
- 2026-11-02: add by m2/dev
Grade HJH3QVS8AC
| URI | m2://inv/HJH3QVS8AC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grade (slope), Grade (definition). Also Wikidata Q1139344
History
- 2026-11-02: add by m2/dev
Applications HJHHKNNMC4
| URI | m2://inv/HJHHKNNMC4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#07TH, Applications (example)
History
- 2026-11-02: add by m2/dev
Gotway Crawford, Carol A. HJHQ8RZSFK
| URI | m2://inv/HJHQ8RZSFK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#V3W8, Gotway Crawford, Carol A. (topic)
History
- 2026-11-02: add by m2/dev
Indian numerals HJHTVVRCX4
| URI | m2://inv/HJHTVVRCX4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hindu–Arabic numeral system#3E2T, Indian numerals (unknown)
History
- 2026-11-02: add by m2/dev
HJJ0XA0SH5 HJJ0XA0SH5
| URI | m2://inv/HJJ0XA0SH5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16245#T77M (statement). In 60CQJN845D/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.2
Extremal Kähler metric HJJ9174HNG
| URI | m2://inv/HJJ9174HNG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constant scalar curvature Kähler metric#9T74, Extremal Kähler metric (unknown)
History
- 2026-11-02: add by m2/dev
Properties HJJCY68F5E
| URI | m2://inv/HJJCY68F5E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polar topology#DQ34, Properties (statement)
History
- 2026-11-02: add by m2/dev
HJJQW1SH3B HJJQW1SH3B
| URI | m2://inv/HJJQW1SH3B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#thm:quotient-ump (statement). In N54F33XE07, lem, section 5.10
History
- 2026-11-01: add by m2/v0.6.13
HJJYF8033S HJJYF8033S
| URI | m2://inv/HJJYF8033S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2412.14956#EFRT (statement). In T8BQ6HHZYT/e1, corollary 5.5
History
- 2026-10-27: add by m2/v0.3.5
Federico HJK2H3QCKT
| URI | m2://inv/HJK2H3QCKT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of twin teammates in sports#EJWF, Federico (unknown)
History
- 2026-11-02: add by m2/dev
juggler sequence HJK52DEKPJ
| URI | m2://inv/HJK52DEKPJ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4373890, juggler sequence (unknown). Also MathWorld JugglerSequence
- wikipedia: Wikipedia Juggler sequence, Juggler sequence (conjecture). Also Wikidata Q4373890
History
- 2026-10-26: add by m2/dev
Cue validity HJK5Y8VW8Q
| URI | m2://inv/HJK5Y8VW8Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cue validity, Cue validity (definition). Also Wikidata Q5192578
History
- 2026-11-02: add by m2/dev
Walter Rudin HJKAJNSXAW
| URI | m2://inv/HJKAJNSXAW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#ES3I, Walter Rudin (topic)
History
- 2026-11-02: add by m2/dev
HJKB4E234M HJKB4E234M
| URI | m2://inv/HJKB4E234M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/z/separation.tex#prop:emptyexists (statement). In PKGMM3P5QY, prop, section 76.8
History
- 2026-11-01: add by m2/v0.6.13
ellipsis HJKBE91DBF
| URI | m2://inv/HJKBE91DBF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q32518, ellipsis (unknown). Also ProofWiki Symbols:General/Ellipsis
- wikipedia: Wikipedia Ellipsis, Ellipsis (definition). Also Wikidata Q32518
History
- 2026-10-26: add by m2/dev
HJKHRGTQ6T HJKHRGTQ6T
| URI | m2://inv/HJKHRGTQ6T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25030#PI8E (statement)
History
- 2026-11-01: add by m2/v0.6.15
HJKMEBGDW2 HJKMEBGDW2
| URI | m2://inv/HJKMEBGDW2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25000#0PNZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hunter Snevily HJKYJ59TK9
| URI | m2://inv/HJKYJ59TK9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#265K, Hunter Snevily (topic)
History
- 2026-11-02: add by m2/dev
HJM0FD2EMW HJM0FD2EMW
| URI | m2://inv/HJM0FD2EMW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05715#YW6K (statement). In FC0SB9JFWH/e1, proposition 4.10
History
- 2026-10-27: add by m2/v0.3.5
HJM2CSNYXB HJM2CSNYXB
| URI | m2://inv/HJM2CSNYXB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22090#XKC5 (statement). In NKJWGF050C/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.4.0
HJM3J51E4X HJM3J51E4X
| URI | m2://inv/HJM3J51E4X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/proving-things.tex#ex:chain (example). In PKGMM3P5QY, ex, section 8.12
History
- 2026-11-01: add by m2/v0.6.13
Shifts of \(R\)-complexes HJM785SB24
| URI | m2://inv/HJM785SB24 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#AKX1, Shifts of \(R\)-complexes (definition). In S26QVW5613/e1, definition 0.0.1
History
- 2026-10-30: add by m2/v0.4.12
Paul of Venice HJM91HR7VQ
| URI | m2://inv/HJM91HR7VQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#3F3E, Paul of Venice (topic)
History
- 2026-11-02: add by m2/dev
Applications HJMAVEEJWC
| URI | m2://inv/HJMAVEEJWC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiset#3IKK, Applications (example)
History
- 2026-11-02: add by m2/dev
HJMG4M9SPY HJMG4M9SPY
| URI | m2://inv/HJMG4M9SPY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18562#NBAZ (statement). In 793KXAR957/e1, theorem 2.8
History
- 2026-10-28: add by m2/v0.4.2
HJMHEX5RZQ HJMHEX5RZQ
| URI | m2://inv/HJMHEX5RZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14045#2UNN (statement). In KZ71GXT2B0/e1, lemma 3.15
History
- 2026-10-28: add by m2/v0.4.2
Lippmann--Schwinger representation HJMJMG1P0Z
| URI | m2://inv/HJMJMG1P0Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29565#HPXS, Lippmann--Schwinger representation (statement)
History
- 2026-11-01: add by m2/v0.6.15
HJMJNVSZMF HJMJNVSZMF
| URI | m2://inv/HJMJNVSZMF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35844#908Q (statement). In V33HFE8TZT/e1, fact 2
History
- 2026-10-30: add by m2/v0.4.12
Origin of the Null Hypothesis and the Lady Tasting Tea HJMRW7XNYX
| URI | m2://inv/HJMRW7XNYX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Design of Experiments#RDPV, Origin of the Null Hypothesis and the Lady Tasting Tea (statement)
History
- 2026-11-02: add by m2/dev
Example HJMY4B8DS1
| URI | m2://inv/HJMY4B8DS1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Delannoy number#MRMZ, Example (example)
History
- 2026-11-02: add by m2/dev
Functional inequalities for Lipschitz Gaussian images HJN0YPE6PY
| URI | m2://inv/HJN0YPE6PY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#K42G, Functional inequalities for Lipschitz Gaussian images (statement). In 9YAE8FNQST/e1, lemma 16.13
History
- 2026-10-30: add by m2/v0.4.12
Dandelin spheres HJN2536MP4
| URI | m2://inv/HJN2536MP4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | open |
| Node | Dandelin spheres W3DCQ22JA3 |
Mentions
- mathlib_1000: mathlib_1000 Q676413, Dandelin's theorem (statement). Also Wikidata Q676413
- thousand_plus: thousand_plus Q676413, Dandelin's theorem (statement). Also Wikidata Q676413, Wikipedia Dandelin's theorem
- wikidata: Wikidata Q676413, Dandelin spheres (concept). Also MathWorld DandelinSpheres
- wikipedia: Wikipedia Dandelin spheres, Dandelin spheres (definition). Also Wikidata Q676413
History
- 2026-10-26: add by m2/dev
Dimitris Koukoulopoulos HJN4B51HN3
| URI | m2://inv/HJN4B51HN3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#T2QU, Dimitris Koukoulopoulos (topic)
History
- 2026-11-02: add by m2/dev
Regularity lemma, compactification version HJN5SS4S54
| URI | m2://inv/HJN5SS4S54 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16180#O85T, Regularity lemma, compactification version (statement). In FCFD59D3T6/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Applications HJN5YM1GZS
| URI | m2://inv/HJN5YM1GZS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coarea formula#JFH8, Applications (example)
History
- 2026-11-02: add by m2/dev
Generalization HJN86MGK6R
| URI | m2://inv/HJN86MGK6R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fano's inequality#KQA7, Generalization (statement)
History
- 2026-11-02: add by m2/dev
HJNEDNKRE8 HJNEDNKRE8
| URI | m2://inv/HJNEDNKRE8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18152#VQY5 (statement). In AAVGAGCWTE/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Black-oil equations HJNG5GTT31
| URI | m2://inv/HJNG5GTT31 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Black-oil equations, Black-oil equations (definition). Also Wikidata Q4920126
History
- 2026-11-02: add by m2/dev
Generalizations HJNJNY259A
| URI | m2://inv/HJNJNY259A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Rham curve#95VY, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
HJNQP9STTH HJNQP9STTH
| URI | m2://inv/HJNQP9STTH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19194#5YFN (statement). In P9D8W64P7X/e1, theorem 2.10
History
- 2026-10-28: add by m2/v0.4.2
Jack Copeland HJNVZEN1CM
| URI | m2://inv/HJNVZEN1CM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#0JIT, Jack Copeland (unknown)
History
- 2026-11-02: add by m2/dev
skew star graph HJP1BE6K1R
| URI | m2://inv/HJP1BE6K1R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q137542421, skew star graph (unknown). Also House of Graphs 934
History
- 2026-10-26: add by m2/dev
HJP1CZCCKV HJP1CZCCKV
| URI | m2://inv/HJP1CZCCKV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.07401#BJK2 (statement). In GJD7HKCE56/e1, corollary 4.4
History
- 2026-10-27: add by m2/v0.3.6
HJP228DV8B HJP228DV8B
| URI | m2://inv/HJP228DV8B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15831#Y1PQ (statement). In CVESAPNMCQ/e1, proposition 5.14
History
- 2026-10-28: add by m2/v0.4.2
Shallow function class HJP3ZM553K
| URI | m2://inv/HJP3ZM553K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10875#5DYM, Shallow function class (definition). In N91F15MHW1/e1, definition 7
History
- 2026-10-28: add by m2/v0.4.3
Notation HJP47X9398
| URI | m2://inv/HJP47X9398 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Utilitarian cake-cutting#R06K, Notation (definition)
History
- 2026-11-02: add by m2/dev
HJP6EAZJ8H HJP6EAZJ8H
| URI | m2://inv/HJP6EAZJ8H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38741#TF9I (statement). In 1SQH3PTYMD/e1, theorem 4
History
- 2026-10-30: add by m2/v0.4.12
Leibniz formula HJPJKS0G3P
| URI | m2://inv/HJPJKS0G3P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multi-index notation#8ED6, Leibniz formula (statement)
History
- 2026-11-02: add by m2/dev
The result HJPNFFYZ1Y
| URI | m2://inv/HJPNFFYZ1Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum relative entropy#HYNR, The result (statement)
History
- 2026-11-02: add by m2/dev
Achi Brandt HJPTJBWJWG
| URI | m2://inv/HJPTJBWJWG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Achi Brandt, Achi Brandt (topic). Also Wikidata Q4673656
History
- 2026-11-02: add by m2/dev
Commutative case HJPXQ9KJEM
| URI | m2://inv/HJPXQ9KJEM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01329#DODH, Commutative case (statement). In 7XEVYJKJ5C/e1, corollary 1.2
History
- 2026-10-29: add by m2/v0.4.12
HJQ46FS1TM HJQ46FS1TM
| URI | m2://inv/HJQ46FS1TM |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07546#FLY2 (problem). In H9YE46CGFN/e1, problem 3
History
- 2026-10-29: add by m2/v0.4.10
Toronto space HJQ7QNQV9N
| URI | m2://inv/HJQ7QNQV9N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toronto space, Toronto space (definition). Also Wikidata Q7826673
History
- 2026-11-02: add by m2/dev
Peridynamics HJQKDBMMQR
| URI | m2://inv/HJQKDBMMQR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peridynamics, Peridynamics (definition). Also Wikidata Q4351291
History
- 2026-11-02: add by m2/dev
HJQQ3GG2K5 HJQQ3GG2K5
| URI | m2://inv/HJQQ3GG2K5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14985#DP0Z (statement). In DGXJW3SCBR/e1, theorem 60
History
- 2026-10-28: add by m2/v0.4.2
HJQXBAX202 HJQXBAX202
| URI | m2://inv/HJQXBAX202 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16877#6A3Q (statement). In YY4KFNMPC0/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
HJQXCFZQ3W HJQXCFZQ3W
| URI | m2://inv/HJQXCFZQ3W |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/eta.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 38.13
History
- 2026-11-01: add by m2/v0.6.13
Properties HJQZ9RHNGT
| URI | m2://inv/HJQZ9RHNGT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Initial and terminal objects#W7C3, Properties (statement)
History
- 2026-11-02: add by m2/dev
David Conlon HJR52BNH6Y
| URI | m2://inv/HJR52BNH6Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Conlon, David Conlon (topic). Also Wikidata Q5232508
History
- 2026-11-02: add by m2/dev
HJR6WQE4Y7 HJR6WQE4Y7
| URI | m2://inv/HJR6WQE4Y7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04772#BM0B (statement). In WW08CYN4D4/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
HJRB4SPNSS HJRB4SPNSS
| URI | m2://inv/HJRB4SPNSS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#2N56 (statement). In 1QSCT53ZED/e1, lemma 11.2
History
- 2026-10-27: add by m2/v0.4.0
Local convergence factor HJRGFGPDW9
| URI | m2://inv/HJRGFGPDW9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06653#4OM3, Local convergence factor (statement). In 9D2N76AJAT/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.10
Fontaine–Mazur conjecture HJRKMH1AAD
| URI | m2://inv/HJRKMH1AAD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fontaine–Mazur conjecture, Fontaine–Mazur conjecture (statement). Also Wikidata Q5465120
History
- 2026-11-02: add by m2/dev
Examples HJRRGW87TS
| URI | m2://inv/HJRRGW87TS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivalence relation#N7AW, Examples (example)
History
- 2026-11-02: add by m2/dev
Dana Moshkovitz HJRS4R5TB7
| URI | m2://inv/HJRS4R5TB7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZFPS, Dana Moshkovitz (unknown)
History
- 2026-11-02: add by m2/dev
HJRWZ7MDJX HJRWZ7MDJX
| URI | m2://inv/HJRWZ7MDJX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03555#UNN0 (definition). In 9JZJTRRVR1/e1, definition 2.13
History
- 2026-10-29: add by m2/v0.4.12
Arnold Sommerfeld HJS5E6MRSX
| URI | m2://inv/HJS5E6MRSX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#P75Q, Arnold Sommerfeld (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#PDGU, Arnold Sommerfeld (unknown)
History
- 2026-11-02: add by m2/dev
HJS88RX89K HJS88RX89K
| URI | m2://inv/HJS88RX89K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17589#FYOX (statement). In GSTK4569X1/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.2
HJSBFAGTJ5 HJSBFAGTJ5
| URI | m2://inv/HJSBFAGTJ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23093#39QV (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition HJSWHK7FED
| URI | m2://inv/HJSWHK7FED |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Common graph#CM6Z, Definition (definition)
History
- 2026-11-02: add by m2/dev
\bf Conditional Integrable Functions HJSX2A5M9X
| URI | m2://inv/HJSX2A5M9X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.14445#STA5, \bf Conditional Integrable Functions (definition). In V56MKF0KW2/e1, definition 2.14
History
- 2026-10-27: add by m2/v0.3.5
Weight-$D$ BCH words are an exact RS list HJSYTKRP6Z
| URI | m2://inv/HJSYTKRP6Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15815#NLNT, Weight-$D$ BCH words are an exact RS list (statement). In 9C75CTY5C3/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
HJT0VJEZXQ HJT0VJEZXQ
| URI | m2://inv/HJT0VJEZXQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05820#OIH3 (statement). In S8EGCJQ0JV/e1, theorem 6.2
History
- 2026-10-29: add by m2/v0.4.10
Construction HJT34TY448
| URI | m2://inv/HJT34TY448 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A¹ homotopy theory#VT6B, Construction (definition)
History
- 2026-11-02: add by m2/dev
medial triangle HJT36G0277
| URI | m2://inv/HJT36G0277 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3915720, medial triangle (unknown). Also MathWorld MedialTriangle
- wikipedia: Wikipedia Medial triangle, Medial triangle (definition). Also Wikidata Q3915720
History
- 2026-10-26: add by m2/dev
Definition HJT83BHTSD
| URI | m2://inv/HJT83BHTSD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf algebroid#T0B2, Definition (definition)
History
- 2026-11-02: add by m2/dev
Martin Kassabov HJTGV8RXA5
| URI | m2://inv/HJTGV8RXA5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RJXB, Martin Kassabov (unknown)
History
- 2026-11-02: add by m2/dev
HJTMHW61WX HJTMHW61WX
| URI | m2://inv/HJTMHW61WX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17411#5WBQ (statement). In 73QW05MWQB/e1, theorem SG
History
- 2026-10-28: add by m2/v0.4.2
Just another Gibbs sampler HJTMMKM7A2
| URI | m2://inv/HJTMMKM7A2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Just another Gibbs sampler, Just another Gibbs sampler (definition). Also Wikidata Q6316598
History
- 2026-11-02: add by m2/dev
HJTS5FK7GN HJTS5FK7GN
| URI | m2://inv/HJTS5FK7GN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#cor:IVTopenmap (statement). In E59CDZA4DP, cor, section 11.5
History
- 2026-11-01: add by m2/v0.6.13
HJV14SW1YV HJV14SW1YV
| URI | m2://inv/HJV14SW1YV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1009.2043#QCPK (definition). In 7DCNHRBK5A/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.3.5
Kane quantum computer HJVC47BJQ2
| URI | m2://inv/HJVC47BJQ2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#6A08, Kane quantum computer (unknown)
History
- 2026-11-02: add by m2/dev
Bairstow's method HJVTG2AK1E
| URI | m2://inv/HJVTG2AK1E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Bairstow's method C8S7XX0VZM |
Mentions
- wikidata: Wikidata Q384021, Bairstow's method (unknown). Also MathWorld BairstowsMethod
- wikipedia: Wikipedia Bairstow's method, Bairstow's method (definition). Also Wikidata Q384021
History
- 2026-10-26: add by m2/dev
HJVVE3W2E3 HJVVE3W2E3
| URI | m2://inv/HJVVE3W2E3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35682#5XW3 (statement). In 7XM8WXVBWK/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
Kronecker's lemma HJW1RTCESD
| URI | m2://inv/HJW1RTCESD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kronecker's lemma, Kronecker's lemma (statement). Also Wikidata Q911141
History
- 2026-11-02: add by m2/dev
Population-SOE consistency HJW3D1P37P
| URI | m2://inv/HJW3D1P37P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31470#IAJH, Population-SOE consistency (statement). In 4RS2WKVB7F/e1, theorem 3.5
History
- 2026-10-31: add by m2/v0.5.6
HJW7VYT18G HJW7VYT18G
| URI | m2://inv/HJW7VYT18G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9201244#VJE7 (statement). In 7D3HCN21MK/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
Barry Smith HJWCSHA8PS
| URI | m2://inv/HJWCSHA8PS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barry Smith (ontologist), Barry Smith (topic). Also Wikidata Q809101
History
- 2026-11-02: add by m2/dev
Arnold's cat map HJWGCPBKM2
| URI | m2://inv/HJWGCPBKM2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Arnold's cat map BSCZN8Y1AN |
Mentions
- wikidata: Wikidata Q2961488, Arnold's cat map (unknown). Also MathWorld ArnoldsCatMap
- wikipedia: Wikipedia Arnold's cat map, Arnold's cat map (definition). Also Wikidata Q2961488
History
- 2026-10-26: add by m2/dev
Definition HJWV59ZF2J
| URI | m2://inv/HJWV59ZF2J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planar algebra#J7WR, Definition (definition)
History
- 2026-11-02: add by m2/dev
HJWWR9ND9J HJWWR9ND9J
| URI | m2://inv/HJWWR9ND9J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40138#1T52 (statement). In R60HR493TS/e1, proposition 3.9
History
- 2026-10-30: add by m2/v0.4.12
HJX4GGBHTZ HJX4GGBHTZ
| URI | m2://inv/HJX4GGBHTZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24901#EYIL (statement)
History
- 2026-11-01: add by m2/v0.6.15
The years from 1938 to 1945: the "Italian Racial Laws" and World War II HJXFBCYDWW
| URI | m2://inv/HJXFBCYDWW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emanuele Foà#R1OW, The years from 1938 to 1945: the "Italian Racial Laws" and World War II (statement)
History
- 2026-11-02: add by m2/dev
Fixed-cardinality gravity approximation HJXJRP2NRD
| URI | m2://inv/HJXJRP2NRD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10408#LL4Z, Fixed-cardinality gravity approximation (statement). In H976NYKBNT/e1, proposition 19
History
- 2026-10-29: add by m2/v0.4.10
Symmetry HJY0VRJNDB
| URI | m2://inv/HJY0VRJNDB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A4 polytope#JPE1, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Minimal admissible semantic representation HJYENBSQGZ
| URI | m2://inv/HJYENBSQGZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20207#FIUX, Minimal admissible semantic representation (statement)
History
- 2026-11-02: add by m2/v0.6.18
HJYF4YW20Y HJYF4YW20Y
| URI | m2://inv/HJYF4YW20Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01737#WGEG (statement). In M4JGP708F4/e1, fact 3.24
History
- 2026-10-29: add by m2/v0.4.12
HJYPXPDDQH HJYPXPDDQH
| URI | m2://inv/HJYPXPDDQH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39790#DZ27 (statement). In C2C9GTQFYF/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Nathan Mantel HJYT2550NP
| URI | m2://inv/HJYT2550NP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nathan Mantel, Nathan Mantel (topic). Also Wikidata Q370076
History
- 2026-11-02: add by m2/dev
Asymptotic flocking in the moving frame HJYTGVEBXP
| URI | m2://inv/HJYTGVEBXP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21828#1NCN, Asymptotic flocking in the moving frame (statement). In B5M7S1FGS0/e1, corollary 2.1
History
- 2026-10-27: add by m2/v0.4.2
Parallel parking problem HJYWTWSKS8
| URI | m2://inv/HJYWTWSKS8 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parallel parking problem, Parallel parking problem (problem). Also Wikidata Q7135008
History
- 2026-11-02: add by m2/dev
Properties HJZ428J2JG
| URI | m2://inv/HJZ428J2JG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct sum of groups#66WM, Properties (statement)
History
- 2026-11-02: add by m2/dev
successor HJZ69Q5WKG
| URI | m2://inv/HJZ69Q5WKG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/B.7/successor, successor (concept). In QKM9DD2H56, index, section B.7
History
- 2026-11-01: add by m2/v0.6.13
Zeroth law of thermodynamics HJZ6JQ3C96
| URI | m2://inv/HJZ6JQ3C96 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zeroth law of thermodynamics, Zeroth law of thermodynamics (statement). Also Wikidata Q190983
History
- 2026-11-02: add by m2/dev
HJZDPW0CTN HJZDPW0CTN
| URI | m2://inv/HJZDPW0CTN |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1408.1555#AF9S (proof). In S1F2QW24YW/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
HJZGQ9MW5N HJZGQ9MW5N
| URI | m2://inv/HJZGQ9MW5N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19449#WVB1 (statement). In 8ZKPJ3CBDF/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
Algorithms HJZK69N7GH
| URI | m2://inv/HJZK69N7GH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical linguistics#GKOJ, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
HJZMF272BJ HJZMF272BJ
| URI | m2://inv/HJZMF272BJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28411#ELKE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Accumulator HJZNXNH8ZX
| URI | m2://inv/HJZNXNH8ZX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Accumulator (cryptography), Accumulator (definition). Also Wikidata Q14906620
History
- 2026-11-02: add by m2/dev
HJZPQ9QKD2 HJZPQ9QKD2
| URI | m2://inv/HJZPQ9QKD2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20299#UFLT (statement). In P7T0W5D3W3/e1, theorem
History
- 2026-10-27: add by m2/v0.4.2
HJZSRWN92E HJZSRWN92E
| URI | m2://inv/HJZSRWN92E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.06308#JLLG (statement). In F8BXF46972/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
HJZV8C0RC5 HJZV8C0RC5
| URI | m2://inv/HJZV8C0RC5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01818#0KOR (statement). In DA31J9XJ4J/e1, theorem 6.1
History
- 2026-10-29: add by m2/v0.4.12
HJZW9TQK6P HJZW9TQK6P
| URI | m2://inv/HJZW9TQK6P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25897#QILY (definition)
History
- 2026-11-01: add by m2/v0.6.15
HJZYWVE9MC HJZYWVE9MC
| URI | m2://inv/HJZYWVE9MC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#YEYA (definition). In WD2NCBV9F0/e1, definition 14.5
History
- 2026-10-27: add by m2/v0.3.5