Inventory rows SZ
The cards of the rows of the inventory whose ids start with SZ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Variants SZ04FXFHKS
| URI | m2://inv/SZ04FXFHKS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph homomorphism#X1FA, Variants (statement)
History
- 2026-11-02: add by m2/dev
Inner Multipermutation SID Syndrome SZ04NYAT1H
| URI | m2://inv/SZ04NYAT1H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37578#B6CM, Inner Multipermutation SID Syndrome (statement). In D7NDCWSDJE/e1, theorem 7
History
- 2026-10-30: add by m2/v0.4.12
SZ0EBGVKDP SZ0EBGVKDP
| URI | m2://inv/SZ0EBGVKDP |
|---|---|
| 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#ILPH (statement). In M8TSJ24RC2/e1, theorem 4.8
History
- 2026-10-28: add by m2/v0.4.2
SZ0JSS1Z2B SZ0JSS1Z2B
| URI | m2://inv/SZ0JSS1Z2B |
|---|---|
| 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.23994#3N2X (statement)
History
- 2026-11-02: add by m2/v0.6.17
beth numbers SZ0MSCJJDA
| URI | m2://inv/SZ0MSCJJDA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Set theory > Cardinals > beth numbers, beth numbers (unknown). Also Mathlib Cardinal.beth
History
- 2026-10-26: add by m2/dev
Square-function estimates across the Schatten scale SZ0SHJKZD0
| URI | m2://inv/SZ0SHJKZD0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#WALZ, Square-function estimates across the Schatten scale (statement). In 9YAE8FNQST/e1, lemma 8.10
History
- 2026-10-30: add by m2/v0.4.12
Least common multiple (LCM) of the first n+1 terms of A000792 . SZ0WRVB9DD
| URI | m2://inv/SZ0WRVB9DD |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q100194536, Least common multiple (LCM) of the first n+1 terms of A000792 . (object). Also OEIS A062723
History
- 2026-10-26: add by m2/dev
Examples SZ10NSWE4S
| URI | m2://inv/SZ10NSWE4S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bell series#YSLD, Examples (example)
History
- 2026-11-02: add by m2/dev
Heyawake SZ139855NN
| URI | m2://inv/SZ139855NN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#4YEN, Heyawake (definition)
History
- 2026-11-02: add by m2/dev
Meshfree methods SZ14C524X8
| URI | m2://inv/SZ14C524X8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#9Y59, Meshfree methods (definition)
History
- 2026-11-02: add by m2/dev
Aftershock SZ14VA3J9X
| URI | m2://inv/SZ14VA3J9X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aftershock, Aftershock (definition). Also Wikidata Q308442
History
- 2026-11-02: add by m2/dev
SZ1BVY2AGX SZ1BVY2AGX
| URI | m2://inv/SZ1BVY2AGX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-11 (exercise). In E9HS8K3A52, exercise, section 8.2.5
History
- 2026-11-01: add by m2/v0.6.13
quartile SZ1CBXN6T7
| URI | m2://inv/SZ1CBXN6T7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#1WFF, quartile (definition)
History
- 2026-11-02: add by m2/dev
SZ1F4YC994 SZ1F4YC994
| URI | m2://inv/SZ1F4YC994 |
|---|---|
| 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.02489#PMDL (statement). In ZCJDWDR16Z/e1, theorem 5.3
History
- 2026-10-29: add by m2/v0.4.12
SZ1GB9J13H SZ1GB9J13H
| URI | m2://inv/SZ1GB9J13H |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-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.07293#Q3BA (example). In V1GVYM0WQG/e1, example 5.10
History
- 2026-10-29: add by m2/v0.4.10
SZ1N7HV5S9 SZ1N7HV5S9
| URI | m2://inv/SZ1N7HV5S9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.13972#ZM6V (statement). In S1KHNS8XQM/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
Folkman-Lawrence topological representation theorem SZ1Q38DAD9
| URI | m2://inv/SZ1Q38DAD9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oriented matroid#YCTP, Folkman-Lawrence topological representation theorem (unknown)
History
- 2026-11-02: add by m2/dev
SZ1WPHPHBY SZ1WPHPHBY
| URI | m2://inv/SZ1WPHPHBY |
|---|---|
| Kind | example |
| 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 2211.14629#VSDZ (example). In AX7TZJ5PP9/e1, example 4
History
- 2026-10-27: add by m2/v0.3.5
Tijdeman's theorem SZ28P963V6
| URI | m2://inv/SZ28P963V6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#5COE, Tijdeman's theorem (statement)
History
- 2026-11-02: add by m2/dev
noncommutative SZ2GS80KAR
| URI | m2://inv/SZ2GS80KAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#8YGI, noncommutative (definition)
History
- 2026-11-02: add by m2/dev
Erdős–Anning theorem SZ2HF24J7H
| URI | m2://inv/SZ2HF24J7H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#IA4H, Erdős–Anning theorem (statement)
History
- 2026-11-02: add by m2/dev
SZ2S2AYHP8 SZ2S2AYHP8
| URI | m2://inv/SZ2S2AYHP8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16203#4SN6 (statement). In 43TBS9P2PX/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
SZ2SDGEHW1 SZ2SDGEHW1
| URI | m2://inv/SZ2SDGEHW1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-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.22109#LGAT (statement). In MZ60NP20BH/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.4.0
SZ2WD42ACA SZ2WD42ACA
| URI | m2://inv/SZ2WD42ACA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.04498#C41O (statement). In HHF08X70P6/e1, corollary 4.5
History
- 2026-10-29: add by m2/v0.4.12
Iman, Ronald L. SZ37PRBM3C
| URI | m2://inv/SZ37PRBM3C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#89TK, Iman, Ronald L. (topic)
History
- 2026-11-02: add by m2/dev
SZ3AM9MBMF SZ3AM9MBMF
| URI | m2://inv/SZ3AM9MBMF |
|---|---|
| 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.09300#M2FP (statement). In JP589KS01S/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
Cryptomorphism SZ3CSRP2TD
| URI | m2://inv/SZ3CSRP2TD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptomorphism, Cryptomorphism (definition). Also Wikidata Q389427
History
- 2026-11-02: add by m2/dev
SZ3NGB55WZ SZ3NGB55WZ
| URI | m2://inv/SZ3NGB55WZ |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25015#VCEQ (problem)
History
- 2026-11-01: add by m2/v0.6.15
Legendre chi function SZ46MPEMXP
| URI | m2://inv/SZ46MPEMXP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Adrien-Marie Legendre#UQ0A, Legendre chi function (definition)
History
- 2026-11-02: add by m2/dev
SZ48BZF1YD SZ48BZF1YD
| URI | m2://inv/SZ48BZF1YD |
|---|---|
| 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.13076#XMYC (statement). In K7GJA4WGV7/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
left-narrow SZ48D4JAGG
| URI | m2://inv/SZ48D4JAGG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#XW61, left-narrow (definition)
History
- 2026-11-02: add by m2/dev
Mean time between outages SZ4BY7904X
| URI | m2://inv/SZ4BY7904X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean time between outages, Mean time between outages (definition). Also Wikidata Q6803657
History
- 2026-11-02: add by m2/dev
SZ4KRAW2SA SZ4KRAW2SA
| URI | m2://inv/SZ4KRAW2SA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07695#B1QZ (statement). In 8Z47D12KSX/e1, proposition 10.4
History
- 2026-10-29: add by m2/v0.4.10
SZ4V2F6TGH SZ4V2F6TGH
| URI | m2://inv/SZ4V2F6TGH |
|---|---|
| Kind | statement |
| 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 2609.24701#73K3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
SZ4WB4XNF2 SZ4WB4XNF2
| URI | m2://inv/SZ4WB4XNF2 |
|---|---|
| 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.15111#XRU0 (statement). In 6RE6JYE4GP/e1, lemma F.10
History
- 2026-10-28: add by m2/v0.4.2
SZ54MY1X6E SZ54MY1X6E
| URI | m2://inv/SZ54MY1X6E |
|---|---|
| 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.24795#5NPE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Field of fractions SZ56HABKFA
| URI | m2://inv/SZ56HABKFA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of commutative algebra topics#5PK7, Field of fractions (definition)
History
- 2026-11-02: add by m2/dev
Lifts on the relative special piece SZ5C72KXVD
| URI | m2://inv/SZ5C72KXVD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.16931#KEQY, Lifts on the relative special piece (statement). In H7DMRWBBJN/e1, theorem 8.1
History
- 2026-10-28: add by m2/v0.4.2
SZ5HHEJ6JJ SZ5HHEJ6JJ
| URI | m2://inv/SZ5HHEJ6JJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/compactness-direct.tex#prob-4 (exercise). In PKGMM3P5QY, prob, section 9.8
History
- 2026-11-01: add by m2/v0.6.13
Three Springs, Pennsylvania SZ5KQ9J39Z
| URI | m2://inv/SZ5KQ9J39Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#4MUB, Three Springs, Pennsylvania (unknown)
History
- 2026-11-02: add by m2/dev
SZ5YVVYY7B SZ5YVVYY7B
| URI | m2://inv/SZ5YVVYY7B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23682#3XFL (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition SZ65RZK3NR
| URI | m2://inv/SZ65RZK3NR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cumulative distribution function#B2EE, Definition (definition)
History
- 2026-11-02: add by m2/dev
SZ6K0V9NTR SZ6K0V9NTR
| URI | m2://inv/SZ6K0V9NTR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20894#1III (definition)
History
- 2026-11-02: add by m2/v0.6.18
James Booth SZ6QGWFCY7
| URI | m2://inv/SZ6QGWFCY7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Booth (mathematician), James Booth (topic). Also Wikidata Q3806466
History
- 2026-11-02: add by m2/dev
SZ70QZ92AA SZ70QZ92AA
| URI | m2://inv/SZ70QZ92AA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2008.10035#WWC4 (statement). In 29EH04FH4B/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.5
SZ74XJ9ZB8 SZ74XJ9ZB8
| URI | m2://inv/SZ74XJ9ZB8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
⊊ SZ79QWZ8QP
| URI | m2://inv/SZ79QWZ8QP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#KGTB, ⊊ (definition)
History
- 2026-11-02: add by m2/dev
SZ7EDKCWEN SZ7EDKCWEN
| URI | m2://inv/SZ7EDKCWEN |
|---|---|
| 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 2609.35180#D1WL (statement). In ZA34B1CR9M/e1, lemma 3.10
History
- 2026-10-30: add by m2/v0.4.12
Examples SZ7FJ919FT
| URI | m2://inv/SZ7FJ919FT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walk-regular graph#07NK, Examples (example)
History
- 2026-11-02: add by m2/dev
absolutely convergent series SZ7SFQ2JNH
| URI | m2://inv/SZ7SFQ2JNH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91134251, absolutely convergent series (definition). Also EoM Absolutely_convergent_series, ProofWiki Definition:Absolutely_Convergent_Series
History
- 2026-10-26: add by m2/dev
Inverse hyperbolic cosine SZ7YPM4HWF
| URI | m2://inv/SZ7YPM4HWF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#37EH, Inverse hyperbolic cosine (definition)
History
- 2026-11-02: add by m2/dev
SZ854CPR00 SZ854CPR00
| URI | m2://inv/SZ854CPR00 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/provability-quantifiers.tex#prop:provability-quantifiers (statement). In PKGMM3P5QY, prop, section 15.5
History
- 2026-11-01: add by m2/v0.6.13
left module SZ870NJKFC
| URI | m2://inv/SZ870NJKFC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q120721996, left module (definition). Also ProofWiki Definition:Left_Module
History
- 2026-10-26: add by m2/dev
Chain homotopic maps induce the same map on homology groups SZ8CB150Q2
| URI | m2://inv/SZ8CB150Q2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/singular.tex#proposition-2, Chain homotopic maps induce the same map on homology groups (statement). In RZP28ERRZV, proposition, section 55.3.1
History
- 2026-11-01: add by m2/v0.6.13
induction principle, for suspension SZ8F8GEEDB
| URI | m2://inv/SZ8F8GEEDB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.5/induction-principle-for-suspension, induction principle, for suspension (concept). In N54F33XE07, index, section 5.5
History
- 2026-11-01: add by m2/v0.6.13
Ising critical exponents SZ8HBPMKQP
| URI | m2://inv/SZ8HBPMKQP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universality class#GU06, Ising critical exponents (unknown)
History
- 2026-11-02: add by m2/dev
SZ8QTGW4SJ SZ8QTGW4SJ
| URI | m2://inv/SZ8QTGW4SJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#YFLM (statement). In E7W2HDNEKJ/e1, theorem 5.22
History
- 2026-10-30: add by m2/v0.4.12
SZ8Y40W2A9 SZ8Y40W2A9
| URI | m2://inv/SZ8Y40W2A9 |
|---|---|
| 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 2405.13323#JE1B (statement). In 5KN5GD38KG/e1, theorem 2.8
History
- 2026-10-27: add by m2/v0.3.5
Counterexamples SZ91P1506Q
| URI | m2://inv/SZ91P1506Q |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's sum of powers conjecture#VFPY, Counterexamples (counterexample)
History
- 2026-11-02: add by m2/dev
Germund Dahlquist SZ98NMT6EY
| URI | m2://inv/SZ98NMT6EY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#BCJC, Germund Dahlquist (topic)
History
- 2026-11-02: add by m2/dev
Definition SZ9HW4WPPJ
| URI | m2://inv/SZ9HW4WPPJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Synergetics (Fuller)#DDGR, Definition (definition)
History
- 2026-11-02: add by m2/dev
Applications SZ9J4NR81J
| URI | m2://inv/SZ9J4NR81J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signed graph#1LRF, Applications (example)
History
- 2026-11-02: add by m2/dev
Prime knot SZ9J55ZGCM
| URI | m2://inv/SZ9J55ZGCM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#9H6V, Prime knot (definition)
History
- 2026-11-02: add by m2/dev
Cocountable topology SZ9SCAQPQD
| URI | m2://inv/SZ9SCAQPQD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#VJBS, Cocountable topology (definition)
- wikipedia: Wikipedia List of topologies#VX8G, Cocountable topology (definition)
History
- 2026-11-02: add by m2/dev
SZ9SR71XWK SZ9SR71XWK
| URI | m2://inv/SZ9SR71XWK |
|---|---|
| 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.14455#02H0 (statement). In 5KARPAJDCP/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
SZ9X31ZYRA SZ9X31ZYRA
| URI | m2://inv/SZ9X31ZYRA |
|---|---|
| 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.14374#Z3YU (statement). In YPTC532FEG/e1, theorem 29
History
- 2026-10-28: add by m2/v0.4.2
Corollary SZ9Y29J3ZA
| URI | m2://inv/SZ9Y29J3ZA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculus on Euclidean space#AXWZ, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Grouped data SZA1QS9AES
| URI | m2://inv/SZA1QS9AES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grouped data, Grouped data (definition). Also Wikidata Q5611303
History
- 2026-11-02: add by m2/dev
Barbier's theorem SZA2TM6F5A
| URI | m2://inv/SZA2TM6F5A |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | open |
| Node | Barbier's theorem T5D9RSE0X2 |
Mentions
- mathlib_1000: mathlib_1000 Q1188048, Barbier's theorem (statement). Also Wikidata Q1188048
- thousand_plus: thousand_plus Q1188048, Barbier's theorem (statement). Also Wikidata Q1188048, Wikipedia Barbier's theorem
- wikidata: Wikidata Q1188048, Barbier's theorem (statement). Also MathWorld BarbiersTheorem
- wikipedia: Wikipedia Barbier's theorem, Barbier's theorem (statement). Also Wikidata Q1188048
History
- 2026-10-26: add by m2/dev
List of Sigma Zeta chapters SZA5Q74186
| URI | m2://inv/SZA5Q74186 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Sigma Zeta chapters, List of Sigma Zeta chapters (topic). Also Wikidata Q131573192
History
- 2026-11-02: add by m2/dev
Joseph Konhauser SZAAJSK0SR
| URI | m2://inv/SZAAJSK0SR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Konhauser, Joseph Konhauser (topic). Also Wikidata Q6284655
History
- 2026-11-02: add by m2/dev
Alfred Lodge SZAAYVDJ9T
| URI | m2://inv/SZAAYVDJ9T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfred Lodge, Alfred Lodge (topic). Also Wikidata Q16856567
History
- 2026-11-02: add by m2/dev
Rayleigh–Jeans law SZAN92HRCY
| URI | m2://inv/SZAN92HRCY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rayleigh–Jeans law, Rayleigh–Jeans law (statement). Also Wikidata Q849484
History
- 2026-11-02: add by m2/dev
SZANMBGYSZ SZANMBGYSZ
| URI | m2://inv/SZANMBGYSZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 18-XX, 55-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.30262#9IEU (example). In FWA5QW6FCF/e1, example 3.1
History
- 2026-10-31: add by m2/v0.5.6
Measurement-adaptive protocols SZB092HDDT
| URI | m2://inv/SZB092HDDT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37368#QU2N, Measurement-adaptive protocols (statement). In FRMCKEGVJZ/e1, proposition 5
History
- 2026-10-30: add by m2/v0.4.12
S. R. S. Varadhan SZB1GDK4KQ
| URI | m2://inv/SZB1GDK4KQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#K8LD, S. R. S. Varadhan (topic)
History
- 2026-11-02: add by m2/dev
biaugmented pentagonal prism SZB5NHRZG6
| URI | m2://inv/SZB5NHRZG6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1615529, biaugmented pentagonal prism (object). Also MathWorld BiaugmentedPentagonalPrism
- wikipedia: Wikipedia Biaugmented pentagonal prism, Biaugmented pentagonal prism (definition). Also Wikidata Q1615529
History
- 2026-10-26: add by m2/dev
Multiple orthogonal polynomials SZBBS9PKSY
| URI | m2://inv/SZBBS9PKSY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple orthogonal polynomials, Multiple orthogonal polynomials (definition). Also Wikidata Q115463057
History
- 2026-11-02: add by m2/dev
Modern portfolio theory SZBCAT63HC
| URI | m2://inv/SZBCAT63HC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modern portfolio theory, Modern portfolio theory (definition). Also Wikidata Q1072885
History
- 2026-11-02: add by m2/dev
SZBD3W01WF SZBD3W01WF
| URI | m2://inv/SZBD3W01WF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 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.22058#VI1Z (statement)
History
- 2026-11-02: add by m2/v0.6.17
Skinny triangle SZBJHH4XCN
| URI | m2://inv/SZBJHH4XCN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skinny triangle, Skinny triangle (definition). Also Wikidata Q7535590
History
- 2026-11-02: add by m2/dev
Fedosov manifold SZBRH84BJX
| URI | m2://inv/SZBRH84BJX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fedosov manifold, Fedosov manifold (definition). Also Wikidata Q5441131
History
- 2026-11-02: add by m2/dev
Actuarial science SZBT5YAYE8
| URI | m2://inv/SZBT5YAYE8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#753X, Actuarial science (definition)
History
- 2026-11-02: add by m2/dev
SZBTEH8F2E SZBTEH8F2E
| URI | m2://inv/SZBTEH8F2E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 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.06338#QAKQ (statement). In F1CYVYK7YB/e1, theorem 7.6
History
- 2026-10-29: add by m2/v0.4.10
Janson and Vegelius' C SZBVNVBMST
| URI | m2://inv/SZBVNVBMST |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#BHMN, Janson and Vegelius' C (unknown)
History
- 2026-11-02: add by m2/dev
Formulations SZBY5ZVWQF
| URI | m2://inv/SZBY5ZVWQF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lefschetz duality#F7NC, Formulations (definition)
History
- 2026-11-02: add by m2/dev
connected domination number SZC5710JSX
| URI | m2://inv/SZC5710JSX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130524948, connected domination number (unknown). Also MathWorld ConnectedDominationNumber
History
- 2026-10-26: add by m2/dev
SZC87QM1TA SZC87QM1TA
| URI | m2://inv/SZC87QM1TA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.07061#F4WM (statement). In G2PA4KAGRP/e1, corollary 4.5
History
- 2026-10-27: add by m2/v0.3.6
SZC8AEEVXT SZC8AEEVXT
| URI | m2://inv/SZC8AEEVXT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-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 2504.02065#26DQ (statement). In 60CK7P5F36/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
SZCGGFZR1X SZCGGFZR1X
| URI | m2://inv/SZCGGFZR1X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21960#7U6K (statement). In QX77AN49J0/e1, proposition 2.7
History
- 2026-10-27: add by m2/v0.4.2
product SZCRQHJJDD
| URI | m2://inv/SZCRQHJJDD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Product S5744QZV4N |
Mentions
- wikidata: Wikidata Q919107, product (definition). Also MathWorld CategoryProduct, ProofWiki Definition:Product_(Category_Theory)
- wikipedia: Wikipedia Product (category theory), Product (definition). Also Wikidata Q919107
History
- 2026-10-26: add by m2/dev
Drift-aware coverage and next-period risk SZCYGDR477
| URI | m2://inv/SZCYGDR477 |
|---|---|
| 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.07162#1EKT, Drift-aware coverage and next-period risk (statement). In MQEB9ZHQAT/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.10
Euler's factorization method SZCYGSCSEH
| URI | m2://inv/SZCYGSCSEH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#QJP8, Euler's factorization method (definition)
History
- 2026-11-02: add by m2/dev
SZD73TYS79 SZD73TYS79
| URI | m2://inv/SZD73TYS79 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2508.21045#ZQAG (statement). In CGA36VE1C5/e1, lemma 3.11.1
History
- 2026-10-27: add by m2/v0.3.6
SZD875TKM8 SZD875TKM8
| URI | m2://inv/SZD875TKM8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.22082#XX1R (statement). In 7PACGDW3N7/e1, proposition 20.2
History
- 2026-10-27: add by m2/v0.4.0
SZD8KCNY72 SZD8KCNY72
| URI | m2://inv/SZD8KCNY72 |
|---|---|
| Kind | definition |
| 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 2609.25967#R3BN (definition)
History
- 2026-11-01: add by m2/v0.6.15
Helge Tverberg SZDKTH0YRC
| URI | m2://inv/SZDKTH0YRC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helge Tverberg, Helge Tverberg (topic). Also Wikidata Q1602410
History
- 2026-11-02: add by m2/dev
Preliminary reference Earth model SZDQRKS8ZZ
| URI | m2://inv/SZDQRKS8ZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Preliminary reference Earth model, Preliminary reference Earth model (definition). Also Wikidata Q1318259
History
- 2026-11-02: add by m2/dev
Duggan–Schwartz theorem SZE84ASMHE
| URI | m2://inv/SZE84ASMHE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#TJAB, Duggan–Schwartz theorem (unknown)
History
- 2026-11-02: add by m2/dev
Total degree SZEBZX2CJP
| URI | m2://inv/SZEBZX2CJP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Degree of a polynomial#I8KG, Total degree (unknown)
History
- 2026-11-02: add by m2/dev
SZEC0XKWWD SZEC0XKWWD
| URI | m2://inv/SZEC0XKWWD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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.03612#J304 (definition). In REDG6QVHM3/e1, definition 2.5
History
- 2026-10-29: add by m2/v0.4.12
Toric real Nullstellensatz SZEF0G9E59
| URI | m2://inv/SZEF0G9E59 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33313#TICM, Toric real Nullstellensatz (statement). In HRCEFY172P/e1, proposition 2.10
History
- 2026-10-30: add by m2/v0.4.12
Balinski's theorem SZEKHFKSHA
| URI | m2://inv/SZEKHFKSHA |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q32182, Balinski's theorem (statement). Also Wikidata Q32182
- thousand_plus: thousand_plus Q32182, Balinski's theorem (statement). Also Wikidata Q32182, Wikipedia Balinski's theorem
- wikipedia: Wikipedia Balinski's theorem, Balinski's theorem (statement). Also Wikidata Q32182
History
- 2026-10-26: add by m2/dev
Fan Li SZEV2MWSBQ
| URI | m2://inv/SZEV2MWSBQ |
|---|---|
| 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#T63N, Fan Li (topic)
History
- 2026-11-02: add by m2/dev
$n=2$, all $p$ SZEWRR36Z2
| URI | m2://inv/SZEWRR36Z2 |
|---|---|
| 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.09298#OH2H, $n=2$, all $p$ (statement). In 1SPQ4J3AWY/e1, proposition 6.4
History
- 2026-10-29: add by m2/v0.4.10
semiperimeter SZEYMDZXG1
| URI | m2://inv/SZEYMDZXG1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3749881, semiperimeter (unknown). Also MathWorld Semiperimeter
- wikipedia: Wikipedia Semiperimeter, Semiperimeter (definition). Also Wikidata Q3749881
History
- 2026-10-26: add by m2/dev
Stability with a target-tail error SZF17MMBKJ
| URI | m2://inv/SZF17MMBKJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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.09640#R51W, Stability with a target-tail error (statement). In E9T3B4RVW4/e1, proposition 12
History
- 2026-10-29: add by m2/v0.4.10
Playfair's axiom SZF1WSX9GR
| URI | m2://inv/SZF1WSX9GR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Playfair's axiom PR7Q3QMEHZ |
Mentions
- wikidata: Wikidata Q3915714, Playfair's axiom (statement). Also MathWorld PlayfairsAxiom, ProofWiki Axiom:Playfair's_Axiom
- wikipedia: Wikipedia Playfair's axiom, Playfair's axiom (statement). Also Wikidata Q3915714
History
- 2026-10-26: add by m2/dev
SZFAT1DJE8 SZFAT1DJE8
| URI | m2://inv/SZFAT1DJE8 |
|---|---|
| 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.12169#INS6 (statement). In 645GF9SFWM/e1, lemma 29
History
- 2026-10-28: add by m2/v0.4.2
Guy David SZFF2EAGYE
| URI | m2://inv/SZFF2EAGYE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Guy David (mathematician), Guy David (topic). Also Wikidata Q15454735
History
- 2026-11-02: add by m2/dev
SZFS9W9AXJ SZFS9W9AXJ
| URI | m2://inv/SZFS9W9AXJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-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.09678#8WJ7 (statement). In 9VG7PNZHZT/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
SZFWFC8GG9 SZFWFC8GG9
| URI | m2://inv/SZFWFC8GG9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2609.26479#BIPH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition SZFWQCS35S
| URI | m2://inv/SZFWQCS35S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second-order arithmetic#XP2N, Definition (definition)
History
- 2026-11-02: add by m2/dev
SZFWZGYBKP SZFWZGYBKP
| URI | m2://inv/SZFWZGYBKP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.17060#1FYO (definition). In 5KR3MHYVV6/e1, definition 2.0
History
- 2026-10-28: add by m2/v0.4.2
Applications SZG1QXNBSQ
| URI | m2://inv/SZG1QXNBSQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haken manifold#3UIM, Applications (example)
History
- 2026-11-02: add by m2/dev
Positivity alone does not give branchwise refinement SZG608TYXH
| URI | m2://inv/SZG608TYXH |
|---|---|
| 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.32078#AXTA, Positivity alone does not give branchwise refinement (statement). In 5PN85N6EJF/e1, proposition 9.3
History
- 2026-10-31: add by m2/v0.5.6
List of mathematicians who did research in prison SZG78YWS14
| URI | m2://inv/SZG78YWS14 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians who did research in prison, List of mathematicians who did research in prison (topic). Also Wikidata Q141273904
History
- 2026-11-02: add by m2/dev
SZGA9WRSRT SZGA9WRSRT
| URI | m2://inv/SZGA9WRSRT |
|---|---|
| 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 2609.29878#XNQZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
*{Theorem 1.3 SZGEA3ZY51
| URI | m2://inv/SZGEA3ZY51 |
|---|---|
| Kind | statement |
| 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.21945#9AU5, *{Theorem 1.3 (statement). In 371P9QASSJ/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.4.2
Three cups problem SZGHTNDQ4S
| URI | m2://inv/SZGHTNDQ4S |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Three cups problem, Three cups problem (problem). Also Wikidata Q7797948
History
- 2026-11-02: add by m2/dev
Wavelet transform SZGKBHP0Y9
| URI | m2://inv/SZGKBHP0Y9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms#HMY3, Wavelet transform (definition)
History
- 2026-11-02: add by m2/dev
Diagnostic odds ratio SZGM70D9PV
| URI | m2://inv/SZGM70D9PV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diagnostic odds ratio, Diagnostic odds ratio (definition). Also Wikidata Q5270351
History
- 2026-11-02: add by m2/dev
Lorentzian Gromov--Hausdorff distance SZGS4JBTRS
| URI | m2://inv/SZGS4JBTRS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-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.10051#FXCA, Lorentzian Gromov--Hausdorff distance (definition). In VCHH2AC34R/e1, definition 2.8
History
- 2026-10-29: add by m2/v0.4.10
SZGTXNPKWA SZGTXNPKWA
| URI | m2://inv/SZGTXNPKWA |
|---|---|
| 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 1806.00752#U52S (definition). In GGW2N4JHXM/e1, definition 6
History
- 2026-10-27: add by m2/v0.3.5
Nullcline SZH2KNGNGP
| URI | m2://inv/SZH2KNGNGP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nullcline, Nullcline (definition). Also Wikidata Q13905721
History
- 2026-11-02: add by m2/dev
SZH3BVM39S SZH3BVM39S
| URI | m2://inv/SZH3BVM39S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise:samediffconst (exercise). In E59CDZA4DP, exercise, section 3.2.6
History
- 2026-11-01: add by m2/v0.6.13
SZH4G4JA3D SZH4G4JA3D
| URI | m2://inv/SZH4G4JA3D |
|---|---|
| Kind | example |
| 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.01915#AE55 (example). In 6HJQXZS0A6/e1, example 2.2
History
- 2026-10-29: add by m2/v0.4.12
Examples SZH6DFKXYV
| URI | m2://inv/SZH6DFKXYV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divergence (statistics)#JZB7, Examples (example)
History
- 2026-11-02: add by m2/dev
Alexander Furman SZH9DASBZ1
| URI | m2://inv/SZH9DASBZ1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Furman, Alexander Furman (topic). Also Wikidata Q85740645
History
- 2026-11-02: add by m2/dev
SZHDGDWC9S SZHDGDWC9S
| URI | m2://inv/SZHDGDWC9S |
|---|---|
| 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.04809#ACSF (statement). In 2VHV0RNTNV/e1, proposition 8.5
History
- 2026-10-29: add by m2/v0.4.12
Fubini for sums SZHF6GDQYJ
| URI | m2://inv/SZHF6GDQYJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/10.6.6/fubini-for-sums, Fubini for sums (concept). In E59CDZA4DP, index, section 10.6.6
History
- 2026-11-01: add by m2/v0.6.13
Convolution with the heavier tail SZHG6ZYAFB
| URI | m2://inv/SZHG6ZYAFB |
|---|---|
| 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.27335#LT2C, Convolution with the heavier tail (statement)
History
- 2026-11-01: add by m2/v0.6.15
William Bourne SZHJKZ0AXE
| URI | m2://inv/SZHJKZ0AXE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Bourne (mathematician), William Bourne (topic). Also Wikidata Q3568450
History
- 2026-11-02: add by m2/dev
SZHJQPRFTZ SZHJQPRFTZ
| URI | m2://inv/SZHJQPRFTZ |
|---|---|
| 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.39269#HQFI (statement). In HS4X20TX33/e1, theorem 0.43
History
- 2026-10-30: add by m2/v0.4.12
Michael Roberts SZHJW5EPQT
| URI | m2://inv/SZHJW5EPQT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Roberts (mathematician), Michael Roberts (topic). Also Wikidata Q18783874
History
- 2026-11-02: add by m2/dev
SZHPW2V03X SZHPW2V03X
| URI | m2://inv/SZHPW2V03X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.27931#PQ83 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications SZHXA7HMD2
| URI | m2://inv/SZHXA7HMD2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walsh function#WBOO, Applications (example)
History
- 2026-11-02: add by m2/dev
Non-differentiability of supremal functionals SZHXSJAQD4
| URI | m2://inv/SZHXSJAQD4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 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.27918#89OF, Non-differentiability of supremal functionals (example)
History
- 2026-11-01: add by m2/v0.6.15
Pasting theorem for Gray-category SZJ2S4V3VZ
| URI | m2://inv/SZJ2S4V3VZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pasting theorem#2OEQ, Pasting theorem for Gray-category (statement)
History
- 2026-11-02: add by m2/dev
Feld-Tai lemma SZJ3SCF1H5
| URI | m2://inv/SZJ3SCF1H5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reciprocity (electromagnetism)#7LGU, Feld-Tai lemma (unknown)
History
- 2026-11-02: add by m2/dev
randomized block design SZJ60YR1XR
| URI | m2://inv/SZJ60YR1XR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#DO9Y, randomized block design (definition)
History
- 2026-11-02: add by m2/dev
SZJCP3APPP SZJCP3APPP
| URI | m2://inv/SZJCP3APPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#defn-3 (definition). In N54F33XE07, defn, section 6.4
History
- 2026-11-01: add by m2/v0.6.13
Cynthia Huffman SZJD3BXCQN
| URI | m2://inv/SZJD3BXCQN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cynthia Huffman, Cynthia Huffman (topic). Also Wikidata Q102158701
History
- 2026-11-02: add by m2/dev
Isaac Jacob Schoenberg SZJH8CBWH7
| URI | m2://inv/SZJH8CBWH7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q537974, Isaac Jacob Schoenberg (unknown). Also ProofWiki Mathematician:Isaac_Jacob_Schoenberg
- wikipedia: Wikipedia Isaac Jacob Schoenberg, Isaac Jacob Schoenberg (topic). Also Wikidata Q537974
History
- 2026-10-26: add by m2/dev
algebra extension SZJH8J842Y
| URI | m2://inv/SZJH8J842Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1166643, algebra extension (unknown). Also MathWorld ExtensionRing, MathWorld RingExtension, nLab ring extension
- wikipedia: Wikipedia Algebra extension, Algebra extension (definition). Also Wikidata Q1166643
History
- 2026-10-26: add by m2/dev
SZJMFWGXA9 SZJMFWGXA9
| URI | m2://inv/SZJMFWGXA9 |
|---|---|
| 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 2505.04063#MIPQ (statement). In TFH7T63DX9/e1, lemma S.13
History
- 2026-10-27: add by m2/v0.3.5
SZJSV3DSZ4 SZJSV3DSZ4
| URI | m2://inv/SZJSV3DSZ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.07240#0ACV (statement). In D0F1GK5AHW/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
SZK0CNKR4K SZK0CNKR4K
| URI | m2://inv/SZK0CNKR4K |
|---|---|
| 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.08193#VLR6 (statement). In 8XAKGH8S2D/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
The exceptional-zero case SZKW3E6R59
| URI | m2://inv/SZKW3E6R59 |
|---|---|
| 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.24051#QIVU, The exceptional-zero case (statement)
History
- 2026-11-02: add by m2/v0.6.17
Brooke Benjamin SZKWHMC7T0
| URI | m2://inv/SZKWHMC7T0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brooke Benjamin, Brooke Benjamin (topic). Also Wikidata Q3524949
History
- 2026-11-02: add by m2/dev
Examples SZKYHWDM2R
| URI | m2://inv/SZKYHWDM2R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Residual intersection#FT7P, Examples (example)
History
- 2026-11-02: add by m2/dev
SZM3FYJX12 SZM3FYJX12
| URI | m2://inv/SZM3FYJX12 |
|---|---|
| Kind | definition |
| 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.21534#N8K3 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Lipschitz continuity of $\log \det$ SZMC7WEFRK
| URI | m2://inv/SZMC7WEFRK |
|---|---|
| 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.12271#W2CN, Lipschitz continuity of $\log \det$ (statement). In WGCET6KSQ7/e1, lemma 40
History
- 2026-10-27: add by m2/v0.3.6
informal SZMVB3ZCJ1
| URI | m2://inv/SZMVB3ZCJ1 |
|---|---|
| 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#ZF3F, informal (statement). In Q6GGQ29TRC/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Limiting acceptance probability SZMX9GQWT6
| URI | m2://inv/SZMX9GQWT6 |
|---|---|
| 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.17946#YYER, Limiting acceptance probability (statement). In A7HTYWJNCX/e1, corollary 1
History
- 2026-10-28: add by m2/v0.4.2
SZMXXRDRTE SZMXXRDRTE
| URI | m2://inv/SZMXXRDRTE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/fourier.tex#corollary-2 (statement). In RZP28ERRZV, corollary, section 59.5
History
- 2026-11-01: add by m2/v0.6.13
Method of moving frames SZN2NHAAYA
| URI | m2://inv/SZN2NHAAYA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics-based methods#HPZX, Method of moving frames (definition)
History
- 2026-11-02: add by m2/dev
History of renormalization group theory SZN7PDNVYZ
| URI | m2://inv/SZN7PDNVYZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Renormalization group#INU4, History of renormalization group theory (unknown)
History
- 2026-11-02: add by m2/dev
Ground axiom SZNA6JJAEG
| URI | m2://inv/SZNA6JJAEG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ground axiom, Ground axiom (statement). Also Wikidata Q5610915
History
- 2026-11-02: add by m2/dev
SZNBW926RV SZNBW926RV
| URI | m2://inv/SZNBW926RV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#thm:hae-hprop (statement). In N54F33XE07, thm, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Projection coordinates and energy SZNJSVX1YA
| URI | m2://inv/SZNJSVX1YA |
|---|---|
| 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 2609.32001#03S6, Projection coordinates and energy (statement). In 5FZGDECW2R/e1, lemma 2.3
History
- 2026-10-31: add by m2/v0.5.6
JMA (cipher) SZNN8AJ0P2
| URI | m2://inv/SZNN8AJ0P2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magic (cryptography)#JDZL, JMA (cipher) (unknown)
History
- 2026-11-02: add by m2/dev
List of fields of application of statistics SZNNWKVARG
| URI | m2://inv/SZNNWKVARG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of statistics topics#M33V, List of fields of application of statistics (topic)
History
- 2026-11-02: add by m2/dev
Shielded witness SZNRM5RP2J
| URI | m2://inv/SZNRM5RP2J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02219#YYXE, Shielded witness (statement). In 8XMASJX0GZ/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.12
Definitions SZNRVJ3ZY0
| URI | m2://inv/SZNRVJ3ZY0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Localized Chern class#UGYW, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Ferdinand von Lindemann SZNTPS1A2K
| URI | m2://inv/SZNTPS1A2K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#PBVQ, Ferdinand von Lindemann (topic)
History
- 2026-11-02: add by m2/dev
SZNVBN0ZKQ SZNVBN0ZKQ
| URI | m2://inv/SZNVBN0ZKQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12489#84A3 (statement). In FDWFVD08SE/e1, lemma 4.8
History
- 2026-10-28: add by m2/v0.4.2
SZNVD2ZVYN SZNVD2ZVYN
| URI | m2://inv/SZNVD2ZVYN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08480#NL74 (statement). In R4EEE89C3S/e1, theorem 4.6
History
- 2026-10-29: add by m2/v0.4.10
SZNWC8AY69 SZNWC8AY69
| URI | m2://inv/SZNWC8AY69 |
|---|---|
| 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#O03T (statement). In XJWQ6Y83F8/e1, theorem 4.6
History
- 2026-10-28: add by m2/v0.4.2
Examples SZNX8S241K
| URI | m2://inv/SZNX8S241K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N-of-1 trial#V2K1, Examples (example)
History
- 2026-11-02: add by m2/dev
strict implication SZP6AS522Y
| URI | m2://inv/SZP6AS522Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#U9RQ, strict implication (definition)
History
- 2026-11-02: add by m2/dev
Elza Furtado Gomide SZPD4Z5JDQ
| URI | m2://inv/SZPD4Z5JDQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elza Furtado Gomide, Elza Furtado Gomide (topic). Also Wikidata Q23892630
History
- 2026-11-02: add by m2/dev
SAA backward passes, true-law forward passes SZPDJ4WK9D
| URI | m2://inv/SZPDJ4WK9D |
|---|---|
| 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#D5UW, SAA backward passes, true-law forward passes (statement). In F14A5HX20Q/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
SZPFFG45V0 SZPFFG45V0
| URI | m2://inv/SZPFFG45V0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25289#OBGO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Friedgut–Kalai–Naor theorem SZPGZGSDF4
| URI | m2://inv/SZPGZGSDF4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analysis of Boolean functions#Z4DM, Friedgut–Kalai–Naor theorem (statement)
History
- 2026-11-02: add by m2/dev
SZPK2WJHC0 SZPK2WJHC0
| URI | m2://inv/SZPK2WJHC0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 26-XX, 35-XX, 37-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.00585#2DUL (statement). In 332PQD90SW/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
SZPNTGPRBC SZPNTGPRBC
| URI | m2://inv/SZPNTGPRBC |
|---|---|
| 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 2410.22607#1ZY6 (statement). In 6GT33A43SY/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
Models of syntactic ambiguity SZPQH1ADBF
| URI | m2://inv/SZPQH1ADBF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Syntactic ambiguity#C2SR, Models of syntactic ambiguity (unknown)
History
- 2026-11-02: add by m2/dev
SZQAJCPFZ9 SZQAJCPFZ9
| URI | m2://inv/SZQAJCPFZ9 |
|---|---|
| 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.12295#H9O7 (statement). In 6DZPR52HRP/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
Polynomial expression SZQGE76Z7K
| URI | m2://inv/SZQGE76Z7K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial ring#DHXW, Polynomial expression (unknown)
History
- 2026-11-02: add by m2/dev
Special cases SZQKNPAFVH
| URI | m2://inv/SZQKNPAFVH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elasticity tensor#BLC8, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Cumulative accuracy profile SZQPX3KJEP
| URI | m2://inv/SZQPX3KJEP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cumulative accuracy profile, Cumulative accuracy profile (definition). Also Wikidata Q48996700
History
- 2026-11-02: add by m2/dev
SZQYFB83AH SZQYFB83AH
| URI | m2://inv/SZQYFB83AH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.18390#5XZS (example). In A1E8BB0QHC/e1, example 3.4
History
- 2026-10-27: add by m2/v0.3.5
SZR2NA1ZJ0 SZR2NA1ZJ0
| URI | m2://inv/SZR2NA1ZJ0 |
|---|---|
| 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 2409.20170#AO4Z (statement). In QXJP79APHN/e1, proposition 3.12
History
- 2026-10-27: add by m2/v0.3.5
SZR799HHBH SZR799HHBH
| URI | m2://inv/SZR799HHBH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-22 (exercise). In VNMV985MXX, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
Enriques surface SZRCKTTRNR
| URI | m2://inv/SZRCKTTRNR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#5SK8, Enriques surface (definition)
- wikipedia: Wikipedia List of manifolds#AWN5, Enriques surface (definition)
History
- 2026-11-02: add by m2/dev
Gap-Hamming problem SZRGCMJNK0
| URI | m2://inv/SZRGCMJNK0 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gap-Hamming problem, Gap-Hamming problem (problem). Also Wikidata Q65045178
History
- 2026-11-02: add by m2/dev
Francesco Lana de Terzi SZRMT28F67
| URI | m2://inv/SZRMT28F67 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#9WUV, Francesco Lana de Terzi (unknown)
History
- 2026-11-02: add by m2/dev
SZRTHBF0KG SZRTHBF0KG
| URI | m2://inv/SZRTHBF0KG |
|---|---|
| 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.20568#E4GB (statement). In BCD0ATARNZ/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.4.2
SZSBWS17KE SZSBWS17KE
| URI | m2://inv/SZSBWS17KE |
|---|---|
| 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.18859#KRZX (statement). In PSH9N14H7V/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
Petr Hájek SZSE90J4P5
| URI | m2://inv/SZSE90J4P5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UQ24, Petr Hájek (unknown)
History
- 2026-11-02: add by m2/dev
SZSMXRN37R SZSMXRN37R
| URI | m2://inv/SZSMXRN37R |
|---|---|
| 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.14217#CJIP (statement). In K0DHYQC5B7/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
SZSSK1YTKW SZSSK1YTKW
| URI | m2://inv/SZSSK1YTKW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.28861#DTIR (statement). In A3VQ2TNRKK/e1, proposition 7.1
History
- 2026-10-27: add by m2/v0.4.0
F-test SZSSR1JRN8
| URI | m2://inv/SZSSR1JRN8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FH8N, F-test (definition)
History
- 2026-11-02: add by m2/dev
SZSWBD23FQ SZSWBD23FQ
| URI | m2://inv/SZSWBD23FQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26762#GHEW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dinitz–Garg–Goemans conjecture SZSXVTZFSC
| URI | m2://inv/SZSXVTZFSC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dinitz–Garg–Goemans conjecture, Dinitz–Garg–Goemans conjecture (statement). Also Wikidata Q140738503
History
- 2026-11-02: add by m2/dev
SZT0AA7Y39 SZT0AA7Y39
| URI | m2://inv/SZT0AA7Y39 |
|---|---|
| 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 2504.04729#Y5HV (statement). In DCDJ82120R/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.6
Similarity invariance of $f_D$ SZT9G6RYC2
| URI | m2://inv/SZT9G6RYC2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04466#HSX5, Similarity invariance of $f_D$ (statement). In EHW82CK883/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.12
Polynomial bounds for truncated inputs SZTATXRGYZ
| URI | m2://inv/SZTATXRGYZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00103#E19I, Polynomial bounds for truncated inputs (statement). In S7RDXJWP1A/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
Radical of a ring SZTE7MKW22
| URI | m2://inv/SZTE7MKW22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radical of a ring, Radical of a ring (definition). Also Wikidata Q7280488
History
- 2026-11-02: add by m2/dev
SZTHX5FKKG SZTHX5FKKG
| URI | m2://inv/SZTHX5FKKG |
|---|---|
| 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.16727#CC6T (statement). In Z5QS3MD8HN/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Kantorovich theorem SZTRPYA4B8
| URI | m2://inv/SZTRPYA4B8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2226698, Kantorovich theorem (statement). Also Wikidata Q2226698
- thousand_plus: thousand_plus Q2226698, Kantorovich theorem (statement). Also Wikidata Q2226698, Wikipedia Kantorovich theorem
- wikipedia: Wikipedia Kantorovich theorem, Kantorovich theorem (statement). Also Wikidata Q2226698
History
- 2026-10-26: add by m2/dev
Complex numbers SZTSEQ8YHW
| URI | m2://inv/SZTSEQ8YHW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#6KAA, Complex numbers (definition)
History
- 2026-11-02: add by m2/dev
SZV018FJFZ SZV018FJFZ
| URI | m2://inv/SZV018FJFZ |
|---|---|
| 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 2609.34011#4R6H (statement). In RAXRNDW2Z0/e1, corollary 4.4
History
- 2026-10-30: add by m2/v0.4.12
SZV4A79MYN SZV4A79MYN
| URI | m2://inv/SZV4A79MYN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04046#RJZO (example). In 3THDT8WNF7/e1, example 4
History
- 2026-10-29: add by m2/v0.4.12
Prefix estimates SZV75K3T1H
| URI | m2://inv/SZV75K3T1H |
|---|---|
| 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.06557#TKV3, Prefix estimates (statement). In VV5CH6Y31D/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
Logical equality SZVC7SMV5P
| URI | m2://inv/SZVC7SMV5P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#2MCX, Logical equality (definition)
History
- 2026-11-02: add by m2/dev
SZVCHVMBPC SZVCHVMBPC
| URI | m2://inv/SZVCHVMBPC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 0903.0651#5APC (statement). In 6R0KH80PTK/e1, proposition 6
History
- 2026-10-27: add by m2/v0.3.5
Packrat parser SZVFTY2VCY
| URI | m2://inv/SZVFTY2VCY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#QQBU, Packrat parser (unknown)
History
- 2026-11-02: add by m2/dev
SZVN2RXT81 SZVN2RXT81
| URI | m2://inv/SZVN2RXT81 |
|---|---|
| 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.01802#V3YI (statement). In XGPZ0G9E1Q/e1, proposition 4.12
History
- 2026-10-29: add by m2/v0.4.12
Probability vector SZVPYHQ2QK
| URI | m2://inv/SZVPYHQ2QK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability vector, Probability vector (definition). Also Wikidata Q879439
History
- 2026-11-02: add by m2/dev
Sphere packing in a cube SZVWAT7RZ8
| URI | m2://inv/SZVWAT7RZ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sphere packing in a cube, Sphere packing in a cube (definition). Also Wikidata Q60788325
History
- 2026-11-02: add by m2/dev
SZW16XGFD1 SZW16XGFD1
| URI | m2://inv/SZW16XGFD1 |
|---|---|
| Kind | definition |
| 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 2204.01073#I7A1 (definition). In W4TYN4PGE8/e1, definition 3.34
History
- 2026-10-27: add by m2/v0.3.5
Logjam SZW1BW7DSM
| URI | m2://inv/SZW1BW7DSM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logjam (computer security), Logjam (definition). Also Wikidata Q19984009
History
- 2026-11-02: add by m2/dev
Tits alternative SZW2S8B5MM
| URI | m2://inv/SZW2S8B5MM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#ADZF, Tits alternative (definition)
History
- 2026-11-02: add by m2/dev
Method SZW5W7C5CV
| URI | m2://inv/SZW5W7C5CV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Autokey cipher#VUBX, Method (definition)
History
- 2026-11-02: add by m2/dev
SZWAY1XZN8 SZWAY1XZN8
| URI | m2://inv/SZWAY1XZN8 |
|---|---|
| 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 2610.18847#SZLH (statement). In DZ12XTTJSM/e1, lemma 2.18
History
- 2026-10-28: add by m2/v0.4.2
Plane-based geometric algebra SZWFZJ91CA
| URI | m2://inv/SZWFZJ91CA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plane-based geometric algebra, Plane-based geometric algebra (definition). Also Wikidata Q122639567
History
- 2026-11-02: add by m2/dev
Deltoid SZWGD0XNC3
| URI | m2://inv/SZWGD0XNC3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#BOAR, Deltoid (definition)
History
- 2026-11-02: add by m2/dev
Cipolla's algorithm SZWHV6QHJ2
| URI | m2://inv/SZWHV6QHJ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cipolla's algorithm, Cipolla's algorithm (definition). Also Wikidata Q5121280
History
- 2026-11-02: add by m2/dev
Ludwig Wittgenstein SZWV6VVX2V
| URI | m2://inv/SZWV6VVX2V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#P1R9, Ludwig Wittgenstein (topic)
History
- 2026-11-02: add by m2/dev
Synchronous correlations SZWVPNQJFS
| URI | m2://inv/SZWVPNQJFS |
|---|---|
| Kind | definition |
| 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 2103.02468#IQ52, Synchronous correlations (definition). In Q7C6G66CWM/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
SZWWSDRKBZ SZWWSDRKBZ
| URI | m2://inv/SZWWSDRKBZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15511#1C1V (definition). In TZM08VJAQT/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Fbsp wavelet SZX7YG450J
| URI | m2://inv/SZX7YG450J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fbsp wavelet, Fbsp wavelet (definition). Also Wikidata Q16980531
History
- 2026-11-02: add by m2/dev
Freyd cover SZXBBDBYAX
| URI | m2://inv/SZXBBDBYAX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25202931, Freyd cover (unknown). Also nLab Freyd cover
- wikipedia: Wikipedia Freyd cover, Freyd cover (definition). Also Wikidata Q25202931
History
- 2026-10-26: add by m2/dev
Nullstellensatz SZXFA65SWE
| URI | m2://inv/SZXFA65SWE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#PSU6, Nullstellensatz (definition)
History
- 2026-11-02: add by m2/dev
SZXJ07ACW1 SZXJ07ACW1
| URI | m2://inv/SZXJ07ACW1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08480#61II (statement). In R4EEE89C3S/e1, corollary 4.11
History
- 2026-10-29: add by m2/v0.4.10
SZXR5N7KV4 SZXR5N7KV4
| URI | m2://inv/SZXR5N7KV4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/pell.tex#definition-1 (definition). In RZP28ERRZV, definition, section 17.2
History
- 2026-11-01: add by m2/v0.6.13
Supported final priors SZXS66G9T9
| URI | m2://inv/SZXS66G9T9 |
|---|---|
| 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.06875#VIFD, Supported final priors (statement). In ZDT5J9KQVQ/e1, lemma F.2
History
- 2026-10-29: add by m2/v0.4.10
Properties SZY17CK8QR
| URI | m2://inv/SZY17CK8QR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transseries#WOEQ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Generalized function SZY5T5WHXD
| URI | m2://inv/SZY5T5WHXD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#OQ81, Generalized function (definition)
History
- 2026-11-02: add by m2/dev
SZY6MZSHMP SZY6MZSHMP
| URI | m2://inv/SZY6MZSHMP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#thm:injsurj (statement). In N54F33XE07, lem, section C.2
History
- 2026-11-01: add by m2/v0.6.13
SZY7SSVYPW SZY7SSVYPW
| URI | m2://inv/SZY7SSVYPW |
|---|---|
| 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#2SMV (statement). In CC6S1HVK0T/e1, theorem 5.10
History
- 2026-10-28: add by m2/v0.4.2
SZYA89V0T2 SZYA89V0T2
| URI | m2://inv/SZYA89V0T2 |
|---|---|
| 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#U7WT (statement)
History
- 2026-11-01: add by m2/v0.6.15
SZYAAPA4RM SZYAAPA4RM
| URI | m2://inv/SZYAAPA4RM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#proof-3 (proof). In RZP28ERRZV, proof, section 62.7
History
- 2026-11-01: add by m2/v0.6.13
Brady West SZYDN84YSR
| URI | m2://inv/SZYDN84YSR |
|---|---|
| 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#LF2W, Brady West (topic)
History
- 2026-11-02: add by m2/dev
Flatness SZYE881VVQ
| URI | m2://inv/SZYE881VVQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flatness (manufacturing), Flatness (definition). Also Wikidata Q17105453
History
- 2026-11-02: add by m2/dev
A restatement of the Riemann hypothesis SZYF04R4J4
| URI | m2://inv/SZYF04R4J4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernoulli number#0FN4, A restatement of the Riemann hypothesis (statement)
History
- 2026-11-02: add by m2/dev
SZYHS6WRDW SZYHS6WRDW
| URI | m2://inv/SZYHS6WRDW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20131#3X61 (definition). In 29D4TTE3J2/e1, definition 5.3
History
- 2026-10-27: add by m2/v0.4.2
Principle of transformation groups SZYN80S2KG
| URI | m2://inv/SZYN80S2KG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principle of transformation groups, Principle of transformation groups (statement). Also Wikidata Q7245170
History
- 2026-11-02: add by m2/dev
Construction SZYR7PHJW7
| URI | m2://inv/SZYR7PHJW7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E8 (mathematics)#DE22, Construction (definition)
History
- 2026-11-02: add by m2/dev
Topological defect SZYSZ5Z1FP
| URI | m2://inv/SZYSZ5Z1FP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topology topics#CUXV, Topological defect (unknown)
History
- 2026-11-02: add by m2/dev
SZYV0X3C9N SZYV0X3C9N
| URI | m2://inv/SZYV0X3C9N |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28507#30QF (problem)
History
- 2026-11-01: add by m2/v0.6.15
SZYXG90T56 SZYXG90T56
| URI | m2://inv/SZYXG90T56 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#liminfty:unique (statement). In E59CDZA4DP, prop, section 2.5.1
History
- 2026-11-01: add by m2/v0.6.13
system of linear equations SZZ4W2JA8H
| URI | m2://inv/SZZ4W2JA8H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#YA9J, system of linear equations (definition)
History
- 2026-11-02: add by m2/dev
Role of axiom of choice SZZCMREQEK
| URI | m2://inv/SZZCMREQEK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aleph number#84BD, Role of axiom of choice (statement)
History
- 2026-11-02: add by m2/dev
Finite-tree $k$-profile SZZMYZQ1EK
| URI | m2://inv/SZZMYZQ1EK |
|---|---|
| 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.21454#01KQ, Finite-tree $k$-profile (statement). In ZP2RJFZ3V2/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
Face SZZPEPV3P0
| URI | m2://inv/SZZPEPV3P0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#9V2C, Face (definition)
History
- 2026-11-02: add by m2/dev
Emily Kathryn Wyant SZZQDT2TMX
| URI | m2://inv/SZZQDT2TMX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emily Kathryn Wyant, Emily Kathryn Wyant (topic). Also Wikidata Q64006395
History
- 2026-11-02: add by m2/dev
SZZQYW2TMR SZZQYW2TMR
| URI | m2://inv/SZZQYW2TMR |
|---|---|
| Kind | example |
| 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.01802#3MXF (example). In XGPZ0G9E1Q/e1, example 3.2
History
- 2026-10-29: add by m2/v0.4.12
SZZRP0DTFR SZZRP0DTFR
| URI | m2://inv/SZZRP0DTFR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_seq-polyfit.ptx#example-2 (example). In Y91XFCEVHQ, example, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
SZZS4XD8EK SZZS4XD8EK
| URI | m2://inv/SZZS4XD8EK |
|---|---|
| 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 2204.01073#5D91 (statement). In W4TYN4PGE8/e1, proposition 3.27
History
- 2026-10-27: add by m2/v0.3.5
Squigonometry SZZTJH2Y7F
| URI | m2://inv/SZZTJH2Y7F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Squigonometry, Squigonometry (topic). Also Wikidata Q130362244
History
- 2026-11-02: add by m2/dev
SZZVZRGHJ6 SZZVZRGHJ6
| URI | m2://inv/SZZVZRGHJ6 |
|---|---|
| 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.27800#AG9D (statement)
History
- 2026-11-01: add by m2/v0.6.15
SZZWSZERAS SZZWSZERAS
| URI | m2://inv/SZZWSZERAS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14838#JAMJ (definition). In J7ZX3WWRQP/e1, definition 2.6
History
- 2026-10-28: add by m2/v0.4.2