Inventory rows Y4
The cards of the rows of the inventory whose ids start with Y4. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Y40H865AAG Y40H865AAG
| URI | m2://inv/Y40H865AAG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10968#N5IW (statement). In KJRV9ZW833/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.3
Jumping line Y41ADS6VB3
| URI | m2://inv/Y41ADS6VB3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jumping line, Jumping line (definition). Also Wikidata Q17098342
History
- 2026-11-02: add by m2/dev
Uniform attraction and vertex-face identification Y41DEH0WBH
| URI | m2://inv/Y41DEH0WBH |
|---|---|
| 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.17127#PBVG, Uniform attraction and vertex-face identification (statement). In NZJ5B5KSDQ/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
Y41FERDW3Y Y41FERDW3Y
| URI | m2://inv/Y41FERDW3Y |
|---|---|
| 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.38838#DO3O (statement). In 3EH8M9GWTX/e1, proposition 2.3
History
- 2026-10-30: add by m2/v0.4.12
Ronald DeVore Y41HCADWCW
| URI | m2://inv/Y41HCADWCW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#G29T, Ronald DeVore (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0RJS, Ronald DeVore (topic)
History
- 2026-11-02: add by m2/dev
Y41NRQE1PP Y41NRQE1PP
| URI | m2://inv/Y41NRQE1PP |
|---|---|
| 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.07259#N8OC (statement). In XMR1TTDSPG/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
Alfred Errera Y41P6J9Z5E
| URI | m2://inv/Y41P6J9Z5E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfred Errera, Alfred Errera (topic). Also Wikidata Q15453278
History
- 2026-11-02: add by m2/dev
Dynamic topic model Y41WAJH8JB
| URI | m2://inv/Y41WAJH8JB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamic topic model, Dynamic topic model (definition). Also Wikidata Q5319030
History
- 2026-11-02: add by m2/dev
Y41WBEK11K Y41WBEK11K
| URI | m2://inv/Y41WBEK11K |
|---|---|
| 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.16358#ZQRO (statement). In RJA3YJ9NYK/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.2
Ideal point Y421X5B7T8
| URI | m2://inv/Y421X5B7T8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#5H32, Ideal point (definition)
History
- 2026-11-02: add by m2/dev
Y429E30SJN Y429E30SJN
| URI | m2://inv/Y429E30SJN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39517#U404 (statement). In TWP8T68ABF/e1, theorem 0.2.4
History
- 2026-10-30: add by m2/v0.4.12
Y42AXYZCAS Y42AXYZCAS
| URI | m2://inv/Y42AXYZCAS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37931#4FBC (example). In J8C1EXQW86/e1, example 4.2
History
- 2026-10-30: add by m2/v0.4.12
Derivation of the conjugate gradient method Y42CBK7QPM
| URI | m2://inv/Y42CBK7QPM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derivation of the conjugate gradient method, Derivation of the conjugate gradient method (definition). Also Wikidata Q5262612
History
- 2026-11-02: add by m2/dev
Condorcet ranking Y42E18BFSB
| URI | m2://inv/Y42E18BFSB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Condorcet method#AEQY, Condorcet ranking (unknown)
History
- 2026-11-02: add by m2/dev
Green's theorem Y42NMMMV9K
| URI | m2://inv/Y42NMMMV9K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#TF1U, Green's theorem (statement)
History
- 2026-11-02: add by m2/dev
Luciano Orlando Y42P5XK1CY
| URI | m2://inv/Y42P5XK1CY |
|---|---|
| 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#UTDX, Luciano Orlando (topic)
History
- 2026-11-02: add by m2/dev
Approximation algorithms for the minimum Wiener connector problem Y42RM8FJKV
| URI | m2://inv/Y42RM8FJKV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener connector#S5IZ, Approximation algorithms for the minimum Wiener connector problem (unknown)
History
- 2026-11-02: add by m2/dev
Inverse dynamics-based static optimization Y42S3KTGF6
| URI | m2://inv/Y42S3KTGF6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse dynamics-based static optimization, Inverse dynamics-based static optimization (definition). Also Wikidata Q30687777
History
- 2026-11-02: add by m2/dev
NUSH Y42VRVFNMR
| URI | m2://inv/Y42VRVFNMR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NUSH, NUSH (definition). Also Wikidata Q4045002
History
- 2026-11-02: add by m2/dev
Definitions Y43521TEFE
| URI | m2://inv/Y43521TEFE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mutation (algebra)#X087, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Y43C89BX5Q Y43C89BX5Q
| URI | m2://inv/Y43C89BX5Q |
|---|---|
| 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.04671#SY16 (statement). In BYP65TRGDT/e1, proposition 5.23
History
- 2026-10-29: add by m2/v0.4.12
bilaplacian operator Y43EQ8TBYQ
| URI | m2://inv/Y43EQ8TBYQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3354594, bilaplacian operator (concept). Also MathWorld BiharmonicOperator
History
- 2026-10-26: add by m2/dev
\bf{Semisimple Bound Y43J44DS08
| URI | m2://inv/Y43J44DS08 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#34AB, \bf{Semisimple Bound (statement). In ESDKTYDHC8/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.12
Finite-channel random rotation Y43RTPKW0K
| URI | m2://inv/Y43RTPKW0K |
|---|---|
| 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.01843#UAL9, Finite-channel random rotation (statement). In EDG9ZFDSWK/e1, lemma B.13
History
- 2026-10-29: add by m2/v0.4.12
Examples Y43VEVV96V
| URI | m2://inv/Y43VEVV96V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Domain of discourse#20PH, Examples (example)
History
- 2026-11-02: add by m2/dev
Y43Y4710K3 Y43Y4710K3
| URI | m2://inv/Y43Y4710K3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.16339#5M15 (statement). In ER5EH4W919/e1, corollary 1.6
History
- 2026-10-28: add by m2/v0.4.2
Y444A4KKRG Y444A4KKRG
| URI | m2://inv/Y444A4KKRG |
|---|---|
| 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.13741#0BL6 (statement). In Q43F8N7XDE/e1, theorem 4.7
History
- 2026-10-28: add by m2/v0.4.2
Genetic algorithms for machine learning Y44EMXHD0K
| URI | m2://inv/Y44EMXHD0K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Machine learning#MQ3D, Genetic algorithms for machine learning (unknown)
History
- 2026-11-02: add by m2/dev
Y454WSQMPF Y454WSQMPF
| URI | m2://inv/Y454WSQMPF |
|---|---|
| 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 2201.10697#30EX (statement). In WN2Z20ZV49/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.3.6
Corollary Y458Y0GKA8
| URI | m2://inv/Y458Y0GKA8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie algebra extension#UORP, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Joint-law preservation Y45EXYHQZN
| URI | m2://inv/Y45EXYHQZN |
|---|---|
| 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.15549#A61G, Joint-law preservation (statement). In S96K5CR1B7/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
bitangent Y45MX4HC4B
| URI | m2://inv/Y45MX4HC4B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#OU4D, bitangent (definition)
History
- 2026-11-02: add by m2/dev
Y45P6AWGW7 Y45P6AWGW7
| URI | m2://inv/Y45P6AWGW7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31476#341E (statement). In PC1CFE8CJC/e1, lemma 3.2
History
- 2026-10-31: add by m2/v0.5.6
Common truncated skew rings Y45R26Q2Y5
| URI | m2://inv/Y45R26Q2Y5 |
|---|---|
| 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#MTX1, Common truncated skew rings (statement). In 8BNPFYQDQX/e1, lemma 17.8
History
- 2026-10-29: add by m2/v0.4.10
A fixed compression for weighted coordinate supports Y4607VE49R
| URI | m2://inv/Y4607VE49R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11143#7GE4, A fixed compression for weighted coordinate supports (statement). In 9CS15SV662/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.3
Y460841HFE Y460841HFE
| URI | m2://inv/Y460841HFE |
|---|---|
| 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 2302.07710#CWRS (statement). In WD3CVPPH6H/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
Y460SP0YRV Y460SP0YRV
| URI | m2://inv/Y460SP0YRV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 49-XX, 51-XX, 52-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1904.08413#WOHF (statement). In X88HPQ0W8C/e1, proposition 2.34
History
- 2026-10-27: add by m2/v0.3.5
Y4626AAMMA Y4626AAMMA
| URI | m2://inv/Y4626AAMMA |
|---|---|
| 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.07828#7KHW (statement). In TWGMVT1N1G/e1, theorem 9.3
History
- 2026-10-29: add by m2/v0.4.10
Deviation (statistics) Y462P32695
| URI | m2://inv/Y462P32695 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#M42L, Deviation (statistics) (definition)
History
- 2026-11-02: add by m2/dev
Y466S4E1B3 Y466S4E1B3
| URI | m2://inv/Y466S4E1B3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12188#IHRY (statement). In 52HWCGK5QJ/e1, corollary 5.5
History
- 2026-10-28: add by m2/v0.4.2
Correct sampling Y46BVP84BH
| URI | m2://inv/Y46BVP84BH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GBNN, Correct sampling (definition)
History
- 2026-11-02: add by m2/dev
Plünnecke's inequality Y46HBW4STT
| URI | m2://inv/Y46HBW4STT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plünnecke–Ruzsa inequality#HO4Q, Plünnecke's inequality (statement)
History
- 2026-11-02: add by m2/dev
Y46PV8GYNM Y46PV8GYNM
| URI | m2://inv/Y46PV8GYNM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Counting.tex#exercise-4 (exercise). In P1C114YBXG, exercise, section 1
History
- 2026-11-01: add by m2/v0.6.13
Adaptive design Y46TBXN0HR
| URI | m2://inv/Y46TBXN0HR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adaptive design (medicine), Adaptive design (definition). Also Wikidata Q104856490
History
- 2026-11-02: add by m2/dev
Y46X572Q6Y Y46X572Q6Y
| URI | m2://inv/Y46X572Q6Y |
|---|---|
| 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.04172#GN2H (statement). In 9Q1D1NMTTS/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.12
Examples Y46YKDRFY4
| URI | m2://inv/Y46YKDRFY4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-projective variety#1MSG, Examples (example)
History
- 2026-11-02: add by m2/dev
Applications Y4719EN112
| URI | m2://inv/Y4719EN112 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eberlein–Šmulian theorem#RPTQ, Applications (example)
History
- 2026-11-02: add by m2/dev
Y472BNVKFW Y472BNVKFW
| URI | m2://inv/Y472BNVKFW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-20 (exercise). In E9HS8K3A52, exercise, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
obelisk Y472H58TPG
| URI | m2://inv/Y472H58TPG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q170980, obelisk (unknown). Also MathWorld Obelisk
History
- 2026-10-26: add by m2/dev
Y47DEC1CFG Y47DEC1CFG
| URI | m2://inv/Y47DEC1CFG |
|---|---|
| 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.02756#HZ59 (statement). In GCQ5YCQQHD/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.12
Fundamental axiom of analysis Y47DSYSPG9
| URI | m2://inv/Y47DSYSPG9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of axioms#K0BP, Fundamental axiom of analysis (definition)
History
- 2026-11-02: add by m2/dev
Examples Y47K224M3P
| URI | m2://inv/Y47K224M3P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex random variable#YHHA, Examples (example)
History
- 2026-11-02: add by m2/dev
Y47M6H7F9H Y47M6H7F9H
| URI | m2://inv/Y47M6H7F9H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26417#O41B (definition)
History
- 2026-11-01: add by m2/v0.6.15
Y47TKYP9B6 Y47TKYP9B6
| URI | m2://inv/Y47TKYP9B6 |
|---|---|
| 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.28669#XLXT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Generalized multidimensional scaling Y481RGN36K
| URI | m2://inv/Y481RGN36K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7XP6, Generalized multidimensional scaling (definition)
History
- 2026-11-02: add by m2/dev
Y482ASZFXQ Y482ASZFXQ
| URI | m2://inv/Y482ASZFXQ |
|---|---|
| Kind | example |
| 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 2609.33584#16BK (example). In 3HFBAWQCA1/e1, example 8.1
History
- 2026-10-30: add by m2/v0.4.12
Y488A65XVF Y488A65XVF
| URI | m2://inv/Y488A65XVF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21414#AU1J (statement)
History
- 2026-11-02: add by m2/v0.6.18
Y48EP91BD4 Y48EP91BD4
| URI | m2://inv/Y48EP91BD4 |
|---|---|
| Kind | definition |
| 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.11309#F4WF (definition). In TTEAQA1XXR/e1, definition
History
- 2026-10-28: add by m2/v0.4.3
Y48H64087R Y48H64087R
| URI | m2://inv/Y48H64087R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31276#E3SH (statement). In WYDHWYFRFK/e1, lemma 5.3
History
- 2026-10-31: add by m2/v0.5.6
Y48NXG4DQB Y48NXG4DQB
| URI | m2://inv/Y48NXG4DQB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03756#BW7N (statement). In 2381M4GBTT/e1, corollary 7.2
History
- 2026-10-29: add by m2/v0.4.12
Y48YKZPC0J Y48YKZPC0J
| URI | m2://inv/Y48YKZPC0J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28289#87PF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Y4907DD1FS Y4907DD1FS
| URI | m2://inv/Y4907DD1FS |
|---|---|
| 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.29623#ZE1X (statement)
History
- 2026-11-01: add by m2/v0.6.15
\textbf{Non-asymptotic error bound of Euler-type ULMC beyond log-concavity Y49186NP3F
| URI | m2://inv/Y49186NP3F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20713#14I2, \textbf{Non-asymptotic error bound of Euler-type ULMC beyond log-concavity (statement)
History
- 2026-11-02: add by m2/v0.6.18
Y491C5PMK7 Y491C5PMK7
| URI | m2://inv/Y491C5PMK7 |
|---|---|
| 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#962E (statement). In EQN3EZRZYQ/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.10
Characterizations Y491DAX441
| URI | m2://inv/Y491DAX441 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uncountable set#BZOP, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
Maschke's theorem Y4959K7WHP
| URI | m2://inv/Y4959K7WHP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#QHVO, Maschke's theorem (statement)
- wikipedia: Wikipedia List of representation theory topics#04O6, Maschke's theorem (statement)
- wikipedia: Wikipedia List of abstract algebra topics#9PAB, Maschke's theorem (statement)
History
- 2026-11-02: add by m2/dev
descent at the bottom Y49F4TBE0R
| URI | m2://inv/Y49F4TBE0R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19214#4GDS, descent at the bottom (statement). In WZPD7TNNY9/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Y49FCX74B1 Y49FCX74B1
| URI | m2://inv/Y49FCX74B1 |
|---|---|
| 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.26600#CPC7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Y49V5HX9YP Y49V5HX9YP
| URI | m2://inv/Y49V5HX9YP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21929#FLNE (statement). In 2PP4XRVS0J/e1, theorem 13.4
History
- 2026-10-27: add by m2/v0.4.2
Definition Y4A0JZF5JZ
| URI | m2://inv/Y4A0JZF5JZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Translation functor#LKQK, Definition (definition)
History
- 2026-11-02: add by m2/dev
Topology and Decidability Y4A0PD4ZBM
| URI | m2://inv/Y4A0PD4ZBM |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
Y4A2PKRT2T Y4A2PKRT2T
| URI | m2://inv/Y4A2PKRT2T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.19468#GRUU (definition). In EY54F2SX08/e1, definition A
History
- 2026-10-27: add by m2/v0.3.5
Y4A2RGMRZ8 Y4A2RGMRZ8
| URI | m2://inv/Y4A2RGMRZ8 |
|---|---|
| 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.18346#KGQM (statement). In QVPNGHTMEX/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.2
Illustration of a low-discrepancy sequence Y4A54FMAX1
| URI | m2://inv/Y4A54FMAX1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#QYKJ, Illustration of a low-discrepancy sequence (definition)
History
- 2026-11-02: add by m2/dev
Examples Y4A9011X8J
| URI | m2://inv/Y4A9011X8J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-finite field#AMDT, Examples (example)
History
- 2026-11-02: add by m2/dev
logical structure Y4AW76EPCH
| URI | m2://inv/Y4AW76EPCH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#HA5I, logical structure (definition)
History
- 2026-11-02: add by m2/dev
Examples Y4AXZKJZEW
| URI | m2://inv/Y4AXZKJZEW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier integral operator#YC9Z, Examples (example)
History
- 2026-11-02: add by m2/dev
Y4AYW6YCNT Y4AYW6YCNT
| URI | m2://inv/Y4AYW6YCNT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-3-3-1.xml#act-3-3-1 (exercise). In 907G4C4EJ1, activity, section 3.3.2
History
- 2026-11-01: add by m2/v0.6.13
Y4B2PJRERR Y4B2PJRERR
| URI | m2://inv/Y4B2PJRERR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03628#34VM (statement). In P8KT6JV9N1/e1, lemma 5.8
History
- 2026-10-29: add by m2/v0.4.12
Y4B309Q0N3 Y4B309Q0N3
| URI | m2://inv/Y4B309Q0N3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05784#COVX (statement). In 6NVP3YRWVA/e1, lemma 2.27
History
- 2026-10-29: add by m2/v0.4.10
Y4BE86VQA3 Y4BE86VQA3
| URI | m2://inv/Y4BE86VQA3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.04566#EAKK (definition). In 80S2NP05HJ/e1, definition 4.4
History
- 2026-10-27: add by m2/v0.4.0
Y4C141ZGCP Y4C141ZGCP
| URI | m2://inv/Y4C141ZGCP |
|---|---|
| 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.21781#00Q4 (statement). In FEQ72D1AX6/e1, lemma 7.4
History
- 2026-10-27: add by m2/v0.4.2
Srivastava--Daoust formulas for the \(B\)-components Y4C6Y535KD
| URI | m2://inv/Y4C6Y535KD |
|---|---|
| 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.22027#QEP1, Srivastava--Daoust formulas for the \(B\)-components (statement)
History
- 2026-11-02: add by m2/v0.6.17
Philip Gressman Y4CETSRWV7
| URI | m2://inv/Y4CETSRWV7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philip Gressman, Philip Gressman (topic). Also Wikidata Q55627522
History
- 2026-11-02: add by m2/dev
Hung-Hsi Wu Y4CM50CVXV
| URI | m2://inv/Y4CM50CVXV |
|---|---|
| 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#HIY2, Hung-Hsi Wu (unknown)
History
- 2026-11-02: add by m2/dev
Electrical engineering Y4CRGGK6KA
| URI | m2://inv/Y4CRGGK6KA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#O3JC, Electrical engineering (unknown)
History
- 2026-11-02: add by m2/dev
Projection criterion for Meyer--Zheng tightness Y4CTQD7Z20
| URI | m2://inv/Y4CTQD7Z20 |
|---|---|
| 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.29205#XAN6, Projection criterion for Meyer--Zheng tightness (statement)
History
- 2026-11-01: add by m2/v0.6.15
Y4CV2D0TC9 Y4CV2D0TC9
| URI | m2://inv/Y4CV2D0TC9 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0706.0357#U9HI (conjecture). In GX9K29SRY8/e1, conjecture 1.4
History
- 2026-10-27: add by m2/v0.3.5
A Minimum Principle for Potentials Y4CV6XQ6ZF
| URI | m2://inv/Y4CV6XQ6ZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13222#MHF9, A Minimum Principle for Potentials (statement). In Z6WA2R0J50/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
Haakon VII Land Y4CWYGXGN8
| URI | m2://inv/Y4CWYGXGN8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#YB2V, Haakon VII Land (unknown)
History
- 2026-11-02: add by m2/dev
Y4CYGV9A65 Y4CYGV9A65
| URI | m2://inv/Y4CYGV9A65 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24701#QSFO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties Y4D366WZWZ
| URI | m2://inv/Y4D366WZWZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whewell equation#H9YG, Properties (statement)
History
- 2026-11-02: add by m2/dev
Hilbert's 9th problem Y4DEBX0K57
| URI | m2://inv/Y4DEBX0K57 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#1DQ2, Hilbert's 9th problem (conjecture)
History
- 2026-11-02: add by m2/dev
Examples Y4DFCNPCK9
| URI | m2://inv/Y4DFCNPCK9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ecological fallacy#7X7I, Examples (example)
History
- 2026-11-02: add by m2/dev
Y4DT5N8Q5V Y4DT5N8Q5V
| URI | m2://inv/Y4DT5N8Q5V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 49-XX, 51-XX, 52-XX, 60-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 2505.10801#PX3C (statement). In BWJS3H55WH/e1, lemma 17
History
- 2026-10-27: add by m2/v0.3.5
Y4DVKAE695 Y4DVKAE695
| URI | m2://inv/Y4DVKAE695 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12736#C55U (statement). In 5350Q52F6P/e1, lemma 8.3
History
- 2026-10-28: add by m2/v0.4.2
Y4DZHVRB44 Y4DZHVRB44
| URI | m2://inv/Y4DZHVRB44 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 20-XX, 26-XX, 35-XX, 37-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.00585#JOM1 (problem). In 332PQD90SW/e1, problem 3.14
History
- 2026-10-27: add by m2/v0.3.5
Y4DZKMPGP1 Y4DZKMPGP1
| URI | m2://inv/Y4DZKMPGP1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/metatheory/second-order-arithmetic.tex#cor:sol-pa-categorical (statement). In PKGMM3P5QY, cor, section 66.1
History
- 2026-11-01: add by m2/v0.6.13
Steven Strogatz Y4EFHRV57F
| URI | m2://inv/Y4EFHRV57F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#W2GM, Steven Strogatz (unknown)
History
- 2026-11-02: add by m2/dev
Y4EHM15R7R Y4EHM15R7R
| URI | m2://inv/Y4EHM15R7R |
|---|---|
| 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.04271#M6SM (statement). In WBXAW9G4JB/e1, theorem A
History
- 2026-10-29: add by m2/v0.4.12
Schwinger function Y4EJA183H6
| URI | m2://inv/Y4EJA183H6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7433295, Osterwalder–Schrader theorem (statement). Also Wikidata Q7433295
- thousand_plus: thousand_plus Q7433295, Osterwalder–Schrader theorem (statement). Also Wikidata Q7433295, Wikipedia Osterwalder–Schrader theorem
- wikipedia: Wikipedia Schwinger function, Schwinger function (definition). Also Wikidata Q7433295
History
- 2026-10-26: add by m2/dev
Y4EP5MARD9 Y4EP5MARD9
| URI | m2://inv/Y4EP5MARD9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/filtrations/examples-of-filtrations.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 51.9
History
- 2026-11-01: add by m2/v0.6.13
Y4EQT6FA9Q Y4EQT6FA9Q
| URI | m2://inv/Y4EQT6FA9Q |
|---|---|
| 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.20702#4O3C (statement)
History
- 2026-11-02: add by m2/v0.6.18
Dan Boneh Y4EXNMVPYX
| URI | m2://inv/Y4EXNMVPYX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#893N, Dan Boneh (unknown)
History
- 2026-11-02: add by m2/dev
Harold Scott MacDonald Coxeter Y4F266MG84
| URI | m2://inv/Y4F266MG84 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HOCQ, Harold Scott MacDonald Coxeter (topic)
History
- 2026-11-02: add by m2/dev
Y4F447CXFV Y4F447CXFV
| URI | m2://inv/Y4F447CXFV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 49-XX, 51-XX, 52-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1904.08413#UC7D (example). In X88HPQ0W8C/e1, example 2.45
History
- 2026-10-27: add by m2/v0.3.5
SAT Subject Test in Mathematics Level 1 Y4FAZFNPYB
| URI | m2://inv/Y4FAZFNPYB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SAT Subject Test in Mathematics Level 1, SAT Subject Test in Mathematics Level 1 (definition). Also Wikidata Q7388859
History
- 2026-11-02: add by m2/dev
Tesseractic prism Y4FCDXPN5J
| URI | m2://inv/Y4FCDXPN5J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#46W3, Tesseractic prism (definition)
History
- 2026-11-02: add by m2/dev
Y4FDAMKT8V Y4FDAMKT8V
| URI | m2://inv/Y4FDAMKT8V |
|---|---|
| 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 2503.05873#3YP4 (statement). In 2FY5P3FAS0/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Y4FDWD608J Y4FDWD608J
| URI | m2://inv/Y4FDWD608J |
|---|---|
| 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.21568#E53P (statement)
History
- 2026-11-02: add by m2/v0.6.18
The logarithmic tangent sequence Y4FHQN2R0G
| URI | m2://inv/Y4FHQN2R0G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21093#DHL3, The logarithmic tangent sequence (statement). In TBFPBPQV3G/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.4.2
Psychometrics Y4FJQ2YKJ9
| URI | m2://inv/Y4FJQ2YKJ9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#33WA, Psychometrics (topic)
History
- 2026-11-02: add by m2/dev
Antoine Song Y4FKDS2HWD
| URI | m2://inv/Y4FKDS2HWD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antoine Song, Antoine Song (topic). Also Wikidata Q96939452
History
- 2026-11-02: add by m2/dev
Algorithm Y4FNYAT535
| URI | m2://inv/Y4FNYAT535 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Backtracking line search#63G5, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Factor regression model Y4G4YDGE01
| URI | m2://inv/Y4G4YDGE01 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#9R3F, Factor regression model (definition)
History
- 2026-11-02: add by m2/dev
Y4G9YC53V8 Y4G9YC53V8
| URI | m2://inv/Y4G9YC53V8 |
|---|---|
| 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 2401.14143#1E3L (statement). In 7WV4JVGEN1/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.4.0
Pythagorean identity Y4GPDFXX6V
| URI | m2://inv/Y4GPDFXX6V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14616#ML2L, Pythagorean identity (statement). In 17ACAG0N9C/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Ke Zhao Y4GVMFF0BQ
| URI | m2://inv/Y4GVMFF0BQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#GA0F, Ke Zhao (topic)
History
- 2026-11-02: add by m2/dev
Algorithm Y4GWCAGXJX
| URI | m2://inv/Y4GWCAGXJX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Muller's method#ILH9, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Continuous ranked probability score Y4H3G1S4RF
| URI | m2://inv/Y4H3G1S4RF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scoring rule#S5M8, Continuous ranked probability score (unknown)
History
- 2026-11-02: add by m2/dev
Applications Y4H63CGMTT
| URI | m2://inv/Y4H63CGMTT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Least fixed point#LIKF, Applications (example)
History
- 2026-11-02: add by m2/dev
Hyperbolic equilibrium point Y4HA46PDBM
| URI | m2://inv/Y4HA46PDBM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic equilibrium point, Hyperbolic equilibrium point (definition). Also Wikidata Q3925833
History
- 2026-11-02: add by m2/dev
Jacqui Ramagge Y4HFRAD24E
| URI | m2://inv/Y4HFRAD24E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacqui Ramagge, Jacqui Ramagge (topic). Also Wikidata Q69629883
History
- 2026-11-02: add by m2/dev
Monika Ludwig Y4HP48HSFW
| URI | m2://inv/Y4HP48HSFW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9NWD, Monika Ludwig (topic)
History
- 2026-11-02: add by m2/dev
Panos Papasoglu Y4HSPNYEA2
| URI | m2://inv/Y4HSPNYEA2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Panos Papasoglu, Panos Papasoglu (topic). Also Wikidata Q7131552
History
- 2026-11-02: add by m2/dev
Y4HVTJ73TM Y4HVTJ73TM
| URI | m2://inv/Y4HVTJ73TM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08091#VBK4 (statement). In MS13WE3CSD/e1, theorem 3.6
History
- 2026-10-29: add by m2/v0.4.10
Charles Auguste Briot Y4HYW5S6Z8
| URI | m2://inv/Y4HYW5S6Z8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Auguste Briot, Charles Auguste Briot (topic). Also Wikidata Q955547
History
- 2026-11-02: add by m2/dev
Robust derivative recovery from even CAR curves Y4J4EHETP6
| URI | m2://inv/Y4J4EHETP6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00448#LTR3, Robust derivative recovery from even CAR curves (statement). In N06J7GC05Q/e1, proposition F.3
History
- 2026-10-30: add by m2/v0.4.12
Notation Y4J68EBVY8
| URI | m2://inv/Y4J68EBVY8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factorial experiment#XRR4, Notation (definition)
History
- 2026-11-02: add by m2/dev
Y4J6KDX3D8 Y4J6KDX3D8
| URI | m2://inv/Y4J6KDX3D8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18302#4OSO (definition). In VJTRH1S4JA/e1, definition 2.14
History
- 2026-10-28: add by m2/v0.4.2
Characterization of free boundary varifolds Y4JDZ9ZMGH
| URI | m2://inv/Y4JDZ9ZMGH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04833#Y0NG, Characterization of free boundary varifolds (statement). In AKB3CNDA0F/e1, proposition 3.6
History
- 2026-10-29: add by m2/v0.4.12
Orbit fusion under a normal subgroup Y4JH2YPZC3
| URI | m2://inv/Y4JH2YPZC3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15340#7ZZ5, Orbit fusion under a normal subgroup (statement). In 9NVKKW8HDH/e1, lemma 2.15
History
- 2026-10-28: add by m2/v0.4.2
Statement Y4JNXTQY6Q
| URI | m2://inv/Y4JNXTQY6Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Legendre's formula#HBAA, Statement (statement)
History
- 2026-11-02: add by m2/dev
Examples Y4JPX7PJY6
| URI | m2://inv/Y4JPX7PJY6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete logarithm#76ID, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition Y4JRG9TAPC
| URI | m2://inv/Y4JRG9TAPC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real closed ring#7E2B, Definition (definition)
History
- 2026-11-02: add by m2/dev
Representation-theoretic good-orbit criterion Y4K2RJBMZA
| URI | m2://inv/Y4K2RJBMZA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05364#845I, Representation-theoretic good-orbit criterion (statement). In TPYRE2ARMD/e1, proposition 2.5
History
- 2026-10-29: add by m2/v0.4.10
Y4K9T9DXC2 Y4K9T9DXC2
| URI | m2://inv/Y4K9T9DXC2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/lebesgue-int.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 65.1
History
- 2026-11-01: add by m2/v0.6.13
Hilbert's tenth problem over the field of rational numbers Y4KG0R3GB4
| URI | m2://inv/Y4KG0R3GB4 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#WRY7, Hilbert's tenth problem over the field of rational numbers (problem)
History
- 2026-11-02: add by m2/dev
Y4KNPXDK44 Y4KNPXDK44
| URI | m2://inv/Y4KNPXDK44 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19132#XNHL (statement). In 3CQJND929F/e1, lemma 3.8
History
- 2026-10-28: add by m2/v0.4.2
pseudo-alphabetic order Y4KXT3A6BK
| URI | m2://inv/Y4KXT3A6BK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/13.4/pseudo-alphabetic-order, pseudo-alphabetic order (concept). In QKM9DD2H56, index, section 13.4
History
- 2026-11-01: add by m2/v0.6.13
Y4KYXKNB1M Y4KYXKNB1M
| URI | m2://inv/Y4KYXKNB1M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1804.06366#LRP2 (definition). In 89XYDVXG38/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
Entanglement distillation Y4KZER3VWB
| URI | m2://inv/Y4KZER3VWB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entanglement distillation, Entanglement distillation (definition). Also Wikidata Q5380096
History
- 2026-11-02: add by m2/dev
Y4M22D4Z4M Y4M22D4Z4M
| URI | m2://inv/Y4M22D4Z4M |
|---|---|
| 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.34471#EZII (statement). In BQ6MCMHCJK/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
EFF DES cracker Y4M3GEHR25
| URI | m2://inv/Y4M3GEHR25 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia EFF DES cracker, EFF DES cracker (definition). Also Wikidata Q2735168
History
- 2026-11-02: add by m2/dev
Y4M4MB613B Y4M4MB613B
| URI | m2://inv/Y4M4MB613B |
|---|---|
| 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.17240#EYLS (statement). In 59BZ4V9RQW/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
Y4M7NWS2HG Y4M7NWS2HG
| URI | m2://inv/Y4M7NWS2HG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23804#NP1N (statement)
History
- 2026-11-02: add by m2/v0.6.17
Composite number Y4M8R6Y7XR
| URI | m2://inv/Y4M8R6Y7XR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#L08Z, Composite number (definition)
History
- 2026-11-02: add by m2/dev
Gregorio Ricci-Curbastro Y4MH6219DJ
| URI | m2://inv/Y4MH6219DJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gregorio Ricci-Curbastro, Gregorio Ricci-Curbastro (topic). Also Wikidata Q548184
History
- 2026-11-02: add by m2/dev
Preimage theorem Y4MK24THP8
| URI | m2://inv/Y4MK24THP8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#UT9S, Preimage theorem (statement)
History
- 2026-11-02: add by m2/dev
Trace field of a representation Y4MN9SAN61
| URI | m2://inv/Y4MN9SAN61 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace field of a representation, Trace field of a representation (definition). Also Wikidata Q28455200
History
- 2026-11-02: add by m2/dev
Heroic theory of invention and scientific development Y4MRG2S3H2
| URI | m2://inv/Y4MRG2S3H2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heroic theory of invention and scientific development, Heroic theory of invention and scientific development (definition). Also Wikidata Q5743357
History
- 2026-11-02: add by m2/dev
Cryptomeria cipher Y4MZAYSD3Z
| URI | m2://inv/Y4MZAYSD3Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptomeria cipher, Cryptomeria cipher (definition). Also Wikidata Q2930732
History
- 2026-11-02: add by m2/dev
Y4N1J86585 Y4N1J86585
| URI | m2://inv/Y4N1J86585 |
|---|---|
| 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 2211.14214#LORV (statement). In SY85Y9E45A/e1, theorem 17
History
- 2026-10-27: add by m2/v0.3.5
Otway–Rees protocol Y4N25899Y8
| URI | m2://inv/Y4N25899Y8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Otway–Rees protocol, Otway–Rees protocol (definition). Also Wikidata Q1320237
History
- 2026-11-02: add by m2/dev
Two-way indicator species analysis Y4N99T1EVR
| URI | m2://inv/Y4N99T1EVR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-way indicator species analysis, Two-way indicator species analysis (definition). Also Wikidata Q16924827
History
- 2026-11-02: add by m2/dev
Fundamental Theorem Y4NF05BQ83
| URI | m2://inv/Y4NF05BQ83 |
|---|---|
| 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 1904.09810#835R, Fundamental Theorem (statement). In T1VFA7TXPA/e1, lemma 49
History
- 2026-10-27: add by m2/v0.3.5
Fallacies of definition Y4NF9XAFEQ
| URI | m2://inv/Y4NF9XAFEQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fallacies of definition, Fallacies of definition (definition). Also Wikidata Q5432186
History
- 2026-11-02: add by m2/dev
Y4NFRXDV4T Y4NFRXDV4T
| URI | m2://inv/Y4NFRXDV4T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35180#KI8M (statement). In ZA34B1CR9M/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Y4NH9TBHYK Y4NH9TBHYK
| URI | m2://inv/Y4NH9TBHYK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#LMIM (definition)
History
- 2026-11-01: add by m2/v0.6.15
Y4P0HQRY8S Y4P0HQRY8S
| URI | m2://inv/Y4P0HQRY8S |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#0JBG (example)
History
- 2026-11-02: add by m2/v0.6.17
Y4P16RFT4D Y4P16RFT4D
| URI | m2://inv/Y4P16RFT4D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35209#JP5J (statement). In YEERR7F4NW/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
Y4P1KKTF3D Y4P1KKTF3D
| URI | m2://inv/Y4P1KKTF3D |
|---|---|
| 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 2405.05684#0VI5 (statement). In 1PR73ECTZB/e1, lemma 17
History
- 2026-10-27: add by m2/v0.3.5
Y4P388D50R Y4P388D50R
| URI | m2://inv/Y4P388D50R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31242#V5K5 (statement). In 3NPRR9546C/e1, lemma 2.7
History
- 2026-10-31: add by m2/v0.5.6
Generalizations Y4P4MMWT5M
| URI | m2://inv/Y4P4MMWT5M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard basis#1OXX, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Y4P8PSH3Y1 Y4P8PSH3Y1
| URI | m2://inv/Y4P8PSH3Y1 |
|---|---|
| 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.21278#C4F0 (statement). In DCH1JJGGYH/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.4.2
Example Y4PB3WQX3K
| URI | m2://inv/Y4PB3WQX3K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbifold#EFVI, Example (example)
History
- 2026-11-02: add by m2/dev
Y4PB88319P Y4PB88319P
| URI | m2://inv/Y4PB88319P |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/sheaves.tex#exercise-3 (exercise). In RZP28ERRZV, exercise, section 25.5
History
- 2026-11-01: add by m2/v0.6.13
Y4PD3M583K Y4PD3M583K
| URI | m2://inv/Y4PD3M583K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09678#W167 (statement). In 9VG7PNZHZT/e1, lemma 6.4
History
- 2026-10-29: add by m2/v0.4.10
Poincaré conjecture Y4PDA3PW6S
| URI | m2://inv/Y4PDA3PW6S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#W0X8, Poincaré conjecture (statement)
- wikipedia: Wikipedia List of geometric topology topics#H0SK, Poincaré conjecture (statement)
History
- 2026-11-02: add by m2/dev
Properties Y4PDHNXNA9
| URI | m2://inv/Y4PDHNXNA9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete bipartite graph#Q1R7, Properties (statement)
History
- 2026-11-02: add by m2/dev
Y4PJC4GQK5 Y4PJC4GQK5
| URI | m2://inv/Y4PJC4GQK5 |
|---|---|
| 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.13291#TSAA (statement). In D16PSAVVWV/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.2
Y4PN7ADG4K Y4PN7ADG4K
| URI | m2://inv/Y4PN7ADG4K |
|---|---|
| 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.18600#YJHZ (statement). In 31D6TQVCNZ/e1, corollary 2.6
History
- 2026-10-28: add by m2/v0.4.2
Y4Q2DE1A4J Y4Q2DE1A4J
| URI | m2://inv/Y4Q2DE1A4J |
|---|---|
| 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 2206.05392#9819 (statement). In 58D1ZC82DW/e1, theorem 17
History
- 2026-10-27: add by m2/v0.3.5
informal fallacy Y4Q30EMPKS
| URI | m2://inv/Y4Q30EMPKS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#FT23, informal fallacy (definition)
History
- 2026-11-02: add by m2/dev
Y4QDYRM5C8 Y4QDYRM5C8
| URI | m2://inv/Y4QDYRM5C8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24795#C0O9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Y4QEP2JDD7 Y4QEP2JDD7
| URI | m2://inv/Y4QEP2JDD7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2609.33805#I0OY (statement). In XM98BX97RT/e1, lemma B.1
History
- 2026-10-30: add by m2/v0.4.12
Y4QJP8JY14 Y4QJP8JY14
| URI | m2://inv/Y4QJP8JY14 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.26376#VA9C (statement). In PJAT9YDX7Y/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.4.0
Y4QJQRTTVH Y4QJQRTTVH
| URI | m2://inv/Y4QJQRTTVH |
|---|---|
| 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.07451#OCRD (statement). In P7KT88N75Q/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
Ghosh–Pratt identity Y4QP529CK9
| URI | m2://inv/Y4QP529CK9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ghosh–Pratt identity, Ghosh–Pratt identity (statement). Also Wikidata Q138303546
History
- 2026-11-02: add by m2/dev
Projectile motion Y4QX5F7DTA
| URI | m2://inv/Y4QX5F7DTA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projectile motion, Projectile motion (definition). Also Wikidata Q10281355
History
- 2026-11-02: add by m2/dev
Y4QZ9374AP Y4QZ9374AP
| URI | m2://inv/Y4QZ9374AP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39890#C3WW (statement). In GGVQ3B9KJ6/e1, fact 3
History
- 2026-10-30: add by m2/v0.4.12
reductio ad absurdum Y4RTK9V5XD
| URI | m2://inv/Y4RTK9V5XD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#0KWF, reductio ad absurdum (definition)
History
- 2026-11-02: add by m2/dev
Cartan's criterion Y4RW10DG30
| URI | m2://inv/Y4RW10DG30 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#6BN5, Cartan's criterion (statement)
- wikipedia: Wikipedia List of things named after Élie Cartan#VL3S, Cartan's criterion (statement)
History
- 2026-11-02: add by m2/dev
Negative index of refraction Y4RY5F501B
| URI | m2://inv/Y4RY5F501B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Refractive index#KR7L, Negative index of refraction (unknown)
History
- 2026-11-02: add by m2/dev
Extension Y4S4YYSTQH
| URI | m2://inv/Y4S4YYSTQH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rado graph#2HV3, Extension (statement)
History
- 2026-11-02: add by m2/dev
Gagliardo–Nirenberg interpolation inequality Y4S83X9G4Q
| URI | m2://inv/Y4S83X9G4Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#07RY, Gagliardo–Nirenberg interpolation inequality (statement)
History
- 2026-11-02: add by m2/dev
Law Y4S9WYJ0J2
| URI | m2://inv/Y4S9WYJ0J2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law (mathematics), Law (statement). Also Wikidata Q130223644
History
- 2026-11-02: add by m2/dev
Tangency order Y4SH13S2Y4
| URI | m2://inv/Y4SH13S2Y4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.12669#7ASO, Tangency order (definition). In ZA6XNBA90V/e1, definition 1.18
History
- 2026-10-27: add by m2/v0.3.5
Jacobi elliptic functions Y4SQ59SHKQ
| URI | m2://inv/Y4SQ59SHKQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Jacobi elliptic functions P071B692JF |
Mentions
- wikidata: Wikidata Q1473526, Jacobi elliptic functions (concept). Also EoM Jacobi_elliptic_functions, MathWorld JacobiEllipticFunctions
- wikipedia: Wikipedia Jacobi elliptic functions, Jacobi elliptic functions (definition). Also Wikidata Q1473526
History
- 2026-10-26: add by m2/dev
generalized wheel graph Y4SRX358JZ
| URI | m2://inv/Y4SRX358JZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130320639, generalized wheel graph (unknown). Also MathWorld ConeGraph
History
- 2026-10-26: add by m2/dev
golden ratio base Y4SX14027S
| URI | m2://inv/Y4SX14027S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2886580, golden ratio base (unknown). Also MathWorld PhiNumberSystem
- wikipedia: Wikipedia Golden ratio base, Golden ratio base (definition). Also Wikidata Q2886580
History
- 2026-10-26: add by m2/dev
Y4T34W59N5 Y4T34W59N5
| URI | m2://inv/Y4T34W59N5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2305.10202#76OG (statement). In ER06JKXR8B/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.4.0
Ferran Sunyer i Balaguer Y4T7QG6294
| URI | m2://inv/Y4T7QG6294 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ferran Sunyer i Balaguer, Ferran Sunyer i Balaguer (topic). Also Wikidata Q1189748
History
- 2026-11-02: add by m2/dev
Bad control Y4T8CVQD67
| URI | m2://inv/Y4T8CVQD67 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bad control, Bad control (definition). Also Wikidata Q116858709
History
- 2026-11-02: add by m2/dev
essential Y4TE1P1VZ8
| URI | m2://inv/Y4TE1P1VZ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#CJZB, essential (definition)
History
- 2026-11-02: add by m2/dev
Skeet Y4TGX2X0BC
| URI | m2://inv/Y4TGX2X0BC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skeet (Newfoundland), Skeet (definition). Also Wikidata Q17130746
History
- 2026-11-02: add by m2/dev
Y4TJ0NE8KR Y4TJ0NE8KR
| URI | m2://inv/Y4TJ0NE8KR |
|---|---|
| Kind | example |
| 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 2608.24424#NBF4 (example). In RQHGZ4AA5T/e1, example 3.9
History
- 2026-10-27: add by m2/v0.3.6
R.8 -- Enumeration Y4TM5Z5ADZ
| URI | m2://inv/Y4TM5Z5ADZ |
|---|---|
| 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.25543#GXFM, R.8 -- Enumeration (statement)
History
- 2026-11-01: add by m2/v0.6.15
Y4TMQNR8EX Y4TMQNR8EX
| URI | m2://inv/Y4TMQNR8EX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#0OEU (statement). In RYWAX33Z51/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
Barnes–Wall lattice Y4TMYWBQN5
| URI | m2://inv/Y4TMYWBQN5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barnes–Wall lattice, Barnes–Wall lattice (definition). Also Wikidata Q4861588
History
- 2026-11-02: add by m2/dev
Examples Y4TQYEKZG1
| URI | m2://inv/Y4TQYEKZG1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Omega and agemo subgroup#BGML, Examples (example)
History
- 2026-11-02: add by m2/dev
Y4V01M1KHT Y4V01M1KHT
| URI | m2://inv/Y4V01M1KHT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03517#TOBK (statement). In 3CGS9GSKTQ/e1, lemma 9.3
History
- 2026-10-29: add by m2/v0.4.12
Isserlis--Wick Y4VBV4SW1H
| URI | m2://inv/Y4VBV4SW1H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.36332#HX0O, Isserlis--Wick (statement). In APK7X4MFAX/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Example Y4VMYKXQM9
| URI | m2://inv/Y4VMYKXQM9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kuiper's test#R4X8, Example (example)
History
- 2026-11-02: add by m2/dev
Alfred van der Poorten Y4VPQCHNMP
| URI | m2://inv/Y4VPQCHNMP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#F03F, Alfred van der Poorten (unknown)
History
- 2026-11-02: add by m2/dev
Y4W0FS16G6 Y4W0FS16G6
| URI | m2://inv/Y4W0FS16G6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21931#C23D (statement)
History
- 2026-11-02: add by m2/v0.6.17
Newton Raphson divider Y4W3KCPQZD
| URI | m2://inv/Y4W3KCPQZD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Division algorithm#7T8H, Newton Raphson divider (unknown)
History
- 2026-11-02: add by m2/dev
Y4W9GPSAFB Y4W9GPSAFB
| URI | m2://inv/Y4W9GPSAFB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.16339#YSXM (statement). In ER5EH4W919/e1, theorem 5.2
History
- 2026-10-28: add by m2/v0.4.2
Sarah-marie belcastro Y4WA29QYPN
| URI | m2://inv/Y4WA29QYPN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sarah-marie belcastro, Sarah-marie belcastro (topic). Also Wikidata Q102166223
History
- 2026-11-02: add by m2/dev
isomorphism, semigroup Y4WAZ7E8YN
| URI | m2://inv/Y4WAZ7E8YN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.14.2/isomorphism-semigroup, isomorphism, semigroup (concept). In N54F33XE07, index, section 1.14.2
History
- 2026-11-01: add by m2/v0.6.13
Powell's dog leg method Y4WBMTNDTB
| URI | m2://inv/Y4WBMTNDTB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Powell's dog leg method, Powell's dog leg method (definition). Also Wikidata Q90418510
History
- 2026-11-02: add by m2/dev
Hermite reduction Y4WBP8XQGK
| URI | m2://inv/Y4WBP8XQGK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermite reduction, Hermite reduction (definition). Also Wikidata Q136449769
History
- 2026-11-02: add by m2/dev
Y4WC6E8ZCS Y4WC6E8ZCS
| URI | m2://inv/Y4WC6E8ZCS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 1204.5958#SZ5B (statement). In XYCBKM4WKY/e1, theorem 32
History
- 2026-10-27: add by m2/v0.3.5
Defuzzification Y4WN52D97M
| URI | m2://inv/Y4WN52D97M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Defuzzification, Defuzzification (definition). Also Wikidata Q5251735
History
- 2026-11-02: add by m2/dev
Y4WQAEHBC7 Y4WQAEHBC7
| URI | m2://inv/Y4WQAEHBC7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/choice/vitali.tex#vitalinooverlap (statement). In PKGMM3P5QY, lem, section 71.6
History
- 2026-11-01: add by m2/v0.6.13
Examples Y4WTWQJ91C
| URI | m2://inv/Y4WTWQJ91C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stress intensity factor#MOY3, Examples (example)
History
- 2026-11-02: add by m2/dev
Affine MDS Brascamp--Lieb Y4WWTF4N5Z
| URI | m2://inv/Y4WWTF4N5Z |
|---|---|
| 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.12357#VL53, Affine MDS Brascamp--Lieb (statement). In 1F26AF81XP/e1, lemma A.3
History
- 2026-10-28: add by m2/v0.4.2
Examples Y4X0E2W2YE
| URI | m2://inv/Y4X0E2W2YE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic manifold#K0S2, Examples (example)
History
- 2026-11-02: add by m2/dev
Y4X24J34F0 Y4X24J34F0
| URI | m2://inv/Y4X24J34F0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34570#0N06 (statement). In EVFX1R7ZDD/e1, corollary 6
History
- 2026-10-30: add by m2/v0.4.12
cross-multiplication Y4X26CGQ90
| URI | m2://inv/Y4X26CGQ90 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1340162, cross-multiplication (unknown). Also MathWorld RuleofThree
- wikipedia: Wikipedia Cross-multiplication, Cross-multiplication (definition). Also Wikidata Q1340162
History
- 2026-10-26: add by m2/dev
Y4XB83JQVK Y4XB83JQVK
| URI | m2://inv/Y4XB83JQVK |
|---|---|
| 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.23287#CXF1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Y4XFEB2FYY Y4XFEB2FYY
| URI | m2://inv/Y4XFEB2FYY |
|---|---|
| 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.11487#VZO1 (statement). In 8S0K3Y25HM/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.3
Definition Y4XK33ENR6
| URI | m2://inv/Y4XK33ENR6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indexed family#XKDA, Definition (definition)
History
- 2026-11-02: add by m2/dev
Y4XP7KER2N Y4XP7KER2N
| URI | m2://inv/Y4XP7KER2N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/basic.tex#probunionordinalsordinal (exercise). In PKGMM3P5QY, prob, section 72.2
History
- 2026-11-01: add by m2/v0.6.13
Connection Y4XQ7SVWHG
| URI | m2://inv/Y4XQ7SVWHG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connection (affine bundle), Connection (definition). Also Wikidata Q16251435
History
- 2026-11-02: add by m2/dev
Claudia Neuhauser Y4XQTJVS3G
| URI | m2://inv/Y4XQTJVS3G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TZK7, Claudia Neuhauser (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#3Q5R, Claudia Neuhauser (topic)
History
- 2026-11-02: add by m2/dev
Y4XSS9ZTMD Y4XSS9ZTMD
| URI | m2://inv/Y4XSS9ZTMD |
|---|---|
| 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.13789#YL12 (statement). In 803XY7QQZ4/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
Dynamic additive approximation Y4XZNH91YS
| URI | m2://inv/Y4XZNH91YS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31641#3801, Dynamic additive approximation (statement). In XC2HE3KXPM/e1, theorem 3.3
History
- 2026-10-31: add by m2/v0.5.6
Sergei B. Kuksin Y4Y3F97T3A
| URI | m2://inv/Y4Y3F97T3A |
|---|---|
| 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#P4II, Sergei B. Kuksin (topic)
History
- 2026-11-02: add by m2/dev
Y4Y4RRWBN6 Y4Y4RRWBN6
| URI | m2://inv/Y4Y4RRWBN6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37967#DVQN (statement). In BR2E3CXQE0/e1, theorem B
History
- 2026-10-30: add by m2/v0.4.12
Émery topology Y4Y80Z59J3
| URI | m2://inv/Y4Y80Z59J3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Émery topology, Émery topology (definition). Also Wikidata Q114757314
History
- 2026-11-02: add by m2/dev
Y4YKY9T30H Y4YKY9T30H
| URI | m2://inv/Y4YKY9T30H |
|---|---|
| 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 2501.02331#N8ZD (definition). In N9J5DJCTJZ/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
Y4YQXBXNGM Y4YQXBXNGM
| URI | m2://inv/Y4YQXBXNGM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06645#CX0X (statement). In 79H1DEK4M9/e1, theorem 8.3
History
- 2026-10-29: add by m2/v0.4.10
Supersolution to Hamilton--Jacobi equation Y4YTJ5RJGT
| URI | m2://inv/Y4YTJ5RJGT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#M0JD, Supersolution to Hamilton--Jacobi equation (statement). In KM3Q791JY0/e1, theorem 2.34
History
- 2026-10-27: add by m2/v0.4.2
Buridan's ass Y4YY2E1Q2N
| URI | m2://inv/Y4YY2E1Q2N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Buridan's ass, Buridan's ass (definition). Also Wikidata Q340003
History
- 2026-11-02: add by m2/dev
Y4Z0VNJPC1 Y4Z0VNJPC1
| URI | m2://inv/Y4Z0VNJPC1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-combperm.ptx#exercise-2 (exercise). In Y91XFCEVHQ, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
Proportional hazards models Y4Z1FDY8K8
| URI | m2://inv/Y4Z1FDY8K8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#X45A, Proportional hazards models (definition)
History
- 2026-11-02: add by m2/dev
Nishimori-line diagonal Y4Z4EMXFMS
| URI | m2://inv/Y4Z4EMXFMS |
|---|---|
| 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.37479#XEOX, Nishimori-line diagonal (statement). In P3RTT99C41/e1, lemma 7.10
History
- 2026-10-30: add by m2/v0.4.12
Y4Z58X4X7V Y4Z58X4X7V
| URI | m2://inv/Y4Z58X4X7V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36403#A8WS (statement). In A4XGTS3QXQ/e1, proposition 2.4
History
- 2026-10-30: add by m2/v0.4.12
semianalytic Y4ZFN6RYEN
| URI | m2://inv/Y4ZFN6RYEN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#W68O, semianalytic (definition)
History
- 2026-11-02: add by m2/dev
generalized Y4ZJRHPT4X
| URI | m2://inv/Y4ZJRHPT4X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#Z332, generalized (definition)
History
- 2026-11-02: add by m2/dev
Y4ZTGV7HK4 Y4ZTGV7HK4
| URI | m2://inv/Y4ZTGV7HK4 |
|---|---|
| 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.26191#06QA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Charles E. M. Pearce Y4ZX4TW8TB
| URI | m2://inv/Y4ZX4TW8TB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#N8GC, Charles E. M. Pearce (topic)
History
- 2026-11-02: add by m2/dev
Novouralsk Y4ZYWWSACR
| URI | m2://inv/Y4ZYWWSACR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#ZVBM, Novouralsk (unknown)
History
- 2026-11-02: add by m2/dev
Twentynine Palms, California Y4ZYXR5BXZ
| URI | m2://inv/Y4ZYXR5BXZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#JMNM, Twentynine Palms, California (unknown)
History
- 2026-11-02: add by m2/dev