Inventory rows BX
The cards of the rows of the inventory whose ids start with BX. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
BX001MYVSC BX001MYVSC
| URI | m2://inv/BX001MYVSC |
|---|---|
| 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 2609.24902#O51K (definition)
History
- 2026-11-01: add by m2/v0.6.15
BX017AYNKV BX017AYNKV
| URI | m2://inv/BX017AYNKV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00135#W92Z (statement). In PXWXV92SJY/e1, proposition 4.12
History
- 2026-10-30: add by m2/v0.4.12
Temporal CLT BX094WQZFM
| URI | m2://inv/BX094WQZFM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#CRZS, Temporal CLT (statement). In WRE0P7V6Z3/e1, theorem 1.35
History
- 2026-10-30: add by m2/v0.4.12
BX09NEQ1V4 BX09NEQ1V4
| URI | m2://inv/BX09NEQ1V4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29107#RBIK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Two-node right-angle completion BX0AK14KX5
| URI | m2://inv/BX0AK14KX5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25027#2ECE, Two-node right-angle completion (statement)
History
- 2026-11-01: add by m2/v0.6.15
Canonical additive character and the quadratic character BX0FXTB9CJ
| URI | m2://inv/BX0FXTB9CJ |
|---|---|
| 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 2208.07784#D41Z, Canonical additive character and the quadratic character (definition). In X0GJCD9768/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.4.0
BX0HN2QPCJ BX0HN2QPCJ
| URI | m2://inv/BX0HN2QPCJ |
|---|---|
| Kind | example |
| 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.04709#EN0R (example). In 9J260W15RY/e1, example 2
History
- 2026-10-29: add by m2/v0.4.12
Monotone frequency-position map BX0MJ72P83
| URI | m2://inv/BX0MJ72P83 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29565#G6NS, Monotone frequency-position map (statement)
History
- 2026-11-01: add by m2/v0.6.15
BX0Q65H95F BX0Q65H95F
| URI | m2://inv/BX0Q65H95F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-sets.ptx#exercise-18 (exercise). In Y91XFCEVHQ, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Kolmogorov backward equation BX12ZQ7XBJ
| URI | m2://inv/BX12ZQ7XBJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0YN0, Kolmogorov backward equation (definition)
History
- 2026-11-02: add by m2/dev
Dois Irmãos do Tocantins BX14RE3RDG
| URI | m2://inv/BX14RE3RDG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#TVFV, Dois Irmãos do Tocantins (unknown)
History
- 2026-11-02: add by m2/dev
S-PLUS BX151H3JFX
| URI | m2://inv/BX151H3JFX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#U5V3, S-PLUS (definition)
History
- 2026-11-02: add by m2/dev
BX1B1Z55RZ BX1B1Z55RZ
| URI | m2://inv/BX1B1Z55RZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/terms-formulas.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 22.1
History
- 2026-11-01: add by m2/v0.6.13
BX1DJ8ECM0 BX1DJ8ECM0
| URI | m2://inv/BX1DJ8ECM0 |
|---|---|
| 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 0904.0817#0MAQ (statement). In 569FZDANV3/e1, fact 1.7
History
- 2026-10-27: add by m2/v0.3.5
BX1K056F88 BX1K056F88
| URI | m2://inv/BX1K056F88 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34013#RKNR (statement). In 3TA3P3CWSJ/e1, lemma 3.9
History
- 2026-10-30: add by m2/v0.4.12
BX1PGN38Q2 BX1PGN38Q2
| URI | m2://inv/BX1PGN38Q2 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33162#46GN (example). In RPC7VG3KHQ/e1, example 5.11
History
- 2026-10-30: add by m2/v0.4.12
BX20K2FC1M BX20K2FC1M
| URI | m2://inv/BX20K2FC1M |
|---|---|
| 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 2207.11097#E915 (statement). In 13H5BTAXHF/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
The filtration for coherent \(R\)-modules BX2132TV64
| URI | m2://inv/BX2132TV64 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#K5GP, The filtration for coherent \(R\)-modules (example). In S26QVW5613/e1, example 1.1.3
History
- 2026-10-30: add by m2/v0.4.12
BX21RCGDFZ BX21RCGDFZ
| URI | m2://inv/BX21RCGDFZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#sosa:railcarexample (example). In E9HS8K3A52, example, section 10.6.2
History
- 2026-11-01: add by m2/v0.6.13
Equivalence test BX252SH81T
| URI | m2://inv/BX252SH81T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivalence test, Equivalence test (definition). Also Wikidata Q30716015
History
- 2026-11-02: add by m2/dev
Geometric series BX2AR0BBN2
| URI | m2://inv/BX2AR0BBN2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical series#EP0R, Geometric series (definition)
History
- 2026-11-02: add by m2/dev
Uses BX2PXWT4X8
| URI | m2://inv/BX2PXWT4X8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scientific calculator#BFCP, Uses (example)
History
- 2026-11-02: add by m2/dev
BX2QP7HBCR BX2QP7HBCR
| URI | m2://inv/BX2QP7HBCR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/rep-alg.tex#claim-2 (statement). In RZP28ERRZV, claim, section 80.6
History
- 2026-11-01: add by m2/v0.6.13
Paraxial approximation BX2QQ7PQGQ
| URI | m2://inv/BX2QQ7PQGQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paraxial approximation, Paraxial approximation (definition). Also Wikidata Q1071734
History
- 2026-11-02: add by m2/dev
Serre fibration BX2XMGMDPG
| URI | m2://inv/BX2XMGMDPG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jean-Pierre Serre#VVQV, Serre fibration (definition)
History
- 2026-11-02: add by m2/dev
Adaptive arithmetic coding BX30NQR8FE
| URI | m2://inv/BX30NQR8FE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic coding#SXKT, Adaptive arithmetic coding (unknown)
History
- 2026-11-02: add by m2/dev
Gaussian border bound in terms of Hessenberg links BX33XE02EX
| URI | m2://inv/BX33XE02EX |
|---|---|
| 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.05498#ZRXR, Gaussian border bound in terms of Hessenberg links (statement). In TJT32RQ9GC/e1, lemma 5.6
History
- 2026-10-29: add by m2/v0.4.10
BX34HQVJ8G BX34HQVJ8G
| URI | m2://inv/BX34HQVJ8G |
|---|---|
| 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 2512.22986#5PKQ (statement). In GFP8TEKFBC/e1, lemma 6
History
- 2026-10-27: add by m2/v0.3.5
BX35W6012Y BX35W6012Y
| URI | m2://inv/BX35W6012Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.06310#2ZTL (statement). In 9YR0E0T9XA/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.5
BX3J0D34AA BX3J0D34AA
| URI | m2://inv/BX3J0D34AA |
|---|---|
| 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.06899#NW75 (statement). In 5Z2K9JGFSS/e1, corollary 2.8
History
- 2026-10-29: add by m2/v0.4.10
Marja Holecyová BX3KFNKQJY
| URI | m2://inv/BX3KFNKQJY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marja Holecyová, Marja Holecyová (topic). Also Wikidata Q12771073
History
- 2026-11-02: add by m2/dev
BX3KNTQDJE BX3KNTQDJE
| URI | m2://inv/BX3KNTQDJE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05391#4CES (statement). In 9B5TNEBJHV/e1, lemma 2.14
History
- 2026-10-29: add by m2/v0.4.10
uniqueness, principle, for function types BX3NVRE27Q
| URI | m2://inv/BX3NVRE27Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.12.3/uniqueness-principle-for-function-types, uniqueness, principle, for function types (concept). In N54F33XE07, index, section A.12.3
History
- 2026-11-01: add by m2/v0.6.13
Statistical Methods in Medical Research BX3RG0NH4A
| URI | m2://inv/BX3RG0NH4A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical Methods in Medical Research, Statistical Methods in Medical Research (definition). Also Wikidata Q7604374
History
- 2026-11-02: add by m2/dev
Reciprocity BX3SAE3YTK
| URI | m2://inv/BX3SAE3YTK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reciprocity (electromagnetism), Reciprocity (definition). Also Wikidata Q1747478
History
- 2026-11-02: add by m2/dev
The associative law BX3SS3ZC8X
| URI | m2://inv/BX3SS3ZC8X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symbols of grouping#9TX3, The associative law (statement)
History
- 2026-11-02: add by m2/dev
Properties BX43FSDYFN
| URI | m2://inv/BX43FSDYFN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lens space#2F8U, Properties (statement)
History
- 2026-11-02: add by m2/dev
Dan Boneh BX442TXJ4E
| URI | m2://inv/BX442TXJ4E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TX2N, Dan Boneh (unknown)
History
- 2026-11-02: add by m2/dev
Balanced Boolean function BX45QVTYSG
| URI | m2://inv/BX45QVTYSG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Balanced Boolean function, Balanced Boolean function (definition). Also Wikidata Q4409653
History
- 2026-11-02: add by m2/dev
BX4CXAQXAM BX4CXAQXAM
| URI | m2://inv/BX4CXAQXAM |
|---|---|
| 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#921Y (statement). In WCY07D1CJG/e1, theorem 7.6
History
- 2026-10-30: add by m2/v0.4.12
Rota–Baxter algebra BX4E48JZ2Z
| URI | m2://inv/BX4E48JZ2Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#1TP0, Rota–Baxter algebra (definition)
History
- 2026-11-02: add by m2/dev
BX501721DV BX501721DV
| URI | m2://inv/BX501721DV |
|---|---|
| Kind | statement |
| 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.29574#95FC (statement)
History
- 2026-11-01: add by m2/v0.6.15
BX57F1AV1C BX57F1AV1C
| URI | m2://inv/BX57F1AV1C |
|---|---|
| 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.19088#CQYZ (definition). In 90QTB4CC31/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Skolem--Bang BX59T98BZ2
| URI | m2://inv/BX59T98BZ2 |
|---|---|
| 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.05776#CCG2, Skolem--Bang (statement). In AFSG70BF7S/e1, theorem 6
History
- 2026-10-29: add by m2/v0.4.10
BX59XNN86B BX59XNN86B
| URI | m2://inv/BX59XNN86B |
|---|---|
| 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.09078#V8ID (statement). In B4GK8NEZM9/e1, theorem 2.6
History
- 2026-10-29: add by m2/v0.4.10
BX5EN32X5W BX5EN32X5W
| URI | m2://inv/BX5EN32X5W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26896#SDX9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Important theorems BX5JVY45M6
| URI | m2://inv/BX5JVY45M6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric function theory#PM3E, Important theorems (statement)
History
- 2026-11-02: add by m2/dev
Generalized BX5KTERYX3
| URI | m2://inv/BX5KTERYX3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#VI7U, Generalized (definition)
History
- 2026-11-02: add by m2/dev
addition-multiplication magic square BX5MKT990K
| URI | m2://inv/BX5MKT990K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2940395, addition-multiplication magic square (unknown). Also MathWorld Addition-MultiplicationMagicSquare
History
- 2026-10-26: add by m2/dev
Examples BX5N430MSW
| URI | m2://inv/BX5N430MSW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E series of preferred numbers#6TPE, Examples (example)
History
- 2026-11-02: add by m2/dev
BX5YPAJV0E BX5YPAJV0E
| URI | m2://inv/BX5YPAJV0E |
|---|---|
| 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 2504.14383#YX7Y (statement). In QD0X3XJS6T/e1, proposition 6.3
History
- 2026-10-27: add by m2/v0.3.5
Journal of the Royal Statistical Society, Series A: Statistics in Society BX60EZK4QC
| URI | m2://inv/BX60EZK4QC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#XSSQ, Journal of the Royal Statistical Society, Series A: Statistics in Society (definition)
History
- 2026-11-02: add by m2/dev
Macdonald identities BX63YAXQ8N
| URI | m2://inv/BX63YAXQ8N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Macdonald identities, Macdonald identities (definition). Also Wikidata Q6722996
History
- 2026-11-02: add by m2/dev
BX673FWH6F BX673FWH6F
| URI | m2://inv/BX673FWH6F |
|---|---|
| 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.21752#PXNL (statement). In E4DJTPKHAX/e1, corollary 2.12
History
- 2026-10-27: add by m2/v0.4.2
BX69KCAMB7 BX69KCAMB7
| URI | m2://inv/BX69KCAMB7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15385#LJEU (statement). In HBZXCMYPME/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
Occupational epidemiology BX6CXN8EPT
| URI | m2://inv/BX6CXN8EPT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Occupational epidemiology, Occupational epidemiology (definition). Also Wikidata Q24884463
History
- 2026-11-02: add by m2/dev
120-cell BX6M18SWA0
| URI | m2://inv/BX6M18SWA0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | 120-cell 3RQEK50CP0 |
Mentions
- wikidata: Wikidata Q736191, 120-cell (unknown). Also MathWorld 120-Cell, nLab 120-cell
- wikipedia: Wikipedia 120-cell, 120-cell (definition). Also Wikidata Q736191
History
- 2026-10-26: add by m2/dev
BX6PHFBCZR BX6PHFBCZR
| URI | m2://inv/BX6PHFBCZR |
|---|---|
| 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.27911#OEOL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Weak compactness of probabilities BX6QW3RXGZ
| URI | m2://inv/BX6QW3RXGZ |
|---|---|
| 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.18907#E581, Weak compactness of probabilities (statement). In 4SSZ4PF2P2/e1, theorem A.1
History
- 2026-10-28: add by m2/v0.4.2
exclusion negation BX6ZQ6JKR4
| URI | m2://inv/BX6ZQ6JKR4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#L0ZA, exclusion negation (definition)
History
- 2026-11-02: add by m2/dev
BX73Y5A2AG BX73Y5A2AG
| URI | m2://inv/BX73Y5A2AG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-76 (exercise). In VNMV985MXX, exercise, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Adaptive SE guidance BX7572AVMJ
| URI | m2://inv/BX7572AVMJ |
|---|---|
| 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.38133#CV9W, Adaptive SE guidance (statement). In RHRA5FMMYG/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
BX77P2NMTN BX77P2NMTN
| URI | m2://inv/BX77P2NMTN |
|---|---|
| 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.20231#1RZV (statement)
History
- 2026-11-02: add by m2/v0.6.18
Birman–Wenzl algebra BX794RE5XT
| URI | m2://inv/BX794RE5XT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#D92L, Birman–Wenzl algebra (unknown)
History
- 2026-11-02: add by m2/dev
BX7CNG82SK BX7CNG82SK
| URI | m2://inv/BX7CNG82SK |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-30: add by m2/v0.4.12
BX7SBQD8CZ BX7SBQD8CZ
| URI | m2://inv/BX7SBQD8CZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06338#I1QW (statement). In F1CYVYK7YB/e1, theorem 6.6
History
- 2026-10-29: add by m2/v0.4.10
difference quotient BX7WD8CWYG
| URI | m2://inv/BX7WD8CWYG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/1.5.3/difference-quotient, difference quotient (concept). In 907G4C4EJ1, index, section 1.5.3
History
- 2026-11-01: add by m2/v0.6.13
Content Authenticity Initiative BX7Z8C9F7N
| URI | m2://inv/BX7Z8C9F7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Content Authenticity Initiative, Content Authenticity Initiative (definition). Also Wikidata Q111376432
History
- 2026-11-02: add by m2/dev
T-category BX87MJ4H3W
| URI | m2://inv/BX87MJ4H3W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangulated category#9U8B, T-category (unknown)
History
- 2026-11-02: add by m2/dev
BX881PWTNZ BX881PWTNZ
| URI | m2://inv/BX881PWTNZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27516#D7B9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
BX8DMBBRBR BX8DMBBRBR
| URI | m2://inv/BX8DMBBRBR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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.28742#URO2 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Applications BX8MPGDRR9
| URI | m2://inv/BX8MPGDRR9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curve of constant width#4AFL, Applications (example)
History
- 2026-11-02: add by m2/dev
Kuratowski and Ryll-Nardzewski measurable selection theorem BX8XEEE3CZ
| URI | m2://inv/BX8XEEE3CZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Kazimierz Kuratowski#ZFT3, Kuratowski and Ryll-Nardzewski measurable selection theorem (statement)
History
- 2026-11-02: add by m2/dev
BX92WNQKM0 BX92WNQKM0
| URI | m2://inv/BX92WNQKM0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9602216#ZLSU (statement). In SD43497T8C/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
Riesz's lemma BX96Q81XQG
| URI | m2://inv/BX96Q81XQG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz's lemma, Riesz's lemma (statement). Also Wikidata Q1189968
History
- 2026-11-02: add by m2/dev
BX99JJFMTM BX99JJFMTM
| URI | m2://inv/BX99JJFMTM |
|---|---|
| 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.29227#TV4M (statement)
History
- 2026-11-01: add by m2/v0.6.15
BX9DW50Y4A BX9DW50Y4A
| URI | m2://inv/BX9DW50Y4A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/discriminant.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 11
History
- 2026-11-01: add by m2/v0.6.13
Examples BX9FM3SM89
| URI | m2://inv/BX9FM3SM89 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exact completion#PA0D, Examples (example)
History
- 2026-11-02: add by m2/dev
Applications BX9HQKTTGR
| URI | m2://inv/BX9HQKTTGR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virasoro algebra#9JN1, Applications (example)
History
- 2026-11-02: add by m2/dev
BX9KFFE4RA BX9KFFE4RA
| URI | m2://inv/BX9KFFE4RA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20588#TLAX (example)
History
- 2026-11-02: add by m2/v0.6.18
Radon BX9YRB0WQP
| URI | m2://inv/BX9YRB0WQP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#RSTY, Radon (definition)
History
- 2026-11-02: add by m2/dev
BXA18NDNPQ BXA18NDNPQ
| URI | m2://inv/BXA18NDNPQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19669#4ZIW (statement). In 1QPAA94Q76/e1, lemma 41
History
- 2026-10-28: add by m2/v0.4.2
BXA2FKGCR8 BXA2FKGCR8
| URI | m2://inv/BXA2FKGCR8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#FRW6 (statement). In VN084GGZGK/e1, lemma 5.15
History
- 2026-10-28: add by m2/v0.4.3
Bernstein's theorem BXA4QC5A5W
| URI | m2://inv/BXA4QC5A5W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernstein's theorem (polynomials), Bernstein's theorem (statement). Also Wikidata Q25345912
History
- 2026-11-02: add by m2/dev
BXA9KHJNV7 BXA9KHJNV7
| URI | m2://inv/BXA9KHJNV7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03517#FYWF (statement). In 3CGS9GSKTQ/e1, theorem 8.2
History
- 2026-10-29: add by m2/v0.4.12
BXABG5D327 BXABG5D327
| URI | m2://inv/BXABG5D327 |
|---|---|
| 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#YAF6 (statement). In 30PQN6JP7W/e1, lemma 31
History
- 2026-10-27: add by m2/v0.3.5
BXAH4A3P8A BXAH4A3P8A
| URI | m2://inv/BXAH4A3P8A |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.13516#KITU (example). In Z9JWKWH7CJ/e1, example 4.5
History
- 2026-10-27: add by m2/v0.3.5
Split-complex number BXAMTBC3EE
| URI | m2://inv/BXAMTBC3EE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in relativity#HGJT, Split-complex number (definition)
History
- 2026-11-02: add by m2/dev
Application BXARF3A713
| URI | m2://inv/BXARF3A713 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime avoidance lemma#1GIP, Application (example)
History
- 2026-11-02: add by m2/dev
MUSCL scheme BXB2QHD4KG
| URI | m2://inv/BXB2QHD4KG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MUSCL scheme, MUSCL scheme (definition). Also Wikidata Q6719085
History
- 2026-11-02: add by m2/dev
Results BXB61WN1MY
| URI | m2://inv/BXB61WN1MY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Envy-free pricing#9W1X, Results (statement)
History
- 2026-11-02: add by m2/dev
BXBBS0WNDH BXBBS0WNDH
| URI | m2://inv/BXBBS0WNDH |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#proof-7 (proof). In E59CDZA4DP, proof, section 2.2.1
History
- 2026-11-01: add by m2/v0.6.13
BXBGKJ3313 BXBGKJ3313
| URI | m2://inv/BXBGKJ3313 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.14389#7VZD (definition). In NAMCCRM50R/e1, definition 2.12
History
- 2026-10-27: add by m2/v0.3.5
BXBJNN9ACH BXBJNN9ACH
| URI | m2://inv/BXBJNN9ACH |
|---|---|
| Kind | example |
| 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.21174#OPMT (example)
History
- 2026-11-02: add by m2/v0.6.18
SIGTOT BXBVKNAX1D
| URI | m2://inv/BXBVKNAX1D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SIGTOT, SIGTOT (definition). Also Wikidata Q65058336
History
- 2026-11-02: add by m2/dev
simplicial, sets BXBWDADQ14
| URI | m2://inv/BXBWDADQ14 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7/simplicial-sets, simplicial, sets (concept). In N54F33XE07, index, section 7
History
- 2026-11-01: add by m2/v0.6.13
BXC4AK22TF BXC4AK22TF
| URI | m2://inv/BXC4AK22TF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/history/set-theory/hilbert-curve.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 25.9
History
- 2026-11-01: add by m2/v0.6.13
Elisa Bertino BXC96ZJ6JH
| URI | m2://inv/BXC96ZJ6JH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#DSOD, Elisa Bertino (unknown)
History
- 2026-11-02: add by m2/dev
BXCBVG56BX BXCBVG56BX
| URI | m2://inv/BXCBVG56BX |
|---|---|
| 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 2211.10816#OA26 (statement). In 8VNN8PX49Y/e1, lemma 9
History
- 2026-10-27: add by m2/v0.3.6
Definition BXCFDZC8QY
| URI | m2://inv/BXCFDZC8QY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed geodesic#XW05, Definition (definition)
History
- 2026-11-02: add by m2/dev
Local covering homogeneity BXCM0AATG8
| URI | m2://inv/BXCM0AATG8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32078#PCWY, Local covering homogeneity (statement). In 5PN85N6EJF/e1, theorem 5.6
History
- 2026-10-31: add by m2/v0.5.6
Institute of Statisticians BXCYRY47JM
| URI | m2://inv/BXCYRY47JM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Institute of Statisticians, Institute of Statisticians (definition). Also Wikidata Q6040891
History
- 2026-11-02: add by m2/dev
BXDFT4QJ50 BXDFT4QJ50
| URI | m2://inv/BXDFT4QJ50 |
|---|---|
| Kind | conjecture |
| 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.09650#2XRI (conjecture). In 628KM8869P/e1, conjecture 5.6
History
- 2026-10-29: add by m2/v0.4.10
Andreas Tømmerbakke BXDJQJKQ4T
| URI | m2://inv/BXDJQJKQ4T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#X102, Andreas Tømmerbakke (unknown)
History
- 2026-11-02: add by m2/dev
Clara Torres Latorre BXDR2EFKHN
| URI | m2://inv/BXDR2EFKHN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clara Torres Latorre, Clara Torres Latorre (topic). Also Wikidata Q27974674
History
- 2026-11-02: add by m2/dev
BXDSJ4ZVQ8 BXDSJ4ZVQ8
| URI | m2://inv/BXDSJ4ZVQ8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35678#ENG3 (definition). In 4X4ZS7CEKD/e1, definition 6
History
- 2026-10-30: add by m2/v0.4.12
Kernel BXDTTWHVAP
| URI | m2://inv/BXDTTWHVAP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#GY8F, Kernel (definition)
History
- 2026-11-02: add by m2/dev
Linear time-invariant system BXE2GGGBHF
| URI | m2://inv/BXE2GGGBHF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear time-invariant system, Linear time-invariant system (definition). Also Wikidata Q1808960
History
- 2026-11-02: add by m2/dev
BXEEZN6998 BXEEZN6998
| URI | m2://inv/BXEEZN6998 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/fourier.tex#theorem-2 (statement). In RZP28ERRZV, theorem, section 59.6
History
- 2026-11-01: add by m2/v0.6.13
Stephen Smale BXEH8NKEEA
| URI | m2://inv/BXEH8NKEEA |
|---|---|
| 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#FEBZ, Stephen Smale (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#PMK5, Stephen Smale (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZY23, Stephen Smale (topic)
History
- 2026-11-02: add by m2/dev
BXET7DXF90 BXET7DXF90
| URI | m2://inv/BXET7DXF90 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02634#ZNDE (statement). In 6YRWCCW45Y/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.12
All universal stabilization depths occur BXEWZ1D90J
| URI | m2://inv/BXEWZ1D90J |
|---|---|
| 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.37589#YRBR, All universal stabilization depths occur (statement). In 18HVB2SKW1/e1, proposition 3.5
History
- 2026-10-30: add by m2/v0.4.12
Examples BXF4CM47JB
| URI | m2://inv/BXF4CM47JB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective plane#Z26K, Examples (example)
History
- 2026-11-02: add by m2/dev
BXFTKCMNQN BXFTKCMNQN
| URI | m2://inv/BXFTKCMNQN |
|---|---|
| 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.12188#HFM3 (statement). In 52HWCGK5QJ/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
Definition BXG0T9VYDZ
| URI | m2://inv/BXG0T9VYDZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harish-Chandra's Schwartz space#PE6W, Definition (definition)
History
- 2026-11-02: add by m2/dev
BXGBP28XDB BXGBP28XDB
| URI | m2://inv/BXGBP28XDB |
|---|---|
| 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 2605.30285#WNXG (statement). In YMY0NNSM27/e1, corollary 3.7
History
- 2026-10-27: add by m2/v0.3.6
Example BXGEFVPVE1
| URI | m2://inv/BXGEFVPVE1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal concept analysis#N3XN, Example (example)
History
- 2026-11-02: add by m2/dev
Volatility smile BXGFEK0Q0Q
| URI | m2://inv/BXGFEK0Q0Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Volatility smile, Volatility smile (definition). Also Wikidata Q915788
History
- 2026-11-02: add by m2/dev
BXGG79NT9E BXGG79NT9E
| URI | m2://inv/BXGG79NT9E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2609.25106#VS4I (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition BXGGJGZDX0
| URI | m2://inv/BXGGJGZDX0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Velocity#8DER, Definition (definition)
History
- 2026-11-02: add by m2/dev
Nancy Obuchowski BXGJH1NH0T
| URI | m2://inv/BXGJH1NH0T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nancy Obuchowski, Nancy Obuchowski (topic). Also Wikidata Q89156153
History
- 2026-11-02: add by m2/dev
Hangover BXGT6W1S1D
| URI | m2://inv/BXGT6W1S1D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#YJKG, Hangover (unknown)
History
- 2026-11-02: add by m2/dev
BXH425105H BXH425105H
| URI | m2://inv/BXH425105H |
|---|---|
| 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.20994#FRMT (statement). In E90KYMVZMR/e1, corollary 6.6
History
- 2026-10-27: add by m2/v0.4.2
BXHJR2AWFQ BXHJR2AWFQ
| URI | m2://inv/BXHJR2AWFQ |
|---|---|
| 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#L25H (statement). In MJXSE9QR4X/e1, lemma A.6
History
- 2026-10-28: add by m2/v0.4.2
BXHNY119CM BXHNY119CM
| URI | m2://inv/BXHNY119CM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1705.01594#5ZCL (statement). In BR3N3GSY2C/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
BXHYAZ5JT8 BXHYAZ5JT8
| URI | m2://inv/BXHYAZ5JT8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21668#6P67 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Penrose conjecture BXHYQ0XNEH
| URI | m2://inv/BXHYQ0XNEH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemannian Penrose inequality#JWAH, Penrose conjecture (statement)
History
- 2026-11-02: add by m2/dev
Fluctuation of the orientations BXJAMHZ104
| URI | m2://inv/BXJAMHZ104 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05064#OH2U, Fluctuation of the orientations (statement). In 11SW7NAN7M/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
Hamiltonian BXJE44TZHQ
| URI | m2://inv/BXJE44TZHQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamiltonian (quantum mechanics), Hamiltonian (definition). Also Wikidata Q660488
History
- 2026-11-02: add by m2/dev
Gram point BXJH60C1AY
| URI | m2://inv/BXJH60C1AY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann–Siegel theta function#N20L, Gram point (unknown)
History
- 2026-11-02: add by m2/dev
Chern character BXJK14QDCV
| URI | m2://inv/BXJK14QDCV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16535996, Chern character (unknown). Also nLab Chern character
History
- 2026-10-26: add by m2/dev
Reinhold Strassmann BXJTY8KBCZ
| URI | m2://inv/BXJTY8KBCZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#CAO7, Reinhold Strassmann (topic)
History
- 2026-11-02: add by m2/dev
BXK2V39G16 BXK2V39G16
| URI | m2://inv/BXK2V39G16 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#proof-5 (proof). In E59CDZA4DP, proof, section 8.2.1
History
- 2026-11-01: add by m2/v0.6.13
BXK3ZD61AP BXK3ZD61AP
| URI | m2://inv/BXK3ZD61AP |
|---|---|
| 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.10233#X32V (statement). In QR9WE79ERQ/e1, theorem 4.6
History
- 2026-10-29: add by m2/v0.4.10
BXK819X0Q9 BXK819X0Q9
| URI | m2://inv/BXK819X0Q9 |
|---|---|
| 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.20316#VX7R (statement). In YRJS76169Z/e1, lemma 7.2
History
- 2026-10-27: add by m2/v0.4.2
BXKERTTSW6 BXKERTTSW6
| URI | m2://inv/BXKERTTSW6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27965#1N1M (statement)
History
- 2026-11-01: add by m2/v0.6.15
Yuri Ofman BXKF050KX4
| URI | m2://inv/BXKF050KX4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yuri Ofman, Yuri Ofman (topic). Also Wikidata Q1100660
History
- 2026-11-02: add by m2/dev
Hypothesis testing: uniformly most powerful tests BXKFX62P1T
| URI | m2://inv/BXKFX62P1T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential family#Q9S2, Hypothesis testing: uniformly most powerful tests (statement)
History
- 2026-11-02: add by m2/dev
BXKKCRBJNG BXKKCRBJNG
| URI | m2://inv/BXKKCRBJNG |
|---|---|
| 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.14689#OZ8O (statement). In 6BKMNJYNPJ/e1, lemma 4.8
History
- 2026-10-28: add by m2/v0.4.2
Definition BXKRCCABH8
| URI | m2://inv/BXKRCCABH8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-bialgebra#LSSE, Definition (definition)
History
- 2026-11-02: add by m2/dev
BXKV2HW9N9 BXKV2HW9N9
| URI | m2://inv/BXKV2HW9N9 |
|---|---|
| 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.13723#29O2 (statement). In HPBCRT0Z0V/e1, theorem 5
History
- 2026-10-28: add by m2/v0.4.2
BXKWCE7DM0 BXKWCE7DM0
| URI | m2://inv/BXKWCE7DM0 |
|---|---|
| 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.22564#KBO6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Ideal gas law BXM5ERPXQJ
| URI | m2://inv/BXM5ERPXQJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equation of state#CK1J, Ideal gas law (statement)
History
- 2026-11-02: add by m2/dev
BXM93WXFCQ BXM93WXFCQ
| URI | m2://inv/BXM93WXFCQ |
|---|---|
| Kind | example |
| 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.02141#SQ9G (example). In 5AB8YPS19N/e1, example 4.5
History
- 2026-10-29: add by m2/v0.4.12
BXMC8N3C2X BXMC8N3C2X
| URI | m2://inv/BXMC8N3C2X |
|---|---|
| Kind | definition |
| 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.33018#8LFV (definition). In 8XVS0QJ2AH/e1, definition 45
History
- 2026-10-31: add by m2/v0.5.6
Orbit basis BXMD3Y2V3E
| URI | m2://inv/BXMD3Y2V3E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10745#76CX, Orbit basis (definition). In 5MJ4NJ5ZCV/e1, definition 2.9
History
- 2026-10-28: add by m2/v0.4.3
Algebra and Tiling BXMJE4TJEF
| URI | m2://inv/BXMJE4TJEF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebra and Tiling, Algebra and Tiling (definition). Also Wikidata Q96371739
History
- 2026-11-02: add by m2/dev
Applications BXMKEAMC6A
| URI | m2://inv/BXMKEAMC6A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arthur–Selberg trace formula#BX0C, Applications (example)
History
- 2026-11-02: add by m2/dev
area BXMRBXNQ6B
| URI | m2://inv/BXMRBXNQ6B |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/6.1.2/area, area (concept). In 907G4C4EJ1, index, section 6.1.2
History
- 2026-11-01: add by m2/v0.6.13
BXMTFAQ3FJ BXMTFAQ3FJ
| URI | m2://inv/BXMTFAQ3FJ |
|---|---|
| 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 2506.09840#KIEE (statement). In Y7TWHSF2HC/e1, proposition 4.15
History
- 2026-10-27: add by m2/v0.3.5
$C^1$-Hopf-Rinow BXMW6SVA5R
| URI | m2://inv/BXMW6SVA5R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.06762#95GB, $C^1$-Hopf-Rinow (statement). In J99PFFJXPE/e1, theorem 3.10
History
- 2026-10-27: add by m2/v0.3.6
BXMW8R5WS7 BXMW8R5WS7
| URI | m2://inv/BXMW8R5WS7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07451#TIFV (definition). In P7KT88N75Q/e1, definition 1.9
History
- 2026-10-29: add by m2/v0.4.10
BXN121P94Y BXN121P94Y
| URI | m2://inv/BXN121P94Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#YBA3 (statement)
History
- 2026-11-02: add by m2/v0.6.17
BXN47NMYXS BXN47NMYXS
| URI | m2://inv/BXN47NMYXS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20421#6NMZ (definition). In Q4R7J8JE3F/e1, definition
History
- 2026-10-27: add by m2/v0.4.2
BXNEC7WYRD BXNEC7WYRD
| URI | m2://inv/BXNEC7WYRD |
|---|---|
| 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.22040#ZFYT (statement). In 2QP93JHYNB/e1, theorem 5.15
History
- 2026-10-27: add by m2/v0.4.2
BXNF96T26R BXNF96T26R
| URI | m2://inv/BXNF96T26R |
|---|---|
| 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.01354#YNQ9 (statement). In BWD76W20W8/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.12
quartic graph BXNKMJZA8V
| URI | m2://inv/BXNKMJZA8V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7269362, quartic graph (unknown). Also MathWorld QuarticGraph
- wikipedia: Wikipedia Quartic graph, Quartic graph (definition). Also Wikidata Q7269362
History
- 2026-10-26: add by m2/dev
Application BXNNGGPA7Q
| URI | m2://inv/BXNNGGPA7Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic knapsack problem#RKRC, Application (example)
History
- 2026-11-02: add by m2/dev
BXNTCCXENG BXNTCCXENG
| URI | m2://inv/BXNTCCXENG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32860#3UCO (example). In H71AJ341B3/e1, example 5.4
History
- 2026-10-31: add by m2/v0.5.6
linear equation BXNXZ86F2Z
| URI | m2://inv/BXNXZ86F2Z |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.1/linear-equation, linear equation (concept). In E9HS8K3A52, index, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
BXP0T0N5JP BXP0T0N5JP
| URI | m2://inv/BXP0T0N5JP |
|---|---|
| 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.12329#FXNY (statement). In ZJQB9W60T6/e1, theorem 5.13
History
- 2026-10-28: add by m2/v0.4.2
BXP12APHDS BXP12APHDS
| URI | m2://inv/BXP12APHDS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/compactness.tex#ex-3 (example). In PKGMM3P5QY, ex, section 9.9
History
- 2026-11-01: add by m2/v0.6.13
BXP7P01RTX BXP7P01RTX
| URI | m2://inv/BXP7P01RTX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20134#9I88 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Icosagon BXPGK7HPSP
| URI | m2://inv/BXPGK7HPSP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#3AX7, Icosagon (definition)
- wikipedia: Wikipedia List of mathematical shapes#DWQJ, Icosagon (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#7440, Icosagon (definition)
History
- 2026-11-02: add by m2/dev
Applications BXPMVDJ9C2
| URI | m2://inv/BXPMVDJ9C2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knot theory#45T8, Applications (example)
History
- 2026-11-02: add by m2/dev
BXPPZRFFKZ BXPPZRFFKZ
| URI | m2://inv/BXPPZRFFKZ |
|---|---|
| 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.11905#DKFF (statement). In QQFXT31CA5/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.3
Topological data analysis BXPQPKXKHR
| URI | m2://inv/BXPQPKXKHR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological data analysis, Topological data analysis (definition). Also Wikidata Q4460773
History
- 2026-11-02: add by m2/dev
centipede graph BXPSY35Z6J
| URI | m2://inv/BXPSY35Z6J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q131367988, centipede graph (unknown). Also MathWorld CentipedeGraph
History
- 2026-10-26: add by m2/dev
BXPWR2FAG8 BXPWR2FAG8
| URI | m2://inv/BXPWR2FAG8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09390#UJRD (statement). In 7SSKW778T8/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.10
Cell Hessian BXQ07H93M1
| URI | m2://inv/BXQ07H93M1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#2NLX, Cell Hessian (definition)
History
- 2026-11-01: add by m2/v0.6.15
Philon BXQ0AFAE3K
| URI | m2://inv/BXQ0AFAE3K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#T01V, Philon (unknown)
History
- 2026-11-02: add by m2/dev
Splitting circle method BXQ4TXV049
| URI | m2://inv/BXQ4TXV049 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Splitting circle method, Splitting circle method (definition). Also Wikidata Q1269645
History
- 2026-11-02: add by m2/dev
Bousfield localization BXQ5NC08KK
| URI | m2://inv/BXQ5NC08KK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#WVID, Bousfield localization (definition)
History
- 2026-11-02: add by m2/dev
The algorithm BXQ7F2509V
| URI | m2://inv/BXQ7F2509V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baby-step giant-step#C8TW, The algorithm (definition)
History
- 2026-11-02: add by m2/dev
BXQDJX8G71 BXQDJX8G71
| URI | m2://inv/BXQDJX8G71 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.10505#7D7S (statement). In JW8HH6EPG2/e1, proposition 3.41
History
- 2026-10-29: add by m2/v0.4.10
Dmitry Dolgopyat BXQGDY4VVW
| URI | m2://inv/BXQGDY4VVW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dmitry Dolgopyat, Dmitry Dolgopyat (topic). Also Wikidata Q20982631
History
- 2026-11-02: add by m2/dev
BXQJGQ98JN BXQJGQ98JN
| URI | m2://inv/BXQJGQ98JN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12908#379H (statement). In TNC658NVMQ/e1, lemma 7.11
History
- 2026-10-28: add by m2/v0.4.2
Tippett, Leonard Henry Caleb BXQKFTBRCD
| URI | m2://inv/BXQKFTBRCD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#A2R7, Tippett, Leonard Henry Caleb (topic)
History
- 2026-11-02: add by m2/dev
BXQMYT4BRF BXQMYT4BRF
| URI | m2://inv/BXQMYT4BRF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22161#WD9K (statement). In FVM35KPN8C/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.4.0
order BXQRYRBX7G
| URI | m2://inv/BXQRYRBX7G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#IFCD, order (definition)
History
- 2026-11-02: add by m2/dev
BXQX0MMQ61 BXQX0MMQ61
| URI | m2://inv/BXQX0MMQ61 |
|---|---|
| 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 2610.10567#Q0GM (statement). In Q7TTRJ20KD/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.10
Composite certified bound BXR1W7J72B
| URI | m2://inv/BXR1W7J72B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34918#XHQ9, Composite certified bound (statement). In B3MNVE9149/e1, proposition 5.5
History
- 2026-10-30: add by m2/v0.4.12
Burchnall BXR3Y7G464
| URI | m2://inv/BXR3Y7G464 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#D8CO, Burchnall (unknown)
History
- 2026-11-02: add by m2/dev
BXREQC47BE BXREQC47BE
| URI | m2://inv/BXREQC47BE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38206#L624 (statement). In F71MS1F637/e1, theorem C
History
- 2026-10-30: add by m2/v0.4.12
BXRFSZB37M BXRFSZB37M
| URI | m2://inv/BXRFSZB37M |
|---|---|
| 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#8HS9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Stress characterization of second-order rigidity BXRFT6EV4K
| URI | m2://inv/BXRFT6EV4K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17004#8IA9, Stress characterization of second-order rigidity (statement). In XNJGNMS6H0/e1, corollary 5.9
History
- 2026-10-28: add by m2/v0.4.2
BXRJEJK0P8 BXRJEJK0P8
| URI | m2://inv/BXRJEJK0P8 |
|---|---|
| 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.19260#246S (statement). In PWXT7J9JX3/e1, corollary 5.5
History
- 2026-10-28: add by m2/v0.4.2
BXRJQAF2GG BXRJQAF2GG
| URI | m2://inv/BXRJQAF2GG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#ADEF (definition). In 3A4K47Y9F2/e1, definition 4.19
History
- 2026-10-27: add by m2/v0.4.0
Force of infection BXRMKC74MT
| URI | m2://inv/BXRMKC74MT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Force of infection, Force of infection (definition). Also Wikidata Q5467485
History
- 2026-11-02: add by m2/dev
BXRS3E5YEB BXRS3E5YEB
| URI | m2://inv/BXRS3E5YEB |
|---|---|
| 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.21762#AV0J (statement). In CYDJ6JGD4A/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.4.2
BXRTV5X4VG BXRTV5X4VG
| URI | m2://inv/BXRTV5X4VG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9802134#7QK6 (statement). In 235B1J1ETB/e1, lemma 2.12
History
- 2026-10-27: add by m2/v0.3.5
BXRV099JER BXRV099JER
| URI | m2://inv/BXRV099JER |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#theorem-11 (statement). In P1C114YBXG, theorem, section u1
History
- 2026-11-01: add by m2/v0.6.13
compression BXRVWVVH7Q
| URI | m2://inv/BXRVWVVH7Q |
|---|---|
| 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 2610.18803#K277, compression (statement). In VG8AF124T3/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Properties BXRXCPB495
| URI | m2://inv/BXRXCPB495 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deligne–Mumford stack#TGWK, Properties (statement)
History
- 2026-11-02: add by m2/dev
Great dirhombicosidodecacron BXRYKQD9PG
| URI | m2://inv/BXRYKQD9PG |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#HIIM, Great dirhombicosidodecacron (object)
History
- 2026-11-02: add by m2/dev
Curved first-order condition BXRZF0NZ93
| URI | m2://inv/BXRZF0NZ93 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00501#KPUY, Curved first-order condition (statement). In FTPW1SZ8D3/e1, lemma A.3
History
- 2026-10-30: add by m2/v0.4.12
Definition BXS8Z83M3B
| URI | m2://inv/BXS8Z83M3B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kretschmann scalar#6WVX, Definition (definition)
History
- 2026-11-02: add by m2/dev
\coqident{fpullback BXSEAAG3YD
| URI | m2://inv/BXSEAAG3YD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 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 1705.04310#P0QN, \coqident{fpullback (definition). In MG51GG0QZN/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
BXSG9G7YKN BXSG9G7YKN
| URI | m2://inv/BXSG9G7YKN |
|---|---|
| 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 2609.28011#741H (statement)
History
- 2026-11-01: add by m2/v0.6.15
BXSP8D1EQ8 BXSP8D1EQ8
| URI | m2://inv/BXSP8D1EQ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14217#R1YP (statement). In K0DHYQC5B7/e1, corollary 4.15
History
- 2026-10-28: add by m2/v0.4.2
Generalized trigonometry BXSSXRCBAQ
| URI | m2://inv/BXSSXRCBAQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#SWP8, Generalized trigonometry (definition)
History
- 2026-11-02: add by m2/dev
Primary existence BXSZ96CQJF
| URI | m2://inv/BXSZ96CQJF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18788#LLD6, Primary existence (statement). In KFEASG3ZHS/e1, theorem 6.2
History
- 2026-10-28: add by m2/v0.4.2
Nova Acta Academiae Scientiarum Imperialis Petropolitanae BXT7MMSR33
| URI | m2://inv/BXT7MMSR33 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14757792, Nova Acta Academiae Scientiarum Imperialis Petropolitanae (unknown). Also ProofWiki Book:Journal/Nova_Acta_Academiae_Scientiarum_Imperialis_Petropolitanae
History
- 2026-10-26: add by m2/dev
Algorithm BXT9V8XND6
| URI | m2://inv/BXT9V8XND6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-shrinking generator#705R, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
BXTB0WGXGJ BXTB0WGXGJ
| URI | m2://inv/BXTB0WGXGJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_gt-planar.ptx#theorem-3 (statement). In Y91XFCEVHQ, theorem, section 5.3.2
History
- 2026-11-01: add by m2/v0.6.13
Três Coroas BXTC71XGKB
| URI | m2://inv/BXTC71XGKB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#ZFCT, Três Coroas (unknown)
History
- 2026-11-02: add by m2/dev
Val Plumwood BXTERZMY4B
| URI | m2://inv/BXTERZMY4B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#NZAR, Val Plumwood (unknown)
History
- 2026-11-02: add by m2/dev
BXTH4HET2M BXTH4HET2M
| URI | m2://inv/BXTH4HET2M |
|---|---|
| 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.17408#PHIL (statement). In QR8H4M1X4N/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
Three-point stabilizers for the Suzuki group BXTKW4TXDW
| URI | m2://inv/BXTKW4TXDW |
|---|---|
| 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.15340#AB0M, Three-point stabilizers for the Suzuki group (statement). In 9NVKKW8HDH/e1, theorem 2.53
History
- 2026-10-28: add by m2/v0.4.2
\bf Conditional portfolio set BXTMSWDX9C
| URI | m2://inv/BXTMSWDX9C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.14445#3S9X, \bf Conditional portfolio set (definition). In V56MKF0KW2/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.5
Examples BXTNK9NSP2
| URI | m2://inv/BXTNK9NSP2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sperner property of a partially ordered set#TZM0, Examples (example)
History
- 2026-11-02: add by m2/dev
Eckardt point BXTQR6M80S
| URI | m2://inv/BXTQR6M80S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#NU91, Eckardt point (definition)
History
- 2026-11-02: add by m2/dev
BXTRG0TN93 BXTRG0TN93
| URI | m2://inv/BXTRG0TN93 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-36 (exercise). In E59CDZA4DP, exercise, section 11.3.5
History
- 2026-11-01: add by m2/v0.6.13
BXTV2AYQ4K BXTV2AYQ4K
| URI | m2://inv/BXTV2AYQ4K |
|---|---|
| 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 2108.03672#RH45 (definition). In EZZSZ1F071/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.4.0
BXV3NH5E1X BXV3NH5E1X
| URI | m2://inv/BXV3NH5E1X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08196#I65K (definition). In 8QVWZ23N42/e1, definition 5.7
History
- 2026-10-29: add by m2/v0.4.10
BXV5HGA7JY BXV5HGA7JY
| URI | m2://inv/BXV5HGA7JY |
|---|---|
| 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#IF0Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
BXVAV8MHFN BXVAV8MHFN
| URI | m2://inv/BXVAV8MHFN |
|---|---|
| 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.24412#6VA1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Covering problem of Rado BXVP5GPQHZ
| URI | m2://inv/BXVP5GPQHZ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covering problem of Rado, Covering problem of Rado (conjecture). Also Wikidata Q5179259
History
- 2026-11-02: add by m2/dev
$(A,L)$-umbrella BXVQPYCP6T
| URI | m2://inv/BXVQPYCP6T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12330#XY05, $(A,L)$-umbrella (definition). In XHSKEPT3VD/e1, definition 5.2
History
- 2026-10-28: add by m2/v0.4.2
BXVWAS8DK9 BXVWAS8DK9
| URI | m2://inv/BXVWAS8DK9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21945#QID8 (statement). In 371P9QASSJ/e1, lemma 7.3
History
- 2026-10-27: add by m2/v0.4.2
Axiom of countability BXWF3JNVDD
| URI | m2://inv/BXWF3JNVDD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#IDM1, Axiom of countability (statement)
History
- 2026-11-02: add by m2/dev
BXWNB5DMB0 BXWNB5DMB0
| URI | m2://inv/BXWNB5DMB0 |
|---|---|
| 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.06707#BEY7 (statement). In 9TR5E527P5/e1, lemma 6.34
History
- 2026-10-29: add by m2/v0.4.10
BXWNXSAC8V BXWNXSAC8V
| URI | m2://inv/BXWNXSAC8V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01346#PKC2 (statement). In 44DQ7W1NW9/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
BXWTB2S78R BXWTB2S78R
| URI | m2://inv/BXWTB2S78R |
|---|---|
| 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.16258#QNT3 (statement). In AZ6QMVKFHD/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Normal-exponential-gamma distribution BXWV4BRY4F
| URI | m2://inv/BXWV4BRY4F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal-exponential-gamma distribution, Normal-exponential-gamma distribution (topic). Also Wikidata Q7051755
History
- 2026-11-02: add by m2/dev
BXWWP8ZHJE BXWWP8ZHJE
| URI | m2://inv/BXWWP8ZHJE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14045#XAYV (example). In KZ71GXT2B0/e1, example 5.6
History
- 2026-10-28: add by m2/v0.4.2
BXWXYQC4XC BXWXYQC4XC
| URI | m2://inv/BXWXYQC4XC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26896#1ZBO (statement)
History
- 2026-11-01: add by m2/v0.6.15
BXWZMYP9R7 BXWZMYP9R7
| URI | m2://inv/BXWZMYP9R7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/completeness/canonical-models.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 50.14
History
- 2026-11-01: add by m2/v0.6.13
BXX10YAZ6M BXX10YAZ6M
| URI | m2://inv/BXX10YAZ6M |
|---|---|
| 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 2207.11097#6WK9 (statement). In 13H5BTAXHF/e1, theorem 7
History
- 2026-10-27: add by m2/v0.3.5
Five Cays BXX2PPTGNX
| URI | m2://inv/BXX2PPTGNX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#1U62, Five Cays (unknown)
History
- 2026-11-02: add by m2/dev
Bakry--\'Emery Type Discrete Gradient Estimate for the Hypercube BXX31Y0Q88
| URI | m2://inv/BXX31Y0Q88 |
|---|---|
| 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.16705#BSSV, Bakry--\'Emery Type Discrete Gradient Estimate for the Hypercube (statement). In B48YQVGAF5/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
BXX4E0NFQ9 BXX4E0NFQ9
| URI | m2://inv/BXX4E0NFQ9 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#proof-5 (proof). In E59CDZA4DP, proof, section 9.2.3
History
- 2026-11-01: add by m2/v0.6.13
BXX8XCWS2D BXX8XCWS2D
| URI | m2://inv/BXX8XCWS2D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.24542#F15O (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties BXXESN6RV1
| URI | m2://inv/BXXESN6RV1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Albanese variety#ELND, Properties (statement)
History
- 2026-11-02: add by m2/dev
BXXKDF0284 BXXKDF0284
| URI | m2://inv/BXXKDF0284 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37479#SVBH (problem). In P3RTT99C41/e1, problem
History
- 2026-10-30: add by m2/v0.4.12
BXXNE4F0X4 BXXNE4F0X4
| URI | m2://inv/BXXNE4F0X4 |
|---|---|
| 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.09882#OPHF (statement). In 7XV6T4N79V/e1, lemma B.3
History
- 2026-10-29: add by m2/v0.4.10
Code configuration BXXQF66407
| URI | m2://inv/BXXQF66407 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#5FZ6, Code configuration (definition). In WD2NCBV9F0/e1, definition 4.18
History
- 2026-10-27: add by m2/v0.3.5
BXXQP8BZGG BXXQP8BZGG
| URI | m2://inv/BXXQP8BZGG |
|---|---|
| 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#DMY3 (statement). In 1MPH7GCFJ2/e1, lemma 4.10
History
- 2026-10-27: add by m2/v0.4.2
BXXVXE31MY BXXVXE31MY
| URI | m2://inv/BXXVXE31MY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23238#F1S9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
BXXYHH0MN1 BXXYHH0MN1
| URI | m2://inv/BXXYHH0MN1 |
|---|---|
| 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.30663#8YT1 (statement). In 3JZDKWS8NK/e1, lemma 10.2
History
- 2026-10-31: add by m2/v0.5.6
Base 8 Algorithm BXY636ZCR2
| URI | m2://inv/BXY636ZCR2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Octal#Q3D1, Base 8 Algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Shihab al-Din Yahya ibn Habash Suhrawardi BXY68G9393
| URI | m2://inv/BXY68G9393 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shihab al-Din Yahya ibn Habash Suhrawardi, Shihab al-Din Yahya ibn Habash Suhrawardi (topic). Also Wikidata Q282883
History
- 2026-11-02: add by m2/dev
$m$E-RCUSUM: $\Psi_{m\text{RC}} (A, a_1, \dots, a_m, \allowbreak N_0, \dots, N_{m - 1}, \mu) = \Psi_{m\text{RC}}$ BXY77ZQCW8
| URI | m2://inv/BXY77ZQCW8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16055#VOI5, $m$E-RCUSUM: $\Psi_{m\text{RC}} (A, a_1, \dots, a_m, \allowbreak N_0, \dots, N_{m - 1}, \mu) = \Psi_{m\text{RC}}$ (definition). In 389BW42CTK/e1, definition 3
History
- 2026-10-28: add by m2/v0.4.2
BXYARCG47P BXYARCG47P
| URI | m2://inv/BXYARCG47P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05506#TW7N (statement). In FT53PMB1TE/e1, lemma 3.2.1
History
- 2026-10-29: add by m2/v0.4.10
Sparse trace test BXYH17GQMN
| URI | m2://inv/BXYH17GQMN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23238#Q66H, Sparse trace test (statement)
History
- 2026-11-02: add by m2/v0.6.17
BXYN0J9XMH BXYN0J9XMH
| URI | m2://inv/BXYN0J9XMH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09354#1QTU (statement). In 5VAJC29KA2/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.10
numerator BXYPRCYMAR
| URI | m2://inv/BXYPRCYMAR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2279584, numerator (unknown). Also EoM Numerator, MathWorld Numerator
History
- 2026-10-26: add by m2/dev
Properties BXYQ55FB01
| URI | m2://inv/BXYQ55FB01 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic curve only hash#YKE5, Properties (statement)
History
- 2026-11-02: add by m2/dev
Stability under mixing BXYW5RB0MK
| URI | m2://inv/BXYW5RB0MK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00501#R5QZ, Stability under mixing (statement). In FTPW1SZ8D3/e1, lemma B.8
History
- 2026-10-30: add by m2/v0.4.12
Annealed multi-link branching criterion BXYW93EPP0
| URI | m2://inv/BXYW93EPP0 |
|---|---|
| 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.08149#OAL4, Annealed multi-link branching criterion (statement). In E128PFR76Q/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Examples BXZ1YRN87Q
| URI | m2://inv/BXZ1YRN87Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L-reduction#E9LH, Examples (example)
History
- 2026-11-02: add by m2/dev
Characterization of stability BXZ3JS5D4E
| URI | m2://inv/BXZ3JS5D4E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11002#4WAL, Characterization of stability (statement). In P55JSAYR3T/e1, theorem
History
- 2026-10-28: add by m2/v0.4.3
Quantum walk search BXZ515GAKG
| URI | m2://inv/BXZ515GAKG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#EV5J, Quantum walk search (unknown)
History
- 2026-11-02: add by m2/dev
BXZ73Q25TC BXZ73Q25TC
| URI | m2://inv/BXZ73Q25TC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33263#053B (statement). In 6S5EH3388Z/e1, corollary 1.8
History
- 2026-10-30: add by m2/v0.4.12
Local charges BXZG0QEYEH
| URI | m2://inv/BXZG0QEYEH |
|---|---|
| Kind | definition |
| 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 2503.08018#3CUQ, Local charges (definition). In TN93YFN45W/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.4.0
Swap--Rendezvous BXZTNEGZKM
| URI | m2://inv/BXZTNEGZKM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#ZPDG, Swap--Rendezvous (definition). In 5E9G06XJKC/e1, definition D.24
History
- 2026-10-28: add by m2/v0.4.2