Inventory rows Y1
The cards of the rows of the inventory whose ids start with Y1. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Constrained Minimum Criterion Y10498PYNE
| URI | m2://inv/Y10498PYNE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Model selection#Y6O2, Constrained Minimum Criterion (unknown)
History
- 2026-11-02: add by m2/dev
def Y108DX4AVT
| URI | m2://inv/Y108DX4AVT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#2M4S, def (definition)
History
- 2026-11-02: add by m2/dev
Properties Y10ZMGNKFE
| URI | m2://inv/Y10ZMGNKFE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isometry#04Z1, Properties (statement)
History
- 2026-11-02: add by m2/dev
Special cases Y1166ZG0N3
| URI | m2://inv/Y1166ZG0N3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard matrix#BGDB, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Y116GWEQBM Y116GWEQBM
| URI | m2://inv/Y116GWEQBM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/caratheodory.tex#example-3 (example). In RZP28ERRZV, example, section 63.2
History
- 2026-11-01: add by m2/v0.6.13
Y116WYA8DD Y116WYA8DD
| URI | m2://inv/Y116WYA8DD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20758#9H8O (definition). In PG0B4PH9YH/e1, definition 2.9
History
- 2026-10-27: add by m2/v0.4.2
Balanced slope criterion Y118CAJG4S
| URI | m2://inv/Y118CAJG4S |
|---|---|
| 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.24078#YI1W, Balanced slope criterion (statement)
History
- 2026-11-02: add by m2/v0.6.17
Y11BHN2K06 Y11BHN2K06
| URI | m2://inv/Y11BHN2K06 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-19 (exercise). In E9HS8K3A52, exercise, section 8.2.5
History
- 2026-11-01: add by m2/v0.6.13
washer method Y11E9XC37T
| URI | m2://inv/Y11E9XC37T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#K3QD, washer method (definition)
History
- 2026-11-02: add by m2/dev
Triangle Inequality Y11F32K15Q
| URI | m2://inv/Y11F32K15Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#prop-4, Triangle Inequality (statement). In E59CDZA4DP, prop, section 7.3
History
- 2026-11-01: add by m2/v0.6.13
Ryan Tibshirani Y11HVX9017
| URI | m2://inv/Y11HVX9017 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ryan Tibshirani, Ryan Tibshirani (topic). Also Wikidata Q56230339
History
- 2026-11-02: add by m2/dev
John Woods Y11K1WEY77
| URI | m2://inv/Y11K1WEY77 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#HTE5, John Woods (topic)
History
- 2026-11-02: add by m2/dev
Examples Y11KYA8YZS
| URI | m2://inv/Y11KYA8YZS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sidorenko's conjecture#KDT3, Examples (example)
History
- 2026-11-02: add by m2/dev
Superdiffusive invariance principle Y11Q5MYX2D
| URI | m2://inv/Y11Q5MYX2D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18847#XHBL, Superdiffusive invariance principle (statement). In DZ12XTTJSM/e1, theorem 1.6
History
- 2026-10-28: add by m2/v0.4.2
Y11SA3GVA0 Y11SA3GVA0
| URI | m2://inv/Y11SA3GVA0 |
|---|---|
| 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.07164#ZQV4 (statement). In Q1XJ5VWE1N/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
Theorem: (Fujita–Li, Blum–Xu) Y11TQ2HF3X
| URI | m2://inv/Y11TQ2HF3X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-stability of Fano varieties#OY99, Theorem: (Fujita–Li, Blum–Xu) (statement)
History
- 2026-11-02: add by m2/dev
Y11X1MX1Q2 Y11X1MX1Q2
| URI | m2://inv/Y11X1MX1Q2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.10147#F7AL (statement). In WZWGAG2FSN/e1, corollary 5.4
History
- 2026-10-29: add by m2/v0.4.10
Y11YFX325N Y11YFX325N
| URI | m2://inv/Y11YFX325N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0907.5545#ZZJ9 (statement). In K3GWCTV5YE/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
Multiple-prism dispersion theory Y1244FVTAY
| URI | m2://inv/Y1244FVTAY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple-prism dispersion theory, Multiple-prism dispersion theory (topic). Also Wikidata Q12248619
History
- 2026-11-02: add by m2/dev
Claire Voisin Y12B1J7H6M
| URI | m2://inv/Y12B1J7H6M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#T27G, Claire Voisin (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#H68W, Claire Voisin (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WNPC, Claire Voisin (topic)
History
- 2026-11-02: add by m2/dev
Tianyi Zheng Y12FHJ50GF
| URI | m2://inv/Y12FHJ50GF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tianyi Zheng, Tianyi Zheng (topic). Also Wikidata Q102429616
History
- 2026-11-02: add by m2/dev
Y12HP2SKV1 Y12HP2SKV1
| URI | m2://inv/Y12HP2SKV1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.07573#LOO1 (statement). In 78X5SKJX8J/e1, lemma 7.4
History
- 2026-10-27: add by m2/v0.3.5
Properties Y12JED6C27
| URI | m2://inv/Y12JED6C27 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski functional#Q0C3, Properties (statement)
History
- 2026-11-02: add by m2/dev
Hui Shi Y12VB5FTP3
| URI | m2://inv/Y12VB5FTP3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hui Shi, Hui Shi (topic). Also Wikidata Q943012
History
- 2026-11-02: add by m2/dev
Birkhoff–Kakutani theorem Y1315JVY50
| URI | m2://inv/Y1315JVY50 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological vector space#DDLP, Birkhoff–Kakutani theorem (statement)
History
- 2026-11-02: add by m2/dev
Subderivative Y138A00896
| URI | m2://inv/Y138A00896 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subderivative, Subderivative (definition). Also Wikidata Q289500
History
- 2026-11-02: add by m2/dev
Klein's Encyclopedia of Mathematical Sciences Y13D6GBJFD
| URI | m2://inv/Y13D6GBJFD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Klein's Encyclopedia of Mathematical Sciences, Klein's Encyclopedia of Mathematical Sciences (definition). Also Wikidata Q1346193
History
- 2026-11-02: add by m2/dev
Diameter of a manifold Y13H6SQWPE
| URI | m2://inv/Y13H6SQWPE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diameter of a set#8YRO, Diameter of a manifold (unknown)
History
- 2026-11-02: add by m2/dev
Y13T88EXSY Y13T88EXSY
| URI | m2://inv/Y13T88EXSY |
|---|---|
| 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.09042#94B0 (statement). In 7CS3N5K9FJ/e1, proposition 3
History
- 2026-10-29: add by m2/v0.4.10
Combinator calculus Y13ZEE07GB
| URI | m2://inv/Y13ZEE07GB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatory logic#54Q0, Combinator calculus (unknown)
History
- 2026-11-02: add by m2/dev
Definition Y13ZTWD6AR
| URI | m2://inv/Y13ZTWD6AR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Informant function#030Y, Definition (definition)
History
- 2026-11-02: add by m2/dev
Lothar Göttsche Y144S7PRKG
| URI | m2://inv/Y144S7PRKG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lothar Göttsche, Lothar Göttsche (topic). Also Wikidata Q110394
History
- 2026-11-02: add by m2/dev
Y1468Z74FN Y1468Z74FN
| URI | m2://inv/Y1468Z74FN |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01802#J5FA (conjecture). In XGPZ0G9E1Q/e1, conjecture 7.19
History
- 2026-10-29: add by m2/v0.4.12
Y148WPS9K0 Y148WPS9K0
| URI | m2://inv/Y148WPS9K0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_genfunction_distributions.ptx#exa_genfunction_fruit (example). In QKM9DD2H56, example, section 8.2
History
- 2026-11-01: add by m2/v0.6.13
List of the 230 crystallographic 3D space groups Y14BPQFW3B
| URI | m2://inv/Y14BPQFW3B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Space group#XL2X, List of the 230 crystallographic 3D space groups (unknown)
History
- 2026-11-02: add by m2/dev
Algebraic closures Y14D7PGP2E
| URI | m2://inv/Y14D7PGP2E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#theorem-2, Algebraic closures (statement). In RZP28ERRZV, theorem, section 14.2
History
- 2026-11-01: add by m2/v0.6.13
Statement Y14E9VXRCM
| URI | m2://inv/Y14E9VXRCM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tellegen's theorem#43UI, Statement (statement)
History
- 2026-11-02: add by m2/dev
Weight Y14G9VJ91D
| URI | m2://inv/Y14G9VJ91D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weight (strings), Weight (definition). Also Wikidata Q7979859
History
- 2026-11-02: add by m2/dev
Y14H2FNAX6 Y14H2FNAX6
| URI | m2://inv/Y14H2FNAX6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2203.07710#B0WZ (definition). In NESGAWA54K/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.3.5
Y14HCQ3K6N Y14HCQ3K6N
| URI | m2://inv/Y14HCQ3K6N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35543#D1MM (statement). In WSG1ZW956E/e1, proposition 5.4
History
- 2026-10-30: add by m2/v0.4.12
Y14KN20M06 Y14KN20M06
| URI | m2://inv/Y14KN20M06 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises1-1.xml#exercise-4 (exercise). In 649HGZKE96, exercise, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
Y14PWHS9E2 Y14PWHS9E2
| URI | m2://inv/Y14PWHS9E2 |
|---|---|
| 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.14838#MN1Q (statement). In J7ZX3WWRQP/e1, corollary 3.17
History
- 2026-10-28: add by m2/v0.4.2
Y14R93AR1Z Y14R93AR1Z
| URI | m2://inv/Y14R93AR1Z |
|---|---|
| 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 1011.4141#BHVC (statement). In YQ4JYF18NH/e1, corollary 4.5
History
- 2026-10-27: add by m2/v0.3.5
Derived functor Y14XYKX1VT
| URI | m2://inv/Y14XYKX1VT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#ILRP, Derived functor (definition)
History
- 2026-11-02: add by m2/dev
Filigree Y14YJ75P48
| URI | m2://inv/Y14YJ75P48 |
|---|---|
| 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 2304.02722#AP03, Filigree (statement). In AH7D55D3WV/e1, lemma 9.1
History
- 2026-10-27: add by m2/v0.3.5
parachute graph Y153BKPBWV
| URI | m2://inv/Y153BKPBWV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q137539982, parachute graph (unknown). Also House of Graphs 1250, MathWorld ParachuteGraph
History
- 2026-10-26: add by m2/dev
Third moment Y153BN3HYP
| URI | m2://inv/Y153BN3HYP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29784#955H, Third moment (statement)
History
- 2026-11-01: add by m2/v0.6.15
Y159VCMR51 Y159VCMR51
| URI | m2://inv/Y159VCMR51 |
|---|---|
| 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.29943#T1FN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Y15BFCWATB Y15BFCWATB
| URI | m2://inv/Y15BFCWATB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15367#Y3QV (statement). In 9AFZ1S368G/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.2
Examples Y15BFVF8ZF
| URI | m2://inv/Y15BFVF8ZF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Social rationality#MB65, Examples (example)
History
- 2026-11-02: add by m2/dev
Y15CK0AECB Y15CK0AECB
| URI | m2://inv/Y15CK0AECB |
|---|---|
| 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.35642#DUJB (statement). In D905BX98TP/e1, proposition 2.7
History
- 2026-10-30: add by m2/v0.4.12
Y15DHVSTE4 Y15DHVSTE4
| URI | m2://inv/Y15DHVSTE4 |
|---|---|
| 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.18199#YPBG (statement). In MSP4PCWCJA/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.2
Y15GH7YF1G Y15GH7YF1G
| URI | m2://inv/Y15GH7YF1G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#RWY2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Scale endpoints Y15TGDX33C
| URI | m2://inv/Y15TGDX33C |
|---|---|
| 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.20187#GNX7, Scale endpoints (statement). In N280AVNNBY/e1, lemma B.12
History
- 2026-10-27: add by m2/v0.4.2
Pooh-pooh Y15VGEKSDM
| URI | m2://inv/Y15VGEKSDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pooh-pooh, Pooh-pooh (definition). Also Wikidata Q23681718
History
- 2026-11-02: add by m2/dev
Y160NW1S92 Y160NW1S92
| URI | m2://inv/Y160NW1S92 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21963#QJYZ (statement). In HR9R8RPKN8/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.4.2
Nakayama lemma Y1610F7XMJ
| URI | m2://inv/Y1610F7XMJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#EGCG, Nakayama lemma (statement)
History
- 2026-11-02: add by m2/dev
McEvedy, Colin Y16134PJ52
| URI | m2://inv/Y16134PJ52 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#1787, McEvedy, Colin (unknown)
History
- 2026-11-02: add by m2/dev
Y16HM8DB47 Y16HM8DB47
| URI | m2://inv/Y16HM8DB47 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27366#ISEZ (definition)
History
- 2026-11-01: add by m2/v0.6.15
Theorem Y16HZEMJNJ
| URI | m2://inv/Y16HZEMJNJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia No free lunch theorem#P4YG, Theorem (statement)
History
- 2026-11-02: add by m2/dev
The general Selberg trace formula for cocompact quotients Y16RJVXN70
| URI | m2://inv/Y16RJVXN70 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Selberg trace formula#03R7, The general Selberg trace formula for cocompact quotients (statement)
History
- 2026-11-02: add by m2/dev
Y16RM6ZBDB Y16RM6ZBDB
| URI | m2://inv/Y16RM6ZBDB |
|---|---|
| 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.25291#MYYG (statement)
History
- 2026-11-01: add by m2/v0.6.15
PARI/GP Y16WAJKK3M
| URI | m2://inv/Y16WAJKK3M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#VYAE, PARI/GP (unknown)
History
- 2026-11-02: add by m2/dev
generalized continued fraction Y16YWY027H
| URI | m2://inv/Y16YWY027H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Continued fraction 04P2RJ4WPS |
Mentions
- wikidata: Wikidata Q4115724, generalized continued fraction (unknown). Also Mathlib GenContFract, MathWorld GeneralizedContinuedFraction
- wikipedia: Wikipedia Continued fraction, Continued fraction (definition). Also Wikidata Q4115724
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Y1784GB2FY Y1784GB2FY
| URI | m2://inv/Y1784GB2FY |
|---|---|
| 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.04330#9KMA (statement). In 17H0HEM54D/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
Y17F560WEX Y17F560WEX
| URI | m2://inv/Y17F560WEX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-2.xml#activity-4 (exercise). In 649HGZKE96, activity, section 4.2.5
History
- 2026-11-01: add by m2/v0.6.13
Lancret's theorem Y17GZX35W4
| URI | m2://inv/Y17GZX35W4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2226711, Lancret's theorem (statement). Also MathWorld LancretsTheorem
History
- 2026-10-26: add by m2/dev
Y17QQ2ET78 Y17QQ2ET78
| URI | m2://inv/Y17QQ2ET78 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09390#NMRI (statement). In 7SSKW778T8/e1, lemma 6.3
History
- 2026-10-29: add by m2/v0.4.10
Y17Z73WM1N Y17Z73WM1N
| URI | m2://inv/Y17Z73WM1N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15313#M3HR (statement). In KWKY1CWG1Z/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Propensity probability Y18B5B23TP
| URI | m2://inv/Y18B5B23TP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4X5M, Propensity probability (definition)
History
- 2026-11-02: add by m2/dev
Y18QVRZQ6A Y18QVRZQ6A
| URI | m2://inv/Y18QVRZQ6A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#exercise-12 (exercise). In E59CDZA4DP, exercise, section 6.2.4
History
- 2026-11-01: add by m2/v0.6.13
Cohort analysis Y18SV1W88G
| URI | m2://inv/Y18SV1W88G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohort analysis, Cohort analysis (definition). Also Wikidata Q17016783
History
- 2026-11-02: add by m2/dev
type, contractible Y18WH2R2GX
| URI | m2://inv/Y18WH2R2GX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.11/type-contractible, type, contractible (concept). In N54F33XE07, index, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
Prototypical example Y18YSWQWFW
| URI | m2://inv/Y18YSWQWFW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/numfield.tex#example-3, Prototypical example (example). In RZP28ERRZV, example, section 16.3
History
- 2026-11-01: add by m2/v0.6.13
Y1919F3P3C Y1919F3P3C
| URI | m2://inv/Y1919F3P3C |
|---|---|
| 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.11395#3VOF (statement). In T3W7SMWQ73/e1, proposition 49
History
- 2026-10-28: add by m2/v0.4.3
Y1997NAWHH Y1997NAWHH
| URI | m2://inv/Y1997NAWHH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-prop.ptx#exercise-15 (exercise). In Y91XFCEVHQ, exercise, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Y19A3YJ794 Y19A3YJ794
| URI | m2://inv/Y19A3YJ794 |
|---|---|
| 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.11120#3EUD (statement). In KCY80F2YGP/e1, lemma 11
History
- 2026-10-28: add by m2/v0.4.3
hexagonal prism Y19B305ST7
| URI | m2://inv/Y19B305ST7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2225206, hexagonal prism (object). Also MathWorld HexagonalPrism
- wikipedia: Wikipedia Hexagonal prism, Hexagonal prism (definition). Also Wikidata Q2225206
History
- 2026-10-26: add by m2/dev
Constructions Y19QS5CFKK
| URI | m2://inv/Y19QS5CFKK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal hashing#8AVB, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Jacobson–Bourbaki theorem Y19RECF4XK
| URI | m2://inv/Y19RECF4XK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#OAU6, Jacobson–Bourbaki theorem (statement)
History
- 2026-11-02: add by m2/dev
Linear multistep method Y19S0N96G9
| URI | m2://inv/Y19S0N96G9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#1V9S, Linear multistep method (definition)
History
- 2026-11-02: add by m2/dev
Generalizations Y19SQWXW5B
| URI | m2://inv/Y19SQWXW5B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric monoidal category#O48N, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Y1A1BXEYSD Y1A1BXEYSD
| URI | m2://inv/Y1A1BXEYSD |
|---|---|
| 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.12034#LZVG (statement). In 1FRW4N1H90/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.3
Price equation Y1A23RVGBH
| URI | m2://inv/Y1A23RVGBH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Price equation, Price equation (definition). Also Wikidata Q2109459
History
- 2026-11-02: add by m2/dev
Y1A7AFR3AW Y1A7AFR3AW
| URI | m2://inv/Y1A7AFR3AW |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#proof-12 (proof). In E59CDZA4DP, proof, section 7.3
History
- 2026-11-01: add by m2/v0.6.13
Raymond Pettibon Y1ABMFQTBC
| URI | m2://inv/Y1ABMFQTBC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#V26N, Raymond Pettibon (unknown)
History
- 2026-11-02: add by m2/dev
Easy Java Simulations Y1ABMJCQQA
| URI | m2://inv/Y1ABMJCQQA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#805H, Easy Java Simulations (unknown)
History
- 2026-11-02: add by m2/dev
Blahut–Arimoto algorithm Y1ABPF74FQ
| URI | m2://inv/Y1ABPF74FQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blahut–Arimoto algorithm, Blahut–Arimoto algorithm (definition). Also Wikidata Q4923900
History
- 2026-11-02: add by m2/dev
Optimal decision Y1ADBGHPHZ
| URI | m2://inv/Y1ADBGHPHZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimal decision, Optimal decision (definition). Also Wikidata Q4335500
History
- 2026-11-02: add by m2/dev
Example Y1ATKH050Q
| URI | m2://inv/Y1ATKH050Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski's theorem#SHWL, Example (example)
History
- 2026-11-02: add by m2/dev
Model Existence Theorem Y1AV717R7G
| URI | m2://inv/Y1AV717R7G |
|---|---|
| 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.26509#W20H, Model Existence Theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
Y1AWQQ7FXM Y1AWQQ7FXM
| URI | m2://inv/Y1AWQQ7FXM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2112.10058#Y3FO (definition). In YQKKA47GS9/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
reals Y1AZ3ABTZG
| URI | m2://inv/Y1AZ3ABTZG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.3.1/reals, reals (concept). In Y91XFCEVHQ, index, section 1.3.1
History
- 2026-11-01: add by m2/v0.6.13
Complete-shell count bounds Y1B1VA681M
| URI | m2://inv/Y1B1VA681M |
|---|---|
| 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.37482#5TQ1, Complete-shell count bounds (statement). In 9QDRMZX8EY/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
Karl Mollweide Y1B4XDFC5C
| URI | m2://inv/Y1B4XDFC5C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karl Mollweide, Karl Mollweide (topic). Also Wikidata Q61764
History
- 2026-11-02: add by m2/dev
Y1BC3KD93Y Y1BC3KD93Y
| URI | m2://inv/Y1BC3KD93Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#EAS8 (statement). In F3BKXXPR3K/e1, proposition 3.56
History
- 2026-10-27: add by m2/v0.4.2
Generalizations Y1BDBS1VN8
| URI | m2://inv/Y1BDBS1VN8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear combination#AU8Q, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Y1BNGV8B5P Y1BNGV8B5P
| URI | m2://inv/Y1BNGV8B5P |
|---|---|
| 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#0AU9 (statement). In 2PP4XRVS0J/e1, theorem 6.2
History
- 2026-10-27: add by m2/v0.4.2
Digital compositing Y1BR353AYW
| URI | m2://inv/Y1BR353AYW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#LCEG, Digital compositing (unknown)
History
- 2026-11-02: add by m2/dev
Compound of two truncated tetrahedra Y1BZJVX6YF
| URI | m2://inv/Y1BZJVX6YF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#U55S, Compound of two truncated tetrahedra (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#MA7S, Compound of two truncated tetrahedra (definition)
History
- 2026-11-02: add by m2/dev
Y1BZQFV6TX Y1BZQFV6TX
| URI | m2://inv/Y1BZQFV6TX |
|---|---|
| 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 2308.05715#17X2 (statement). In FC0SB9JFWH/e1, lemma 7.2
History
- 2026-10-27: add by m2/v0.3.5
Y1C0SG752G Y1C0SG752G
| URI | m2://inv/Y1C0SG752G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28411#AU4Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
cgs units Y1C4BYFVR8
| URI | m2://inv/Y1C4BYFVR8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/3.3.2/cgs-units, cgs units (concept). In E9HS8K3A52, index, section 3.3.2
History
- 2026-11-01: add by m2/v0.6.13
Y1C4VDWRYM Y1C4VDWRYM
| URI | m2://inv/Y1C4VDWRYM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#3P3N (definition). In WD2NCBV9F0/e1, definition 8.7
History
- 2026-10-27: add by m2/v0.3.5
Amazons Y1C6D1A13E
| URI | m2://inv/Y1C6D1A13E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#SWXO, Amazons (unknown)
History
- 2026-11-02: add by m2/dev
\code{not\_powerful\_of\_two\_mod\_four Y1C6TN9S1D
| URI | m2://inv/Y1C6TN9S1D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25011#4Z7O, \code{not\_powerful\_of\_two\_mod\_four (statement)
History
- 2026-11-01: add by m2/v0.6.15
Resolved--intrinsic $b$-equivalence Y1CPZJB5Z9
| URI | m2://inv/Y1CPZJB5Z9 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#LAHW, Resolved--intrinsic $b$-equivalence (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Y1CQKE9VHE Y1CQKE9VHE
| URI | m2://inv/Y1CQKE9VHE |
|---|---|
| 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.08567#0H26 (statement). In CMJE9V2BJ0/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Y1CSPQQNCH Y1CSPQQNCH
| URI | m2://inv/Y1CSPQQNCH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32997#K8Z6 (statement). In N380GY9A9N/e1, lemma 3.2
History
- 2026-10-31: add by m2/v0.5.6
symmetric function Y1CV3T6CXW
| URI | m2://inv/Y1CV3T6CXW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/6.2/symmetric-function, symmetric function (concept). In VNMV985MXX, index, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
walk Y1D5BC040X
| URI | m2://inv/Y1D5BC040X |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.1/walk, walk (concept). In QKM9DD2H56, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Reduction Y1D6CWZEPM
| URI | m2://inv/Y1D6CWZEPM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21662#G437, Reduction (statement). In 25B3WHEKH2/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.4.2
Barycentric subdivision Y1DSA06TNA
| URI | m2://inv/Y1DSA06TNA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barycentric subdivision, Barycentric subdivision (definition). Also Wikidata Q4078260
History
- 2026-11-02: add by m2/dev
Abram Besicovitch Y1DWTNK2XY
| URI | m2://inv/Y1DWTNK2XY |
|---|---|
| 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#17OH, Abram Besicovitch (topic)
History
- 2026-11-02: add by m2/dev
Definition Y1E464WPG2
| URI | m2://inv/Y1E464WPG2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slender group#53EM, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples Y1E49A6H6X
| URI | m2://inv/Y1E49A6H6X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whitehead's algorithm#Y83D, Examples (example)
History
- 2026-11-02: add by m2/dev
Generalizations Y1E6V2S8TQ
| URI | m2://inv/Y1E6V2S8TQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bobkov's inequality#6787, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Special cases Y1E7HYB44W
| URI | m2://inv/Y1E7HYB44W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Additive category#ZGKK, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Debra T. Silverman Y1E82FN2W5
| URI | m2://inv/Y1E82FN2W5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Debra T. Silverman, Debra T. Silverman (topic). Also Wikidata Q103839499
History
- 2026-11-02: add by m2/dev
Y1ECCW8MZ3 Y1ECCW8MZ3
| URI | m2://inv/Y1ECCW8MZ3 |
|---|---|
| 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 2011.11439#JHSJ (statement). In 9Z8RSQ36JC/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Y1EDT845M6 Y1EDT845M6
| URI | m2://inv/Y1EDT845M6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises3-4.xml#exercise-4 (exercise). In 649HGZKE96, exercise, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
SwiGLU plateau and leading AGOP alignment Y1EEA65EY9
| URI | m2://inv/Y1EEA65EY9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39408#DDVX, SwiGLU plateau and leading AGOP alignment (statement). In T8E6F01RTM/e1, theorem 5.1
History
- 2026-10-30: add by m2/v0.4.12
Y1EH3B22KQ Y1EH3B22KQ
| URI | m2://inv/Y1EH3B22KQ |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv alg-geom/9506022#ICVO (unknown). In AQGEM4XAKD/e1, unknown 1.2
History
- 2026-10-27: add by m2/v0.3.5
Y1EQXQ1N5W Y1EQXQ1N5W
| URI | m2://inv/Y1EQXQ1N5W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05403#02TY (statement). In PQGGCD09KP/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
Example Y1EVR43PA6
| URI | m2://inv/Y1EVR43PA6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Implicit computational complexity#WNTX, Example (example)
History
- 2026-11-02: add by m2/dev
singular Y1F3417CSB
| URI | m2://inv/Y1F3417CSB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#HMBS, singular (definition)
History
- 2026-11-02: add by m2/dev
Jacobian determinant Y1FEGNMNG1
| URI | m2://inv/Y1FEGNMNG1 |
|---|---|
| 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.11619#MJ07, Jacobian determinant (statement). In HT2K76Y9WS/e1, lemma B.15
History
- 2026-10-28: add by m2/v0.4.3
Y1FKYH3EM6 Y1FKYH3EM6
| URI | m2://inv/Y1FKYH3EM6 |
|---|---|
| Kind | definition |
| 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#ZF9L (definition). In 7WV4JVGEN1/e1, definition 5.3
History
- 2026-10-27: add by m2/v0.4.0
Y1FPCNZGWS Y1FPCNZGWS
| URI | m2://inv/Y1FPCNZGWS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.07021#33OM (statement). In H4CM84JVPC/e1, corollary 4.3
History
- 2026-10-27: add by m2/v0.3.5
Mutual coherence Y1G0TGZ9WV
| URI | m2://inv/Y1G0TGZ9WV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mutual coherence (linear algebra), Mutual coherence (definition). Also Wikidata Q6944191
History
- 2026-11-02: add by m2/dev
Y1G2XZ1XF8 Y1G2XZ1XF8
| URI | m2://inv/Y1G2XZ1XF8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#KFRR (statement). In CC6S1HVK0T/e1, lemma 5.32
History
- 2026-10-28: add by m2/v0.4.2
Right irrelevance of context PER Y1G9Q2GVEF
| URI | m2://inv/Y1G9Q2GVEF |
|---|---|
| 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.21131#OX2J, Right irrelevance of context PER (statement). In CPYWHRTPKC/e1, lemma 6.21
History
- 2026-10-27: add by m2/v0.4.2
Y1G9Y4FYS8 Y1G9Y4FYS8
| URI | m2://inv/Y1G9Y4FYS8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.15212#JM8C (statement). In W99XBH6X5N/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.4.0
The Art of Computer Programming, Volume 1: Fundamental Algorithms Y1GEBFAAEM
| URI | m2://inv/Y1GEBFAAEM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q47752311, The Art of Computer Programming, Volume 1: Fundamental Algorithms (unknown). Also ProofWiki Book:Donald_E._Knuth/The_Art_of_Computer_Programming:_Volume_1:_Fundamental_Algorithms
History
- 2026-10-26: add by m2/dev
Jurimetrics Y1GN1VS6DW
| URI | m2://inv/Y1GN1VS6DW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jurimetrics, Jurimetrics (definition). Also Wikidata Q10313102
History
- 2026-11-02: add by m2/dev
Y1GWG4BJ88 Y1GWG4BJ88
| URI | m2://inv/Y1GWG4BJ88 |
|---|---|
| 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.14741#YLM8 (statement). In RK1VPWWX9E/e1, corollary 4.18
History
- 2026-10-28: add by m2/v0.4.2
Y1GWH5E3B8 Y1GWH5E3B8
| URI | m2://inv/Y1GWH5E3B8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12513#A5QX (statement). In VM9V8SXEA2/e1, lemma 11
History
- 2026-10-28: add by m2/v0.4.2
Open coloring axiom Y1GX4YDDKG
| URI | m2://inv/Y1GX4YDDKG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Open coloring axiom, Open coloring axiom (statement). Also Wikidata Q17332474
History
- 2026-11-02: add by m2/dev
T. Edward Damer Y1GY8VW77A
| URI | m2://inv/Y1GY8VW77A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia T. Edward Damer, T. Edward Damer (topic). Also Wikidata Q7668228
History
- 2026-11-02: add by m2/dev
Generalizations Y1GYN9M3BD
| URI | m2://inv/Y1GYN9M3BD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian integral#GBL4, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Set TSP problem Y1H6R5X39K
| URI | m2://inv/Y1H6R5X39K |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set TSP problem, Set TSP problem (problem). Also Wikidata Q4329453
History
- 2026-11-02: add by m2/dev
Plancherel measure Y1HAFX2C9R
| URI | m2://inv/Y1HAFX2C9R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plancherel measure, Plancherel measure (definition). Also Wikidata Q7200979
History
- 2026-11-02: add by m2/dev
Y1HTB6STC4 Y1HTB6STC4
| URI | m2://inv/Y1HTB6STC4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27689#UFGX (definition)
History
- 2026-11-01: add by m2/v0.6.15
Perpetual expansion and exchange tasks Y1HYHYVMYR
| URI | m2://inv/Y1HYHYVMYR |
|---|---|
| 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.17677#J50H, Perpetual expansion and exchange tasks (statement). In 5E9G06XJKC/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
Y1HZAGP7J3 Y1HZAGP7J3
| URI | m2://inv/Y1HZAGP7J3 |
|---|---|
| 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.30895#RN1C (statement). In B8D26BYA7T/e1, lemma 12
History
- 2026-10-31: add by m2/v0.5.6
Y1J8WP85N6 Y1J8WP85N6
| URI | m2://inv/Y1J8WP85N6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.00596#XPXU (statement). In F8RC6AENB0/e1, lemma 6.6
History
- 2026-10-27: add by m2/v0.3.5
Pairwise comparison Y1JAFVZFGB
| URI | m2://inv/Y1JAFVZFGB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#9SOL, Pairwise comparison (definition)
History
- 2026-11-02: add by m2/dev
Y1JFHW76HR Y1JFHW76HR
| URI | m2://inv/Y1JFHW76HR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2411.00562#0SBR (statement). In 99CQPHSSYF/e1, fact \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
Y1JG6S3CNB Y1JG6S3CNB
| URI | m2://inv/Y1JG6S3CNB |
|---|---|
| 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.05611#474H (statement). In QDTX6NXFEB/e1, proposition 2.8
History
- 2026-10-29: add by m2/v0.4.10
Y1JKK7J5M9 Y1JKK7J5M9
| URI | m2://inv/Y1JKK7J5M9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-60 (exercise). In E9HS8K3A52, exercise, section 2.5.5
History
- 2026-11-01: add by m2/v0.6.13
Y1JP2PGBE5 Y1JP2PGBE5
| URI | m2://inv/Y1JP2PGBE5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0706.0357#936K (statement). In GX9K29SRY8/e1, lemma 1.1
History
- 2026-10-27: add by m2/v0.3.5
Time negligible set Y1JYSVZXQ6
| URI | m2://inv/Y1JYSVZXQ6 |
|---|---|
| Kind | definition |
| 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#AYHS, Time negligible set (definition). In KM3Q791JY0/e1, definition 3.12
History
- 2026-10-27: add by m2/v0.4.2
Properties Y1K52FCN0P
| URI | m2://inv/Y1K52FCN0P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cone-shape distribution function#YBN6, Properties (statement)
History
- 2026-11-02: add by m2/dev
einselection Y1K9K6KSH2
| URI | m2://inv/Y1K9K6KSH2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17010049, einselection (unknown). Also nLab einselection
History
- 2026-10-26: add by m2/dev
A Philosophical Essay on Probabilities Y1KAWMX710
| URI | m2://inv/Y1KAWMX710 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A Philosophical Essay on Probabilities, A Philosophical Essay on Probabilities (definition). Also Wikidata Q19169639
History
- 2026-11-02: add by m2/dev
$f$ belongs to the parabolic space Y1KCC874ZY
| URI | m2://inv/Y1KCC874ZY |
|---|---|
| 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.08434#RZSC, $f$ belongs to the parabolic space (statement). In VN8087G2FC/e1, lemma 8.8
History
- 2026-10-29: add by m2/v0.4.10
Lev Pontryagin Y1KJYRX9AW
| URI | m2://inv/Y1KJYRX9AW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#U9FF, Lev Pontryagin (topic)
History
- 2026-11-02: add by m2/dev
Y1KPGNNSJ6 Y1KPGNNSJ6
| URI | m2://inv/Y1KPGNNSJ6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/ordinal.tex#example-1 (example). In RZP28ERRZV, example, section 92.3
History
- 2026-11-01: add by m2/v0.6.13
Christopher K. W. Tam Y1KTRBEXFE
| URI | m2://inv/Y1KTRBEXFE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christopher K. W. Tam, Christopher K. W. Tam (topic). Also Wikidata Q29350845
History
- 2026-11-02: add by m2/dev
Dense Projected Divergences Y1KZ6B5DBR
| URI | m2://inv/Y1KZ6B5DBR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 51-XX, 52-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07728#RTDV, Dense Projected Divergences (statement). In B1VVAKFCKZ/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.10
Rotation domain Y1M3FD095R
| URI | m2://inv/Y1M3FD095R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38013#MU9Y, Rotation domain (definition). In DQ6P0P6N78/e1, definition 5.1
History
- 2026-10-30: add by m2/v0.4.12
Michelle Shardell Y1M3Y6RYBE
| URI | m2://inv/Y1M3Y6RYBE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#A7TB, Michelle Shardell (unknown)
History
- 2026-11-02: add by m2/dev
Semantic portability Y1M46X5EHH
| URI | m2://inv/Y1M46X5EHH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15824#ZIHQ, Semantic portability (statement). In GDZXR87FJV/e1, statement 7
History
- 2026-10-28: add by m2/v0.4.2
Alev--Rao Y1M90M4BPW
| URI | m2://inv/Y1M90M4BPW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09506#MFOL, Alev--Rao (statement). In AQC7E6RAT4/e1, theorem 2.4
History
- 2026-10-29: add by m2/v0.4.10
pseudoconex Y1MAXXDVJX
| URI | m2://inv/Y1MAXXDVJX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#WJLW, pseudoconex (definition)
History
- 2026-11-02: add by m2/dev
Y1MCN7H0A4 Y1MCN7H0A4
| URI | m2://inv/Y1MCN7H0A4 |
|---|---|
| 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 2609.39293#SH31 (statement). In S26QVW5613/e1, proposition 0.0.4
History
- 2026-10-30: add by m2/v0.4.12
Y1MPQMCDX0 Y1MPQMCDX0
| URI | m2://inv/Y1MPQMCDX0 |
|---|---|
| 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.10927#A0CU (statement). In DHEJP3YATV/e1, proposition 22
History
- 2026-10-28: add by m2/v0.4.3
Y1MWDH5QVT Y1MWDH5QVT
| URI | m2://inv/Y1MWDH5QVT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40260#MWKZ (statement). In 524FZAC6NB/e1, theorem 9
History
- 2026-10-30: add by m2/v0.4.12
A Gauss–Green formula Y1N0ZF5KAR
| URI | m2://inv/Y1N0ZF5KAR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Caccioppoli set#ZEU1, A Gauss–Green formula (statement)
History
- 2026-11-02: add by m2/dev
Y1N3PDKSD0 Y1N3PDKSD0
| URI | m2://inv/Y1N3PDKSD0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14455#ZH8B (statement). In 5KARPAJDCP/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
CLT for one-step estimator Y1NC7Q6CWN
| URI | m2://inv/Y1NC7Q6CWN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39274#746V, CLT for one-step estimator (statement). In HVC7RVEM6V/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
Y1NMSAY9PK Y1NMSAY9PK
| URI | m2://inv/Y1NMSAY9PK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27918#60GX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples Y1NZ3MRYDN
| URI | m2://inv/Y1NZ3MRYDN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological group#V5LP, Examples (example)
History
- 2026-11-02: add by m2/dev
Infinitude of complete failures Y1P42BCTYK
| URI | m2://inv/Y1P42BCTYK |
|---|---|
| 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.07214#YXQ6, Infinitude of complete failures (statement). In 669PBFJX0Z/e1, corollary 2
History
- 2026-10-29: add by m2/v0.4.10
Y1PD2VX6H5 Y1PD2VX6H5
| URI | m2://inv/Y1PD2VX6H5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28336#J7JX (statement)
History
- 2026-11-01: add by m2/v0.6.15
4-simplex Y1PGP0DDQ2
| URI | m2://inv/Y1PGP0DDQ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1634717, 4-simplex (unknown). Also MathWorld Pentatope
- wikipedia: Wikipedia 5-cell, 5-cell (definition). Also Wikidata Q1634717
History
- 2026-10-26: add by m2/dev
Y1PH8T7DY2 Y1PH8T7DY2
| URI | m2://inv/Y1PH8T7DY2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.01653#2PD8 (statement). In WZMHJCQPB2/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.12
John Kersey the elder Y1PMQHNW7C
| URI | m2://inv/Y1PMQHNW7C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Kersey the elder, John Kersey the elder (topic). Also Wikidata Q3181865
History
- 2026-11-02: add by m2/dev
Y1Q1GCD8G2 Y1Q1GCD8G2
| URI | m2://inv/Y1Q1GCD8G2 |
|---|---|
| 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.20153#1ION (statement)
History
- 2026-11-02: add by m2/v0.6.18
partial trace Y1Q9KMKJYS
| URI | m2://inv/Y1Q9KMKJYS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7140394, partial trace (unknown). Also nLab partial trace
- wikipedia: Wikipedia Partial trace, Partial trace (definition). Also Wikidata Q7140394
History
- 2026-10-26: add by m2/dev
function, embedding Y1QB1FZBEH
| URI | m2://inv/Y1QB1FZBEH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.6/function-embedding, function, embedding (concept). In N54F33XE07, index, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
minimal polynomial Y1QBA10YHJ
| URI | m2://inv/Y1QBA10YHJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Endomorphism polynomials > minimal polynomial, minimal polynomial (unknown). Also Mathlib minpoly
- mathlib_undergrad: mathlib_undergrad Linear algebra > Endomorphism polynomials > minimal polynomial, minimal polynomial (unknown). Also Mathlib minpoly
History
- 2026-10-26: add by m2/dev
Y1QBNTYGMD Y1QBNTYGMD
| URI | m2://inv/Y1QBNTYGMD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.28282#LRXI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Y1QC0W099G Y1QC0W099G
| URI | m2://inv/Y1QC0W099G |
|---|---|
| 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 2308.02672#DU3S (statement). In ETRT1R1CQ8/e1, lemma 10.3
History
- 2026-10-27: add by m2/v0.4.0
universal, property, of dependent pair type Y1QC1S7MFC
| URI | m2://inv/Y1QC1S7MFC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.15/universal-property-of-dependent-pair-type, universal, property, of dependent pair type (concept). In N54F33XE07, index, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
Marjorie Hahn Y1QFBD9QWZ
| URI | m2://inv/Y1QFBD9QWZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marjorie Hahn, Marjorie Hahn (topic). Also Wikidata Q43798296
History
- 2026-11-02: add by m2/dev
Clopper-Pearson interval Y1QNSX1H8B
| URI | m2://inv/Y1QNSX1H8B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial proportion confidence interval#7QML, Clopper-Pearson interval (unknown)
History
- 2026-11-02: add by m2/dev
CRC Concise Encyclopedia of Mathematics Y1QRQ2NGK8
| URI | m2://inv/Y1QRQ2NGK8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CRC Concise Encyclopedia of Mathematics, CRC Concise Encyclopedia of Mathematics (definition). Also Wikidata Q5013842
History
- 2026-11-02: add by m2/dev
Daniel G. Horvitz Y1QXEK2F5A
| URI | m2://inv/Y1QXEK2F5A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniel G. Horvitz, Daniel G. Horvitz (topic). Also Wikidata Q102115348
History
- 2026-11-02: add by m2/dev
Y1R2MHHMSB Y1R2MHHMSB
| URI | m2://inv/Y1R2MHHMSB |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31269#HLFG (problem). In ZPT9XCCAPQ/e1, problem 2.2.12
History
- 2026-10-31: add by m2/v0.5.6
Y1R2PRDZJC Y1R2PRDZJC
| URI | m2://inv/Y1R2PRDZJC |
|---|---|
| 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 2205.09049#437E (statement). In 37S7MNMZ2F/e1, corollary 52
History
- 2026-10-27: add by m2/v0.3.5
Y1RMHMN4Q8 Y1RMHMN4Q8
| URI | m2://inv/Y1RMHMN4Q8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08288#KPDY (definition). In CHVWYJM7RM/e1, definition D.3
History
- 2026-10-29: add by m2/v0.4.10
Y1RQ2P9MJN Y1RQ2P9MJN
| URI | m2://inv/Y1RQ2P9MJN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.12846#4QZP (statement). In D6XA7JXZF3/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Y1RS5KFMVJ Y1RS5KFMVJ
| URI | m2://inv/Y1RS5KFMVJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.07352#0OK8 (definition). In 3VPC1GGZ3E/e1, definition 6.1
History
- 2026-10-27: add by m2/v0.3.5
Examples Y1RTDQNX1W
| URI | m2://inv/Y1RTDQNX1W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasitransitive relation#CSLV, Examples (example)
History
- 2026-11-02: add by m2/dev
Frequency-position map Y1S504CT0M
| URI | m2://inv/Y1S504CT0M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29565#ENXG, Frequency-position map (definition)
History
- 2026-11-01: add by m2/v0.6.15
Shannon's source coding theorem Y1S91K06H8
| URI | m2://inv/Y1S91K06H8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#9H7B, Shannon's source coding theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition Y1SA42VQBQ
| URI | m2://inv/Y1SA42VQBQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Buchholz's ordinal#RYPL, Definition (definition)
History
- 2026-11-02: add by m2/dev
Algorithmic logic Y1SFTGXPK3
| URI | m2://inv/Y1SFTGXPK3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithmic logic, Algorithmic logic (definition). Also Wikidata Q11762390
History
- 2026-11-02: add by m2/dev
∓ Y1SHK9ARX7
| URI | m2://inv/Y1SHK9ARX7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#YNKT, ∓ (definition)
History
- 2026-11-02: add by m2/dev
Y1SJRCRJKP Y1SJRCRJKP
| URI | m2://inv/Y1SJRCRJKP |
|---|---|
| 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.33050#YKYY (statement). In VDSBMQ0G9W/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
Y1SJXPNW4X Y1SJXPNW4X
| URI | m2://inv/Y1SJXPNW4X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09390#Z6P8 (statement). In 7SSKW778T8/e1, proposition 1.4
History
- 2026-10-29: add by m2/v0.4.10
Mathematische Zeitschrift Y1SKJYC1D6
| URI | m2://inv/Y1SKJYC1D6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematische Zeitschrift, Mathematische Zeitschrift (definition). Also Wikidata Q847858
History
- 2026-11-02: add by m2/dev
Y1SP7QCGTQ Y1SP7QCGTQ
| URI | m2://inv/Y1SP7QCGTQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.16102#8W9C (statement). In 55QFMZQ5HM/e1, lemma 2.12
History
- 2026-10-27: add by m2/v0.3.6
Y1SYR459YC Y1SYR459YC
| URI | m2://inv/Y1SYR459YC |
|---|---|
| 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.36306#3FJP (statement). In NHQEAVMJE1/e1, fact 5
History
- 2026-10-30: add by m2/v0.4.12
Y1T42828N6 Y1T42828N6
| URI | m2://inv/Y1T42828N6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#BT5M (statement). In X47RYAZF8P/e1, lemma 8.9
History
- 2026-10-28: add by m2/v0.4.2
Laurent Lafforgue Y1T8GVW1DN
| URI | m2://inv/Y1T8GVW1DN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q315396, Laurent Lafforgue (unknown). Also nLab Laurent Lafforgue
- wikipedia: Wikipedia Laurent Lafforgue, Laurent Lafforgue (topic). Also Wikidata Q315396
History
- 2026-10-26: add by m2/dev
Y1TDF9A15T Y1TDF9A15T
| URI | m2://inv/Y1TDF9A15T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise-7 (exercise). In E59CDZA4DP, exercise, section 3.1.3
History
- 2026-11-01: add by m2/v0.6.13
Inequality of arithmetic and geometric means Y1TEVNXN3X
| URI | m2://inv/Y1TEVNXN3X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#7LX7, Inequality of arithmetic and geometric means (statement)
- wikipedia: Wikipedia List of inequalities#4D2A, Inequality of arithmetic and geometric means (statement)
History
- 2026-11-02: add by m2/dev
Andries Brouwer Y1TGSKTPDJ
| URI | m2://inv/Y1TGSKTPDJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andries Brouwer, Andries Brouwer (topic). Also Wikidata Q2846875
History
- 2026-11-02: add by m2/dev
Theorem (Imbert's second acceleration theorem) Y1TWB6YRQH
| URI | m2://inv/Y1TWB6YRQH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier–Motzkin elimination#HB5J, Theorem (Imbert's second acceleration theorem) (statement)
History
- 2026-11-02: add by m2/dev
Projective plane Y1VAC5DA4R
| URI | m2://inv/Y1VAC5DA4R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#R7HH, Projective plane (definition)
- wikipedia: Wikipedia List of algebraic geometry topics#GPPC, Projective plane (definition)
History
- 2026-11-02: add by m2/dev
ideal Y1VMNYX736
| URI | m2://inv/Y1VMNYX736 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#T8S4, ideal (definition)
History
- 2026-11-02: add by m2/dev
Generalised Mertens' estimate Y1VPZ8N8D1
| URI | m2://inv/Y1VPZ8N8D1 |
|---|---|
| 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.29748#DFFY, Generalised Mertens' estimate (statement)
History
- 2026-11-01: add by m2/v0.6.15
Y1VWEFB11B Y1VWEFB11B
| URI | m2://inv/Y1VWEFB11B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31212#PBSN (statement). In FHE30V0M03/e1, corollary 3.2
History
- 2026-10-31: add by m2/v0.5.6
Y1W07WXAHQ Y1W07WXAHQ
| URI | m2://inv/Y1W07WXAHQ |
|---|---|
| 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.19464#4MNV (statement). In G8JCZ109A9/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Resolvable concurrent signals Y1W16T3EQZ
| URI | m2://inv/Y1W16T3EQZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33753#R43H, Resolvable concurrent signals (definition). In CGNMRJYD7Y/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
Communication channel Y1W781KY36
| URI | m2://inv/Y1W781KY36 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Communication channel, Communication channel (definition). Also Wikidata Q733553
History
- 2026-11-02: add by m2/dev
Koebe–Andreev–Thurston circle packing theorem Y1W9WYWMQD
| URI | m2://inv/Y1W9WYWMQD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circle packing theorem#8YFQ, Koebe–Andreev–Thurston circle packing theorem (statement)
History
- 2026-11-02: add by m2/dev
Skolem problem Y1WG0NR3XN
| URI | m2://inv/Y1WG0NR3XN |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#5OP8, Skolem problem (conjecture)
History
- 2026-11-02: add by m2/dev
Special cases Y1WT2NFB0D
| URI | m2://inv/Y1WT2NFB0D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stolarsky mean#Z0MH, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Y1WV2JQD6G Y1WV2JQD6G
| URI | m2://inv/Y1WV2JQD6G |
|---|---|
| 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.03719#DLDK (statement). In 8MDK189ZMB/e1, proposition 2.8
History
- 2026-10-29: add by m2/v0.4.12
Theorem Y1WVVH042Y
| URI | m2://inv/Y1WVVH042Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Filters in topology#YDBU, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Mermin–Wagner theorem Y1X5YVDNA7
| URI | m2://inv/Y1X5YVDNA7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1547975, Mermin–Wagner theorem (statement). Also Wikidata Q1547975
- thousand_plus: thousand_plus Q1547975, Mermin–Wagner theorem (statement). Also Wikidata Q1547975, Wikipedia Mermin–Wagner theorem
- wikipedia: Wikipedia Mermin–Wagner theorem, Mermin–Wagner theorem (statement). Also Wikidata Q1547975
History
- 2026-10-26: add by m2/dev
Y1X77JHBAY Y1X77JHBAY
| URI | m2://inv/Y1X77JHBAY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#X6NP (definition). In HX63A1PH1W/e1, definition 7.37
History
- 2026-10-28: add by m2/v0.4.3
Y1XCA009GX Y1XCA009GX
| URI | m2://inv/Y1XCA009GX |
|---|---|
| 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.32338#QOE8 (statement). In HVY45JQRNK/e1, theorem 1.4
History
- 2026-10-31: add by m2/v0.5.6
Examples Y1XD08B6GN
| URI | m2://inv/Y1XD08B6GN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deviation (statistics)#4JKL, Examples (example)
History
- 2026-11-02: add by m2/dev
Approximation in algebraic groups Y1XF7EQSQ5
| URI | m2://inv/Y1XF7EQSQ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Approximation in algebraic groups, Approximation in algebraic groups (definition). Also Wikidata Q4781766
History
- 2026-11-02: add by m2/dev
Y1XPGS2JX6 Y1XPGS2JX6
| URI | m2://inv/Y1XPGS2JX6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.10147#OH2R (statement). In WZWGAG2FSN/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
Y1XSBZHDSP Y1XSBZHDSP
| URI | m2://inv/Y1XSBZHDSP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2408.13548#49D6 (statement). In EQF1ZQ5K1S/e1, lemma 3.20
History
- 2026-10-27: add by m2/v0.4.0
Advanced Matrix Extensions Y1Y1DF6YJC
| URI | m2://inv/Y1Y1DF6YJC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Advanced Matrix Extensions, Advanced Matrix Extensions (definition). Also Wikidata Q96737629
History
- 2026-11-02: add by m2/dev
Terminology Y1Y1JPT3P4
| URI | m2://inv/Y1Y1JPT3P4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point reflection#IF2E, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Primal estimate Y1Y4NYZ5JF
| URI | m2://inv/Y1Y4NYZ5JF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.20145#3JNA, Primal estimate (statement). In HXKJ4MT1CX/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.4.2
Divided differences Y1Y6XZKQQR
| URI | m2://inv/Y1Y6XZKQQR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divided differences, Divided differences (definition). Also Wikidata Q2993265
History
- 2026-11-02: add by m2/dev
Y1Y7TZWQA6 Y1Y7TZWQA6
| URI | m2://inv/Y1Y7TZWQA6 |
|---|---|
| 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.20690#EEG3 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Results Y1YJV5BHAW
| URI | m2://inv/Y1YJV5BHAW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 5-Con triangles#Z4RE, Results (statement)
History
- 2026-11-02: add by m2/dev
Wolfram Schwabhäuser Y1YWWDN939
| URI | m2://inv/Y1YWWDN939 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2592166, Wolfram Schwabhäuser (unknown). Also nLab Wolfram Schwabhäuser
History
- 2026-10-26: add by m2/dev
Trigonometric series Y1Z0MEX552
| URI | m2://inv/Y1Z0MEX552 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometric series, Trigonometric series (definition). Also Wikidata Q1149336
History
- 2026-11-02: add by m2/dev
complete Y1Z11A98HS
| URI | m2://inv/Y1Z11A98HS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#MIKW, complete (definition)
History
- 2026-11-02: add by m2/dev
Y1Z5PY1F7M Y1Z5PY1F7M
| URI | m2://inv/Y1Z5PY1F7M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27965#O0QZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Yujiro Kawamata Y1Z62QTDJV
| URI | m2://inv/Y1Z62QTDJV |
|---|---|
| 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#V9VL, Yujiro Kawamata (topic)
History
- 2026-11-02: add by m2/dev
Y1ZB1A1PA0 Y1ZB1A1PA0
| URI | m2://inv/Y1ZB1A1PA0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35543#J0MU (statement). In WSG1ZW956E/e1, theorem 2.3
History
- 2026-10-30: add by m2/v0.4.12
Y1ZE9S7HVM Y1ZE9S7HVM
| URI | m2://inv/Y1ZE9S7HVM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33018#2PK1 (definition). In 8XVS0QJ2AH/e1, definition 14
History
- 2026-10-31: add by m2/v0.5.6
Laguerre admissibility Y1ZH5K99C2
| URI | m2://inv/Y1ZH5K99C2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26110#J1G3, Laguerre admissibility (definition)
History
- 2026-11-01: add by m2/v0.6.15
q-gamma function Y1ZJACH7CF
| URI | m2://inv/Y1ZJACH7CF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of q-analogs#OWIS, q-gamma function (definition)
History
- 2026-11-02: add by m2/dev
Topological dynamics Y1ZK9SPW6G
| URI | m2://inv/Y1ZK9SPW6G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topology topics#6JJE, Topological dynamics (topic)
History
- 2026-11-02: add by m2/dev
History of universal algebra Y1ZNA8FR2R
| URI | m2://inv/Y1ZNA8FR2R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal algebra#DMMO, History of universal algebra (unknown)
History
- 2026-11-02: add by m2/dev
Quasi-set theory Y1ZNRM0PYP
| URI | m2://inv/Y1ZNRM0PYP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-set theory, Quasi-set theory (definition). Also Wikidata Q7269476
History
- 2026-11-02: add by m2/dev
Y1ZPJVGED4 Y1ZPJVGED4
| URI | m2://inv/Y1ZPJVGED4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23527#KBCU (statement)
History
- 2026-11-02: add by m2/v0.6.17
Closest string Y1ZQCC9RB8
| URI | m2://inv/Y1ZQCC9RB8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#7WAV, Closest string (unknown)
History
- 2026-11-02: add by m2/dev
Anaxagoras Y1ZTVBRE16
| URI | m2://inv/Y1ZTVBRE16 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q83041, Anaxagoras (unknown). Also nLab Anaxagoras
History
- 2026-10-26: add by m2/dev