Inventory rows BS
The cards of the rows of the inventory whose ids start with BS. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
BS03MD58G5 BS03MD58G5
| URI | m2://inv/BS03MD58G5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-4.xml#prop-linear-indep-bound (statement). In 649HGZKE96, proposition, section 2.4.3
History
- 2026-11-01: add by m2/v0.6.13
BS099P1Z4Q BS099P1Z4Q
| URI | m2://inv/BS099P1Z4Q |
|---|---|
| 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 2610.09561#UKM0 (definition). In WDV5E2CVTR/e1, definition 6.3
History
- 2026-10-29: add by m2/v0.4.10
BS0B5DX4TV BS0B5DX4TV
| URI | m2://inv/BS0B5DX4TV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#NJHY (statement). In M0SQY5EZN5/e1, lemma 2.5.1
History
- 2026-10-27: add by m2/v0.3.5
Applications BS0DK09BF2
| URI | m2://inv/BS0DK09BF2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relaxation oscillator#KTN1, Applications (example)
History
- 2026-11-02: add by m2/dev
BS0GW7W3TG BS0GW7W3TG
| URI | m2://inv/BS0GW7W3TG |
|---|---|
| Kind | definition |
| 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.05391#9O7R (definition). In 9B5TNEBJHV/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.10
Perturbative control of \(\mathcal B_g\ BS0H6FBDBC
| URI | m2://inv/BS0H6FBDBC |
|---|---|
| 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.28014#HS27, Perturbative control of \(\mathcal B_g\ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Every finite logarithmic zero-budget value BS0NFTXX60
| URI | m2://inv/BS0NFTXX60 |
|---|---|
| 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#OAPR, Every finite logarithmic zero-budget value (statement). In 9YAE8FNQST/e1, corollary 28.21
History
- 2026-10-30: add by m2/v0.4.12
Mode-k flattening BS0S5BY9W4
| URI | m2://inv/BS0S5BY9W4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mode-k flattening, Mode-k flattening (definition). Also Wikidata Q30590478
History
- 2026-11-02: add by m2/dev
Charles Frewen Jenkin BS0SZ99EN5
| URI | m2://inv/BS0SZ99EN5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#K651, Charles Frewen Jenkin (unknown)
History
- 2026-11-02: add by m2/dev
quartinvariant BS0ZTX8NEZ
| URI | m2://inv/BS0ZTX8NEZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#QCG1, quartinvariant (definition)
History
- 2026-11-02: add by m2/dev
Mario Miranda BS11G9XKA2
| URI | m2://inv/BS11G9XKA2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QV90, Mario Miranda (unknown)
History
- 2026-11-02: add by m2/dev
Examples BS1487QZDC
| URI | m2://inv/BS1487QZDC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local property#PJCD, Examples (example)
History
- 2026-11-02: add by m2/dev
well pointed BS15NF335X
| URI | m2://inv/BS15NF335X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#656U, well pointed (definition)
History
- 2026-11-02: add by m2/dev
BS16GWVSNH BS16GWVSNH
| URI | m2://inv/BS16GWVSNH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31242#LFBB (statement). In 3NPRR9546C/e1, lemma 2.3
History
- 2026-10-31: add by m2/v0.5.6
BS1A0MV6CW BS1A0MV6CW
| URI | m2://inv/BS1A0MV6CW |
|---|---|
| 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.38844#D0LF (statement). In PX8D91DQCX/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
BS1DPMGJK7 BS1DPMGJK7
| URI | m2://inv/BS1DPMGJK7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-coloring.ptx#exercise-12 (exercise). In Y91XFCEVHQ, exercise, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
BS1EG4TVVN BS1EG4TVVN
| URI | m2://inv/BS1EG4TVVN |
|---|---|
| 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 2610.01596#YSSA (definition). In 40VTEP7WH8/e1, definition 1.1
History
- 2026-10-29: add by m2/v0.4.12
separating set BS1F5Y3W94
| URI | m2://inv/BS1F5Y3W94 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#9KHM, separating set (definition)
History
- 2026-11-02: add by m2/dev
Partition problem BS1K51CQF4
| URI | m2://inv/BS1K51CQF4 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partition problem, Partition problem (problem). Also Wikidata Q1065968
History
- 2026-11-02: add by m2/dev
Definition BS1NB60F9X
| URI | m2://inv/BS1NB60F9X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Manin matrix#3UVJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
BS1Q3AZDYZ BS1Q3AZDYZ
| URI | m2://inv/BS1Q3AZDYZ |
|---|---|
| Kind | statement |
| 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.36204#FH4I (statement). In ZEHQDJTEDG/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
BS1QYAE9J7 BS1QYAE9J7
| URI | m2://inv/BS1QYAE9J7 |
|---|---|
| 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.12483#2D8Q (statement). In 159250CY6S/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.2
saturated set BS1XQKNHMB
| URI | m2://inv/BS1XQKNHMB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q135207726, saturated set (unknown). Also nLab saturated set
- wikipedia: Wikipedia Saturated set (intersection of open sets), Saturated set (definition). Also Wikidata Q135207726
History
- 2026-10-26: add by m2/dev
Dual basis in a field extension BS208DNRN2
| URI | m2://inv/BS208DNRN2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual basis in a field extension, Dual basis in a field extension (definition). Also Wikidata Q5310185
History
- 2026-11-02: add by m2/dev
Generalizations BS21983H4K
| URI | m2://inv/BS21983H4K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polygon#8FWK, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
hypergeometric distribution BS21MYSTV1
| URI | m2://inv/BS21MYSTV1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Hypergeometric distribution 0SPBPW3K61 |
Mentions
- wikidata: Wikidata Q730600, hypergeometric distribution (unknown). Also MathWorld HypergeometricDistribution
- wikipedia: Wikipedia Hypergeometric distribution, Hypergeometric distribution (definition). Also Wikidata Q730600
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
BS254MMCPA BS254MMCPA
| URI | m2://inv/BS254MMCPA |
|---|---|
| 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 2312.14319#554Q (statement). In V0S2EZ53GB/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
Construction BS27AWGEF9
| URI | m2://inv/BS27AWGEF9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geodesic polyhedron#7A1K, Construction (definition)
History
- 2026-11-02: add by m2/dev
BS2AK6CJAR BS2AK6CJAR
| URI | m2://inv/BS2AK6CJAR |
|---|---|
| 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#2PPS (statement). In QX77AN49J0/e1, lemma 5.8
History
- 2026-10-27: add by m2/v0.4.2
BS2EQHF7QB BS2EQHF7QB
| URI | m2://inv/BS2EQHF7QB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.20207#9UQ3 (statement). In 1MPH7GCFJ2/e1, corollary 6.8
History
- 2026-10-27: add by m2/v0.4.2
BS2QQMKGRB BS2QQMKGRB
| URI | m2://inv/BS2QQMKGRB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#6CRH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rituals of the Hexagram BS2S2HQHKR
| URI | m2://inv/BS2S2HQHKR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexagram#A6TQ, Rituals of the Hexagram (unknown)
History
- 2026-11-02: add by m2/dev
BS2Y7S979X BS2Y7S979X
| URI | m2://inv/BS2Y7S979X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23237#S4LA (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definitions BS30PWGS32
| URI | m2://inv/BS30PWGS32 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia TC0#ABZB, Definitions (definition)
History
- 2026-11-02: add by m2/dev
BS32T2ECG9 BS32T2ECG9
| URI | m2://inv/BS32T2ECG9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08226#49KH (statement). In V6EPE8XHAD/e1, proposition A.7
History
- 2026-10-29: add by m2/v0.4.10
A more informal version of Pasch's axiom BS33EBHP7T
| URI | m2://inv/BS33EBHP7T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pasch's axiom#UB2G, A more informal version of Pasch's axiom (statement)
History
- 2026-11-02: add by m2/dev
Large $\delta$ regime BS38EK3MS7
| URI | m2://inv/BS38EK3MS7 |
|---|---|
| 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.39449#AD6L, Large $\delta$ regime (statement). In GWC70X14RG/e1, theorem 4
History
- 2026-10-30: add by m2/v0.4.12
BS39043RBA BS39043RBA
| URI | m2://inv/BS39043RBA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30203#LD4T (statement)
History
- 2026-11-01: add by m2/v0.6.15
Vinita Gupta BS39E2ZE1N
| URI | m2://inv/BS39E2ZE1N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#QY8M, Vinita Gupta (unknown)
History
- 2026-11-02: add by m2/dev
B-admissible representation BS3J3BGD8A
| URI | m2://inv/BS3J3BGD8A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia B-admissible representation, B-admissible representation (definition). Also Wikidata Q4833714
History
- 2026-11-02: add by m2/dev
Brownian dynamics BS3JC6Q060
| URI | m2://inv/BS3JC6Q060 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brownian dynamics, Brownian dynamics (definition). Also Wikidata Q4976526
History
- 2026-11-02: add by m2/dev
BS3NAXQX7B BS3NAXQX7B
| URI | m2://inv/BS3NAXQX7B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12736#M842 (statement). In 5350Q52F6P/e1, corollary
History
- 2026-10-28: add by m2/v0.4.2
VEGAS algorithm BS43A90JA3
| URI | m2://inv/BS43A90JA3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LH1V, VEGAS algorithm (definition)
History
- 2026-11-02: add by m2/dev
BS46K8EMY7 BS46K8EMY7
| URI | m2://inv/BS46K8EMY7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.21013#6NCD (statement)
History
- 2026-11-02: add by m2/v0.6.18
ångström BS4G431EMN
| URI | m2://inv/BS4G431EMN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q81454, ångström (definition). Also ProofWiki Definition:Metric_System/Length/Angstrom
History
- 2026-10-26: add by m2/dev
Vittorio Fossombroni BS4M0QPYR2
| URI | m2://inv/BS4M0QPYR2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#HDJB, Vittorio Fossombroni (topic)
- wikipedia: Wikipedia List of Italian mathematicians#VA26, Vittorio Fossombroni (topic)
History
- 2026-11-02: add by m2/dev
BS4RMAVKFP BS4RMAVKFP
| URI | m2://inv/BS4RMAVKFP |
|---|---|
| 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 2609.34011#LLPK (definition). In RAXRNDW2Z0/e1, definition 2.4
History
- 2026-10-30: add by m2/v0.4.12
Regular plane BS576E0SZE
| URI | m2://inv/BS576E0SZE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08664#6RAS, Regular plane (definition). In 1YY0P4ZS0T/e1, definition 13
History
- 2026-10-29: add by m2/v0.4.10
Outline of linear algebra BS581KVDG5
| URI | m2://inv/BS581KVDG5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outline of linear algebra, Outline of linear algebra (topic). Also Wikidata Q6625464
History
- 2026-11-02: add by m2/dev
Canonical involution of a double cover BS59SSQFXS
| URI | m2://inv/BS59SSQFXS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38013#4BDE, Canonical involution of a double cover (statement). In DQ6P0P6N78/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
BS5HWW8HV9 BS5HWW8HV9
| URI | m2://inv/BS5HWW8HV9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#PDG0 (statement). In F3BKXXPR3K/e1, lemma 3.35
History
- 2026-10-27: add by m2/v0.4.2
BS5QHFFD4B BS5QHFFD4B
| URI | m2://inv/BS5QHFFD4B |
|---|---|
| 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#E4HC (statement). In 6GT33A43SY/e1, lemma 1.5
History
- 2026-10-27: add by m2/v0.3.5
Myhill isomorphism theorem BS5V43S3TP
| URI | m2://inv/BS5V43S3TP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Myhill isomorphism theorem, Myhill isomorphism theorem (statement). Also Wikidata Q17125318
History
- 2026-11-02: add by m2/dev
BS613ANJV0 BS613ANJV0
| URI | m2://inv/BS613ANJV0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20758#1ABR (definition). In PG0B4PH9YH/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.2
BS61GDQHGN BS61GDQHGN
| URI | m2://inv/BS61GDQHGN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 49-XX, 51-XX, 52-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 1904.08413#TEN3 (example). In X88HPQ0W8C/e1, example 2.26
History
- 2026-10-27: add by m2/v0.3.5
BS63YYJP36 BS63YYJP36
| URI | m2://inv/BS63YYJP36 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 19-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 2211.10178#FCYE (statement). In 8T90H89HNB/e1, corollary 4.1
History
- 2026-10-27: add by m2/v0.3.5
Characterizations BS6BK5J7JX
| URI | m2://inv/BS6BK5J7JX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extreme point#H84E, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
Classical and modern physics BS6FSAS9E1
| URI | m2://inv/BS6FSAS9E1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Physics#6PMI, Classical and modern physics (unknown)
History
- 2026-11-02: add by m2/dev
P. Jordan BS6MD2KFRE
| URI | m2://inv/BS6MD2KFRE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific publications by John von Neumann#UDTZ, P. Jordan (unknown)
History
- 2026-11-02: add by m2/dev
The $\mathbf{x}$- and $\mathbf{z}$-traces BS6S9C3RCR
| URI | m2://inv/BS6S9C3RCR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12326#NON2, The $\mathbf{x}$- and $\mathbf{z}$-traces (statement). In 9S7HGSEX6Q/e1, proposition 6.4
History
- 2026-10-28: add by m2/v0.4.2
Uses BS6TZ0W934
| URI | m2://inv/BS6TZ0W934 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schröder number#ZN3O, Uses (example)
History
- 2026-11-02: add by m2/dev
Mean operation BS70Z58AY8
| URI | m2://inv/BS70Z58AY8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean operation, Mean operation (definition). Also Wikidata Q25099523
History
- 2026-11-02: add by m2/dev
BS77PGEZCC BS77PGEZCC
| URI | m2://inv/BS77PGEZCC |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/application-fixed-point.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Elizabeth Cuthill BS79CQ1RR0
| URI | m2://inv/BS79CQ1RR0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elizabeth Cuthill, Elizabeth Cuthill (topic). Also Wikidata Q102173657
History
- 2026-11-02: add by m2/dev
Hensel BS7AGTZ3KN
| URI | m2://inv/BS7AGTZ3KN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#13BQ, Hensel (definition)
History
- 2026-11-02: add by m2/dev
BS7PXW7NYP BS7PXW7NYP
| URI | m2://inv/BS7PXW7NYP |
|---|---|
| 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.19535#P5SC (statement). In MJXSE9QR4X/e1, lemma A.2
History
- 2026-10-28: add by m2/v0.4.2
BS7T9VZ7DW BS7T9VZ7DW
| URI | m2://inv/BS7T9VZ7DW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-arithgeom.ptx#exercise-2 (exercise). In Y91XFCEVHQ, exercise, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
BS7W37HBRV BS7W37HBRV
| URI | m2://inv/BS7W37HBRV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32090#I0P0 (statement). In HJWWFBA63D/e1, theorem 4.2
History
- 2026-10-31: add by m2/v0.5.6
BS84E8S9X2 BS84E8S9X2
| URI | m2://inv/BS84E8S9X2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/arithmetization-syntax/proofs-in-lk.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 27.6
History
- 2026-11-01: add by m2/v0.6.13
Allard's monotonicity formula BS85A6H4MJ
| URI | m2://inv/BS85A6H4MJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24451#FEYT, Allard's monotonicity formula (statement)
History
- 2026-11-01: add by m2/v0.6.15
Vitali set BS8691F9AD
| URI | m2://inv/BS8691F9AD |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 28-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q257387, Vitali theorem (statement). Also Wikidata Q257387
- thousand_plus: thousand_plus Q257387, Vitali theorem (statement). Also Wikidata Q257387, Wikipedia Vitali set
- wikipedia: Wikipedia Vitali set, Vitali set (definition). Also Wikidata Q257387
History
- 2026-10-26: add by m2/dev
Kendall tau distance BS86BCR6TD
| URI | m2://inv/BS86BCR6TD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kendall tau distance, Kendall tau distance (definition). Also Wikidata Q6388954
History
- 2026-11-02: add by m2/dev
BS89DZ8HRD BS89DZ8HRD
| URI | m2://inv/BS89DZ8HRD |
|---|---|
| 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.04411#GZY8 (statement). In 6AY8SX3XBW/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
Skellam distribution BS8E0N7TNB
| URI | m2://inv/BS8E0N7TNB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skellam distribution, Skellam distribution (definition). Also Wikidata Q2519970
History
- 2026-11-02: add by m2/dev
BS8GMMJ0HC BS8GMMJ0HC
| URI | m2://inv/BS8GMMJ0HC |
|---|---|
| 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.09506#2EAI (statement). In AQC7E6RAT4/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
Cauchy–Riemann equations BS8GV2FKTJ
| URI | m2://inv/BS8GV2FKTJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#IHSW, Cauchy–Riemann equations (definition)
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#TZOD, Cauchy–Riemann equations (definition)
- wikipedia: Wikipedia List of complex analysis topics#54HV, Cauchy–Riemann equations (definition)
- wikipedia: Wikipedia List of named differential equations#X54G, Cauchy–Riemann equations (definition)
History
- 2026-11-02: add by m2/dev
BS8HH099EP BS8HH099EP
| URI | m2://inv/BS8HH099EP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37893#45MX (statement). In 8H0KHK7AMN/e1, proposition 3.3
History
- 2026-10-30: add by m2/v0.4.12
Examples BS8HNG1YR4
| URI | m2://inv/BS8HNG1YR4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theoretical definition#37YY, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples BS8HSR5ZNH
| URI | m2://inv/BS8HSR5ZNH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete homogeneous symmetric polynomial#C5RH, Examples (example)
History
- 2026-11-02: add by m2/dev
Symmetry BS8MX81AB8
| URI | m2://inv/BS8MX81AB8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-6 hexagonal tiling#8UCK, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Low poly BS8P30V715
| URI | m2://inv/BS8P30V715 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#Y1PT, Low poly (unknown)
History
- 2026-11-02: add by m2/dev
BS8PN5WF3D BS8PN5WF3D
| URI | m2://inv/BS8PN5WF3D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08426#E3BZ (statement). In YG2DPMNZ1N/e1, corollary 3.8
History
- 2026-10-29: add by m2/v0.4.10
BS8YC8P4R1 BS8YC8P4R1
| URI | m2://inv/BS8YC8P4R1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.02672#S2TB (definition). In ETRT1R1CQ8/e1, definition 1.7
History
- 2026-10-27: add by m2/v0.4.0
A. Kurosh BS9AMGMNKQ
| URI | m2://inv/BS9AMGMNKQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#AF52, A. Kurosh (unknown)
History
- 2026-11-02: add by m2/dev
Montgomery reduction BS9DYRBJP8
| URI | m2://inv/BS9DYRBJP8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#5KP7, Montgomery reduction (definition)
History
- 2026-11-02: add by m2/dev
BS9TYW47C5 BS9TYW47C5
| URI | m2://inv/BS9TYW47C5 |
|---|---|
| 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.13753#82XF (statement). In AHM0PBKZZN/e1, corollary 1.2
History
- 2026-10-28: add by m2/v0.4.2
Automatic local convergence with adaptation BS9YSQRZG6
| URI | m2://inv/BS9YSQRZG6 |
|---|---|
| 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#GUDQ, Automatic local convergence with adaptation (statement). In VV5CH6Y31D/e1, proposition B.4
History
- 2026-10-29: add by m2/v0.4.10
meet BS9ZGDNGR6
| URI | m2://inv/BS9ZGDNGR6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#7QE3, meet (definition)
History
- 2026-11-02: add by m2/dev
BSA05FN8XP BSA05FN8XP
| URI | m2://inv/BSA05FN8XP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.19854#KPXB (definition). In D50WST4CG3/e1, definition 4.2
History
- 2026-10-28: add by m2/v0.4.2
hyperedge BSA0ZTPTRC
| URI | m2://inv/BSA0ZTPTRC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5898254, hyperedge (unknown). Also MathWorld Hyperedge
History
- 2026-10-26: add by m2/dev
hedgehog BSA5KW1TKJ
| URI | m2://inv/BSA5KW1TKJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#6SO9, hedgehog (unknown)
History
- 2026-11-02: add by m2/dev
Profile characterization BSA66YCE5X
| URI | m2://inv/BSA66YCE5X |
|---|---|
| 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.40252#NOTW, Profile characterization (statement). In 7MVPNFPRKB/e1, theorem 10.11
History
- 2026-10-30: add by m2/v0.4.12
BSA86MR6B8 BSA86MR6B8
| URI | m2://inv/BSA86MR6B8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#DRS5 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Margin of error BSAF53YP1C
| URI | m2://inv/BSAF53YP1C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5AS4, Margin of error (definition)
History
- 2026-11-02: add by m2/dev
BSAV2FFC21 BSAV2FFC21
| URI | m2://inv/BSAV2FFC21 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20178#JO72 (statement). In Z53NCTCEXE/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Bin packing problem BSAVAR8CW1
| URI | m2://inv/BSAVAR8CW1 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#RJ0D, Bin packing problem (problem)
History
- 2026-11-02: add by m2/dev
BSAX2YQ4J6 BSAX2YQ4J6
| URI | m2://inv/BSAX2YQ4J6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01433#FB5M (definition). In 160PQ7F1AS/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.12
Definitions BSBKJ2HQVG
| URI | m2://inv/BSBKJ2HQVG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Folded normal distribution#VYZF, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Divide-and-conquer eigenvalue algorithm BSBPK5GKY8
| URI | m2://inv/BSBPK5GKY8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#TRMH, Divide-and-conquer eigenvalue algorithm (definition)
History
- 2026-11-02: add by m2/dev
Definition BSBX48CENX
| URI | m2://inv/BSBX48CENX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mackey functor#FIDF, Definition (definition)
History
- 2026-11-02: add by m2/dev
The Caracciolo–Sportiello–Sokal identity for Manin matrices BSC21BJF3G
| URI | m2://inv/BSC21BJF3G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Capelli's identity#VO46, The Caracciolo–Sportiello–Sokal identity for Manin matrices (statement)
History
- 2026-11-02: add by m2/dev
Statement of Weyl character formula BSC2B79YCJ
| URI | m2://inv/BSC2B79YCJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl character formula#BJ0F, Statement of Weyl character formula (statement)
History
- 2026-11-02: add by m2/dev
Order-5 120-cell honeycomb BSC9NJVA90
| URI | m2://inv/BSC9NJVA90 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#H79U, Order-5 120-cell honeycomb (definition)
History
- 2026-11-02: add by m2/dev
BSCANMGBBE BSCANMGBBE
| URI | m2://inv/BSCANMGBBE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-38 (exercise). In E9HS8K3A52, exercise, section 2.3.6
History
- 2026-11-01: add by m2/v0.6.13
BSCDPP5Z2W BSCDPP5Z2W
| URI | m2://inv/BSCDPP5Z2W |
|---|---|
| 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.02743#AIGA (statement). In GQH4ZPDWET/e1, proposition 10.3
History
- 2026-10-29: add by m2/v0.4.12
BSCN8CYAJW BSCN8CYAJW
| URI | m2://inv/BSCN8CYAJW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.07983#497Z (statement). In 4WJ9HYVSZY/e1, theorem B
History
- 2026-10-27: add by m2/v0.3.6
Walter Wilson Stothers BSCVYDCK5Z
| URI | m2://inv/BSCVYDCK5Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walter Wilson Stothers, Walter Wilson Stothers (topic). Also Wikidata Q15885769
History
- 2026-11-02: add by m2/dev
BSD5PDSTTP BSD5PDSTTP
| URI | m2://inv/BSD5PDSTTP |
|---|---|
| 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.24522#3S2N (statement)
History
- 2026-11-01: add by m2/v0.6.15
BSD698FZA6 BSD698FZA6
| URI | m2://inv/BSD698FZA6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-72 (exercise). In E9HS8K3A52, exercise, section 5.6.4
History
- 2026-11-01: add by m2/v0.6.13
Trefoil knot BSDCFJJYR7
| URI | m2://inv/BSDCFJJYR7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical knots and links#UJCW, Trefoil knot (definition)
History
- 2026-11-02: add by m2/dev
Method BSDG1WENB2
| URI | m2://inv/BSDG1WENB2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of countries and dependencies by population#QU14, Method (definition)
History
- 2026-11-02: add by m2/dev
Shanti S. Gupta BSDHFGS4JW
| URI | m2://inv/BSDHFGS4JW |
|---|---|
| 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#M83I, Shanti S. Gupta (topic)
History
- 2026-11-02: add by m2/dev
Robert Bartnik BSDQWTTN3X
| URI | m2://inv/BSDQWTTN3X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#6INI, Robert Bartnik (unknown)
History
- 2026-11-02: add by m2/dev
Symmetry BSDRTKSYVF
| URI | m2://inv/BSDRTKSYVF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square lattice#UO9O, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Axiomatic threshold and radical BSE2K2Y68Q
| URI | m2://inv/BSE2K2Y68Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39262#C83L, Axiomatic threshold and radical (statement). In XA2NE2Z06S/e1, theorem 7.3
History
- 2026-10-30: add by m2/v0.4.12
BSE7G3N44K BSE7G3N44K
| URI | m2://inv/BSE7G3N44K |
|---|---|
| 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#ESXC (statement). In 6DZPR52HRP/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.2
\bf Weak martingale solution on the torus BSEBDXPWQV
| URI | m2://inv/BSEBDXPWQV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29747#4VS8, \bf Weak martingale solution on the torus (definition)
History
- 2026-11-01: add by m2/v0.6.15
Kurosh subgroup theorem BSEZR2118G
| URI | m2://inv/BSEZR2118G |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6446396, Kurosh subgroup theorem (statement). Also Wikidata Q6446396
- thousand_plus: thousand_plus Q6446396, Kurosh subgroup theorem (statement). Also Wikidata Q6446396, Wikipedia Kurosh subgroup theorem
- wikipedia: Wikipedia Kurosh subgroup theorem, Kurosh subgroup theorem (statement). Also Wikidata Q6446396
History
- 2026-10-26: add by m2/dev
Formal definition BSF3VP6JMW
| URI | m2://inv/BSF3VP6JMW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Imaginary hyperelliptic curve#6IKT, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Bounded measurements BSF3Y7CB41
| URI | m2://inv/BSF3Y7CB41 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27752#KIKW, Bounded measurements (definition)
History
- 2026-11-01: add by m2/v0.6.15
BSF9AVYCP5 BSF9AVYCP5
| URI | m2://inv/BSF9AVYCP5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.13516#IFNU (definition). In Z9JWKWH7CJ/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.3.5
paradox BSF9GD3ZFS
| URI | m2://inv/BSF9GD3ZFS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.6/paradox, paradox (concept). In N54F33XE07, index, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
BSFA9ET539 BSFA9ET539
| URI | m2://inv/BSFA9ET539 |
|---|---|
| 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.15367#FI7E (statement). In 9AFZ1S368G/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Tobias Mayer BSFFKRPAZF
| URI | m2://inv/BSFFKRPAZF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#4VQO, Tobias Mayer (unknown)
History
- 2026-11-02: add by m2/dev
BSFHWDJ1T1 BSFHWDJ1T1
| URI | m2://inv/BSFHWDJ1T1 |
|---|---|
| Kind | example |
| 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.14364#4OTU (example). In GTA6B7SW2V/e1, example 5.2
History
- 2026-10-28: add by m2/v0.4.2
Statement of the three spheres inequality BSFMXSBMPM
| URI | m2://inv/BSFMXSBMPM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Three spheres inequality#188A, Statement of the three spheres inequality (statement)
History
- 2026-11-02: add by m2/dev
BSFSZPKXMR BSFSZPKXMR
| URI | m2://inv/BSFSZPKXMR |
|---|---|
| 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 2112.14455#YGZ6 (statement). In VDE5R8HBS1/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.3.5
Gareth Roberts BSFWK3SZB5
| URI | m2://inv/BSFWK3SZB5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gareth Roberts (statistician), Gareth Roberts (topic). Also Wikidata Q5522957
History
- 2026-11-02: add by m2/dev
BSG66QF3XB BSG66QF3XB
| URI | m2://inv/BSG66QF3XB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/lindstrom/lindstrom-proof.tex#lem:lindstrom (statement). In PKGMM3P5QY, lem, section 47.5
History
- 2026-11-01: add by m2/v0.6.13
BSG7CSSPDN BSG7CSSPDN
| URI | m2://inv/BSG7CSSPDN |
|---|---|
| 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.15528#36EQ (statement). In G9GEE64N32/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
Order-5 tesseractic honeycomb BSGAQQRAWC
| URI | m2://inv/BSGAQQRAWC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-5 tesseractic honeycomb, Order-5 tesseractic honeycomb (definition). Also Wikidata Q17078007
History
- 2026-11-02: add by m2/dev
BSGCKWKN3Z BSGCKWKN3Z
| URI | m2://inv/BSGCKWKN3Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38138#AKN6 (definition). In G97FA99ZEF/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
BSGG79AZ94 BSGG79AZ94
| URI | m2://inv/BSGG79AZ94 |
|---|---|
| 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.34876#IO3E (statement). In XXQAW3ZBDF/e1, proposition 3.10
History
- 2026-10-30: add by m2/v0.4.12
David Drasin BSGJ6RP2VM
| URI | m2://inv/BSGJ6RP2VM |
|---|---|
| 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#JI89, David Drasin (topic)
History
- 2026-11-02: add by m2/dev
BSGNJ34WHC BSGNJ34WHC
| URI | m2://inv/BSGNJ34WHC |
|---|---|
| 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#FQED (statement)
History
- 2026-11-01: add by m2/v0.6.15
BSGX87K0S2 BSGX87K0S2
| URI | m2://inv/BSGX87K0S2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/three-valued-logics/lukasiewicz.tex#def:lukasiewicz (definition). In PKGMM3P5QY, defn, section 42.5
History
- 2026-11-01: add by m2/v0.6.13
tombstone BSH11YKB2Q
| URI | m2://inv/BSH11YKB2Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9391599, tombstone (definition). Also ProofWiki Definition:Halmos_Symbol
- wikipedia: Wikipedia Tombstone (typography), Tombstone (definition). Also Wikidata Q9391599
History
- 2026-10-26: add by m2/dev
BSH40SXNE5 BSH40SXNE5
| URI | m2://inv/BSH40SXNE5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08323#BWHX (definition). In FR51ART4NF/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.10
BSH4757NR3 BSH4757NR3
| URI | m2://inv/BSH4757NR3 |
|---|---|
| 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.00512#ERJ5 (statement). In RB5QBG3MJY/e1, theorem 3.8
History
- 2026-10-30: add by m2/v0.4.12
Special commutative Frobenius algebra BSH7MS84Q2
| URI | m2://inv/BSH7MS84Q2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20478#CX7P, Special commutative Frobenius algebra (definition)
History
- 2026-11-02: add by m2/v0.6.18
Neena Gupta BSH9V2A20P
| URI | m2://inv/BSH9V2A20P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neena Gupta (mathematician), Neena Gupta (topic). Also Wikidata Q26875266
History
- 2026-11-02: add by m2/dev
Angelo Messedaglia BSHACRGBJ3
| URI | m2://inv/BSHACRGBJ3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angelo Messedaglia, Angelo Messedaglia (topic). Also Wikidata Q3617107
History
- 2026-11-02: add by m2/dev
Boltzmann's H theorem BSHBME7QTJ
| URI | m2://inv/BSHBME7QTJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia H-theorem#W6TZ, Boltzmann's H theorem (statement)
History
- 2026-11-02: add by m2/dev
Chinese remainder theorem BSHH1YTM5A
| URI | m2://inv/BSHH1YTM5A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean algorithm#BG7W, Chinese remainder theorem (statement)
History
- 2026-11-02: add by m2/dev
Algorithm BSHHA0S7JA
| URI | m2://inv/BSHHA0S7JA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hunt–Szymanski algorithm#U01K, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
BSHJ376AMG BSHJ376AMG
| URI | m2://inv/BSHJ376AMG |
|---|---|
| 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.30407#LL9A (statement). In HNY6N561H5/e1, theorem 2.2
History
- 2026-10-31: add by m2/v0.5.6
David Heron BSHJMMB8C9
| URI | m2://inv/BSHJMMB8C9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Heron (statistician), David Heron (topic). Also Wikidata Q15994504
History
- 2026-11-02: add by m2/dev
Examples BSHKZ3JSX0
| URI | m2://inv/BSHKZ3JSX0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymmetric relation#MRGK, Examples (example)
History
- 2026-11-02: add by m2/dev
Immigration and crime in Spain BSHZG56JCK
| URI | m2://inv/BSHZG56JCK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Immigration and crime#13HO, Immigration and crime in Spain (unknown)
History
- 2026-11-02: add by m2/dev
Properties BSJ6F6NDQV
| URI | m2://inv/BSJ6F6NDQV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transitive relation#3JAJ, Properties (statement)
History
- 2026-11-02: add by m2/dev
BSJJQXVNQK BSJJQXVNQK
| URI | m2://inv/BSJJQXVNQK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.35632#QCK4 (statement). In Q74G3BVZAQ/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
BSJN5JBFS3 BSJN5JBFS3
| URI | m2://inv/BSJN5JBFS3 |
|---|---|
| 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#WCCD (statement). In CGA36VE1C5/e1, fact 12.9.1
History
- 2026-10-27: add by m2/v0.3.6
Fuchs BSJNRGZF6W
| URI | m2://inv/BSJNRGZF6W |
|---|---|
| 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.29641#TK8F, Fuchs (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cryptoperiod BSJV9ESF63
| URI | m2://inv/BSJV9ESF63 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptoperiod, Cryptoperiod (definition). Also Wikidata Q5191011
History
- 2026-11-02: add by m2/dev
Fine's theorem BSJVTXPVCZ
| URI | m2://inv/BSJVTXPVCZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum contextuality#0S75, Fine's theorem (statement)
History
- 2026-11-02: add by m2/dev
chaos game BSJWEMM8DN
| URI | m2://inv/BSJWEMM8DN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3129337, chaos game (unknown). Also MathWorld ChaosGame
History
- 2026-10-26: add by m2/dev
SIMUL BSJYJS0E02
| URI | m2://inv/BSJYJS0E02 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#8P11, SIMUL (unknown)
History
- 2026-11-02: add by m2/dev
BSK2TPEAGP BSK2TPEAGP
| URI | m2://inv/BSK2TPEAGP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-1-6-second-d.xml#definition-1 (definition). In 907G4C4EJ1, definition, section 1.6.3
History
- 2026-11-01: add by m2/v0.6.13
Other versions of the paradox BSK38J921F
| URI | m2://inv/BSK38J921F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Omnipotence paradox#B17A, Other versions of the paradox (statement)
History
- 2026-11-02: add by m2/dev
BSKFGZ4FSH BSKFGZ4FSH
| URI | m2://inv/BSKFGZ4FSH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.20170#VPGO (definition). In QXJP79APHN/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
Post's theorem BSKMDRCYCP
| URI | m2://inv/BSKMDRCYCP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#QP2P, Post's theorem (statement)
History
- 2026-11-02: add by m2/dev
BSKPJM6E2X BSKPJM6E2X
| URI | m2://inv/BSKPJM6E2X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16081#YYOL (statement). In RS6WWZKMT6/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
G-spectrum BSKPWXXANE
| URI | m2://inv/BSKPWXXANE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25098885, G-spectrum (unknown). Also nLab G-spectrum
- wikipedia: Wikipedia G-spectrum, G-spectrum (definition). Also Wikidata Q25098885
History
- 2026-10-26: add by m2/dev
Definition BSKVN0HTG6
| URI | m2://inv/BSKVN0HTG6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anticommutative property#S85A, Definition (definition)
History
- 2026-11-02: add by m2/dev
BSM7AF2YMK BSM7AF2YMK
| URI | m2://inv/BSM7AF2YMK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/trakhtenbrot.tex#lem:halts-sat (statement). In PKGMM3P5QY, lem, section 86.10
History
- 2026-11-01: add by m2/v0.6.13
BSM8RR0T8D BSM8RR0T8D
| URI | m2://inv/BSM8RR0T8D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36186#MEY3 (statement). In 30PQN6JP7W/e1, lemma 13
History
- 2026-10-27: add by m2/v0.3.5
BSMCE1HSMT BSMCE1HSMT
| URI | m2://inv/BSMCE1HSMT |
|---|---|
| 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.01276#7Q15 (statement). In 7JJPPMS2DN/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
Examples BSMFNDXDQA
| URI | m2://inv/BSMFNDXDQA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weighing matrix#KW6T, Examples (example)
History
- 2026-11-02: add by m2/dev
BSMPRWFSCP BSMPRWFSCP
| URI | m2://inv/BSMPRWFSCP |
|---|---|
| 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.05499#77HC (statement). In CQMD3382D6/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
graph, unlabeled BSMVBBAWX1
| URI | m2://inv/BSMVBBAWX1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/15.5.3/graph-unlabeled, graph, unlabeled (concept). In QKM9DD2H56, index, section 15.5.3
History
- 2026-11-01: add by m2/v0.6.13
Monodromy theorem BSN1HZH66E
| URI | m2://inv/BSN1HZH66E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monodromy theorem#YO7A, Monodromy theorem (statement)
History
- 2026-11-02: add by m2/dev
BSN83DA5GH BSN83DA5GH
| URI | m2://inv/BSN83DA5GH |
|---|---|
| Kind | conjecture |
| 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.37093#OSXW (conjecture). In GA6QH32CJQ/e1, conjecture 21
History
- 2026-10-30: add by m2/v0.4.12
BSN98D1DHE BSN98D1DHE
| URI | m2://inv/BSN98D1DHE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08226#3DX5 (statement). In V6EPE8XHAD/e1, proposition A.13
History
- 2026-10-29: add by m2/v0.4.10
Statistics education BSNAKTS5KW
| URI | m2://inv/BSNAKTS5KW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistics education, Statistics education (definition). Also Wikidata Q7604437
History
- 2026-11-02: add by m2/dev
p-adic Raabe formula BSNGY3TS24
| URI | m2://inv/BSNGY3TS24 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-adic gamma function#98OD, p-adic Raabe formula (statement)
History
- 2026-11-02: add by m2/dev
Bellman fixed points and contractions BSNHYA5HBX
| URI | m2://inv/BSNHYA5HBX |
|---|---|
| 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.39837#CO0K, Bellman fixed points and contractions (statement). In MDQXTBEK0F/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
BSNJ06MYF9 BSNJ06MYF9
| URI | m2://inv/BSNJ06MYF9 |
|---|---|
| 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.07855#KSUE (statement). In 1VT8CVVCM7/e1, proposition 2.5
History
- 2026-10-29: add by m2/v0.4.10
windows BSNNK7GA1P
| URI | m2://inv/BSNNK7GA1P |
|---|---|
| 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 2610.01753#504V, windows (statement). In JY50YXMH5N/e1, lemma 43
History
- 2026-10-29: add by m2/v0.4.12
GAGA theorems BSNT3ANBKZ
| URI | m2://inv/BSNT3ANBKZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherent sheaf cohomology#N04P, GAGA theorems (statement)
History
- 2026-11-02: add by m2/dev
Joint anchor moment refinement BSNX61T52Y
| URI | m2://inv/BSNX61T52Y |
|---|---|
| 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.15202#ZW0R, Joint anchor moment refinement (statement). In X1FPG0KYBM/e1, theorem R.4
History
- 2026-10-28: add by m2/v0.4.2
Korea Institute for Advanced Study BSNXRNTGJS
| URI | m2://inv/BSNXRNTGJS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Korea Institute for Advanced Study, Korea Institute for Advanced Study (definition). Also Wikidata Q623968
History
- 2026-11-02: add by m2/dev
Skin effect BSP02K026Z
| URI | m2://inv/BSP02K026Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skin effect, Skin effect (definition). Also Wikidata Q664150
History
- 2026-11-02: add by m2/dev
(Nigeria #8) BSP0H3RMEX
| URI | m2://inv/BSP0H3RMEX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#RSDG, (Nigeria #8) (unknown)
History
- 2026-11-02: add by m2/dev
Open mapping theorem BSP1S854QB
| URI | m2://inv/BSP1S854QB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-30, Open mapping theorem (statement). In VNMV985MXX, thm, section B
History
- 2026-11-01: add by m2/v0.6.13
Double limit theorem BSP2F5QSCZ
| URI | m2://inv/BSP2F5QSCZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double limit theorem, Double limit theorem (statement). Also Wikidata Q5300058
History
- 2026-11-02: add by m2/dev
BSP32KR4S2 BSP32KR4S2
| URI | m2://inv/BSP32KR4S2 |
|---|---|
| Kind | statement |
| 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#CVV8 (statement). In 5KR3MHYVV6/e1, proposition 6.2
History
- 2026-10-28: add by m2/v0.4.2
Boundary-compatible velocity smoothing BSPCB159QZ
| URI | m2://inv/BSPCB159QZ |
|---|---|
| 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.13613#1G9W, Boundary-compatible velocity smoothing (statement). In 3HCT4TQ5PM/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Radial data for circular arrays BSPDC5HQ7J
| URI | m2://inv/BSPDC5HQ7J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37704#DFG5, Radial data for circular arrays (statement). In HGTFJ325A4/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
BSPFFJK1A9 BSPFFJK1A9
| URI | m2://inv/BSPFFJK1A9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2602.15812#CZ3V (statement). In GAAZD3SGPN/e1, proposition
History
- 2026-10-27: add by m2/v0.3.5
Perfect set BSPMVXW1RH
| URI | m2://inv/BSPMVXW1RH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of sets#NEAD, Perfect set (definition)
History
- 2026-11-02: add by m2/dev
Examples BSPQ729HGS
| URI | m2://inv/BSPQ729HGS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Participation criterion#W0FK, Examples (example)
History
- 2026-11-02: add by m2/dev
Euclidean space BSPV1P3B00
| URI | m2://inv/BSPV1P3B00 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scalar curvature#2CDN, Euclidean space (definition)
History
- 2026-11-02: add by m2/dev
Dordrecht BSPWFHBT7V
| URI | m2://inv/BSPWFHBT7V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#ASLW, Dordrecht (unknown)
History
- 2026-11-02: add by m2/dev
BSPXEJFQCC BSPXEJFQCC
| URI | m2://inv/BSPXEJFQCC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30363#UTRI (statement). In QHBBP180QJ/e1, lemma 1
History
- 2026-10-31: add by m2/v0.5.6
BSQ1MHDPT2 BSQ1MHDPT2
| URI | m2://inv/BSQ1MHDPT2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.04623#0WUC (statement). In 6CK4CTQWQH/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Post–Turing machine BSQ46MGXF2
| URI | m2://inv/BSQ46MGXF2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Post–Turing machine, Post–Turing machine (definition). Also Wikidata Q2574032
History
- 2026-11-02: add by m2/dev
BSQ5DV616F BSQ5DV616F
| URI | m2://inv/BSQ5DV616F |
|---|---|
| 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.03222#DQD6 (statement). In BB0JGNK4YF/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
Hexagonal fast Fourier transform BSQ6CHSV21
| URI | m2://inv/BSQ6CHSV21 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexagonal fast Fourier transform, Hexagonal fast Fourier transform (definition). Also Wikidata Q28456222
History
- 2026-11-02: add by m2/dev
Mergelyan's theorem BSQ7ED3J6E
| URI | m2://inv/BSQ7ED3J6E |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/B/mergelyan-s-theorem, Mergelyan's theorem (concept). In VNMV985MXX, index, section B
History
- 2026-11-01: add by m2/v0.6.13
Mixed model BSQ9B8C76G
| URI | m2://inv/BSQ9B8C76G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixed model, Mixed model (definition). Also Wikidata Q1501135
History
- 2026-11-02: add by m2/dev
BSQH8XHRFB BSQH8XHRFB
| URI | m2://inv/BSQH8XHRFB |
|---|---|
| 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.36411#C3O8 (statement). In 9QG5CND2RQ/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
BSQHBB7MVQ BSQHBB7MVQ
| URI | m2://inv/BSQHBB7MVQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28336#GUB9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
BSR4YCA08F BSR4YCA08F
| URI | m2://inv/BSR4YCA08F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 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.13213#JJV0 (definition). In V97F4YZ8B0/e1, definition 1.8
History
- 2026-10-28: add by m2/v0.4.2
BSRAAWB2TS BSRAAWB2TS
| URI | m2://inv/BSRAAWB2TS |
|---|---|
| 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#9UPN (statement). In 6DZPR52HRP/e1, lemma 4.21
History
- 2026-10-28: add by m2/v0.4.2
BSRDKCVAKR BSRDKCVAKR
| URI | m2://inv/BSRDKCVAKR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35340#UYUP (statement). In WCY07D1CJG/e1, proposition 2.2
History
- 2026-10-30: add by m2/v0.4.12
BSREW47CV4 BSREW47CV4
| URI | m2://inv/BSREW47CV4 |
|---|---|
| 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 2607.00323#9LI6 (statement). In BPRFEQY7W4/e1, theorem 3.12
History
- 2026-10-27: add by m2/v0.3.6
BSRKK1S2AW BSRKK1S2AW
| URI | m2://inv/BSRKK1S2AW |
|---|---|
| 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.40345#1RGP (statement). In WK0PT95WW1/e1, lemma 5.8
History
- 2026-10-30: add by m2/v0.4.12
Suslin normalisation BSRV4H77R6
| URI | m2://inv/BSRV4H77R6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 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.18512#2AX0, Suslin normalisation (statement). In 11JNM66Z09/e1, proposition 13.5
History
- 2026-10-28: add by m2/v0.4.2
Cascade domination BSS0D492K5
| URI | m2://inv/BSS0D492K5 |
|---|---|
| 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.06490#RS8P, Cascade domination (statement). In NKXTXH59P1/e1, lemma B.3
History
- 2026-10-29: add by m2/v0.4.10
Unduloid BSS590GMKB
| URI | m2://inv/BSS590GMKB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unduloid, Unduloid (definition). Also Wikidata Q3505271
History
- 2026-11-02: add by m2/dev
Hüseyin Tevfik Pasha BSS6KJRRA2
| URI | m2://inv/BSS6KJRRA2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hüseyin Tevfik Pasha, Hüseyin Tevfik Pasha (topic). Also Wikidata Q6099076
History
- 2026-11-02: add by m2/dev
Properties BSSKV9JSST
| URI | m2://inv/BSSKV9JSST |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extreme point#5UFH, Properties (statement)
History
- 2026-11-02: add by m2/dev
Artin's conjecture on primitive roots BST034BBR0
| URI | m2://inv/BST034BBR0 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#QZA5, Artin's conjecture on primitive roots (conjecture)
History
- 2026-11-02: add by m2/dev
segment lemma BST3MWYTJR
| URI | m2://inv/BST3MWYTJR |
|---|---|
| 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.01029#Q9RT, segment lemma (statement). In KA8VS65Z9G/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.12
Hadamard's maximal determinant problem BST4D8CVWA
| URI | m2://inv/BST4D8CVWA |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard's maximal determinant problem, Hadamard's maximal determinant problem (conjecture). Also Wikidata Q5637579
History
- 2026-11-02: add by m2/dev
BST62ACS6B BST62ACS6B
| URI | m2://inv/BST62ACS6B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18061#1CQK (statement). In Y8A35AV31M/e1, corollary 4.4
History
- 2026-10-28: add by m2/v0.4.2
Astronomical coordinate systems BSTH6MXDPP
| URI | m2://inv/BSTH6MXDPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Astronomical coordinate systems, Astronomical coordinate systems (definition). Also Wikidata Q86394
History
- 2026-11-02: add by m2/dev
Quadratic bottleneck assignment problem BSTN7EJD1Q
| URI | m2://inv/BSTN7EJD1Q |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic bottleneck assignment problem, Quadratic bottleneck assignment problem (problem). Also Wikidata Q7268355
History
- 2026-11-02: add by m2/dev
Hieronymus Schreiber BSTQE6QXPA
| URI | m2://inv/BSTQE6QXPA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#22MX, Hieronymus Schreiber (topic)
History
- 2026-11-02: add by m2/dev
De Pagter's theorem BSV8Y6KN3D
| URI | m2://inv/BSV8Y6KN3D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krein–Rutman theorem#E7RH, De Pagter's theorem (statement)
History
- 2026-11-02: add by m2/dev
BSVBS16NGS BSVBS16NGS
| URI | m2://inv/BSVBS16NGS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25282#98G4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
BSVF65ZYT8 BSVF65ZYT8
| URI | m2://inv/BSVF65ZYT8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#UGF5 (statement). In 9H45HQE7AZ/e1, proposition 7.1
History
- 2026-10-27: add by m2/v0.3.5
HOL theorem prover BSVHW4V4EN
| URI | m2://inv/BSVHW4V4EN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#2PH0, HOL theorem prover (unknown)
History
- 2026-11-02: add by m2/dev
Analytic set BSVTVET62W
| URI | m2://inv/BSVTVET62W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of sets#1SHM, Analytic set (definition)
History
- 2026-11-02: add by m2/dev
BSVW8MYA3D BSVW8MYA3D
| URI | m2://inv/BSVW8MYA3D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.01237#FY6P (definition). In M9VHCG48HB/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
BSW3STMPG8 BSW3STMPG8
| URI | m2://inv/BSW3STMPG8 |
|---|---|
| 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.40191#CUT0 (statement). In F0D8VSM4Z4/e1, proposition 3.4
History
- 2026-10-30: add by m2/v0.4.12
BSW48RM9MH BSW48RM9MH
| URI | m2://inv/BSW48RM9MH |
|---|---|
| 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 2504.13328#4HIE (statement). In 736Q32FYCG/e1, corollary 3.6
History
- 2026-10-27: add by m2/v0.3.5
endomorphism exponential BSW7J7A3M5
| URI | m2://inv/BSW7J7A3M5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Exponential > endomorphism exponential, endomorphism exponential (unknown)
History
- 2026-10-26: add by m2/dev
BSW89PK3PH BSW89PK3PH
| URI | m2://inv/BSW89PK3PH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_kitchensink_online.ptx#exa_P4 (example). In QKM9DD2H56, example, section 16.1
History
- 2026-11-01: add by m2/v0.6.13
Blessing of dimensionality BSWA5K5QP3
| URI | m2://inv/BSWA5K5QP3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curse of dimensionality#J8BC, Blessing of dimensionality (unknown)
History
- 2026-11-02: add by m2/dev
Douglas N. Arnold BSWDH1K36H
| URI | m2://inv/BSWDH1K36H |
|---|---|
| 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#UDR7, Douglas N. Arnold (topic)
History
- 2026-11-02: add by m2/dev
BSWKYR087T BSWKYR087T
| URI | m2://inv/BSWKYR087T |
|---|---|
| Kind | definition |
| 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.27775#X8X4 (definition)
History
- 2026-11-01: add by m2/v0.6.15
BSWMTXVFTQ BSWMTXVFTQ
| URI | m2://inv/BSWMTXVFTQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22514#PT77 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Cross-correlation theorem BSWNEGE3JK
| URI | m2://inv/BSWNEGE3JK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier transform#6RN4, Cross-correlation theorem (statement)
History
- 2026-11-02: add by m2/dev
BSWV92E9DA BSWV92E9DA
| URI | m2://inv/BSWV92E9DA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05784#8D5N (definition). In 6NVP3YRWVA/e1, definition 2.11
History
- 2026-10-29: add by m2/v0.4.10
BSWWFK07DA BSWWFK07DA
| URI | m2://inv/BSWWFK07DA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35605#Q299 (statement). In X1KWTAA3M2/e1, proposition 1.4
History
- 2026-10-27: add by m2/v0.3.5
Mathematics and Plausible Reasoning BSWYY2T39H
| URI | m2://inv/BSWYY2T39H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#Z1LL, Mathematics and Plausible Reasoning (definition)
History
- 2026-11-02: add by m2/dev
Kostant multiplicity formula BSWZ7EZ11V
| URI | m2://inv/BSWZ7EZ11V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl character formula#TRY6, Kostant multiplicity formula (statement)
History
- 2026-11-02: add by m2/dev
Guillaume de l'Hôpital BSX25Z90HP
| URI | m2://inv/BSX25Z90HP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Guillaume de l'Hôpital, Guillaume de l'Hôpital (topic). Also Wikidata Q202279
History
- 2026-11-02: add by m2/dev
Lagrange's theorem (number theory) BSX2KEMVX0
| URI | m2://inv/BSX2KEMVX0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#Y3TJ, Lagrange's theorem (number theory) (statement)
- wikipedia: Wikipedia List of mathematical proofs#6SCU, Lagrange's theorem (number theory) (statement)
- wikipedia: Wikipedia List of theorems#JM3C, Lagrange's theorem (statement)
History
- 2026-11-02: add by m2/dev
Applications BSX342HVM2
| URI | m2://inv/BSX342HVM2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solder form#NS5S, Applications (example)
History
- 2026-11-02: add by m2/dev
Lebesgue point BSX3TFAD70
| URI | m2://inv/BSX3TFAD70 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#Y5N1, Lebesgue point (definition)
History
- 2026-11-02: add by m2/dev
Posterior predictive distribution BSX7R43ZVY
| URI | m2://inv/BSX7R43ZVY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JQJG, Posterior predictive distribution (definition)
History
- 2026-11-02: add by m2/dev
BSX7WRMP8F BSX7WRMP8F
| URI | m2://inv/BSX7WRMP8F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12014#KJF9 (statement). In DR7BK4CQ0V/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.3
Definition BSXD295TB2
| URI | m2://inv/BSXD295TB2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Core (group theory)#2OOC, Definition (definition)
History
- 2026-11-02: add by m2/dev
amplitude BSXD3NYYZM
| URI | m2://inv/BSXD3NYYZM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q159190, amplitude (unknown). Also nLab amplitude
History
- 2026-10-26: add by m2/dev
Alexander Zolotarev BSXF0FBP28
| URI | m2://inv/BSXF0FBP28 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#4C55, Alexander Zolotarev (unknown)
History
- 2026-11-02: add by m2/dev
BSXMF9EC0K BSXMF9EC0K
| URI | m2://inv/BSXMF9EC0K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28411#B7DN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Support parametrization/support function BSXMTHXGAX
| URI | m2://inv/BSXMTHXGAX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0904.3493#94IS, Support parametrization/support function (definition). In 1ARY7220P4/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
BSXTW58426 BSXTW58426
| URI | m2://inv/BSXTW58426 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37439#D4DC (statement). In 8K7D3FKJDT/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
BSXV1YA89D BSXV1YA89D
| URI | m2://inv/BSXV1YA89D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#prop-10 (statement). In E59CDZA4DP, prop, section 11.3.1
History
- 2026-11-01: add by m2/v0.6.13
\emph{Non-prioritized, joint comparison BSY01TENCF
| URI | m2://inv/BSY01TENCF |
|---|---|
| Kind | example |
| 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 2601.13428#QKRS, \emph{Non-prioritized, joint comparison (example). In SM4QEDZSS6/e1, example 3
History
- 2026-10-27: add by m2/v0.3.5
The Kummer theorems BSY3SAQ0KY
| URI | m2://inv/BSY3SAQ0KY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernoulli number#10CZ, The Kummer theorems (statement)
History
- 2026-11-02: add by m2/dev
Madan Lal Puri BSY51HFDBV
| URI | m2://inv/BSY51HFDBV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Madan Lal Puri, Madan Lal Puri (topic). Also Wikidata Q1313675
History
- 2026-11-02: add by m2/dev
BSYDBWVW8J BSYDBWVW8J
| URI | m2://inv/BSYDBWVW8J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27360#PQMW (statement)
History
- 2026-11-01: add by m2/v0.6.15
List of national and international statistical services BSYG898B0G
| URI | m2://inv/BSYG898B0G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of statistics topics#QVEQ, List of national and international statistical services (topic)
History
- 2026-11-02: add by m2/dev
BSZ20GNJ8K BSZ20GNJ8K
| URI | m2://inv/BSZ20GNJ8K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21892#BEAQ (definition)
History
- 2026-11-02: add by m2/v0.6.17
Statement BSZ23JGDTN
| URI | m2://inv/BSZ23JGDTN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dejean's theorem#KQVS, Statement (statement)
History
- 2026-11-02: add by m2/dev
BSZ5E4C97Y BSZ5E4C97Y
| URI | m2://inv/BSZ5E4C97Y |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-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.26417#4YHC (example)
History
- 2026-11-01: add by m2/v0.6.15
Simpson, Thomas BSZRX0CW43
| URI | m2://inv/BSZRX0CW43 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#NNO2, Simpson, Thomas (unknown)
History
- 2026-11-02: add by m2/dev
Friedman BSZZA5FEYH
| URI | m2://inv/BSZZA5FEYH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2209.00108#TIKB, Friedman (definition). In V2G422ZMPW/e1, definition 6
History
- 2026-10-27: add by m2/v0.3.5