Inventory rows E4
The cards of the rows of the inventory whose ids start with E4. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Stochastic programming E40297JMFE
| URI | m2://inv/E40297JMFE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic programming, Stochastic programming (definition). Also Wikidata Q7617831
History
- 2026-11-02: add by m2/dev
Vector bornology E405JX54TP
| URI | m2://inv/E405JX54TP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector bornology, Vector bornology (definition). Also Wikidata Q96413662
History
- 2026-11-02: add by m2/dev
noisy homomorphic sensing E40A6SVP4W
| URI | m2://inv/E40A6SVP4W |
|---|---|
| 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 2006.05158#E9UV, noisy homomorphic sensing (statement). In 4VCW6SZQXK/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
Liouville projection integrals E40K9YT6E6
| URI | m2://inv/E40K9YT6E6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22413#F9FE, Liouville projection integrals (statement)
History
- 2026-11-02: add by m2/v0.6.17
E40KSM035S E40KSM035S
| URI | m2://inv/E40KSM035S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#exercise-2 (exercise). In Y91XFCEVHQ, exercise, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
\coqident{Foundations}{Sets}{hrel E40N0WF8YC
| URI | m2://inv/E40N0WF8YC |
|---|---|
| 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 1904.09810#J7GE, \coqident{Foundations}{Sets}{hrel (definition). In T1VFA7TXPA/e1, definition 54
History
- 2026-10-27: add by m2/v0.3.5
Riemannian manifold E40PS1D5KG
| URI | m2://inv/E40PS1D5KG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#WRFM, Riemannian manifold (definition)
- wikipedia: Wikipedia List of manifolds#R2N3, Riemannian manifold (definition)
History
- 2026-11-02: add by m2/dev
Relaxation E40SMFJAKS
| URI | m2://inv/E40SMFJAKS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relaxation (approximation), Relaxation (definition). Also Wikidata Q646590
History
- 2026-11-02: add by m2/dev
Schauder basis E40Y8KH5WY
| URI | m2://inv/E40Y8KH5WY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Schauder basis 528G11SDWR |
Mentions
- wikidata: Wikidata Q777879, Schauder basis (concept). Also EoM Schauder_basis, MathWorld SchauderBasis
- wikipedia: Wikipedia Schauder basis, Schauder basis (definition). Also Wikidata Q777879
History
- 2026-10-26: add by m2/dev
E40YZFGD8P E40YZFGD8P
| URI | m2://inv/E40YZFGD8P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12740#UGOC (statement). In HKYRZSZPEC/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
E4166QB7PB E4166QB7PB
| URI | m2://inv/E4166QB7PB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-53 (exercise). In VNMV985MXX, exercise, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
E416G64VM5 E416G64VM5
| URI | m2://inv/E416G64VM5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/measure-space.tex#definition-1 (definition). In RZP28ERRZV, definition, section 67.4
History
- 2026-11-01: add by m2/v0.6.13
E41BQ4RR4F E41BQ4RR4F
| URI | m2://inv/E41BQ4RR4F |
|---|---|
| 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.37973#WKKL (statement). In 7276BGZRMP/e1, fact 3
History
- 2026-10-30: add by m2/v0.4.12
Normalization and coordinate enlargement E41BQHKM7A
| URI | m2://inv/E41BQHKM7A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.02407#FQRR, Normalization and coordinate enlargement (statement). In ZZER8ZBSCR/e1, lemma B.7
History
- 2026-10-29: add by m2/v0.4.12
E41ECP9MFY E41ECP9MFY
| URI | m2://inv/E41ECP9MFY |
|---|---|
| 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.32174#8B8J (statement). In GHKR740SG3/e1, theorem 20.2
History
- 2026-10-31: add by m2/v0.5.6
Applications E41V04NBZA
| URI | m2://inv/E41V04NBZA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fork–join queue#AICS, Applications (example)
History
- 2026-11-02: add by m2/dev
E41X6Y734Y E41X6Y734Y
| URI | m2://inv/E41X6Y734Y |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/choice/hartogs.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 71.2
History
- 2026-11-01: add by m2/v0.6.13
E41Y3GJXRQ E41Y3GJXRQ
| URI | m2://inv/E41Y3GJXRQ |
|---|---|
| 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.15313#WIWU (statement). In KWKY1CWG1Z/e1, theorem 5.5
History
- 2026-10-28: add by m2/v0.4.2
E42275ZXBN E42275ZXBN
| URI | m2://inv/E42275ZXBN |
|---|---|
| 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 2411.16655#WEPQ (statement). In EJHAXRV685/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
Bioctonion E427T13RF3
| URI | m2://inv/E427T13RF3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bioctonion, Bioctonion (definition). Also Wikidata Q28453720
History
- 2026-11-02: add by m2/dev
Finite fields are field extensions of $\FF_p$ E42DAY2FVK
| URI | m2://inv/E42DAY2FVK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/finite-field.tex#lemma-3, Finite fields are field extensions of $\FF_p$ (statement). In RZP28ERRZV, lemma, section 12.2
History
- 2026-11-01: add by m2/v0.6.13
E42GC1DEAQ E42GC1DEAQ
| URI | m2://inv/E42GC1DEAQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33941#J9VW (statement). In 64YCRQCKZN/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
E42K8S7GF4 E42K8S7GF4
| URI | m2://inv/E42K8S7GF4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/addtops-numbth.ptx#exercise-10 (exercise). In Y91XFCEVHQ, exercise, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
E42WDYB9VJ E42WDYB9VJ
| URI | m2://inv/E42WDYB9VJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19023#XAM8 (statement). In QFA8TMJPHZ/e1, theorem 5.4
History
- 2026-10-28: add by m2/v0.4.2
E43360C1BW E43360C1BW
| URI | m2://inv/E43360C1BW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28121#XLTU (statement)
History
- 2026-11-01: add by m2/v0.6.15
E43A2R5ZCK E43A2R5ZCK
| URI | m2://inv/E43A2R5ZCK |
|---|---|
| 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.27114#6L37 (statement)
History
- 2026-11-01: add by m2/v0.6.15
E43AC2GVKK E43AC2GVKK
| URI | m2://inv/E43AC2GVKK |
|---|---|
| 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.09483#ZMJN (statement). In N1MQ8F9JN6/e1, corollary 5.7
History
- 2026-10-29: add by m2/v0.4.10
Hermite's problem E43AZGFVAM
| URI | m2://inv/E43AZGFVAM |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Charles Hermite#FHXQ, Hermite's problem (conjecture)
History
- 2026-11-02: add by m2/dev
E43DCKMEYE E43DCKMEYE
| URI | m2://inv/E43DCKMEYE |
|---|---|
| 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.01268#WKP2 (statement). In 80Q4X3WT8W/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.12
E43EXARFAK E43EXARFAK
| URI | m2://inv/E43EXARFAK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1804.05688#1PBB (statement). In M8F4PDHH3S/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.5
Abstract structure E43H8CV5FK
| URI | m2://inv/E43H8CV5FK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract structure, Abstract structure (definition). Also Wikidata Q4833865
History
- 2026-11-02: add by m2/dev
E43JFM2MD4 E43JFM2MD4
| URI | m2://inv/E43JFM2MD4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17589#4H6M (statement). In GSTK4569X1/e1, proposition 5.10
History
- 2026-10-28: add by m2/v0.4.2
Gravity set E43MC4A7Q0
| URI | m2://inv/E43MC4A7Q0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of chaotic maps#RBM8, Gravity set (unknown)
History
- 2026-11-02: add by m2/dev
Riemann hypothesis E43P2FVY2R
| URI | m2://inv/E43P2FVY2R |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#P4R0, Riemann hypothesis (conjecture)
- wikipedia: Wikipedia List of things named after Bernhard Riemann#70OC, Riemann hypothesis (conjecture)
- wikipedia: Wikipedia List of number theory topics#AN0Y, Riemann hypothesis (conjecture)
History
- 2026-11-02: add by m2/dev
Distinct progression inputs E43VZHSXE3
| URI | m2://inv/E43VZHSXE3 |
|---|---|
| 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.27044#58DE, Distinct progression inputs (statement)
History
- 2026-11-01: add by m2/v0.6.15
E43ZFK43Z0 E43ZFK43Z0
| URI | m2://inv/E43ZFK43Z0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#example-2 (example). In E9HS8K3A52, example, section 5.1.1
History
- 2026-11-01: add by m2/v0.6.13
E4405ZW8J9 E4405ZW8J9
| URI | m2://inv/E4405ZW8J9 |
|---|---|
| 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 2406.07116#0BNF (statement). In 5B030CB2RK/e1, corollary A.11
History
- 2026-10-27: add by m2/v0.3.6
E441ZZSM2E E441ZZSM2E
| URI | m2://inv/E441ZZSM2E |
|---|---|
| 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.01247#2N8J (definition). In 6EVNCRZ118/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.12
E44V1DPG0H E44V1DPG0H
| URI | m2://inv/E44V1DPG0H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17759#O53J (statement). In 7MWKMG2V8A/e1, lemma 4.12
History
- 2026-10-28: add by m2/v0.4.2
E44ZMY99ZR E44ZMY99ZR
| URI | m2://inv/E44ZMY99ZR |
|---|---|
| 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.16731#TISQ (statement). In D68KBZQ4Q6/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
E451G2FE6T E451G2FE6T
| URI | m2://inv/E451G2FE6T |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20516#2TJ6 (example)
History
- 2026-11-02: add by m2/v0.6.18
Polar radical and polar rank E454PB0JEC
| URI | m2://inv/E454PB0JEC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15815#GHVM, Polar radical and polar rank (definition). In 9C75CTY5C3/e1, definition 5.3
History
- 2026-10-28: add by m2/v0.4.2
E455A1C8X1 E455A1C8X1
| URI | m2://inv/E455A1C8X1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35383#XSJ1 (statement). In HSR4748706/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
E45D96YVJM E45D96YVJM
| URI | m2://inv/E45D96YVJM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.08500#4HJV (statement). In ZPCYW4N0EH/e1, lemma 4.17
History
- 2026-10-29: add by m2/v0.4.10
Conversion between quaternions and Euler angles E45E6K9FYB
| URI | m2://inv/E45E6K9FYB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conversion between quaternions and Euler angles, Conversion between quaternions and Euler angles (definition). Also Wikidata Q5166468
History
- 2026-11-02: add by m2/dev
Examples E45NV273XW
| URI | m2://inv/E45NV273XW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Product (category theory)#UOY3, Examples (example)
History
- 2026-11-02: add by m2/dev
E45RXMH8WB E45RXMH8WB
| URI | m2://inv/E45RXMH8WB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-4.xml#prop-det-inverse-reciprocal (statement). In 649HGZKE96, proposition, section 3.4.3
History
- 2026-11-01: add by m2/v0.6.13
E45SMPSPKE E45SMPSPKE
| URI | m2://inv/E45SMPSPKE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#W4Q4 (definition). In CY1FE8W1ZW/e1, definition 0.102
History
- 2026-10-27: add by m2/v0.3.5
Variational representation of the discounted values E463TPM0NJ
| URI | m2://inv/E463TPM0NJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14988#EUN2, Variational representation of the discounted values (statement). In B29M4E6KGC/e1, lemma G.5
History
- 2026-10-28: add by m2/v0.4.2
E469QCRQ32 E469QCRQ32
| URI | m2://inv/E469QCRQ32 |
|---|---|
| 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.03292#GF0I (statement). In SN2PBM95HT/e1, lemma 3.12
History
- 2026-10-29: add by m2/v0.4.12
Pomeranchuk's theorem E469RFQ66A
| URI | m2://inv/E469RFQ66A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#V8RZ, Pomeranchuk's theorem (statement)
History
- 2026-11-02: add by m2/dev
Systems of Logic Based on Ordinals E46BMT7C9T
| URI | m2://inv/E46BMT7C9T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Systems of Logic Based on Ordinals, Systems of Logic Based on Ordinals (definition). Also Wikidata Q7663875
History
- 2026-11-02: add by m2/dev
History of E46E7A5ZKY
| URI | m2://inv/E46E7A5ZKY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics related to π#GWRR, History of (definition)
History
- 2026-11-02: add by m2/dev
Small-time expansion I E46EYJWFWP
| URI | m2://inv/E46EYJWFWP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39409#6F27, Small-time expansion I (statement). In CQ0Z7QA0A5/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
E46MX5HRAH E46MX5HRAH
| URI | m2://inv/E46MX5HRAH |
|---|---|
| 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.11847#YBIQ (statement). In MP2YM69XW8/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.3
Theorem E46YT5K2R2
| URI | m2://inv/E46YT5K2R2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Characteristic function (probability theory)#L0O9, Theorem (statement)
History
- 2026-11-02: add by m2/dev
E47004RN8R E47004RN8R
| URI | m2://inv/E47004RN8R |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29107#M55Y (unknown)
History
- 2026-11-01: add by m2/v0.6.15
Examples E471Y6JJA3
| URI | m2://inv/E471Y6JJA3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parameter space#POGD, Examples (example)
History
- 2026-11-02: add by m2/dev
Jan Karel Lenstra E473ZKYB4D
| URI | m2://inv/E473ZKYB4D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jan Karel Lenstra, Jan Karel Lenstra (topic). Also Wikidata Q6149223
History
- 2026-11-02: add by m2/dev
E47482QQT1 E47482QQT1
| URI | m2://inv/E47482QQT1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-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.38068#O1OX (statement). In 67GE5M1GGD/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
Descartes's theorem E47C9Q967Q
| URI | m2://inv/E47C9Q967Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1196538, Descartes's theorem (statement). Also Wikidata Q1196538
- thousand_plus: thousand_plus Q1196538, Descartes's theorem (statement). Also Wikidata Q1196538, Wikipedia Descartes's theorem
- wikipedia: Wikipedia Descartes's theorem, Descartes's theorem (statement). Also Wikidata Q1196538
History
- 2026-10-26: add by m2/dev
Applications E47EC09KWE
| URI | m2://inv/E47EC09KWE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-mer#RW8P, Applications (example)
History
- 2026-11-02: add by m2/dev
Caccioppoli's Inequality E47PB62M6W
| URI | m2://inv/E47PB62M6W |
|---|---|
| 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.18270#X4L0, Caccioppoli's Inequality (statement). In CPDMYJ0NJV/e1, lemma 9.4
History
- 2026-10-28: add by m2/v0.4.2
E47ZJGAD9B E47ZJGAD9B
| URI | m2://inv/E47ZJGAD9B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-58 (exercise). In E59CDZA4DP, exercise, section 5.7.1
History
- 2026-11-01: add by m2/v0.6.13
Properties E481V3AY4V
| URI | m2://inv/E481V3AY4V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Periodic function#SXT8, Properties (statement)
History
- 2026-11-02: add by m2/dev
E488JR7WMR E488JR7WMR
| URI | m2://inv/E488JR7WMR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20097#UKKL (statement)
History
- 2026-11-02: add by m2/v0.6.18
Brun sieve E488XD29JE
| URI | m2://inv/E488XD29JE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brun sieve, Brun sieve (definition). Also Wikidata Q17003952
History
- 2026-11-02: add by m2/dev
E48ADWE1DS E48ADWE1DS
| URI | m2://inv/E48ADWE1DS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20891#OLJ6 (statement). In WH55XAE8E2/e1, proposition 5.9
History
- 2026-10-27: add by m2/v0.4.2
E48FC3XQ68 E48FC3XQ68
| URI | m2://inv/E48FC3XQ68 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19010#81JP (definition). In 6315NJBYJM/e1, definition 14
History
- 2026-10-28: add by m2/v0.4.2
Properties E48NW5KM9G
| URI | m2://inv/E48NW5KM9G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scoring rule#UPDC, Properties (statement)
History
- 2026-11-02: add by m2/dev
Properties E48P3QMXV0
| URI | m2://inv/E48P3QMXV0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the cue heading names a section and not one item) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abelian group#AEWJ, Properties (statement)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
E48R74PXHS E48R74PXHS
| URI | m2://inv/E48R74PXHS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-arithgeom.ptx#exercise-6 (exercise). In Y91XFCEVHQ, exercise, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
E48RSR9BGF E48RSR9BGF
| URI | m2://inv/E48RSR9BGF |
|---|---|
| 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.24902#EGZ7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Direct sum E4943N4Z5Y
| URI | m2://inv/E4943N4Z5Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#7J41, Direct sum (definition)
History
- 2026-11-02: add by m2/dev
E4953R5CJG E4953R5CJG
| URI | m2://inv/E4953R5CJG |
|---|---|
| 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.23327#YOWP (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition E4959107XM
| URI | m2://inv/E4959107XM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach space#ST0G, Definition (definition)
History
- 2026-11-02: add by m2/dev
E49RACV6NE E49RACV6NE
| URI | m2://inv/E49RACV6NE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18530#AU4S (statement). In HSXWVKPCQV/e1, theorem 7.1
History
- 2026-10-28: add by m2/v0.4.2
Key renewal theorem E49S48ZB2Q
| URI | m2://inv/E49S48ZB2Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Renewal theory#QZDB, Key renewal theorem (statement)
History
- 2026-11-02: add by m2/dev
Ordinary Differential Equations E49S8946XK
| URI | m2://inv/E49S8946XK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordinary Differential Equations (textbook), Ordinary Differential Equations (definition). Also Wikidata Q135111538
History
- 2026-11-02: add by m2/dev
E49T9BBWKY E49T9BBWKY
| URI | m2://inv/E49T9BBWKY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25301#7IS5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ling Xiao E49V12HRVX
| URI | m2://inv/E49V12HRVX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ling Xiao, Ling Xiao (topic). Also Wikidata Q102426929
History
- 2026-11-02: add by m2/dev
IDENTITY and evaluation E49YBTDWBM
| URI | m2://inv/E49YBTDWBM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propositional formula#59JZ, IDENTITY and evaluation (statement)
History
- 2026-11-02: add by m2/dev
E4A0ET02N9 E4A0ET02N9
| URI | m2://inv/E4A0ET02N9 |
|---|---|
| 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#FVWB (statement). In 9B5TNEBJHV/e1, lemma 3.12
History
- 2026-10-29: add by m2/v0.4.10
E4A5QB3NHF E4A5QB3NHF
| URI | m2://inv/E4A5QB3NHF |
|---|---|
| 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.37901#VNO5 (statement). In 363WNMSDMA/e1, theorem 5
History
- 2026-10-30: add by m2/v0.4.12
simple E4A6GJ38BF
| URI | m2://inv/E4A6GJ38BF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#8ZJM, simple (definition)
History
- 2026-11-02: add by m2/dev
Properties E4A6N55T74
| URI | m2://inv/E4A6N55T74 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the cue heading names a section and not one item) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal subgroup#P4FO, Properties (statement)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Gaussian determinantal process E4A82Q7ABV
| URI | m2://inv/E4A82Q7ABV |
|---|---|
| Kind | example |
| 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 2609.27961#6SOE, Gaussian determinantal process (example)
History
- 2026-11-01: add by m2/v0.6.15
Truncated hexaoctagonal tiling E4ARYHPWW4
| URI | m2://inv/E4ARYHPWW4 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated hexaoctagonal tiling, Truncated hexaoctagonal tiling (object). Also Wikidata Q17078598
History
- 2026-11-02: add by m2/dev
Robbins pentagon E4ASMHEM41
| URI | m2://inv/E4ASMHEM41 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robbins pentagon, Robbins pentagon (definition). Also Wikidata Q2852551
History
- 2026-11-02: add by m2/dev
Weighted harmonic mean E4ATKVWHNV
| URI | m2://inv/E4ATKVWHNV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic mean#B2UQ, Weighted harmonic mean (unknown)
History
- 2026-11-02: add by m2/dev
Extensions E4BF7QCABY
| URI | m2://inv/E4BF7QCABY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Context-free grammar#BSZN, Extensions (statement)
History
- 2026-11-02: add by m2/dev
$\ms{KXO}_\tau \wedge \ms{KOS} \wedge Z_1 \text{ invariance}\Rightarrow \ms{KED}$ E4BJRPE0VY
| URI | m2://inv/E4BJRPE0VY |
|---|---|
| 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.36334#U134, $\ms{KXO}_\tau \wedge \ms{KOS} \wedge Z_1 \text{ invariance}\Rightarrow \ms{KED}$ (statement). In YVB70SBGN1/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
E4BRPRMDT2 E4BRPRMDT2
| URI | m2://inv/E4BRPRMDT2 |
|---|---|
| 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.03298#INQ9 (statement). In 9SBZP218SM/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.12
Thomas Bedwell E4BYVY8R1D
| URI | m2://inv/E4BYVY8R1D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Bedwell, Thomas Bedwell (topic). Also Wikidata Q7787527
History
- 2026-11-02: add by m2/dev
E4C19DKCGM E4C19DKCGM
| URI | m2://inv/E4C19DKCGM |
|---|---|
| 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#J2U5 (statement). In WRE0P7V6Z3/e1, lemma C.2
History
- 2026-10-30: add by m2/v0.4.12
E4C4BR50GB E4C4BR50GB
| URI | m2://inv/E4C4BR50GB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11145#Y901 (statement). In 2KME4YY99M/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.3
Schensted algorithm E4CB7SJ924
| URI | m2://inv/E4CB7SJ924 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#7DDF, Schensted algorithm (definition)
History
- 2026-11-02: add by m2/dev
E4CN9CATWE E4CN9CATWE
| URI | m2://inv/E4CN9CATWE |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/infinite/dedekind-induction.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 79.7
History
- 2026-11-01: add by m2/v0.6.13
E4CNW2YNKZ E4CNW2YNKZ
| URI | m2://inv/E4CNW2YNKZ |
|---|---|
| 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.00775#V1U7 (statement). In WVHA7H05QC/e1, proposition 3.13
History
- 2026-10-29: add by m2/v0.4.12
E4CSQ4MWHM E4CSQ4MWHM
| URI | m2://inv/E4CSQ4MWHM |
|---|---|
| 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.14121#FWCS (statement). In MRKCK4QYZN/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
Curt McMullen E4CZ22ZSEF
| URI | m2://inv/E4CZ22ZSEF |
|---|---|
| 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#OAO7, Curt McMullen (topic)
History
- 2026-11-02: add by m2/dev
E4CZBAX6H5 E4CZBAX6H5
| URI | m2://inv/E4CZBAX6H5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#mv:sumulbound:prop (statement). In E59CDZA4DP, prop, section 5.1.1
History
- 2026-11-01: add by m2/v0.6.13
Definitions E4D3MDVJH1
| URI | m2://inv/E4D3MDVJH1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia F-distribution#G38Y, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Finite-measurement set E4DBGKG8V7
| URI | m2://inv/E4DBGKG8V7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26262#SU1R, Finite-measurement set (definition)
History
- 2026-11-01: add by m2/v0.6.15
Sexagesimal E4DDEC3P93
| URI | m2://inv/E4DDEC3P93 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#0QNY, Sexagesimal (definition)
History
- 2026-11-02: add by m2/dev
E4DMBKCR97 E4DMBKCR97
| URI | m2://inv/E4DMBKCR97 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32107#BKA1 (definition). In F11G5M3JA5/e1, definition 2.2
History
- 2026-10-31: add by m2/v0.5.6
Bernstein–Sato polynomial E4DMQ80SBC
| URI | m2://inv/E4DMQ80SBC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernstein–Sato polynomial, Bernstein–Sato polynomial (definition). Also Wikidata Q17003059
History
- 2026-11-02: add by m2/dev
Theorem E4DPH5KM7Z
| URI | m2://inv/E4DPH5KM7Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convenient vector space#ZBSX, Theorem (statement)
History
- 2026-11-02: add by m2/dev
E4E9D3VFT3 E4E9D3VFT3
| URI | m2://inv/E4E9D3VFT3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2411.16022#OXWI (statement). In QG9ATXTKJ6/e1, theorem 2.29
History
- 2026-10-27: add by m2/v0.3.5
S-norm E4EAAPEW6C
| URI | m2://inv/E4EAAPEW6C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia T-norm#AS47, S-norm (unknown)
History
- 2026-11-02: add by m2/dev
E4EBQSQQPY E4EBQSQQPY
| URI | m2://inv/E4EBQSQQPY |
|---|---|
| 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 2610.07092#6H6O (statement). In JWNYJVH8XG/e1, lemma 2.24
History
- 2026-10-29: add by m2/v0.4.10
Roger Paman E4ED8W3AW2
| URI | m2://inv/E4ED8W3AW2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roger Paman, Roger Paman (topic). Also Wikidata Q18715248
History
- 2026-11-02: add by m2/dev
Preformationism E4EFCB0BH4
| URI | m2://inv/E4EFCB0BH4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#K9XI, Preformationism (unknown)
History
- 2026-11-02: add by m2/dev
E4ERW0DD44 E4ERW0DD44
| URI | m2://inv/E4ERW0DD44 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-sheaf.tex#thm:distinguished_base (statement). In RZP28ERRZV, theorem, section 27.2.1
History
- 2026-11-01: add by m2/v0.6.13
E4EVRXJAEG E4EVRXJAEG
| URI | m2://inv/E4EVRXJAEG |
|---|---|
| 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 2609.29531#9C1H (statement)
History
- 2026-11-01: add by m2/v0.6.15
actuarial polynomial E4EZ5M0RVR
| URI | m2://inv/E4EZ5M0RVR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4677847, actuarial polynomial (unknown). Also MathWorld ActuarialPolynomial
- wikipedia: Wikipedia Actuarial polynomials, Actuarial polynomials (definition). Also Wikidata Q4677847
History
- 2026-10-26: add by m2/dev
Norm group E4F3B0424Q
| URI | m2://inv/E4F3B0424Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Norm group, Norm group (definition). Also Wikidata Q7051620
History
- 2026-11-02: add by m2/dev
E4F3F7ANCS E4F3F7ANCS
| URI | m2://inv/E4F3F7ANCS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#JXEI (definition). In CGA36VE1C5/e1, definition 3.4.1
History
- 2026-10-27: add by m2/v0.3.6
The iterates enter the local region E4FA6TZKAC
| URI | m2://inv/E4FA6TZKAC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06557#82QA, The iterates enter the local region (statement). In VV5CH6Y31D/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.10
E4FAHQQ641 E4FAHQQ641
| URI | m2://inv/E4FAHQQ641 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-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.20801#5W2S (example). In A1GWWGRXPA/e1, example 6.12
History
- 2026-10-27: add by m2/v0.4.2
Algorithm E4FCVXM279
| URI | m2://inv/E4FCVXM279 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nussinov algorithm#IH3Z, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
writer E4FK3KXETR
| URI | m2://inv/E4FK3KXETR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q36180, writer (unknown). Also ProofWiki Mathematician:Writer
History
- 2026-10-26: add by m2/dev
John Sulston E4FQ3AWV6V
| URI | m2://inv/E4FQ3AWV6V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7KV1, John Sulston (unknown)
History
- 2026-11-02: add by m2/dev
E4FWHPADJ7 E4FWHPADJ7
| URI | m2://inv/E4FWHPADJ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26180#J5TB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Discrepancy theory E4G0XA7NEV
| URI | m2://inv/E4G0XA7NEV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#F4O0, Discrepancy theory (definition)
History
- 2026-11-02: add by m2/dev
Maximal-dimensional full components E4G1PJ2DM5
| URI | m2://inv/E4G1PJ2DM5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17737#1J2C, Maximal-dimensional full components (statement). In 8SXY7Y68HV/e1, corollary 6.14
History
- 2026-10-28: add by m2/v0.4.2
Algorithms E4G8C3SSN5
| URI | m2://inv/E4G8C3SSN5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect graph#6BV8, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
triangular number E4GAQNZK6K
| URI | m2://inv/E4GAQNZK6K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q245102, triangular number (unknown). Also MathWorld TriangularNumber, OEIS A000217
- wikipedia: Wikipedia Triangular number, Triangular number (definition). Also Wikidata Q245102
History
- 2026-10-26: add by m2/dev
dualizing E4GAV2YM7X
| URI | m2://inv/E4GAV2YM7X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#369Q, dualizing (definition)
History
- 2026-11-02: add by m2/dev
Barnard, George Alfred E4GD0VZ6XQ
| URI | m2://inv/E4GD0VZ6XQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#8IVT, Barnard, George Alfred (topic)
History
- 2026-11-02: add by m2/dev
Regiomontanus E4GH71AH98
| URI | m2://inv/E4GH71AH98 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#BANR, Regiomontanus (topic)
- wikipedia: Wikipedia List of German mathematicians#X0WW, Regiomontanus (topic)
History
- 2026-11-02: add by m2/dev
Embedded Markov chain E4GK3ZQNBD
| URI | m2://inv/E4GK3ZQNBD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov chain#RR68, Embedded Markov chain (unknown)
History
- 2026-11-02: add by m2/dev
Valentin Danilovich Belousov E4GQG2VA5T
| URI | m2://inv/E4GQG2VA5T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HEEL, Valentin Danilovich Belousov (topic)
History
- 2026-11-02: add by m2/dev
E4H75VRMJ7 E4H75VRMJ7
| URI | m2://inv/E4H75VRMJ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21181#ON87 (statement). In 3D0GJXDY11/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.4.2
E4HCMBDWTJ E4HCMBDWTJ
| URI | m2://inv/E4HCMBDWTJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#RYYR (statement). In QHFP0837Q8/e1, corollary 5.7
History
- 2026-10-29: add by m2/v0.4.12
E4HSYVSVE2 E4HSYVSVE2
| URI | m2://inv/E4HSYVSVE2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-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.12430#BOAL (statement). In VGKCBWQ65N/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
Computation E4HZ2K15BA
| URI | m2://inv/E4HZ2K15BA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M-spline#M8ZD, Computation (definition)
History
- 2026-11-02: add by m2/dev
E4HZH6W9KC E4HZH6W9KC
| URI | m2://inv/E4HZH6W9KC |
|---|---|
| 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.35678#5TZ8 (statement). In 4X4ZS7CEKD/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
E4J1DJ7ECT E4J1DJ7ECT
| URI | m2://inv/E4J1DJ7ECT |
|---|---|
| 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.26922#8XQK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Turnstile E4J2FPYT9W
| URI | m2://inv/E4J2FPYT9W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Turnstile (symbol), Turnstile (definition). Also Wikidata Q7856108
History
- 2026-11-02: add by m2/dev
Charmaine Dean E4J3DDE0GM
| URI | m2://inv/E4J3DDE0GM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charmaine Dean, Charmaine Dean (topic). Also Wikidata Q44043202
History
- 2026-11-02: add by m2/dev
Relation to the virial theorem E4J6P60A4G
| URI | m2://inv/E4J6P60A4G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equipartition theorem#M3VU, Relation to the virial theorem (statement)
History
- 2026-11-02: add by m2/dev
E4J7S9D90N E4J7S9D90N
| URI | m2://inv/E4J7S9D90N |
|---|---|
| Kind | counterexample |
| 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 2503.16884#BKMN (counterexample). In B984KNW591/e1, counterexample 1.1
History
- 2026-10-27: add by m2/v0.3.5
Examples E4JB8S5PYA
| URI | m2://inv/E4JB8S5PYA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantifier shift#7J17, Examples (example)
History
- 2026-11-02: add by m2/dev
Parallelogram law E4JED57ZMR
| URI | m2://inv/E4JED57ZMR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inner product space#9V8W, Parallelogram law (definition)
History
- 2026-11-02: add by m2/dev
Householder's method E4JXGST5J5
| URI | m2://inv/E4JXGST5J5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Householder's method Q390KATZ87 |
Mentions
- wikidata: Wikidata Q1631446, Householder's method (unknown). Also MathWorld HouseholdersMethod
- wikipedia: Wikipedia Householder's method, Householder's method (definition). Also Wikidata Q1631446
History
- 2026-10-26: add by m2/dev
E4JXQ1DZYR E4JXQ1DZYR
| URI | m2://inv/E4JXQ1DZYR |
|---|---|
| Kind | example |
| 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.18419#X7OU (example). In 7Q26JWKD7E/e1, example 16
History
- 2026-10-28: add by m2/v0.4.2
E4JZDQ9FYD E4JZDQ9FYD
| URI | m2://inv/E4JZDQ9FYD |
|---|---|
| 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 2508.03972#YFY9 (statement). In 2JD3KNKJ1P/e1, proposition 3.10
History
- 2026-10-27: add by m2/v0.3.5
Riemann von Mangoldt explicit formula E4K32952V6
| URI | m2://inv/E4K32952V6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q135471579, Riemann von Mangoldt explicit formula (unknown). Also MathWorld ExplicitFormula
History
- 2026-10-26: add by m2/dev
Kostant polynomial E4K4NF2JH2
| URI | m2://inv/E4K4NF2JH2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kostant polynomial, Kostant polynomial (definition). Also Wikidata Q6433479
History
- 2026-11-02: add by m2/dev
E4K8GSP5DB E4K8GSP5DB
| URI | m2://inv/E4K8GSP5DB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 13-XX, 14-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26127#64A3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
E4KGAMBCPJ E4KGAMBCPJ
| URI | m2://inv/E4KGAMBCPJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.00596#9TH7 (statement). In F8RC6AENB0/e1, lemma 6.9
History
- 2026-10-27: add by m2/v0.3.5
E4KM41TZWF E4KM41TZWF
| URI | m2://inv/E4KM41TZWF |
|---|---|
| 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.08370#CB67 (statement). In EQN3EZRZYQ/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
E4KVCVHW52 E4KVCVHW52
| URI | m2://inv/E4KVCVHW52 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/soundness.tex#cor:entailment-soundness (statement). In PKGMM3P5QY, cor, section 19.2
History
- 2026-11-01: add by m2/v0.6.13
isolated point E4KX2K12HY
| URI | m2://inv/E4KX2K12HY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Isolated point 01PKQYTTMT |
Mentions
- wikidata: Wikidata Q1142889, isolated point (definition). Also ProofWiki Definition:Isolated_Point_(Topology)
- wikipedia: Wikipedia Isolated point, Isolated point (definition). Also Wikidata Q1142889
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
E4KZT0DEMM E4KZT0DEMM
| URI | m2://inv/E4KZT0DEMM |
|---|---|
| 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.29521#JNEZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties E4M48V198D
| URI | m2://inv/E4M48V198D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edge and vertex spaces#GF8M, Properties (statement)
History
- 2026-11-02: add by m2/dev
Periodic point E4M4P7JKWE
| URI | m2://inv/E4M4P7JKWE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07064#9Y1N, Periodic point (definition). In GPK6W5XQM3/e1, definition 8
History
- 2026-10-29: add by m2/v0.4.10
E4MCTQ4G6V E4MCTQ4G6V
| URI | m2://inv/E4MCTQ4G6V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02244#K74D (statement). In 3REM2EXQK7/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Pavel Urysohn E4MH4NF2K2
| URI | m2://inv/E4MH4NF2K2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#92GU, Pavel Urysohn (topic)
History
- 2026-11-02: add by m2/dev
potential theory E4MN2BZ5JA
| URI | m2://inv/E4MN2BZ5JA |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 31-XX, 60J45 |
| Sources | 2 |
| Outcome | open |
| Node | Potential theory 9PM8Q2E30Q |
Mentions
- wikidata: Wikidata Q1154848, potential theory (topic). Also EoM Potential_theory, MathWorld PotentialTheory, nLab potential theory, ProofWiki Definition:Potential_Theory
- wikipedia: Wikipedia Potential theory, Potential theory (definition). Also Wikidata Q1154848
History
- 2026-10-26: add by m2/dev
E4MS5T5Z1F E4MS5T5Z1F
| URI | m2://inv/E4MS5T5Z1F |
|---|---|
| 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.35442#OGVH (statement). In C6R0DAA279/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
E4N08WMA6A E4N08WMA6A
| URI | m2://inv/E4N08WMA6A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-5.xml#proposition-1 (statement). In 649HGZKE96, proposition, section 3.5.4
History
- 2026-11-01: add by m2/v0.6.13
E4N6EJWAT9 E4N6EJWAT9
| URI | m2://inv/E4N6EJWAT9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-38 (exercise). In E59CDZA4DP, exercise, section 4.3.4
History
- 2026-11-01: add by m2/v0.6.13
Debbie Dupuis E4NBF1GD7F
| URI | m2://inv/E4NBF1GD7F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#AA8U, Debbie Dupuis (unknown)
History
- 2026-11-02: add by m2/dev
Application E4NF2MP4E1
| URI | m2://inv/E4NF2MP4E1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deming regression#5DEN, Application (example)
History
- 2026-11-02: add by m2/dev
E4NG4R1BHN E4NG4R1BHN
| URI | m2://inv/E4NG4R1BHN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05914#RGZ3 (statement). In V8MYP6MBAZ/e1, proposition 7
History
- 2026-10-29: add by m2/v0.4.10
Gradient boundedness on fibers E4NK3ABDZG
| URI | m2://inv/E4NK3ABDZG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21039#Y1YN, Gradient boundedness on fibers (statement)
History
- 2026-11-02: add by m2/v0.6.18
Mauro Francaviglia E4NNJP46EV
| URI | m2://inv/E4NNJP46EV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mauro Francaviglia, Mauro Francaviglia (topic). Also Wikidata Q14491907
History
- 2026-11-02: add by m2/dev
Exponent pair E4NPC83QTD
| URI | m2://inv/E4NPC83QTD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Van der Corput's method#NZ0J, Exponent pair (unknown)
History
- 2026-11-02: add by m2/dev
E4NQE0GZ5R E4NQE0GZ5R
| URI | m2://inv/E4NQE0GZ5R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-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 2208.13855#TZO3 (statement). In GJKRVZ5YN5/e1, lemma 18
History
- 2026-10-27: add by m2/v0.3.5
André Néron E4NQRSXT5N
| URI | m2://inv/E4NQRSXT5N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q522105, André Néron (unknown). Also nLab André Néron
- wikipedia: Wikipedia André Néron, André Néron (topic). Also Wikidata Q522105
History
- 2026-10-26: add by m2/dev
Derek W. Robinson E4NYEYP7XE
| URI | m2://inv/E4NYEYP7XE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derek W. Robinson, Derek W. Robinson (topic). Also Wikidata Q15453547
History
- 2026-11-02: add by m2/dev
difference operator E4P1DC0JHQ
| URI | m2://inv/E4P1DC0JHQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25383044, difference operator (concept). Also MathWorld DifferenceOperator
History
- 2026-10-26: add by m2/dev
E4P3ZXEJJ1 E4P3ZXEJJ1
| URI | m2://inv/E4P3ZXEJJ1 |
|---|---|
| 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.11974#7K6O (statement). In AW6S4XZ9ZZ/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.3
5-cube E4P9RGRCTQ
| URI | m2://inv/E4P9RGRCTQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#88HO, 5-cube (definition)
History
- 2026-11-02: add by m2/dev
E4PAK0M1ZS E4PAK0M1ZS
| URI | m2://inv/E4PAK0M1ZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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 2409.03461#6M6A (statement). In XJVZSGCX5V/e1, proposition 5
History
- 2026-10-27: add by m2/v0.3.5
Eventual nonsupersingularity E4PBDZ1TCV
| URI | m2://inv/E4PBDZ1TCV |
|---|---|
| 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.05652#JI8Z, Eventual nonsupersingularity (statement). In 8BNPFYQDQX/e1, corollary 4.17
History
- 2026-10-29: add by m2/v0.4.10
Ree group E4PD02SH5P
| URI | m2://inv/E4PD02SH5P |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Ree groups YB62XEQJAC |
Mentions
- wikidata: Wikidata Q7306554, Ree group (concept). Also MathWorld ReeGroup
- wikipedia: Wikipedia Ree group, Ree group (definition). Also Wikidata Q7306554
History
- 2026-10-26: add by m2/dev
Stevens's power law E4PGE500VB
| URI | m2://inv/E4PGE500VB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stevens's power law, Stevens's power law (statement). Also Wikidata Q1756697
History
- 2026-11-02: add by m2/dev
Definition E4PJE513RA
| URI | m2://inv/E4PJE513RA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebyshev nodes#2NRT, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definition E4PPQ61TDJ
| URI | m2://inv/E4PPQ61TDJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dunford–Pettis property#9PXF, Definition (definition)
History
- 2026-11-02: add by m2/dev
Marginal value theorem E4Q0NMY8VP
| URI | m2://inv/E4Q0NMY8VP |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 92-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6760432, Marginal value theorem (statement). Also Wikidata Q6760432
- thousand_plus: thousand_plus Q6760432, Marginal value theorem (statement). Also Wikidata Q6760432, Wikipedia Marginal value theorem
- wikipedia: Wikipedia Marginal value theorem, Marginal value theorem (statement). Also Wikidata Q6760432
History
- 2026-10-26: add by m2/dev
E4Q3R4DPDF E4Q3R4DPDF
| URI | m2://inv/E4Q3R4DPDF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24043#YTPW (statement)
History
- 2026-11-02: add by m2/v0.6.17
Properties E4Q6KXS8K5
| URI | m2://inv/E4Q6KXS8K5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjugate (square roots)#FPGS, Properties (statement)
History
- 2026-11-02: add by m2/dev
E4Q767HD31 E4Q767HD31
| URI | m2://inv/E4Q767HD31 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0411039#QATM (definition). In ZTBDXSKFFW/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.3.5
E4QH5W78AG E4QH5W78AG
| URI | m2://inv/E4QH5W78AG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03865#OKCD (statement). In G3D1YR20BJ/e1, corollary 4.21
History
- 2026-10-29: add by m2/v0.4.12
Apeirotope E4QMPCFVK4
| URI | m2://inv/E4QMPCFVK4 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#71W4, Apeirotope (object)
History
- 2026-11-02: add by m2/dev
Robert Lipshitz E4QNGTZ8XZ
| URI | m2://inv/E4QNGTZ8XZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#1DC1, Robert Lipshitz (unknown)
History
- 2026-11-02: add by m2/dev
E4QPM5YRKH E4QPM5YRKH
| URI | m2://inv/E4QPM5YRKH |
|---|---|
| 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.22218#9OG7 (definition). In 338GKREFVP/e1, definition 2
History
- 2026-10-27: add by m2/v0.4.0
E4QVGP7J6K E4QVGP7J6K
| URI | m2://inv/E4QVGP7J6K |
|---|---|
| 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.11043#HAK0 (statement). In R3NJYPZH52/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.3
E4QXH6P5B3 E4QXH6P5B3
| URI | m2://inv/E4QXH6P5B3 |
|---|---|
| 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.32733#ZHJ9 (statement). In PCAS8S14J6/e1, lemma 2.3
History
- 2026-10-31: add by m2/v0.5.6
Homogeneity E4QXWVH8T0
| URI | m2://inv/E4QXWVH8T0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homogeneity (semantics), Homogeneity (definition). Also Wikidata Q127868104
History
- 2026-11-02: add by m2/dev
Beaufort cipher E4QY66C8NP
| URI | m2://inv/E4QY66C8NP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beaufort cipher, Beaufort cipher (definition). Also Wikidata Q1064203
History
- 2026-11-02: add by m2/dev
Function approximation E4QYBFEGY5
| URI | m2://inv/E4QYBFEGY5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KMBS, Function approximation (definition)
History
- 2026-11-02: add by m2/dev
Invariant extended Kalman filter E4R78PT8H2
| URI | m2://inv/E4R78PT8H2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SOZV, Invariant extended Kalman filter (definition)
History
- 2026-11-02: add by m2/dev
Contract theory E4RG5VF00W
| URI | m2://inv/E4RG5VF00W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contract theory, Contract theory (definition). Also Wikidata Q1918846
History
- 2026-11-02: add by m2/dev
Bessel interpolation formula E4RGEJM7MR
| URI | m2://inv/E4RGEJM7MR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q830127, Bessel interpolation formula (unknown). Also EoM Bessel_interpolation_formula
History
- 2026-10-26: add by m2/dev
product of rings E4RHVD0CBR
| URI | m2://inv/E4RHVD0CBR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Product of rings 0MNZCN4BQK |
Mentions
- mathlib_undergrad: mathlib_undergrad Ring Theory > Fundamentals > product of rings, product of rings (unknown). Also Mathlib Pi.ring
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Souslin E4RN4J8MNH
| URI | m2://inv/E4RN4J8MNH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#LQSD, Souslin (definition)
History
- 2026-11-02: add by m2/dev
Basic properties E4RSKEEDMF
| URI | m2://inv/E4RSKEEDMF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scalar curvature#F1IE, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
SKI combinator calculus E4RXZPASVS
| URI | m2://inv/E4RXZPASVS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SKI combinator calculus, SKI combinator calculus (definition). Also Wikidata Q857813
History
- 2026-11-02: add by m2/dev
E4S0622J17 E4S0622J17
| URI | m2://inv/E4S0622J17 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#MD2T (statement). In V5PVKDKGGG/e1, proposition 6.6
History
- 2026-10-28: add by m2/v0.4.2
E4S0BVVTGA E4S0BVVTGA
| URI | m2://inv/E4S0BVVTGA |
|---|---|
| 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 1707.07744#LAR1 (statement). In WAFGHHHJY9/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
E4S418F1KS E4S418F1KS
| URI | m2://inv/E4S418F1KS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.03231#5CGH (statement). In 3Y76AQQGF0/e1, proposition 1.3
History
- 2026-10-29: add by m2/v0.4.12
Foundation E4S81YE5NS
| URI | m2://inv/E4S81YE5NS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/spine/foundation.tex#axiom-1, Foundation (statement). In PKGMM3P5QY, axiom, section 74.2
History
- 2026-11-01: add by m2/v0.6.13
Wigner-Wilkins Spectra E4SCEDKRXY
| URI | m2://inv/E4SCEDKRXY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia J. Ernest Wilkins Jr.#1XIB, Wigner-Wilkins Spectra (unknown)
History
- 2026-11-02: add by m2/dev
nonsingular E4SHTQFN9B
| URI | m2://inv/E4SHTQFN9B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#V5MA, nonsingular (definition)
History
- 2026-11-02: add by m2/dev
TI-30XB E4SHVFP09Q
| URI | m2://inv/E4SHVFP09Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia TI-30#U4LP, TI-30XB (unknown)
History
- 2026-11-02: add by m2/dev
E4SK6GJBSV E4SK6GJBSV
| URI | m2://inv/E4SK6GJBSV |
|---|---|
| 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.13513#CL23 (statement). In BAGX2TDXM4/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
E4SKQEZWRH E4SKQEZWRH
| URI | m2://inv/E4SKQEZWRH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.12116#QVN3 (statement). In WB3F0S794F/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.2
E4STK5WXTW E4STK5WXTW
| URI | m2://inv/E4STK5WXTW |
|---|---|
| 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.26017#AER6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Landau prime ideal theorem E4SY1AM7N8
| URI | m2://inv/E4SY1AM7N8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6484331, Landau prime ideal theorem (statement). Also Wikidata Q6484331
- thousand_plus: thousand_plus Q6484331, Landau prime ideal theorem (statement). Also Wikidata Q6484331, Wikipedia Landau prime ideal theorem
- wikipedia: Wikipedia Landau prime ideal theorem, Landau prime ideal theorem (statement). Also Wikidata Q6484331
History
- 2026-10-26: add by m2/dev
National Mathematics Talent Contest E4TF4SJG7R
| URI | m2://inv/E4TF4SJG7R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Mathematics Talent Contest, National Mathematics Talent Contest (definition). Also Wikidata Q6974275
History
- 2026-11-02: add by m2/dev
Montel E4TF8YZJE1
| URI | m2://inv/E4TF8YZJE1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#N06W, Montel (definition)
History
- 2026-11-02: add by m2/dev
Solar dynamo E4TK2R4X95
| URI | m2://inv/E4TK2R4X95 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solar dynamo, Solar dynamo (definition). Also Wikidata Q2377388
History
- 2026-11-02: add by m2/dev
E4TMYP1JZH E4TMYP1JZH
| URI | m2://inv/E4TMYP1JZH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25275#OHIJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Comb space E4TNRMAHCM
| URI | m2://inv/E4TNRMAHCM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comb space, Comb space (definition). Also Wikidata Q5150587
History
- 2026-11-02: add by m2/dev
Qaiser Mushtaq E4TPH0WS00
| URI | m2://inv/E4TPH0WS00 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Qaiser Mushtaq, Qaiser Mushtaq (topic). Also Wikidata Q7265873
History
- 2026-11-02: add by m2/dev
E4TSFWGMX8 E4TSFWGMX8
| URI | m2://inv/E4TSFWGMX8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04179#NVWK (statement). In D64RQ09KBP/e1, corollary 2.10
History
- 2026-10-29: add by m2/v0.4.12
Prior's tonk E4V0MPHW51
| URI | m2://inv/E4V0MPHW51 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logical harmony#OQTS, Prior's tonk (unknown)
History
- 2026-11-02: add by m2/dev
Definitions E4V1PTXVCK
| URI | m2://inv/E4V1PTXVCK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial distribution#1ZRG, Definitions (definition)
History
- 2026-11-02: add by m2/dev
E4V2791YCR E4V2791YCR
| URI | m2://inv/E4V2791YCR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20663#WYGF (statement). In AZMX0CY5NE/e1, lemma 26
History
- 2026-10-27: add by m2/v0.4.2
Age (model theory) E4V43G1B3W
| URI | m2://inv/E4V43G1B3W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#J2UQ, Age (model theory) (definition)
History
- 2026-11-02: add by m2/dev
E4V5NAKHT2 E4V5NAKHT2
| URI | m2://inv/E4V5NAKHT2 |
|---|---|
| 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#WIQX (statement). In QD0X3XJS6T/e1, proposition 7.26
History
- 2026-10-27: add by m2/v0.3.5
E4V7NMQX4F E4V7NMQX4F
| URI | m2://inv/E4V7NMQX4F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01208#0QRQ (definition). In 317GZJ38HS/e1, definition 2.9
History
- 2026-10-29: add by m2/v0.4.12
Kernel and gain exist, and the transformation is invertible E4V86NHGVP
| URI | m2://inv/E4V86NHGVP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08764#7O5J, Kernel and gain exist, and the transformation is invertible (statement). In QVFHS1C9BW/e1, theorem \thethrm
History
- 2026-10-29: add by m2/v0.4.10
B7 polytope E4V9B2ZG6D
| URI | m2://inv/E4V9B2ZG6D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia B7 polytope, B7 polytope (definition). Also Wikidata Q17098550
History
- 2026-11-02: add by m2/dev
E4V9HV6Y96 E4V9HV6Y96
| URI | m2://inv/E4V9HV6Y96 |
|---|---|
| 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#IC06 (statement). In QQFXT31CA5/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.3
The kernel of the Frattini action E4V9RZCK5V
| URI | m2://inv/E4V9RZCK5V |
|---|---|
| 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.14509#AJBT, The kernel of the Frattini action (statement). In N6GD8392QB/e1, lemma 17.3
History
- 2026-10-28: add by m2/v0.4.2
Automorphic random multiplicative function E4VE91E6CE
| URI | m2://inv/E4VE91E6CE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20460#1HSR, Automorphic random multiplicative function (definition)
History
- 2026-11-02: add by m2/v0.6.18
E4VP99DGDM E4VP99DGDM
| URI | m2://inv/E4VP99DGDM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25314#C8MI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bruno de Finetti E4VR5WSD0B
| URI | m2://inv/E4VR5WSD0B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#OJRR, Bruno de Finetti (topic)
- wikipedia: Wikipedia List of Italian mathematicians#C2XR, Bruno de Finetti (topic)
History
- 2026-11-02: add by m2/dev
Variations E4VZJZQW1S
| URI | m2://inv/E4VZJZQW1S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snub trihexagonal tiling#JI45, Variations (statement)
History
- 2026-11-02: add by m2/dev
intuitionistic mathematics E4W3V4GJB0
| URI | m2://inv/E4W3V4GJB0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#PR4E, intuitionistic mathematics (definition)
History
- 2026-11-02: add by m2/dev
LR parser E4W3VWBFQX
| URI | m2://inv/E4W3VWBFQX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#08MP, LR parser (unknown)
History
- 2026-11-02: add by m2/dev
Gordana Matic E4WC6ZP4TA
| URI | m2://inv/E4WC6ZP4TA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gordana Matic, Gordana Matic (topic). Also Wikidata Q19520032
History
- 2026-11-02: add by m2/dev
Canonical (Longo--Rehren) Q-system E4WDB0QMF3
| URI | m2://inv/E4WDB0QMF3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08787#0MST, Canonical (Longo--Rehren) Q-system (statement). In CCQ5XXWYDZ/e1, proposition VI.1
History
- 2026-10-29: add by m2/v0.4.10
Pappus's centroid theorem E4WFQJMQB1
| URI | m2://inv/E4WFQJMQB1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#XIWV, Pappus's centroid theorem (statement)
History
- 2026-11-02: add by m2/dev
Linear system of divisors E4WKWJSDK2
| URI | m2://inv/E4WKWJSDK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#95MZ, Linear system of divisors (definition)
History
- 2026-11-02: add by m2/dev
Notation E4WP8S5YKS
| URI | m2://inv/E4WP8S5YKS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LU decomposition#GKNR, Notation (definition)
History
- 2026-11-02: add by m2/dev
E4WSNK7WQQ E4WSNK7WQQ
| URI | m2://inv/E4WSNK7WQQ |
|---|---|
| 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 2609.30310#Z77M (statement). In 31XSBAFMEQ/e1, lemma 4
History
- 2026-10-31: add by m2/v0.5.6
Applications E4WSVRHA0J
| URI | m2://inv/E4WSVRHA0J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordered logit#LL0E, Applications (example)
History
- 2026-11-02: add by m2/dev
Examples E4WT6N5G66
| URI | m2://inv/E4WT6N5G66 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aurifeuillean factorization#6ZS5, Examples (example)
History
- 2026-11-02: add by m2/dev
Modifiable areal unit problem E4WTPH5XPV
| URI | m2://inv/E4WTPH5XPV |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#1X5Y, Modifiable areal unit problem (problem)
History
- 2026-11-02: add by m2/dev
E4WXWJNHNR E4WXWJNHNR
| URI | m2://inv/E4WXWJNHNR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20798#ULWT (statement)
History
- 2026-11-02: add by m2/v0.6.18
E4X3AJ1Q03 E4X3AJ1Q03
| URI | m2://inv/E4X3AJ1Q03 |
|---|---|
| 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.20558#6HAC (statement). In 46370P3Y9S/e1, theorem 3.12
History
- 2026-10-27: add by m2/v0.4.2
Boris Delaunay E4XBQ184GN
| URI | m2://inv/E4XBQ184GN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#CECK, Boris Delaunay (unknown)
History
- 2026-11-02: add by m2/dev
E4XFF7J0QX E4XFF7J0QX
| URI | m2://inv/E4XFF7J0QX |
|---|---|
| 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 2606.20229#6D5Z (statement). In 1B85G2QJC2/e1, proposition 2.7
History
- 2026-10-27: add by m2/v0.3.6
Kempner series E4XH2WNFPD
| URI | m2://inv/E4XH2WNFPD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals#7LFA, Kempner series (definition)
History
- 2026-11-02: add by m2/dev
Proper PTR-submanifold E4XNHQDKBK
| URI | m2://inv/E4XNHQDKBK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00077#YFTK, Proper PTR-submanifold (definition). In C04B15GH1T/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
E4XSECZYBH E4XSECZYBH
| URI | m2://inv/E4XSECZYBH |
|---|---|
| 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.29949#FH8M (statement)
History
- 2026-11-01: add by m2/v0.6.15
E4Y1MD83JM E4Y1MD83JM
| URI | m2://inv/E4Y1MD83JM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.31768#EACJ (statement). In WC7ZECEE3P/e1, proposition 3.1
History
- 2026-10-31: add by m2/v0.5.6
Applications E4YK7FPJHH
| URI | m2://inv/E4YK7FPJHH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Caccioppoli set#AX79, Applications (example)
History
- 2026-11-02: add by m2/dev
Double descent E4YXDP7D6F
| URI | m2://inv/E4YXDP7D6F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double descent, Double descent (definition). Also Wikidata Q113511451
History
- 2026-11-02: add by m2/dev
Schur multiplier E4Z4TDXEXQ
| URI | m2://inv/E4Z4TDXEXQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#C5JQ, Schur multiplier (definition)
History
- 2026-11-02: add by m2/dev
E4ZMY2HDHV E4ZMY2HDHV
| URI | m2://inv/E4ZMY2HDHV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-prop.ptx#exercise-19 (exercise). In Y91XFCEVHQ, exercise, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
E4ZNDEPCDH E4ZNDEPCDH
| URI | m2://inv/E4ZNDEPCDH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12054#ZMA2 (definition). In 1A01NFHBGA/e1, definition 2.8
History
- 2026-10-28: add by m2/v0.4.3
E4ZVY2TSPC E4ZVY2TSPC
| URI | m2://inv/E4ZVY2TSPC |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#CHS4 (unknown). In QNBFHFZ3H0/e1, unknown
History
- 2026-10-28: add by m2/v0.4.2