Inventory rows T4
The cards of the rows of the inventory whose ids start with T4. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
T404JKSE18 T404JKSE18
| URI | m2://inv/T404JKSE18 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 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 2609.20049#DQ0S (statement)
History
- 2026-11-02: add by m2/v0.6.18
T40ENXJA2Y T40ENXJA2Y
| URI | m2://inv/T40ENXJA2Y |
|---|---|
| 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.17817#0JYG (statement). In M8TSJ24RC2/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
T40N018FFM T40N018FFM
| URI | m2://inv/T40N018FFM |
|---|---|
| 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.12736#ZSAQ (statement). In 5350Q52F6P/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
Pi is Transcendental T40SAWXDFR
| URI | m2://inv/T40SAWXDFR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 53, Pi is Transcendental (statement)
History
- 2026-10-26: add by m2/dev
metatheory T4122A4FPH
| URI | m2://inv/T4122A4FPH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#UO0Y, metatheory (definition)
History
- 2026-11-02: add by m2/dev
T412FPR66C T412FPR66C
| URI | m2://inv/T412FPR66C |
|---|---|
| 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.16768#8HVR (statement). In 8FWK676AQX/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
T413T5N2B5 T413T5N2B5
| URI | m2://inv/T413T5N2B5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX, 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.11545#4RWU (definition). In VN084GGZGK/e1, definition 2.20
History
- 2026-10-28: add by m2/v0.4.3
T4155EFA9E T4155EFA9E
| URI | m2://inv/T4155EFA9E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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.05018#EJ9N (statement). In QFZSPBES9B/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.12
T415EFDY0X T415EFDY0X
| URI | m2://inv/T415EFDY0X |
|---|---|
| Kind | definition |
| 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 2609.21914#0W3F (definition)
History
- 2026-11-02: add by m2/v0.6.17
T41EG9K8W5 T41EG9K8W5
| URI | m2://inv/T41EG9K8W5 |
|---|---|
| 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.29943#ERM9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
T41F16SMH4 T41F16SMH4
| URI | m2://inv/T41F16SMH4 |
|---|---|
| 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.25435#4KPD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lak Ha T41GDZFRTH
| URI | m2://inv/T41GDZFRTH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#RN2S, Lak Ha (unknown)
History
- 2026-11-02: add by m2/dev
Definition T41NM1GN0G
| URI | m2://inv/T41NM1GN0G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feedback vertex set#H8M3, Definition (definition)
History
- 2026-11-02: add by m2/dev
Student's t-test T41PDGPQMR
| URI | m2://inv/T41PDGPQMR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Student's t-test, Student's t-test (definition). Also Wikidata Q309479
History
- 2026-11-02: add by m2/dev
T41QVX1W6G T41QVX1W6G
| URI | m2://inv/T41QVX1W6G |
|---|---|
| Kind | definition |
| 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.06810#WPJP (definition). In 1NY2SA03XF/e1, definition
History
- 2026-10-29: add by m2/v0.4.10
Minkowski inequality for integrals T41VE77D36
| URI | m2://inv/T41VE77D36 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q117373676, Minkowski inequality for integrals (statement). Also ProofWiki Minkowski's_Inequality_for_Integrals
History
- 2026-10-26: add by m2/dev
The homotopy hypothesis T41VXHW93P
| URI | m2://inv/T41VXHW93P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental groupoid#BDDK, The homotopy hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Algebraic multi-level illustration T41YM1K34B
| URI | m2://inv/T41YM1K34B |
|---|---|
| Kind | example |
| 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.00077#MVOY, Algebraic multi-level illustration (example). In C04B15GH1T/e1, example 4.14
History
- 2026-10-30: add by m2/v0.4.12
Mesh invariance of evolutionary entropy T4237EAKD3
| URI | m2://inv/T4237EAKD3 |
|---|---|
| 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.15466#W71I, Mesh invariance of evolutionary entropy (statement). In KJ7V6XG4M7/e1, theorem 5
History
- 2026-10-28: add by m2/v0.4.2
T427Z3YW01 T427Z3YW01
| URI | m2://inv/T427Z3YW01 |
|---|---|
| Kind | statement |
| 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 2609.36089#NENX (statement). In AK4F10SNC0/e1, proposition 3.6
History
- 2026-10-30: add by m2/v0.4.12
T42JMQEKAE T42JMQEKAE
| URI | m2://inv/T42JMQEKAE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.00134#FKYN (statement). In S654779J5P/e1, lemma 7.3
History
- 2026-10-30: add by m2/v0.4.12
Shirshov–Cohn theorem T42KHXTMXC
| URI | m2://inv/T42KHXTMXC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#3OQI, Shirshov–Cohn theorem (definition)
History
- 2026-11-02: add by m2/dev
Ruth Kellerhals T42NPBBAJH
| URI | m2://inv/T42NPBBAJH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruth Kellerhals, Ruth Kellerhals (topic). Also Wikidata Q6489208
History
- 2026-11-02: add by m2/dev
$S$--$T$ linkage T42PN29062
| URI | m2://inv/T42PN29062 |
|---|---|
| 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.06724#10YD, $S$--$T$ linkage (definition). In W5XG3PGVF1/e1, definition C.9
History
- 2026-10-29: add by m2/v0.4.10
Affine upper bound T430SFJNKY
| URI | m2://inv/T430SFJNKY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-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 2610.00295#ZROS, Affine upper bound (statement). In 7HXP270BD0/e1, theorem 5.3
History
- 2026-10-30: add by m2/v0.4.12
T432S10C4Q T432S10C4Q
| URI | m2://inv/T432S10C4Q |
|---|---|
| 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.26386#NEVW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fenchel's theorem T433BAC1CD
| URI | m2://inv/T433BAC1CD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#P3FR, Fenchel's theorem (statement)
History
- 2026-11-02: add by m2/dev
T43669ZG0Q T43669ZG0Q
| URI | m2://inv/T43669ZG0Q |
|---|---|
| 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.08288#LMOX (statement). In CHVWYJM7RM/e1, lemma D.5
History
- 2026-10-29: add by m2/v0.4.10
T436JBYB3X T436JBYB3X
| URI | m2://inv/T436JBYB3X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.14050#GVJB (statement). In RENT22YXW3/e1, corollary 7.5
History
- 2026-10-28: add by m2/v0.4.2
T43BTE6FR7 T43BTE6FR7
| URI | m2://inv/T43BTE6FR7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.20675#1M3F (statement)
History
- 2026-11-02: add by m2/v0.6.18
T43EPD3JY4 T43EPD3JY4
| URI | m2://inv/T43EPD3JY4 |
|---|---|
| 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.12857#XYD7 (statement). In XJWQ6Y83F8/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Fine T43EW8QS50
| URI | m2://inv/T43EW8QS50 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2501.18744#6HDI, Fine (statement). In YRWZ02BGEF/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
T43GSBAVMV T43GSBAVMV
| URI | m2://inv/T43GSBAVMV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-examples.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 26.19
History
- 2026-11-01: add by m2/v0.6.13
T43JVZ3HSF T43JVZ3HSF
| URI | m2://inv/T43JVZ3HSF |
|---|---|
| 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.10968#156R (statement). In KJRV9ZW833/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.3
Lawrence Sirovich T43VJRD162
| URI | m2://inv/T43VJRD162 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lawrence Sirovich, Lawrence Sirovich (topic). Also Wikidata Q80163568
History
- 2026-11-02: add by m2/dev
Decagon T442JKYP58
| URI | m2://inv/T442JKYP58 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#D9KV, Decagon (definition)
- wikipedia: Wikipedia List of mathematical shapes#SIB7, Decagon (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#RZTL, Decagon (definition)
History
- 2026-11-02: add by m2/dev
Definitions T443ES0EFV
| URI | m2://inv/T443ES0EFV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burst error-correcting code#9TE5, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Weyl's criterion T446PXBPY6
| URI | m2://inv/T446PXBPY6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7990325, Weyl's criterion (concept). Also MathWorld WeylsCriterion
History
- 2026-10-26: add by m2/dev
Definition T4489PSZE1
| URI | m2://inv/T4489PSZE1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graded category#YRRA, Definition (definition)
History
- 2026-11-02: add by m2/dev
Rózsa Péter T448ENE7VC
| URI | m2://inv/T448ENE7VC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#AVFB, Rózsa Péter (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#36Z4, Rózsa Péter (topic)
History
- 2026-11-02: add by m2/dev
The coordinate $T$ T44A78CQ1E
| URI | m2://inv/T44A78CQ1E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.10821#U4EV, The coordinate $T$ (statement). In RWNP4FEE65/e1, lemma 3.15
History
- 2026-10-28: add by m2/v0.4.3
T44B4WNKKB T44B4WNKKB
| URI | m2://inv/T44B4WNKKB |
|---|---|
| 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.06461#HL1L (statement). In QXY3W2JV2N/e1, proposition 3.7
History
- 2026-10-29: add by m2/v0.4.10
Bounds under conditional distribution shift T44GE1PWM0
| URI | m2://inv/T44GE1PWM0 |
|---|---|
| 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.25388#JVQP, Bounds under conditional distribution shift (statement)
History
- 2026-11-01: add by m2/v0.6.15
T44H0NSV27 T44H0NSV27
| URI | m2://inv/T44H0NSV27 |
|---|---|
| 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.20421#UTQ0 (definition). In Q4R7J8JE3F/e1, definition 2.9
History
- 2026-10-27: add by m2/v0.4.2
Chebyshev radius and average squared radius of a list T44HEJG9S3
| URI | m2://inv/T44HEJG9S3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-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 2211.04407#KLUW, Chebyshev radius and average squared radius of a list (definition). In XCZS191H6Q/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.6
exceptional T44PA3WN3Y
| URI | m2://inv/T44PA3WN3Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#BNPJ, exceptional (definition)
History
- 2026-11-02: add by m2/dev
T44XXSEJRF T44XXSEJRF
| URI | m2://inv/T44XXSEJRF |
|---|---|
| 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 2103.12669#V4QZ (statement). In ZA6XNBA90V/e1, lemma 7.3
History
- 2026-10-27: add by m2/v0.3.5
Gromov binomial model T4516NAA3Q
| URI | m2://inv/T4516NAA3Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-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.21255#ZVKQ, Gromov binomial model (definition)
History
- 2026-11-02: add by m2/v0.6.18
Construction T458KYKSXN
| URI | m2://inv/T458KYKSXN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Petersson algebra#70XK, Construction (definition)
History
- 2026-11-02: add by m2/dev
CW complex T45DXSQWVT
| URI | m2://inv/T45DXSQWVT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.7.2/cw-complex, CW complex (concept). In N54F33XE07, index, section 7.7.2
History
- 2026-11-01: add by m2/v0.6.13
Applications T45EPSCEKW
| URI | m2://inv/T45EPSCEKW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parabolic cylindrical coordinates#SWTV, Applications (example)
History
- 2026-11-02: add by m2/dev
T45NDV3W2D T45NDV3W2D
| URI | m2://inv/T45NDV3W2D |
|---|---|
| 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.19358#JJJN (statement). In N3QZZ7BD0V/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
homotopy, topological T45RXKV8ZS
| URI | m2://inv/T45RXKV8ZS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1/homotopy-topological, homotopy, topological (concept). In N54F33XE07, index, section 1
History
- 2026-11-01: add by m2/v0.6.13
T45SJXXZH5 T45SJXXZH5
| URI | m2://inv/T45SJXXZH5 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 30-XX, 32-XX, 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.15169#49LC (conjecture). In V7SN19J84T/e1, conjecture 1.6
History
- 2026-10-28: add by m2/v0.4.2
T45VQ7K70Y T45VQ7K70Y
| URI | m2://inv/T45VQ7K70Y |
|---|---|
| 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.00584#YOU1 (statement). In 3CRSR95BNA/e1, theorem 4.8
History
- 2026-10-30: add by m2/v0.4.12
T45XGPZ7SG T45XGPZ7SG
| URI | m2://inv/T45XGPZ7SG |
|---|---|
| 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.09390#TKGJ (statement). In 7SSKW778T8/e1, corollary 6.8
History
- 2026-10-29: add by m2/v0.4.10
P-adic exponential function T466XCMA1S
| URI | m2://inv/T466XCMA1S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-adic exponential function, P-adic exponential function (definition). Also Wikidata Q7116916
History
- 2026-11-02: add by m2/dev
Example T467TFVFWH
| URI | m2://inv/T467TFVFWH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational ignorance#EVDN, Example (example)
History
- 2026-11-02: add by m2/dev
One Tree Point, New Zealand T469S5M908
| URI | m2://inv/T469S5M908 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#OX6Z, One Tree Point, New Zealand (unknown)
History
- 2026-11-02: add by m2/dev
T46BTZ5R8A T46BTZ5R8A
| URI | m2://inv/T46BTZ5R8A |
|---|---|
| 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 2610.20466#2K2W (statement). In M4ZVJWM8YA/e1, lemma 5.17
History
- 2026-10-27: add by m2/v0.4.2
Pentagrammic crossed antiprismatic prism T46EGACP0M
| URI | m2://inv/T46EGACP0M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#DJYO, Pentagrammic crossed antiprismatic prism (unknown)
History
- 2026-11-02: add by m2/dev
T46GP375RQ T46GP375RQ
| URI | m2://inv/T46GP375RQ |
|---|---|
| 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#6CUH (statement). In P7T0W5D3W3/e1, theorem
History
- 2026-10-27: add by m2/v0.4.2
T46M397ERB T46M397ERB
| URI | m2://inv/T46M397ERB |
|---|---|
| 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.17267#GRBX (statement). In 5VWB4A47R5/e1, corollary 6.4
History
- 2026-10-28: add by m2/v0.4.2
Sequential importance resampling T46ST4KT5Y
| URI | m2://inv/T46ST4KT5Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Particle filter#ESIY, Sequential importance resampling (unknown)
History
- 2026-11-02: add by m2/dev
Global vs Local T46TY2MEH8
| URI | m2://inv/T46TY2MEH8 |
|---|---|
| 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.24465#TWZ9, Global vs Local (statement)
History
- 2026-11-01: add by m2/v0.6.15
T46W1NC57X T46W1NC57X
| URI | m2://inv/T46W1NC57X |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-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 2609.22708#K1KS (example)
History
- 2026-11-02: add by m2/v0.6.17
T46WY1NAGB T46WY1NAGB
| URI | m2://inv/T46WY1NAGB |
|---|---|
| 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#FBDH (definition). In N91F15MHW1/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.3
T46YP4C99S T46YP4C99S
| URI | m2://inv/T46YP4C99S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.30444#1WH8 (statement). In RZWJ0AT8W5/e1, lemma 6.10
History
- 2026-10-31: add by m2/v0.5.6
Attitude quaternion T473E7CKPV
| URI | m2://inv/T473E7CKPV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orientation (geometry)#IBXM, Attitude quaternion (unknown)
History
- 2026-11-02: add by m2/dev
T476R024GS T476R024GS
| URI | m2://inv/T476R024GS |
|---|---|
| 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.36717#NS8S (statement). In 69FBWG9P3B/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Domenico Montesano T47FVDJDGK
| URI | m2://inv/T47FVDJDGK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Domenico Montesano, Domenico Montesano (topic). Also Wikidata Q3713150
History
- 2026-11-02: add by m2/dev
T47GK2X3TD T47GK2X3TD
| URI | m2://inv/T47GK2X3TD |
|---|---|
| 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 2209.00108#0O5L (statement). In V2G422ZMPW/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
Estevez–Mansfield–Clarkson equation T47HJPJNXR
| URI | m2://inv/T47HJPJNXR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Estevez–Mansfield–Clarkson equation, Estevez–Mansfield–Clarkson equation (definition). Also Wikidata Q15838964
History
- 2026-11-02: add by m2/dev
Bounds T47J6QT0DN
| URI | m2://inv/T47J6QT0DN |
|---|---|
| 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.12713#KAFO, Bounds (statement). In F14A5HX20Q/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
T47PHP3CHN T47PHP3CHN
| URI | m2://inv/T47PHP3CHN |
|---|---|
| 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.18673#63KP (statement). In 7ZFD9XRKA1/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
Generalizations T47QY1FR62
| URI | m2://inv/T47QY1FR62 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf fibration#5QYH, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
T47ZHD12MX T47ZHD12MX
| URI | m2://inv/T47ZHD12MX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 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.19791#5YP7 (statement). In AVDB4KJ6XB/e1, lemma 4.11
History
- 2026-10-28: add by m2/v0.4.2
F-score T482CHAD27
| URI | m2://inv/T482CHAD27 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia F-score, F-score (definition). Also Wikidata Q6975395
History
- 2026-11-02: add by m2/dev
Seizure T482P57F8P
| URI | m2://inv/T482P57F8P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#01HV, Seizure (unknown)
History
- 2026-11-02: add by m2/dev
T484K2S5Q3 T484K2S5Q3
| URI | m2://inv/T484K2S5Q3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 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 2609.21668#P1J9 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Walras's law T486PVEGKP
| URI | m2://inv/T486PVEGKP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Léon Walras#ZRWW, Walras's law (statement)
History
- 2026-11-02: add by m2/dev
239 T488B6843S
| URI | m2://inv/T488B6843S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q845630, 239 (unknown). Also MathWorld 239
History
- 2026-10-26: add by m2/dev
Theodore von Kármán Prize T48D2THGKJ
| URI | m2://inv/T48D2THGKJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theodore von Kármán Prize, Theodore von Kármán Prize (definition). Also Wikidata Q2418765
History
- 2026-11-02: add by m2/dev
Construction T48KA2RERY
| URI | m2://inv/T48KA2RERY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ailles rectangle#WU5V, Construction (definition)
History
- 2026-11-02: add by m2/dev
Basilides of Tyre T48Q9RKJFZ
| URI | m2://inv/T48Q9RKJFZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basilides of Tyre, Basilides of Tyre (definition). Also Wikidata Q48998121
History
- 2026-11-02: add by m2/dev
Local constant Fr\'echet regression T48XNYQWF8
| URI | m2://inv/T48XNYQWF8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 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.00501#NESB, Local constant Fr\'echet regression (statement). In FTPW1SZ8D3/e1, corollary 3.4
History
- 2026-10-30: add by m2/v0.4.12
Asymptotic expansion T491TCSC92
| URI | m2://inv/T491TCSC92 |
|---|---|
| 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.00770#ZLK5, Asymptotic expansion (statement). In AYGRJSRG1M/e1, proposition
History
- 2026-10-29: add by m2/v0.4.12
Paul Glaister T4924C22JM
| URI | m2://inv/T4924C22JM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#3OAY, Paul Glaister (unknown)
History
- 2026-11-02: add by m2/dev
T496W9SEZD T496W9SEZD
| URI | m2://inv/T496W9SEZD |
|---|---|
| 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 2609.36811#O4IW (statement). In ZQDX8E43SQ/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
T497AMP36A T497AMP36A
| URI | m2://inv/T497AMP36A |
|---|---|
| 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 2511.05069#7N32 (statement). In SFQBJBTW8K/e1, lemma 11.3
History
- 2026-10-27: add by m2/v0.3.5
T49FJ9Q55T T49FJ9Q55T
| URI | m2://inv/T49FJ9Q55T |
|---|---|
| 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.20135#OYTN (statement). In ZQQEN3J866/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.4.2
Assouad's embedding theorem T49JPVT5KT
| URI | m2://inv/T49JPVT5KT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doubling space#2ANY, Assouad's embedding theorem (statement)
History
- 2026-11-02: add by m2/dev
Mean absolute percentage error T49WR119MK
| URI | m2://inv/T49WR119MK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#NIGX, Mean absolute percentage error (definition)
History
- 2026-11-02: add by m2/dev
Fomin et al. T4A0KWTTNP
| URI | m2://inv/T4A0KWTTNP |
|---|---|
| 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.01441#JBYV, Fomin et al. (statement). In V678XY1P9A/e1, theorem 9
History
- 2026-10-29: add by m2/v0.4.12
Definition T4A77CBQPR
| URI | m2://inv/T4A77CBQPR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological derivative#1XF5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Global optimality T4A9ZX8ZHW
| URI | m2://inv/T4A9ZX8ZHW |
|---|---|
| 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.33697#SF5O, Global optimality (statement). In Q6GGQ29TRC/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
T4AHMGCQ98 T4AHMGCQ98
| URI | m2://inv/T4AHMGCQ98 |
|---|---|
| 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#9BXQ (statement). In CY1FE8W1ZW/e1, lemma 0.82
History
- 2026-10-27: add by m2/v0.4.0
Jason Behrstock T4AKD28QE1
| URI | m2://inv/T4AKD28QE1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WMCE, Jason Behrstock (topic)
History
- 2026-11-02: add by m2/dev
T4B4JEGNH1 T4B4JEGNH1
| URI | m2://inv/T4B4JEGNH1 |
|---|---|
| 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.07897#NHNR (statement). In 1MWYGMR6TJ/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Floquet band structure T4B9MA3KGV
| URI | m2://inv/T4B9MA3KGV |
|---|---|
| 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 2610.19416#DBNC, Floquet band structure (statement). In TJVWQ0ZSGY/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
T4BA4AZDAN T4BA4AZDAN
| URI | m2://inv/T4BA4AZDAN |
|---|---|
| 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 2610.12352#ZHZR (statement). In EXASSFT73P/e1, corollary 1.3
History
- 2026-10-28: add by m2/v0.4.2
Egorychev method T4BB10YA6H
| URI | m2://inv/T4BB10YA6H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#FIZY, Egorychev method (definition)
History
- 2026-11-02: add by m2/dev
T4BB69MSYJ T4BB69MSYJ
| URI | m2://inv/T4BB69MSYJ |
|---|---|
| Kind | definition |
| 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 0906.4245#G2O7 (definition). In GPVBE4SEVF/e1, definition 1.2
History
- 2026-10-27: add by m2/v0.3.5
dodecahedron T4BCW0K3W9
| URI | m2://inv/T4BCW0K3W9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.3.2/dodecahedron, dodecahedron (concept). In Y91XFCEVHQ, index, section 5.3.2
History
- 2026-11-01: add by m2/v0.6.13
8-simplex T4BCZ151FW
| URI | m2://inv/T4BCZ151FW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#SECW, 8-simplex (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#MHC3, 8-simplex (definition)
History
- 2026-11-02: add by m2/dev
Natural boundary T4BGBBA9MT
| URI | m2://inv/T4BGBBA9MT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytic continuation#70TD, Natural boundary (unknown)
History
- 2026-11-02: add by m2/dev
Composition of Substitution Application T4BMNRSGYT
| URI | m2://inv/T4BMNRSGYT |
|---|---|
| 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 2610.21131#2EKO, Composition of Substitution Application (statement). In CPYWHRTPKC/e1, lemma 2.22
History
- 2026-10-27: add by m2/v0.4.2
Loop integral T4BPW7CTM0
| URI | m2://inv/T4BPW7CTM0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loop integral, Loop integral (definition). Also Wikidata Q6675834
History
- 2026-11-02: add by m2/dev
T4BXK7DXWP T4BXK7DXWP
| URI | m2://inv/T4BXK7DXWP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 55-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.21365#HP9U (definition). In FCMMB2EVAP/e1, definition 2.13
History
- 2026-10-27: add by m2/v0.4.2
T4BYZFWXZG T4BYZFWXZG
| URI | m2://inv/T4BYZFWXZG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-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.26269#S38K (statement)
History
- 2026-11-01: add by m2/v0.6.15
T4CBAH85H7 T4CBAH85H7
| URI | m2://inv/T4CBAH85H7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-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.25761#ZVS5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Joseph Rudnick T4CCBZNHXQ
| URI | m2://inv/T4CCBZNHXQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#VMWK, Joseph Rudnick (unknown)
History
- 2026-11-02: add by m2/dev
T4CEK3DA75 T4CEK3DA75
| URI | m2://inv/T4CEK3DA75 |
|---|---|
| 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#LUU6 (statement). In 5E9G06XJKC/e1, lemma D.11
History
- 2026-10-28: add by m2/v0.4.2
Theorem T4CHQMZN9N
| URI | m2://inv/T4CHQMZN9N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skoda–El Mir theorem#4334, Theorem (statement)
History
- 2026-11-02: add by m2/dev
T4CVX5D4KF T4CVX5D4KF
| URI | m2://inv/T4CVX5D4KF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/sheaves.tex#definition-3 (definition). In RZP28ERRZV, definition, section 25.2.2
History
- 2026-11-01: add by m2/v0.6.13
T4CXH3MSM1 T4CXH3MSM1
| URI | m2://inv/T4CXH3MSM1 |
|---|---|
| Kind | definition |
| 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.30098#3K03 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Buridan's sophismata T4CZW8D457
| URI | m2://inv/T4CZW8D457 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#HBM4, Buridan's sophismata (definition)
History
- 2026-11-02: add by m2/dev
12th arrondissement T4D1T57WG7
| URI | m2://inv/T4D1T57WG7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Niels Henrik Abel#Z74A, 12th arrondissement (unknown)
History
- 2026-11-02: add by m2/dev
wedge T4DEX3VGW1
| URI | m2://inv/T4DEX3VGW1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#A616, wedge (definition)
History
- 2026-11-02: add by m2/dev
T4DJA0JJCR T4DJA0JJCR
| URI | m2://inv/T4DJA0JJCR |
|---|---|
| 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.00337#Z304 (statement). In 5STQ3ABZ60/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
F-vector T4DP1JNWYZ
| URI | m2://inv/T4DP1JNWYZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyhedral combinatorics#OX3A, F-vector (unknown)
History
- 2026-11-02: add by m2/dev
T4DT2KT3WB T4DT2KT3WB
| URI | m2://inv/T4DT2KT3WB |
|---|---|
| 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 2609.24082#WGST (statement)
History
- 2026-11-02: add by m2/v0.6.17
Particle in a spherically symmetric potential T4DYEP3748
| URI | m2://inv/T4DYEP3748 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#FYSU, Particle in a spherically symmetric potential (unknown)
History
- 2026-11-02: add by m2/dev
Twist T4E080W83M
| URI | m2://inv/T4E080W83M |
|---|---|
| Kind | definition |
| 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.13892#CJ5G, Twist (definition). In HV9KKEBBDD/e1, definition IV.2
History
- 2026-10-28: add by m2/v0.4.2
Continuous curve T4E1P07CPP
| URI | m2://inv/T4E1P07CPP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curve#HVP1, Continuous curve (unknown)
History
- 2026-11-02: add by m2/dev
T4E32GA9PA T4E32GA9PA
| URI | m2://inv/T4E32GA9PA |
|---|---|
| Kind | definition |
| 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.28203#TQU5 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Wells graph T4E404TEQH
| URI | m2://inv/T4E404TEQH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115544, Wells graph (unknown). Also House of Graphs 1429, MathWorld WellsGraph
History
- 2026-10-26: add by m2/dev
Boy's surface T4E7F3BPCZ
| URI | m2://inv/T4E7F3BPCZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#WG2T, Boy's surface (definition)
History
- 2026-11-02: add by m2/dev
T4E92RK2T8 T4E92RK2T8
| URI | m2://inv/T4E92RK2T8 |
|---|---|
| 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.20316#IISI (definition). In YRJS76169Z/e1, definition 3.5
History
- 2026-10-27: add by m2/v0.4.2
T4E9TANADM T4E9TANADM
| URI | m2://inv/T4E9TANADM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 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 2605.10911#J07H (statement). In Y23VR7N90M/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
Valknut T4EE0QEBV8
| URI | m2://inv/T4EE0QEBV8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#EZ8A, Valknut (unknown)
History
- 2026-11-02: add by m2/dev
Paul Lorenzen T4ES1564KM
| URI | m2://inv/T4ES1564KM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#8B0X, Paul Lorenzen (topic)
History
- 2026-11-02: add by m2/dev
Kummer T4ESHY3R3D
| URI | m2://inv/T4ESHY3R3D |
|---|---|
| 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 2609.37754#DZRO, Kummer (statement). In 3HPFAQKBEM/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
Mutation T4EX240XPW
| URI | m2://inv/T4EX240XPW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX, 16-XX, 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.17441#UARG, Mutation (definition). In 9Q8S0NWHP2/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
tautology T4EYDBS4M8
| URI | m2://inv/T4EYDBS4M8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#TKDT, tautology (definition)
History
- 2026-11-02: add by m2/dev
T4F0NFA4CZ T4F0NFA4CZ
| URI | m2://inv/T4F0NFA4CZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 16-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.14060#IHMG (definition). In X47RYAZF8P/e1, definition 6.13
History
- 2026-10-28: add by m2/v0.4.2
T4F2QPSBF6 T4F2QPSBF6
| URI | m2://inv/T4F2QPSBF6 |
|---|---|
| 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.12705#Q2IV (statement). In P9ZEYB9AMG/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
Division lattice T4F3NZ6WJF
| URI | m2://inv/T4F3NZ6WJF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Division lattice, Division lattice (definition). Also Wikidata Q104858452
History
- 2026-11-02: add by m2/dev
WAKE T4F3VBGK72
| URI | m2://inv/T4F3VBGK72 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia WAKE (cipher), WAKE (definition). Also Wikidata Q4052821
History
- 2026-11-02: add by m2/dev
Special cases T4FAAXK2CD
| URI | m2://inv/T4FAAXK2CD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moore–Penrose inverse#L5E3, Special cases (statement)
History
- 2026-11-02: add by m2/dev
convergence analysis T4FAVGQ0G8
| URI | m2://inv/T4FAVGQ0G8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Iterative methods > convergence analysis, convergence analysis (unknown)
History
- 2026-10-26: add by m2/dev
uniformly continuous function T4FG4FN954
| URI | m2://inv/T4FG4FN954 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > Uniform notions > uniformly continuous function, uniformly continuous function (unknown). Also Mathlib Metric.uniformContinuous_iff
- mathlib_undergrad: mathlib_undergrad Topology > Topology and Metric Spaces > uniformly continuous functions, uniformly continuous functions (unknown). Also Mathlib Metric.uniformContinuous_iff
History
- 2026-10-26: add by m2/dev
T4FN2KAYFD T4FN2KAYFD
| URI | m2://inv/T4FN2KAYFD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 30-XX, 32-XX, 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 2609.26808#KMLF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Permutoassociahedron T4FRNFJ4XK
| URI | m2://inv/T4FRNFJ4XK |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permutoassociahedron, Permutoassociahedron (object). Also Wikidata Q110654893
History
- 2026-11-02: add by m2/dev
Examples T4FW4NV9M7
| URI | m2://inv/T4FW4NV9M7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix grammar#X0PB, Examples (example)
History
- 2026-11-02: add by m2/dev
T4G01E7HKG T4G01E7HKG
| URI | m2://inv/T4G01E7HKG |
|---|---|
| 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.05442#66Z5 (statement). In WEPE51JCHZ/e1, corollary 5.2
History
- 2026-10-29: add by m2/v0.4.10
Representation T4G4Z50N5Z
| URI | m2://inv/T4G4Z50N5Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph theory#LRM6, Representation (definition)
History
- 2026-11-02: add by m2/dev
differentiability class T4G992TGZ5
| URI | m2://inv/T4G992TGZ5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2138760, differentiability class (unknown). Also EoM Class_of_differentiability, MathWorld MapClass
History
- 2026-10-26: add by m2/dev
T4GNQQQ2D0 T4GNQQQ2D0
| URI | m2://inv/T4GNQQQ2D0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.05868#J5GQ (statement). In WXD0FASTA7/e1, theorem 5.2
History
- 2026-10-29: add by m2/v0.4.10
Examples T4GYBA5K9S
| URI | m2://inv/T4GYBA5K9S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple module#BTCT, Examples (example)
History
- 2026-11-02: add by m2/dev
Mary L. Boas T4H7Y4YTBF
| URI | m2://inv/T4H7Y4YTBF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary L. Boas, Mary L. Boas (topic). Also Wikidata Q4509578
History
- 2026-11-02: add by m2/dev
T4H87P6N1N T4H87P6N1N
| URI | m2://inv/T4H87P6N1N |
|---|---|
| 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 2610.16258#UC8M (definition). In AZ6QMVKFHD/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
T4H9RKTY3Y T4H9RKTY3Y
| URI | m2://inv/T4H9RKTY3Y |
|---|---|
| Kind | example |
| 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 2412.12141#P2ZH (example). In V980ZMH759/e1, example 4.6
History
- 2026-10-27: add by m2/v0.4.0
Stefan Bergman T4H9TW5E74
| URI | m2://inv/T4H9TW5E74 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#UE6Q, Stefan Bergman (topic)
History
- 2026-11-02: add by m2/dev
The last row T4HDMGF3C5
| URI | m2://inv/T4HDMGF3C5 |
|---|---|
| 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.15421#8H5W, The last row (statement). In 3RBKH0DA74/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.2
T4HHFHE09P T4HHFHE09P
| URI | m2://inv/T4HHFHE09P |
|---|---|
| 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.17571#6I7U (statement). In SWFN2HCEE7/e1, lemma 2.9
History
- 2026-10-28: add by m2/v0.4.2
T4HK07B7ST T4HK07B7ST
| URI | m2://inv/T4HK07B7ST |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/proofs-modal-systems.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 50.9
History
- 2026-11-01: add by m2/v0.6.13
zero vector T4HYKR41Y1
| URI | m2://inv/T4HYKR41Y1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#2JY4, zero vector (definition)
History
- 2026-11-02: add by m2/dev
transposition T4J00ZHAFR
| URI | m2://inv/T4J00ZHAFR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#OTSD, transposition (definition)
History
- 2026-11-02: add by m2/dev
Stieltjes transformation T4J3YYE610
| URI | m2://inv/T4J3YYE610 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms#A0MD, Stieltjes transformation (definition)
History
- 2026-11-02: add by m2/dev
T4J50ZCN65 T4J50ZCN65
| URI | m2://inv/T4J50ZCN65 |
|---|---|
| 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.12228#CR0W (statement). In CTQDSD0HAD/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
T4J64CN5XX T4J64CN5XX
| URI | m2://inv/T4J64CN5XX |
|---|---|
| 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.16225#OB87 (statement). In H3DJV9YQW1/e1, corollary 3.6
History
- 2026-10-28: add by m2/v0.4.2
Tait coloring T4J7ZPTECB
| URI | m2://inv/T4J7ZPTECB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122599350, Tait coloring (unknown). Also MathWorld TaitColoring
History
- 2026-10-26: add by m2/dev
David, Florence Nightingale T4JD1AYDD5
| URI | m2://inv/T4JD1AYDD5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#K4Z7, David, Florence Nightingale (topic)
History
- 2026-11-02: add by m2/dev
T4JGBACCJ9 T4JGBACCJ9
| URI | m2://inv/T4JGBACCJ9 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.15365#FLIQ (unknown). In R2XC1SC9NZ/e1, unknown 23
History
- 2026-10-27: add by m2/v0.3.5
binary relation T4JHGS6TN6
| URI | m2://inv/T4JHGS6TN6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#BK7E, binary relation (definition)
History
- 2026-11-02: add by m2/dev
All orders and coefficient stability T4JNBE2DMF
| URI | m2://inv/T4JNBE2DMF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 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.09602#6IAN, All orders and coefficient stability (statement). In 4AQ48WSBDQ/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
Doubly stochastic model T4JQTPM3CW
| URI | m2://inv/T4JQTPM3CW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doubly stochastic model, Doubly stochastic model (definition). Also Wikidata Q5300182
History
- 2026-11-02: add by m2/dev
Applications T4JSJSEEY4
| URI | m2://inv/T4JSJSEEY4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automated reasoning#SPFJ, Applications (example)
History
- 2026-11-02: add by m2/dev
Counterexamples T4JXJQJG0M
| URI | m2://inv/T4JXJQJG0M |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed monoidal category#Z59R, Counterexamples (counterexample)
History
- 2026-11-02: add by m2/dev
T4JZMHH0Y9 T4JZMHH0Y9
| URI | m2://inv/T4JZMHH0Y9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-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.13100#HYLK (statement). In CC6S1HVK0T/e1, corollary 5.12
History
- 2026-10-28: add by m2/v0.4.2
Splitting posets omit generic sets T4K2B6J95A
| URI | m2://inv/T4K2B6J95A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/forcing.tex#lemma:splitting_poset_omit_generic, Splitting posets omit generic sets (statement). In RZP28ERRZV, lemma, section 90.2
History
- 2026-11-01: add by m2/v0.6.13
order of a zero T4K2Z9AKEK
| URI | m2://inv/T4K2Z9AKEK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/B/order-of-a-zero, order of a zero (concept). In VNMV985MXX, index, section B
History
- 2026-11-01: add by m2/v0.6.13
T4K60NYD5H T4K60NYD5H
| URI | m2://inv/T4K60NYD5H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-functions.ptx#exercise-7 (exercise). In Y91XFCEVHQ, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
No twisted self-duality T4KDWDHX9V
| URI | m2://inv/T4KDWDHX9V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 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.04099#PBNW, No twisted self-duality (statement). In QPJ6FWG5HD/e1, proposition 2.84
History
- 2026-10-29: add by m2/v0.4.12
T4KPJ7MWW0 T4KPJ7MWW0
| URI | m2://inv/T4KPJ7MWW0 |
|---|---|
| Kind | statement |
| 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#XF6K (statement). In BDN507RN7J/e1, lemma 4.1.18
History
- 2026-10-30: add by m2/v0.4.12
T4M0W2ZXAK T4M0W2ZXAK
| URI | m2://inv/T4M0W2ZXAK |
|---|---|
| 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.28365#EJ9L (statement)
History
- 2026-11-01: add by m2/v0.6.15
T4MF5DRBB6 T4MF5DRBB6
| URI | m2://inv/T4MF5DRBB6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.38211#28N3 (statement). In KWKK0S9YJN/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
Robin Hanson T4MQHJR46H
| URI | m2://inv/T4MQHJR46H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UP3V, Robin Hanson (unknown)
History
- 2026-11-02: add by m2/dev
Properties T4N5VH4TN2
| URI | m2://inv/T4N5VH4TN2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponentially equivalent measures#N57K, Properties (statement)
History
- 2026-11-02: add by m2/dev
T4N9C189D7 T4N9C189D7
| URI | m2://inv/T4N9C189D7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-sets.ptx#exercise-4 (exercise). In Y91XFCEVHQ, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
T4N9F3Y3YN T4N9F3Y3YN
| URI | m2://inv/T4N9F3Y3YN |
|---|---|
| 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 2609.23237#XE03 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Lower semicontinuous function T4NFSJWWWT
| URI | m2://inv/T4NFSJWWWT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-continuity#5B9N, Lower semicontinuous function (unknown)
History
- 2026-11-02: add by m2/dev
Baillie–PSW primality test T4NGG4NQ5V
| URI | m2://inv/T4NGG4NQ5V |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4848469, Baillie–PSW primality test (unknown). Also MathWorld Baillie-PSWPrimalityTest
- wikipedia: Wikipedia Baillie–PSW primality test, Baillie–PSW primality test (conjecture). Also Wikidata Q4848469
History
- 2026-10-26: add by m2/dev
T4NK9GC3EG T4NK9GC3EG
| URI | m2://inv/T4NK9GC3EG |
|---|---|
| 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 2606.16311#BM1X (statement). In 3G0HCK0DVA/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.3.5
caps on the sphere T4NNK0P5QZ
| URI | m2://inv/T4NNK0P5QZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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 2609.27136#TLH1, caps on the sphere (example)
History
- 2026-11-01: add by m2/v0.6.15
T4NNYEZN7T T4NNYEZN7T
| URI | m2://inv/T4NNYEZN7T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bent function#G3JB (definition)
History
- 2026-11-02: add by m2/dev
T4NSYCVHVV T4NSYCVHVV
| URI | m2://inv/T4NSYCVHVV |
|---|---|
| Kind | definition |
| 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#E9HX (definition). In 7D3HCN21MK/e1, definition 3.10
History
- 2026-10-27: add by m2/v0.3.5
T4P2DP96AW T4P2DP96AW
| URI | m2://inv/T4P2DP96AW |
|---|---|
| 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.21305#KWIU (statement)
History
- 2026-11-02: add by m2/v0.6.18
Semiprime and semireal, but not real T4P61PV09K
| URI | m2://inv/T4P61PV09K |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-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 2610.15887#HK8A, Semiprime and semireal, but not real (example). In 87QYNZZ67Z/e1, example 7.4
History
- 2026-10-28: add by m2/v0.4.2
T4P70D51A7 T4P70D51A7
| URI | m2://inv/T4P70D51A7 |
|---|---|
| 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.21976#ZJMC (statement)
History
- 2026-11-02: add by m2/v0.6.17
T4PCNY9GMT T4PCNY9GMT
| URI | m2://inv/T4PCNY9GMT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#prop:blocks-dense (statement). In PKGMM3P5QY, prop, section 49.1
History
- 2026-11-01: add by m2/v0.6.13
T4PPX21QXK T4PPX21QXK
| URI | m2://inv/T4PPX21QXK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Counting.tex#question-4 (exercise). In P1C114YBXG, question, section 1
History
- 2026-11-01: add by m2/v0.6.13
T4PRC9M50K T4PRC9M50K
| URI | m2://inv/T4PRC9M50K |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probabilistic Turing machine#O17I (problem)
History
- 2026-11-02: add by m2/dev
Sphere function T4PVRAM8MA
| URI | m2://inv/T4PVRAM8MA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sphere function, Sphere function (definition). Also Wikidata Q139854345
History
- 2026-11-02: add by m2/dev
encode-decode method T4PY005JV9
| URI | m2://inv/T4PY005JV9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.7.2/encode-decode-method, encode-decode method (concept). In N54F33XE07, index, section 7.7.2
History
- 2026-11-01: add by m2/v0.6.13
T4PYXYKHXG T4PYXYKHXG
| URI | m2://inv/T4PYXYKHXG |
|---|---|
| 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.06488#5E94 (statement). In XG3BJ2QXXP/e1, proposition 5.3
History
- 2026-10-29: add by m2/v0.4.10
Pol Vanhaecke T4Q0QKE4GN
| URI | m2://inv/T4Q0QKE4GN |
|---|---|
| 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 Q38134618, Pol Vanhaecke (unknown). Also nLab Pol Vanhaecke
History
- 2026-10-26: add by m2/dev
Construction T4Q1SQ2SM7
| URI | m2://inv/T4Q1SQ2SM7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Field line#3TJG, Construction (definition)
History
- 2026-11-02: add by m2/dev
Dataplot T4Q1WCP90W
| URI | m2://inv/T4Q1WCP90W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#O626, Dataplot (definition)
History
- 2026-11-02: add by m2/dev
T4Q20RTA8F T4Q20RTA8F
| URI | m2://inv/T4Q20RTA8F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#exercise-6 (exercise). In E59CDZA4DP, exercise, section 11.9.6
History
- 2026-11-01: add by m2/v0.6.13
T4Q70WFPE5 T4Q70WFPE5
| URI | m2://inv/T4Q70WFPE5 |
|---|---|
| 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.16941#1RW8 (statement). In T96MPYB0KT/e1, theorem 2.6
History
- 2026-10-28: add by m2/v0.4.2
Hierarchical Bayes model T4QGWTRKBV
| URI | m2://inv/T4QGWTRKBV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#J472, Hierarchical Bayes model (definition)
History
- 2026-11-02: add by m2/dev
T4QH17KBJ7 T4QH17KBJ7
| URI | m2://inv/T4QH17KBJ7 |
|---|---|
| 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.12014#P8X2 (statement). In DR7BK4CQ0V/e1, theorem 6.3
History
- 2026-10-28: add by m2/v0.4.3
T4QJ8WH2XT T4QJ8WH2XT
| URI | m2://inv/T4QJ8WH2XT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#defn:retract (definition). In N54F33XE07, defn, section 3.7
History
- 2026-11-01: add by m2/v0.6.13
Variations T4QWAEZ4CZ
| URI | m2://inv/T4QWAEZ4CZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gambler's fallacy#HAVN, Variations (statement)
History
- 2026-11-02: add by m2/dev
Expansion of $\Delta_1$ T4R1T94K8C
| URI | m2://inv/T4R1T94K8C |
|---|---|
| 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.15805#2FH2, Expansion of $\Delta_1$ (statement). In 2XVWG0Z18V/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
Examples T4R6M35H09
| URI | m2://inv/T4R6M35H09 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normalized number#PX98, Examples (example)
History
- 2026-11-02: add by m2/dev
T4RCZGT5KT T4RCZGT5KT
| URI | m2://inv/T4RCZGT5KT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.14446#S5KA (statement). In AWRXXZR673/e1, corollary 5.3
History
- 2026-10-28: add by m2/v0.4.2
Joyce Aylard T4RDKE032D
| URI | m2://inv/T4RDKE032D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joyce Aylard, Joyce Aylard (topic). Also Wikidata Q55956393
History
- 2026-11-02: add by m2/dev
T4RDQ9R3A9 T4RDQ9R3A9
| URI | m2://inv/T4RDQ9R3A9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-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.25761#5PHK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Carl Hierholzer T4RP5A43KT
| URI | m2://inv/T4RP5A43KT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carl Hierholzer, Carl Hierholzer (topic). Also Wikidata Q72985
History
- 2026-11-02: add by m2/dev
T4RS5NN6FF T4RS5NN6FF
| URI | m2://inv/T4RS5NN6FF |
|---|---|
| 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 2609.31269#LSDS (statement). In ZPT9XCCAPQ/e1, lemma 1.3.8
History
- 2026-10-31: add by m2/v0.5.6
Percentile rank T4RTCKA1RB
| URI | m2://inv/T4RTCKA1RB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Percentile rank, Percentile rank (definition). Also Wikidata Q13200112
History
- 2026-11-02: add by m2/dev
T4S3AEDX1P T4S3AEDX1P
| URI | m2://inv/T4S3AEDX1P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-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.22288#BALO (statement). In X38P26DK6S/e1, theorem 3.19
History
- 2026-10-27: add by m2/v0.4.0
Jinchi Lv T4S5QH5XTK
| URI | m2://inv/T4S5QH5XTK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#MXH5, Jinchi Lv (topic)
History
- 2026-11-02: add by m2/dev
T4SGQ9F6RQ T4SGQ9F6RQ
| URI | m2://inv/T4SGQ9F6RQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/quasi-proj.tex#example-1 (example). In RZP28ERRZV, example, section 24.1
History
- 2026-11-01: add by m2/v0.6.13
T4SHJHCPGY T4SHJHCPGY
| URI | m2://inv/T4SHJHCPGY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/localization.tex#example-5 (example). In RZP28ERRZV, example, section 21.3
History
- 2026-11-01: add by m2/v0.6.13
T4SNQD18NE T4SNQD18NE
| URI | m2://inv/T4SNQD18NE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise-5 (exercise). In E59CDZA4DP, exercise, section 3.1.3
History
- 2026-11-01: add by m2/v0.6.13
Supercompact cardinal T4ST1QP365
| URI | m2://inv/T4ST1QP365 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#G44W, Supercompact cardinal (definition)
History
- 2026-11-02: add by m2/dev
Bolzano–Weierstrass theorem T4T5K9QGPH
| URI | m2://inv/T4T5K9QGPH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#R92C, Bolzano–Weierstrass theorem (statement)
History
- 2026-11-02: add by m2/dev
reciprocal rule T4T8CFTKMJ
| URI | m2://inv/T4T8CFTKMJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#DJIE, reciprocal rule (definition)
History
- 2026-11-02: add by m2/dev
T4TBB3DTC2 T4TBB3DTC2
| URI | m2://inv/T4TBB3DTC2 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 11-XX, 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.16605#NLP4 (problem). In KZ175036B5/e1, problem 6.2
History
- 2026-10-28: add by m2/v0.4.2
Applications of Fourier optics principles T4TDW02J86
| URI | m2://inv/T4TDW02J86 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier optics#3T4G, Applications of Fourier optics principles (statement)
History
- 2026-11-02: add by m2/dev
Joseph Liberman T4TFR43W60
| URI | m2://inv/T4TFR43W60 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Liberman, Joseph Liberman (topic). Also Wikidata Q4260849
History
- 2026-11-02: add by m2/dev
Notation T4TJN3HEZ2
| URI | m2://inv/T4TJN3HEZ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Floor and ceiling functions#K3C8, Notation (definition)
History
- 2026-11-02: add by m2/dev
T4TQ2F8Z0S T4TQ2F8Z0S
| URI | m2://inv/T4TQ2F8Z0S |
|---|---|
| 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#JSFJ (statement). In GJD7HKCE56/e1, proposition 3.7
History
- 2026-10-27: add by m2/v0.3.6
Bernays T4TQGW6Z67
| URI | m2://inv/T4TQGW6Z67 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#W6E2, Bernays (definition)
History
- 2026-11-02: add by m2/dev
Optimality T4TQHJYKB0
| URI | m2://inv/T4TQHJYKB0 |
|---|---|
| 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.35418#LOM0, Optimality (statement). In JHD3TW67QT/e1, theorem 7
History
- 2026-10-30: add by m2/v0.4.12
Luigi Berzolari T4TQXF0NX1
| URI | m2://inv/T4TQXF0NX1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luigi Berzolari, Luigi Berzolari (topic). Also Wikidata Q1595717
History
- 2026-11-02: add by m2/dev
Definition T4TSCYEF96
| URI | m2://inv/T4TSCYEF96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimum mean square error estimator#YY67, Definition (definition)
History
- 2026-11-02: add by m2/dev
T4TX4FR061 T4TX4FR061
| URI | m2://inv/T4TX4FR061 |
|---|---|
| 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.21403#ZJBE (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples T4TYZ194KQ
| URI | m2://inv/T4TYZ194KQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rhombille tiling#G93D, Examples (example)
History
- 2026-11-02: add by m2/dev
Mitchell Feigenbaum T4TZC72XGJ
| URI | m2://inv/T4TZC72XGJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#9LXQ, Mitchell Feigenbaum (topic)
History
- 2026-11-02: add by m2/dev
Encode T4TZMN8XMZ
| URI | m2://inv/T4TZMN8XMZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#ZNUR, Encode (unknown)
History
- 2026-11-02: add by m2/dev
univalence axiom T4V95ZBTP1
| URI | m2://inv/T4V95ZBTP1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.1/univalence-axiom, univalence axiom (concept). In N54F33XE07, index, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Theorem 1 T4W9RSH4WV
| URI | m2://inv/T4W9RSH4WV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generic-case complexity#HFEP, Theorem 1 (statement)
History
- 2026-11-02: add by m2/dev
T4WA98B373 T4WA98B373
| URI | m2://inv/T4WA98B373 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.25307#OAHJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
T4WEXNJTAX T4WEXNJTAX
| URI | m2://inv/T4WEXNJTAX |
|---|---|
| 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.20140#9JEV (statement)
History
- 2026-11-02: add by m2/v0.6.18
Special cases T4WG1ZMSA7
| URI | m2://inv/T4WG1ZMSA7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Studentized range distribution#TE7Y, Special cases (statement)
History
- 2026-11-02: add by m2/dev
T4WJZA6WCK T4WJZA6WCK
| URI | m2://inv/T4WJZA6WCK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.14236#9I9H (statement). In XEQD21EBTT/e1, proposition 4.12
History
- 2026-10-28: add by m2/v0.4.2
Fanghua Lin T4WQ4F4AEJ
| URI | m2://inv/T4WQ4F4AEJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fanghua Lin, Fanghua Lin (topic). Also Wikidata Q451738
History
- 2026-11-02: add by m2/dev
T4X2HF5ZXM T4X2HF5ZXM
| URI | m2://inv/T4X2HF5ZXM |
|---|---|
| Kind | definition |
| 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.27800#R9NO (definition)
History
- 2026-11-01: add by m2/v0.6.15
Generalizations T4X3QCS3ND
| URI | m2://inv/T4X3QCS3ND |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic function#U6VJ, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
T4XAHTB66X T4XAHTB66X
| URI | m2://inv/T4XAHTB66X |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-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 2610.14278#CGVN (example). In RTE2C0PH4S/e1, example 6.1
History
- 2026-10-28: add by m2/v0.4.2
T4XDZVKG9W T4XDZVKG9W
| URI | m2://inv/T4XDZVKG9W |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1712.02437#5LB2 (proof). In GZDFK652T9/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Terminology T4XGYA8NDP
| URI | m2://inv/T4XGYA8NDP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generation Beta#GM1U, Terminology (definition)
History
- 2026-11-02: add by m2/dev
T4XH7EC83S T4XH7EC83S
| URI | m2://inv/T4XH7EC83S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.17759#36QW (statement). In 7MWKMG2V8A/e1, lemma 4.11
History
- 2026-10-28: add by m2/v0.4.2
Carlo Alberto Castigliano T4XV8HFT2M
| URI | m2://inv/T4XV8HFT2M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#WD0G, Carlo Alberto Castigliano (topic)
History
- 2026-11-02: add by m2/dev
T4XX6RWT3J T4XX6RWT3J
| URI | m2://inv/T4XX6RWT3J |
|---|---|
| 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.30527#KZ3V (statement). In E3WQDZY388/e1, lemma 4.6
History
- 2026-10-31: add by m2/v0.5.6
Bsearch T4XZDTKHNP
| URI | m2://inv/T4XZDTKHNP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary search#AXKN, Bsearch (unknown)
History
- 2026-11-02: add by m2/dev
Potential game T4Y2SAQD47
| URI | m2://inv/T4Y2SAQD47 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Potential game, Potential game (definition). Also Wikidata Q288500
History
- 2026-11-02: add by m2/dev
Example T4Y3E52ZAF
| URI | m2://inv/T4Y3E52ZAF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Casteljau's algorithm#NT4K, Example (example)
History
- 2026-11-02: add by m2/dev
Symmetry T4Y3SAZJR8
| URI | m2://inv/T4Y3SAZJR8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 65537-gon#XI73, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
T4YNBZPH5R T4YNBZPH5R
| URI | m2://inv/T4YNBZPH5R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.21181#DZH2 (statement). In 3D0GJXDY11/e1, theorem 5.4
History
- 2026-10-27: add by m2/v0.4.2
A comparison of the dynamics of the NSFD and standard Euler schemes T4YY86WMZA
| URI | m2://inv/T4YY86WMZA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-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.29567#KBAD, A comparison of the dynamics of the NSFD and standard Euler schemes (example)
History
- 2026-11-01: add by m2/v0.6.15
T4YZMT89XM T4YZMT89XM
| URI | m2://inv/T4YZMT89XM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.18016#WSAU (statement). In V5PVKDKGGG/e1, corollary 5.12
History
- 2026-10-28: add by m2/v0.4.2
Pan Chengdong T4Z3R8VJG2
| URI | m2://inv/T4Z3R8VJG2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#7M6Q, Pan Chengdong (unknown)
History
- 2026-11-02: add by m2/dev
Arden's rule T4ZKRM0M3P
| URI | m2://inv/T4ZKRM0M3P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arden's rule, Arden's rule (definition). Also Wikidata Q670618
History
- 2026-11-02: add by m2/dev
T4ZMVFNHKB T4ZMVFNHKB
| URI | m2://inv/T4ZMVFNHKB |
|---|---|
| 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.24943#6F03 (statement)
History
- 2026-11-01: add by m2/v0.6.15
The hyperelliptic defect interval T4ZSES9MN9
| URI | m2://inv/T4ZSES9MN9 |
|---|---|
| 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.21093#P5OG, The hyperelliptic defect interval (statement). In TBFPBPQV3G/e1, theorem 6.7
History
- 2026-10-27: add by m2/v0.4.2
General set theory T4ZTRQHT25
| URI | m2://inv/T4ZTRQHT25 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia General set theory, General set theory (definition). Also Wikidata Q5532389
History
- 2026-11-02: add by m2/dev