Inventory rows YN
The cards of the rows of the inventory whose ids start with YN. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
YN0AEZ029N YN0AEZ029N
| URI | m2://inv/YN0AEZ029N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2602.15812#Q9L4 (statement). In GAAZD3SGPN/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
Separating axis theorem YN0NQW7HYJ
| URI | m2://inv/YN0NQW7HYJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperplane separation theorem#8EW3, Separating axis theorem (statement)
History
- 2026-11-02: add by m2/dev
YN0RG12Y74 YN0RG12Y74
| URI | m2://inv/YN0RG12Y74 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-101 (exercise). In VNMV985MXX, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
The modal expansion for $w=0^p$ YN13XTBVZ4
| URI | m2://inv/YN13XTBVZ4 |
|---|---|
| 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.31986#88R8, The modal expansion for $w=0^p$ (statement). In 8WR0AEDAHT/e1, proposition 22
History
- 2026-10-31: add by m2/v0.5.6
Examples YN15EHR8W8
| URI | m2://inv/YN15EHR8W8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexadecahedron#ZWS4, Examples (example)
History
- 2026-11-02: add by m2/dev
Burer, 2009 YN15SSQ7E9
| URI | m2://inv/YN15SSQ7E9 |
|---|---|
| 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.19684#LT6D, Burer, 2009 (statement). In 9KQC3ZT2SH/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
Generalizations YN19ZMGASJ
| URI | m2://inv/YN19ZMGASJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable vector bundle#ADNW, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Hamiltonian path problem YN1CQXC2C2
| URI | m2://inv/YN1CQXC2C2 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamiltonian path problem, Hamiltonian path problem (problem). Also Wikidata Q987652
History
- 2026-11-02: add by m2/dev
Definition YN1E38YE21
| URI | m2://inv/YN1E38YE21 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Telescoping series#MT8N, Definition (definition)
History
- 2026-11-02: add by m2/dev
YN1R4XX7K6 YN1R4XX7K6
| URI | m2://inv/YN1R4XX7K6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-15 (exercise). In E59CDZA4DP, exercise, section 10.1.4
History
- 2026-11-01: add by m2/v0.6.13
Olga Tsuberbiller YN1W729HA9
| URI | m2://inv/YN1W729HA9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olga Tsuberbiller, Olga Tsuberbiller (topic). Also Wikidata Q57573358
History
- 2026-11-02: add by m2/dev
2-adic valuation YN2072QHB4
| URI | m2://inv/YN2072QHB4 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122695876, 2-adic valuation (object). Also OEIS A007814
History
- 2026-10-26: add by m2/dev
Juanita Moody YN227YGRMT
| URI | m2://inv/YN227YGRMT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Juanita Moody, Juanita Moody (topic). Also Wikidata Q21407254
History
- 2026-11-02: add by m2/dev
Standard closure of weighted spherical designs YN23FRWGCG
| URI | m2://inv/YN23FRWGCG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04136#A377, Standard closure of weighted spherical designs (statement). In TBYTWR87F3/e1, lemma 1.4
History
- 2026-10-29: add by m2/v0.4.12
YN23RTCXDD YN23RTCXDD
| URI | m2://inv/YN23RTCXDD |
|---|---|
| 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.29925#D7GK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gábor Halász YN26SWV7JJ
| URI | m2://inv/YN26SWV7JJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ODRR, Gábor Halász (unknown)
History
- 2026-11-02: add by m2/dev
Javad Mashreghi YN2AECT8YY
| URI | m2://inv/YN2AECT8YY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Javad Mashreghi, Javad Mashreghi (topic). Also Wikidata Q83880815
History
- 2026-11-02: add by m2/dev
Birkhoff interpolation YN2AMVP49S
| URI | m2://inv/YN2AMVP49S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#0P5D, Birkhoff interpolation (definition)
History
- 2026-11-02: add by m2/dev
YN2AY5PSA4 YN2AY5PSA4
| URI | m2://inv/YN2AY5PSA4 |
|---|---|
| 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.28365#R4ZQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
YN2GRNVGTR YN2GRNVGTR
| URI | m2://inv/YN2GRNVGTR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30200#JO61 (statement)
History
- 2026-11-01: add by m2/v0.6.15
YN2KXZMANZ YN2KXZMANZ
| URI | m2://inv/YN2KXZMANZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23167#T3F2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Massive gravity YN2PA0A5F9
| URI | m2://inv/YN2PA0A5F9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Massive gravity, Massive gravity (topic). Also Wikidata Q4147361
History
- 2026-11-02: add by m2/dev
Roy C. Geary YN2R56FAPD
| URI | m2://inv/YN2R56FAPD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roy C. Geary, Roy C. Geary (topic). Also Wikidata Q7372632
History
- 2026-11-02: add by m2/dev
Distributivity laws for complete lattices YN2ZTAHKWX
| URI | m2://inv/YN2ZTAHKWX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distributivity (order theory)#PQ26, Distributivity laws for complete lattices (statement)
History
- 2026-11-02: add by m2/dev
MLE truncated level-set energy YN32P4XAFJ
| URI | m2://inv/YN32P4XAFJ |
|---|---|
| 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.09030#T2A2, MLE truncated level-set energy (statement). In BYN44C0X0C/e1, lemma B.4
History
- 2026-10-29: add by m2/v0.4.10
YN3B2Z3TPD YN3B2Z3TPD
| URI | m2://inv/YN3B2Z3TPD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28774#S7K3 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Cauchy–Euler operator YN3E8JBY6R
| URI | m2://inv/YN3E8JBY6R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy–Euler operator, Cauchy–Euler operator (definition). Also Wikidata Q16858464
History
- 2026-11-02: add by m2/dev
YN3FGAC8CP YN3FGAC8CP
| URI | m2://inv/YN3FGAC8CP |
|---|---|
| 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.15316#A32D (statement). In 3K84E4150C/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
YN3H2178RB YN3H2178RB
| URI | m2://inv/YN3H2178RB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#BFXA (definition). In V97F4YZ8B0/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
torsion-free YN3Y19SQQ6
| URI | m2://inv/YN3Y19SQQ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#A7WJ, torsion-free (definition)
History
- 2026-11-02: add by m2/dev
London Mathematical Society YN45N0DR9J
| URI | m2://inv/YN45N0DR9J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#3ELB, London Mathematical Society (definition)
History
- 2026-11-02: add by m2/dev
Local Algebraic Fingerprint YN4BD1J7FP
| URI | m2://inv/YN4BD1J7FP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37578#JKQC, Local Algebraic Fingerprint (statement). In D7NDCWSDJE/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
YN4FGB199E YN4FGB199E
| URI | m2://inv/YN4FGB199E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:nattrans (definition). In N54F33XE07, defn, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Code Saturne YN4GPTMW0A
| URI | m2://inv/YN4GPTMW0A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#S5Z6, Code Saturne (unknown)
History
- 2026-11-02: add by m2/dev
Application YN54PKQABH
| URI | m2://inv/YN54PKQABH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerov's method#VPC9, Application (example)
History
- 2026-11-02: add by m2/dev
Petersen's theorem YN57RX6003
| URI | m2://inv/YN57RX6003 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Petersen's theorem PMGTV643X1 |
Mentions
- wikidata: Wikidata Q7178199, Petersen's theorem (statement). Also MathWorld PetersensTheorem
- wikipedia: Wikipedia Petersen's theorem, Petersen's theorem (statement). Also Wikidata Q7178199
History
- 2026-10-26: add by m2/dev
String metric YN5NN2SXM9
| URI | m2://inv/YN5NN2SXM9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#7F33, String metric (unknown)
History
- 2026-11-02: add by m2/dev
Best subset selection YN5VH1ABVF
| URI | m2://inv/YN5VH1ABVF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Structured sparsity regularization#ZEC8, Best subset selection (unknown)
History
- 2026-11-02: add by m2/dev
YN5ZYT85YW YN5ZYT85YW
| URI | m2://inv/YN5ZYT85YW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01803#P6SI (statement). In J6N4X33BME/e1, proposition 8
History
- 2026-10-29: add by m2/v0.4.12
Monotonicity formula for the modified flow YN68TYJQQW
| URI | m2://inv/YN68TYJQQW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10051#RC6L, Monotonicity formula for the modified flow (statement). In VCHH2AC34R/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.10
YN68XF8HN4 YN68XF8HN4
| URI | m2://inv/YN68XF8HN4 |
|---|---|
| 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.28365#J84F (statement)
History
- 2026-11-01: add by m2/v0.6.15
Feuerbach's theorem YN6BZPNK5T
| URI | m2://inv/YN6BZPNK5T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3527074, Feuerbach's theorem (statement). Also MathWorld FeuerbachsTheorem, ProofWiki Feuerbach's_Theorem
History
- 2026-10-26: add by m2/dev
Walter Feit YN6GSRVC5T
| URI | m2://inv/YN6GSRVC5T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5ADN, Walter Feit (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DH03, Walter Feit (unknown)
History
- 2026-11-02: add by m2/dev
YN6K358SFX YN6K358SFX
| URI | m2://inv/YN6K358SFX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.29838#RWIR (statement). In KP0X1RKKKB/e1, corollary C
History
- 2026-10-27: add by m2/v0.4.0
Examples YN6QGBWT8W
| URI | m2://inv/YN6QGBWT8W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connection (principal bundle)#7KNB, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples YN6VM054RZ
| URI | m2://inv/YN6VM054RZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nodal analysis#QYZE, Examples (example)
History
- 2026-11-02: add by m2/dev
Essential spectrum YN6XW8F0G5
| URI | m2://inv/YN6XW8F0G5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Essential spectrum, Essential spectrum (definition). Also Wikidata Q917390
History
- 2026-11-02: add by m2/dev
Cantor tree surface YN70Z2R4DG
| URI | m2://inv/YN70Z2R4DG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of surfaces#49WZ, Cantor tree surface (definition)
History
- 2026-11-02: add by m2/dev
Applications YN72V59EAE
| URI | m2://inv/YN72V59EAE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Midsphere#B830, Applications (example)
History
- 2026-11-02: add by m2/dev
YN7BD6HNNJ YN7BD6HNNJ
| URI | m2://inv/YN7BD6HNNJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#defn-4 (definition). In E59CDZA4DP, defn, section 8.1.2
History
- 2026-11-01: add by m2/v0.6.13
YN7F5FS4Y4 YN7F5FS4Y4
| URI | m2://inv/YN7F5FS4Y4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09319#I1DW (statement). In GMRT5GHBZS/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
Universal property YN7N66925V
| URI | m2://inv/YN7N66925V |
|---|---|
| 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 2510.02019#5BHJ, Universal property (statement). In PD607VXPY3/e1, proposition 4
History
- 2026-10-27: add by m2/v0.3.5
Krein–Rutman theorem YN7V1CD2MJ
| URI | m2://inv/YN7V1CD2MJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krein–Rutman theorem, Krein–Rutman theorem (statement). Also Wikidata Q6436614
History
- 2026-11-02: add by m2/dev
YN86ZVKJZ6 YN86ZVKJZ6
| URI | m2://inv/YN86ZVKJZ6 |
|---|---|
| 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.05708#6GLT (statement). In 3BJPFGJNSS/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.10
Examples YN87MKKNGY
| URI | m2://inv/YN87MKKNGY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimal polynomial of 2cos(2pi/n)#TGG2, Examples (example)
History
- 2026-11-02: add by m2/dev
YN89EECD7R YN89EECD7R
| URI | m2://inv/YN89EECD7R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-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.37520#099C (statement). In BDN507RN7J/e1, theorem 3.6.27
History
- 2026-10-30: add by m2/v0.4.12
Controls on the kernel YN8FMHS77D
| URI | m2://inv/YN8FMHS77D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30220#XXDM, Controls on the kernel (statement)
History
- 2026-11-01: add by m2/v0.6.15
YN8KW1A1D2 YN8KW1A1D2
| URI | m2://inv/YN8KW1A1D2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#JNU7 (statement). In GW23NX78SB/e1, lemma 4.20
History
- 2026-10-28: add by m2/v0.4.2
type, of vectors YN8P07ZZ3X
| URI | m2://inv/YN8P07ZZ3X |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.7/type-of-vectors, type, of vectors (concept). In N54F33XE07, index, section 8.7
History
- 2026-11-01: add by m2/v0.6.13
YN8Q3M45MQ YN8Q3M45MQ
| URI | m2://inv/YN8Q3M45MQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2512.16003#IN3E (statement). In BJGS6ZCQ12/e1, lemma 6.9
History
- 2026-10-27: add by m2/v0.3.6
Generalized pair with abundant nef part YN91XNEB12
| URI | m2://inv/YN91XNEB12 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17817#2JDI, Generalized pair with abundant nef part (definition). In M8TSJ24RC2/e1, definition 4.15
History
- 2026-10-28: add by m2/v0.4.2
Folk theorem for no-regret dynamics YN922VKVA5
| URI | m2://inv/YN922VKVA5 |
|---|---|
| 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.26265#3OSP, Folk theorem for no-regret dynamics (statement)
History
- 2026-11-01: add by m2/v0.6.15
small ditrigonal dodecacronic hexecontahedron YN940JH65K
| URI | m2://inv/YN940JH65K |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12795581, small ditrigonal dodecacronic hexecontahedron (unknown). Also MathWorld SmallDitrigonalDodecacronicHexecontahedron
- wikipedia: Wikipedia Small ditrigonal dodecacronic hexecontahedron, Small ditrigonal dodecacronic hexecontahedron (object). Also Wikidata Q12795581
History
- 2026-10-26: add by m2/dev
Currency analytics YN97PEGTD5
| URI | m2://inv/YN97PEGTD5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Currency analytics, Currency analytics (definition). Also Wikidata Q28401876
History
- 2026-11-02: add by m2/dev
Using the law of sines YN99PM19Z8
| URI | m2://inv/YN99PM19Z8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of cosines#N9EM, Using the law of sines (statement)
History
- 2026-11-02: add by m2/dev
Gabriel–Rosenberg reconstruction theorem YN9CKDWHZK
| URI | m2://inv/YN9CKDWHZK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gabriel–Rosenberg reconstruction theorem, Gabriel–Rosenberg reconstruction theorem (statement). Also Wikidata Q55612221
History
- 2026-11-02: add by m2/dev
Schwarzian derivative YN9EF14HHK
| URI | m2://inv/YN9EF14HHK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Schwarzian derivative 6ZPKWE0VAZ |
Mentions
- wikidata: Wikidata Q864589, Schwarzian derivative (unknown). Also EoM Schwarzian_derivative, MathWorld SchwarzianDerivative, nLab Schwarzian derivative
- wikipedia: Wikipedia Schwarzian derivative, Schwarzian derivative (definition). Also Wikidata Q864589
History
- 2026-10-26: add by m2/dev
Capacity optimization YN9REP94D2
| URI | m2://inv/YN9REP94D2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Capacity optimization, Capacity optimization (definition). Also Wikidata Q5034491
History
- 2026-11-02: add by m2/dev
Holomorphic curve YNA27DBDS7
| URI | m2://inv/YNA27DBDS7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holomorphic curve, Holomorphic curve (definition). Also Wikidata Q5884159
History
- 2026-11-02: add by m2/dev
YNA2G92KGP YNA2G92KGP
| URI | m2://inv/YNA2G92KGP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#WERC (statement). In M4ZVJWM8YA/e1, lemma 4.22
History
- 2026-10-27: add by m2/v0.4.2
YNAAY7XSND YNAAY7XSND
| URI | m2://inv/YNAAY7XSND |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 26-XX, 35-XX, 37-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.00585#RYT1 (statement). In 332PQD90SW/e1, theorem 4.21
History
- 2026-10-27: add by m2/v0.3.5
Examples YNAC3832T3
| URI | m2://inv/YNAC3832T3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistic#EX01, Examples (example)
History
- 2026-11-02: add by m2/dev
YNADGDVTVQ YNADGDVTVQ
| URI | m2://inv/YNADGDVTVQ |
|---|---|
| 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#LED3 (definition). In HX63A1PH1W/e1, definition 7.1
History
- 2026-10-28: add by m2/v0.4.3
YNAYQ0AB0E YNAYQ0AB0E
| URI | m2://inv/YNAYQ0AB0E |
|---|---|
| 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.23262#L4V6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Arithmetical set YNAZNG1K0B
| URI | m2://inv/YNAZNG1K0B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetical set, Arithmetical set (definition). Also Wikidata Q255765
History
- 2026-11-02: add by m2/dev
Bailar, Barbara A. YNBK88CKD8
| URI | m2://inv/YNBK88CKD8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#QP8S, Bailar, Barbara A. (unknown)
History
- 2026-11-02: add by m2/dev
Ken-ichi Kawarabayashi YNCEHENT58
| URI | m2://inv/YNCEHENT58 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5FQA, Ken-ichi Kawarabayashi (unknown)
History
- 2026-11-02: add by m2/dev
Relation to Newton's second law of motion YNCKHSYSAX
| URI | m2://inv/YNCKHSYSAX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angular momentum#ED4O, Relation to Newton's second law of motion (statement)
History
- 2026-11-02: add by m2/dev
Example YNCNX4C67P
| URI | m2://inv/YNCNX4C67P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group of rational points on the unit circle#ZPWX, Example (example)
History
- 2026-11-02: add by m2/dev
YNCNY4PYHJ YNCNY4PYHJ
| URI | m2://inv/YNCNY4PYHJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/methods/induction/induction-on-N.tex#thm-1 (statement). In PKGMM3P5QY, thm, section 43.1
History
- 2026-11-01: add by m2/v0.6.13
A simultaneous threshold guarantee YND1XZFS6P
| URI | m2://inv/YND1XZFS6P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15202#J8PQ, A simultaneous threshold guarantee (statement). In X1FPG0KYBM/e1, theorem L.5
History
- 2026-10-28: add by m2/v0.4.2
Examples YND8R6YTNK
| URI | m2://inv/YND8R6YTNK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exergy#6CR4, Examples (example)
History
- 2026-11-02: add by m2/dev
Quaternionic Hopf trace foliation YNDB9ZE15H
| URI | m2://inv/YNDB9ZE15H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26269#HN23, Quaternionic Hopf trace foliation (statement)
History
- 2026-11-01: add by m2/v0.6.15
Leibniz institute for molecular pharmacology YNDCRJ620Q
| URI | m2://inv/YNDCRJ620Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Gottfried Leibniz#9KYV, Leibniz institute for molecular pharmacology (unknown)
History
- 2026-11-02: add by m2/dev
Generalised time reversible YNDV0HM09D
| URI | m2://inv/YNDV0HM09D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Substitution model#SGNP, Generalised time reversible (unknown)
History
- 2026-11-02: add by m2/dev
YNE0AFCD26 YNE0AFCD26
| URI | m2://inv/YNE0AFCD26 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24623#WW9J (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kepler space telescope YNE0K0HM0M
| URI | m2://inv/YNE0K0HM0M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Johannes Kepler#TVWF, Kepler space telescope (unknown)
History
- 2026-11-02: add by m2/dev
YNEBYZQ3KJ YNEBYZQ3KJ
| URI | m2://inv/YNEBYZQ3KJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12330#BHXQ (example). In XHSKEPT3VD/e1, example 3.7
History
- 2026-10-28: add by m2/v0.4.2
First and second moments YNEFN2ZG7S
| URI | m2://inv/YNEFN2ZG7S |
|---|---|
| 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.27744#49BZ, First and second moments (statement)
History
- 2026-11-01: add by m2/v0.6.15
Construction YNEJEQRR7P
| URI | m2://inv/YNEJEQRR7P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pentagonal orthobirotunda#OAIT, Construction (definition)
History
- 2026-11-02: add by m2/dev
YNEN6PKCMZ YNEN6PKCMZ
| URI | m2://inv/YNEN6PKCMZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05506#XH7C (statement). In FT53PMB1TE/e1, lemma 5.1.3
History
- 2026-10-29: add by m2/v0.4.10
YNET6JV07N YNET6JV07N
| URI | m2://inv/YNET6JV07N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.16779#IQR4 (statement). In 1R7H0ZAHWA/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
Variants YNEVEQZ1PQ
| URI | m2://inv/YNEVEQZ1PQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integer programming#KEIK, Variants (statement)
History
- 2026-11-02: add by m2/dev
YNF3GG2BST YNF3GG2BST
| URI | m2://inv/YNF3GG2BST |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03424#VV5J (statement). In Q6HRJP4AWA/e1, proposition 4.5
History
- 2026-10-29: add by m2/v0.4.12
Operad theory YNF3S0FCEM
| URI | m2://inv/YNF3S0FCEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#AU4Z, Operad theory (definition)
History
- 2026-11-02: add by m2/dev
Interior $H^2$ regularity YNF5Q04FXA
| URI | m2://inv/YNF5Q04FXA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32561#OS4X, Interior $H^2$ regularity (statement). In NBT0ZCHBB6/e1, theorem 11
History
- 2026-10-31: add by m2/v0.5.6
YNFF4DB5XP YNFF4DB5XP
| URI | m2://inv/YNFF4DB5XP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-5.xml#activity-1 (exercise). In 649HGZKE96, activity, section 4.5.2
History
- 2026-11-01: add by m2/v0.6.13
YNFFDW5Q26 YNFFDW5Q26
| URI | m2://inv/YNFFDW5Q26 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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 math/0512416#DLD3 (statement). In WJD9YPGGYH/e1, corollary 4.2
History
- 2026-10-27: add by m2/v0.3.5
YNG41Q56F2 YNG41Q56F2
| URI | m2://inv/YNG41Q56F2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20050#TFII (statement). In T41GD0Y0GX/e1, lemma 4.8
History
- 2026-10-27: add by m2/v0.4.2
YNG9XWGWYK YNG9XWGWYK
| URI | m2://inv/YNG9XWGWYK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.19483#D8G2 (statement). In M2PEDAF7AX/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
expander YNGH17HWHH
| URI | m2://inv/YNGH17HWHH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#R6TW, expander (definition)
History
- 2026-11-02: add by m2/dev
Boole's syllogistic YNGJNJJMJ0
| URI | m2://inv/YNGJNJJMJ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#Y1AF, Boole's syllogistic (definition)
History
- 2026-11-02: add by m2/dev
YNGPAXXZVN YNGPAXXZVN
| URI | m2://inv/YNGPAXXZVN |
|---|---|
| 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.20480#NN3B (statement). In BK4359JSC3/e1, lemma 7.5
History
- 2026-10-27: add by m2/v0.4.2
Piecewise syndetic set YNGV3PMTXR
| URI | m2://inv/YNGV3PMTXR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Piecewise syndetic set, Piecewise syndetic set (definition). Also Wikidata Q7191426
History
- 2026-11-02: add by m2/dev
Sergey Bobkov YNGVBD1E6K
| URI | m2://inv/YNGVBD1E6K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sergey Bobkov, Sergey Bobkov (topic). Also Wikidata Q16980771
History
- 2026-11-02: add by m2/dev
The sharp Gaussian entropy loss at the endpoint YNH0HGN4CH
| URI | m2://inv/YNH0HGN4CH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#Z036, The sharp Gaussian entropy loss at the endpoint (statement). In 9YAE8FNQST/e1, corollary 23.4
History
- 2026-10-30: add by m2/v0.4.12
fixed point theorem YNH92E5NZJ
| URI | m2://inv/YNH92E5NZJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/4.6.1/fixed-point-theorem, fixed point theorem (concept). In E59CDZA4DP, index, section 4.6.1
History
- 2026-11-01: add by m2/v0.6.13
Examples YNH9C64GWK
| URI | m2://inv/YNH9C64GWK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surface of general type#JPVK, Examples (example)
History
- 2026-11-02: add by m2/dev
YNHE80CCYC YNHE80CCYC
| URI | m2://inv/YNHE80CCYC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05914#SVWL (statement). In V8MYP6MBAZ/e1, theorem 6
History
- 2026-10-29: add by m2/v0.4.10
Limit superior along $\pi$-systems YNHFDXVQ3H
| URI | m2://inv/YNHFDXVQ3H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30410#9LA6, Limit superior along $\pi$-systems (definition). In 5HZX3JVJWF/e1, definition 1.5
History
- 2026-10-31: add by m2/v0.5.6
N YNHKEQE108
| URI | m2://inv/YNHKEQE108 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#RJL2, N (definition)
History
- 2026-11-02: add by m2/dev
order-zero graph YNHNEWC09M
| URI | m2://inv/YNHNEWC09M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15838314, order-zero graph (definition). Also MathWorld NullGraph, nLab empty graph, ProofWiki Definition:Null_Graph
- wikipedia: Wikipedia Null graph, Null graph (definition). Also Wikidata Q15838314
History
- 2026-10-26: add by m2/dev
YNHSM042C7 YNHSM042C7
| URI | m2://inv/YNHSM042C7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36078#SB1Y (statement). In MVKXS0Q6XN/e1, theorem 3.7
History
- 2026-10-30: add by m2/v0.4.12
Change of gauge YNJ18ND2K0
| URI | m2://inv/YNJ18ND2K0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25987#38UY, Change of gauge (statement)
History
- 2026-11-01: add by m2/v0.6.15
YNJASKRTBR YNJASKRTBR
| URI | m2://inv/YNJASKRTBR |
|---|---|
| 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.14555#EWA1 (statement). In NHW0VEJ09F/e1, proposition 2.9
History
- 2026-10-28: add by m2/v0.4.2
YNJPP7827Z YNJPP7827Z
| URI | m2://inv/YNJPP7827Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26340#9OYO (statement)
History
- 2026-11-01: add by m2/v0.6.15
YNJTWWV6ZY YNJTWWV6ZY
| URI | m2://inv/YNJTWWV6ZY |
|---|---|
| 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.03264#SU4K (statement). In 5TXRSPPTHP/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.12
Quadratic knapsack problem YNJZCQ45K7
| URI | m2://inv/YNJZCQ45K7 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic knapsack problem, Quadratic knapsack problem (problem). Also Wikidata Q28001197
History
- 2026-11-02: add by m2/dev
Validating power laws YNJZNKYNT5
| URI | m2://inv/YNJZNKYNT5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power law#9P9P, Validating power laws (statement)
History
- 2026-11-02: add by m2/dev
YNK0HA7NGP YNK0HA7NGP
| URI | m2://inv/YNK0HA7NGP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12054#3DBE (definition). In 1A01NFHBGA/e1, definition 2.10
History
- 2026-10-28: add by m2/v0.4.3
John McCarthy YNK1MAFDDE
| URI | m2://inv/YNK1MAFDDE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John McCarthy (mathematician), John McCarthy (topic). Also Wikidata Q59503548
History
- 2026-11-02: add by m2/dev
Secant-curvature growth YNK35KDAJY
| URI | m2://inv/YNK35KDAJY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15202#EHUZ, Secant-curvature growth (statement). In X1FPG0KYBM/e1, lemma I.2
History
- 2026-10-28: add by m2/v0.4.2
YNK4X8C9KR YNK4X8C9KR
| URI | m2://inv/YNK4X8C9KR |
|---|---|
| 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 2605.17536#I9W9 (statement). In TG15VZ0P8R/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.3.5
David X. Cohen YNK63E5QH9
| URI | m2://inv/YNK63E5QH9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VEQM, David X. Cohen (unknown)
History
- 2026-11-02: add by m2/dev
mechanics YNK8S86HWE
| URI | m2://inv/YNK8S86HWE |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 70-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q41217, mechanics (topic). Also ProofWiki Definition:Mechanics
History
- 2026-10-26: add by m2/dev
Climate ensemble YNKFDMFRMB
| URI | m2://inv/YNKFDMFRMB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#XGFL, Climate ensemble (definition)
History
- 2026-11-02: add by m2/dev
YNKKXDYV1J YNKKXDYV1J
| URI | m2://inv/YNKKXDYV1J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22847#XN2M (statement)
History
- 2026-11-02: add by m2/v0.6.17
Generalizations YNKMYCVJ9F
| URI | m2://inv/YNKMYCVJ9F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entscheidungsproblem#OM19, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
YNKWH5JBTY YNKWH5JBTY
| URI | m2://inv/YNKWH5JBTY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#OA7T (example). In 9DQKY7KGE8/e1, example B.10
History
- 2026-10-31: add by m2/v0.5.6
Borel–Carathéodory theorem YNKZ3SYHYY
| URI | m2://inv/YNKZ3SYHYY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#BLJP, Borel–Carathéodory theorem (statement)
History
- 2026-11-02: add by m2/dev
Pseudorandom FGR YNM4SRWCXP
| URI | m2://inv/YNM4SRWCXP |
|---|---|
| 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 1806.05002#GTCF, Pseudorandom FGR (statement). In JBAQ7DTW7B/e1, proposition 15.1
History
- 2026-10-27: add by m2/v0.3.5
Convergence with inexact adversary YNM759TRD4
| URI | m2://inv/YNM759TRD4 |
|---|---|
| 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.31363#SP8C, Convergence with inexact adversary (statement). In XB8NYRD86J/e1, proposition 3.1
History
- 2026-10-31: add by m2/v0.5.6
weak interaction YNM8Z2M6EH
| URI | m2://inv/YNM8Z2M6EH |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 81V15 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11418, weak interaction (topic)
History
- 2026-10-26: add by m2/dev
YNM9VCCSWF YNM9VCCSWF
| URI | m2://inv/YNM9VCCSWF |
|---|---|
| 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.17477#7SK3 (statement). In 3A92NCWYN3/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Infinite broom YNMMTC1FF1
| URI | m2://inv/YNMMTC1FF1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6029835, Infinite broom (unknown). Also MathWorld BroomSpace
- wikipedia: Wikipedia Infinite broom, Infinite broom (definition). Also Wikidata Q6029835
History
- 2026-10-26: add by m2/dev
Properties YNN6PZ0FBC
| URI | m2://inv/YNN6PZ0FBC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phase-type distribution#D6EB, Properties (statement)
History
- 2026-11-02: add by m2/dev
Moshe Jarden YNNGCGZPA2
| URI | m2://inv/YNNGCGZPA2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moshe Jarden, Moshe Jarden (topic). Also Wikidata Q21531608
History
- 2026-11-02: add by m2/dev
Power law with exponential cutoff (truncated power law) YNNK08RST9
| URI | m2://inv/YNNK08RST9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power law#16VH, Power law with exponential cutoff (truncated power law) (statement)
History
- 2026-11-02: add by m2/dev
YNNWHK3FA8 YNNWHK3FA8
| URI | m2://inv/YNNWHK3FA8 |
|---|---|
| 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.36827#UVV8 (statement). In VSHAQTB2CA/e1, proposition D.1
History
- 2026-10-30: add by m2/v0.4.12
Examples YNNWNKJAXZ
| URI | m2://inv/YNNWNKJAXZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knights and Knaves#1ARI, Examples (example)
History
- 2026-11-02: add by m2/dev
YNNZ9AFGW1 YNNZ9AFGW1
| URI | m2://inv/YNNZ9AFGW1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.05539#EW0M (statement). In 8SVVEVGMNE/e1, theorem 5.10
History
- 2026-10-27: add by m2/v0.3.5
adverb YNP27E672C
| URI | m2://inv/YNP27E672C |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.10/adverb, adverb (concept). In N54F33XE07, index, section 9.10
History
- 2026-11-01: add by m2/v0.6.13
Ryszard Syski YNP471EAK1
| URI | m2://inv/YNP471EAK1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ryszard Syski, Ryszard Syski (topic). Also Wikidata Q7385419
History
- 2026-11-02: add by m2/dev
YNP4C0K2S9 YNP4C0K2S9
| URI | m2://inv/YNP4C0K2S9 |
|---|---|
| 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 2202.10212#3ZHH (statement). In E9ZQM8449P/e1, lemma 4.8
History
- 2026-10-27: add by m2/v0.3.6
YNP6AET3X6 YNP6AET3X6
| URI | m2://inv/YNP6AET3X6 |
|---|---|
| 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 math/0411039#LGH3 (statement). In ZTBDXSKFFW/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
YNP8PJGQ10 YNP8PJGQ10
| URI | m2://inv/YNP8PJGQ10 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30090#NHVT (definition)
History
- 2026-11-01: add by m2/v0.6.15
YNPADA2BX9 YNPADA2BX9
| URI | m2://inv/YNPADA2BX9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-78 (exercise). In E9HS8K3A52, exercise, section 10.7.3
History
- 2026-11-01: add by m2/v0.6.13
YNPS9GR00N YNPS9GR00N
| URI | m2://inv/YNPS9GR00N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36334#8DMA (statement). In YVB70SBGN1/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
Wick's theorem applied to fields YNPWS5T4VX
| URI | m2://inv/YNPWS5T4VX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wick's theorem#JC43, Wick's theorem applied to fields (statement)
History
- 2026-11-02: add by m2/dev
Bilinear estimate YNQ3VMVZ7D
| URI | m2://inv/YNQ3VMVZ7D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07909#3ASY, Bilinear estimate (statement). In 6KST0WX37C/e1, proposition 3.8
History
- 2026-10-29: add by m2/v0.4.10
Israel Gottlieb Canz YNQ7EE12AP
| URI | m2://inv/YNQ7EE12AP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Israel Gottlieb Canz, Israel Gottlieb Canz (topic). Also Wikidata Q103484
History
- 2026-11-02: add by m2/dev
Computational infeasibility YNQ7SV7MYB
| URI | m2://inv/YNQ7SV7MYB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational complexity theory#59KI, Computational infeasibility (unknown)
History
- 2026-11-02: add by m2/dev
YNQATVKPPV YNQATVKPPV
| URI | m2://inv/YNQATVKPPV |
|---|---|
| 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.20013#A9WM (statement). In SC5JZQKZH6/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.4.2
YNQEKFZBP4 YNQEKFZBP4
| URI | m2://inv/YNQEKFZBP4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/sequent-calculus/proofs-in-K.tex#ex-1 (example). In PKGMM3P5QY, ex, section 53.7
History
- 2026-11-01: add by m2/v0.6.13
YNQFX5751V YNQFX5751V
| URI | m2://inv/YNQFX5751V |
|---|---|
| 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#PACH (statement). In S26QVW5613/e1, lemma 5.4.6
History
- 2026-10-30: add by m2/v0.4.12
Forward Regularity for 2D N-S YNQGWR37XP
| URI | m2://inv/YNQGWR37XP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07240#0DEC, Forward Regularity for 2D N-S (statement). In D0F1GK5AHW/e1, proposition 3.12
History
- 2026-10-29: add by m2/v0.4.10
YNQM7H3EJK YNQM7H3EJK
| URI | m2://inv/YNQM7H3EJK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11905#NUWL (statement). In QQFXT31CA5/e1, proposition 7.3
History
- 2026-10-28: add by m2/v0.4.3
Peano arithmetic YNQSEH9SK7
| URI | m2://inv/YNQSEH9SK7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#LK62, Peano arithmetic (definition)
History
- 2026-11-02: add by m2/dev
Main result YNQT7WSM4C
| URI | m2://inv/YNQT7WSM4C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32282#ZW5H, Main result (statement). In MF7XEPN4GV/e1, theorem 2.1
History
- 2026-10-31: add by m2/v0.5.6
YNQTDFQ93Y YNQTDFQ93Y
| URI | m2://inv/YNQTDFQ93Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21476#4W9B (statement). In 4SG2B3FD7A/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.2
Leapfrog integration YNQZ10G968
| URI | m2://inv/YNQZ10G968 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leapfrog integration, Leapfrog integration (definition). Also Wikidata Q1810707
History
- 2026-11-02: add by m2/dev
Strong embedding theorem YNR124TDBW
| URI | m2://inv/YNR124TDBW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whitney embedding theorem#TU06, Strong embedding theorem (statement)
History
- 2026-11-02: add by m2/dev
Reuleaux hendecagon YNR2R2FGFW
| URI | m2://inv/YNR2R2FGFW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reuleaux triangle#1BVT, Reuleaux hendecagon (unknown)
History
- 2026-11-02: add by m2/dev
YNR3JAVNB9 YNR3JAVNB9
| URI | m2://inv/YNR3JAVNB9 |
|---|---|
| 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#IVZ3 (statement). In RK1VPWWX9E/e1, proposition D.4
History
- 2026-10-28: add by m2/v0.4.2
YNR721KW46 YNR721KW46
| URI | m2://inv/YNR721KW46 |
|---|---|
| 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 2108.03672#X0QL (statement). In EZZSZ1F071/e1, lemma 1.34
History
- 2026-10-27: add by m2/v0.4.0
Carpus of Antioch YNR72W3K3Q
| URI | m2://inv/YNR72W3K3Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carpus of Antioch, Carpus of Antioch (topic). Also Wikidata Q606139
History
- 2026-11-02: add by m2/dev
Standard part function YNRBHTTEGH
| URI | m2://inv/YNRBHTTEGH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard part function, Standard part function (definition). Also Wikidata Q4439341
History
- 2026-11-02: add by m2/dev
Properties of arithmetic encoding, lemma 2.8 YNRF4MSA5B
| URI | m2://inv/YNRF4MSA5B |
|---|---|
| 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.11031#8WZ6, Properties of arithmetic encoding, lemma 2.8 (statement). In 9DMJXFRQN9/e1, fact 2.6
History
- 2026-10-28: add by m2/v0.4.3
Asymptotic safety YNRFSBZZ58
| URI | m2://inv/YNRFSBZZ58 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymptotic safety, Asymptotic safety (definition). Also Wikidata Q17004315
History
- 2026-11-02: add by m2/dev
YNRKK9C0KV YNRKK9C0KV
| URI | m2://inv/YNRKK9C0KV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06488#C0XX (statement). In XG3BJ2QXXP/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
YNRPRTJ44B YNRPRTJ44B
| URI | m2://inv/YNRPRTJ44B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#OICP (definition). In Z7E16PFFCP/e1, definition 4.20
History
- 2026-10-30: add by m2/v0.4.12
Examples YNRR3KDMF0
| URI | m2://inv/YNRR3KDMF0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overwhelming exception#YDBI, Examples (example)
History
- 2026-11-02: add by m2/dev
unitary matrix YNRSTBKDN5
| URI | m2://inv/YNRSTBKDN5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Unitary matrix 0AR68JTMDT |
Mentions
- wikidata: Wikidata Q727103, unitary matrix (unknown). Also EoM Unitary_matrix, MathWorld UnitaryMatrix, nLab unitary matrix
- wikipedia: Wikipedia Unitary matrix, Unitary matrix (definition). Also Wikidata Q727103
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Hendecagrammic prism YNRX8AWPJJ
| URI | m2://inv/YNRX8AWPJJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hendecagrammic prism, Hendecagrammic prism (definition). Also Wikidata Q17022397
History
- 2026-11-02: add by m2/dev
YNRZKK6THV YNRZKK6THV
| URI | m2://inv/YNRZKK6THV |
|---|---|
| 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.00021#SP2D (statement). In EX42AVA7CV/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
Hilbert's fifth problem YNRZQGTPGK
| URI | m2://inv/YNRZQGTPGK |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#4TF9, Hilbert's fifth problem (problem)
History
- 2026-11-02: add by m2/dev
Clement's theorem concerning the twin primes YNS26A6GDD
| URI | m2://inv/YNS26A6GDD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Table of congruences#95JS, Clement's theorem concerning the twin primes (statement)
History
- 2026-11-02: add by m2/dev
YNSB74F2AA YNSB74F2AA
| URI | m2://inv/YNSB74F2AA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-functions.ptx#exercise-23 (exercise). In Y91XFCEVHQ, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Special cases YNSQ11B6XA
| URI | m2://inv/YNSQ11B6XA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Casas-Alvero conjecture#11PD, Special cases (statement)
History
- 2026-11-02: add by m2/dev
YNSQA4X627 YNSQA4X627
| URI | m2://inv/YNSQA4X627 |
|---|---|
| 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.20225#XSAP (statement)
History
- 2026-11-02: add by m2/v0.6.18
YNSY8CYN1D YNSY8CYN1D
| URI | m2://inv/YNSY8CYN1D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21994#6KPV (statement)
History
- 2026-11-02: add by m2/v0.6.17
YNT9V3NJ1Q YNT9V3NJ1Q
| URI | m2://inv/YNT9V3NJ1Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#MP9W (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sharp interval support YNTH27DZY7
| URI | m2://inv/YNTH27DZY7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#LFFP, Sharp interval support (statement). In 9YAE8FNQST/e1, theorem 19.3
History
- 2026-10-30: add by m2/v0.4.12
YNTMH32AYM YNTMH32AYM
| URI | m2://inv/YNTMH32AYM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.05628#8HO8 (statement). In 9JPKTEWW4W/e1, corollary 1.2
History
- 2026-10-27: add by m2/v0.3.5
Contact directions in a cap YNTN0TRWGW
| URI | m2://inv/YNTN0TRWGW |
|---|---|
| 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.25120#UH6I, Contact directions in a cap (statement)
History
- 2026-11-01: add by m2/v0.6.15
Spherindrical coordinate system YNTV93M5W2
| URI | m2://inv/YNTV93M5W2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spherinder#0811, Spherindrical coordinate system (unknown)
History
- 2026-11-02: add by m2/dev
YNTZ8CPG6N YNTZ8CPG6N
| URI | m2://inv/YNTZ8CPG6N |
|---|---|
| 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 2111.14143#5GJ5 (statement). In QSKV7N0T89/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
Luminosity function YNV35BVJJH
| URI | m2://inv/YNV35BVJJH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luminosity function (astronomy), Luminosity function (definition). Also Wikidata Q2734497
History
- 2026-11-02: add by m2/dev
Trademark argument YNV5X0BK9W
| URI | m2://inv/YNV5X0BK9W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trademark argument, Trademark argument (definition). Also Wikidata Q7832131
History
- 2026-11-02: add by m2/dev
Lowell Gallagher YNV6VH86P6
| URI | m2://inv/YNV6VH86P6 |
|---|---|
| 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#RTI2, Lowell Gallagher (unknown)
History
- 2026-11-02: add by m2/dev
Spectral gap YNVCXXRSG8
| URI | m2://inv/YNVCXXRSG8 |
|---|---|
| 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.16668#NLKL, Spectral gap (statement). In W7GPN2AHHM/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Fredholm theory YNVK2ZWTGD
| URI | m2://inv/YNVK2ZWTGD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#ZJCQ, Fredholm theory (definition)
History
- 2026-11-02: add by m2/dev
Frucht's theorem YNVPT9K7P8
| URI | m2://inv/YNVPT9K7P8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#9VMP, Frucht's theorem (statement)
History
- 2026-11-02: add by m2/dev
Idempotence (computer science) YNVV81HJET
| URI | m2://inv/YNVV81HJET |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Idempotence#U66O, Idempotence (computer science) (unknown)
History
- 2026-11-02: add by m2/dev
Generation Z YNVX82T02F
| URI | m2://inv/YNVX82T02F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generation Z, Generation Z (definition). Also Wikidata Q1987589
History
- 2026-11-02: add by m2/dev
YNVXZ52ST4 YNVXZ52ST4
| URI | m2://inv/YNVXZ52ST4 |
|---|---|
| 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 2303.14022#ARWH (definition). In NSYR6W27FP/e1, definition 2.11
History
- 2026-10-27: add by m2/v0.3.5
YNW01YK1TR YNW01YK1TR
| URI | m2://inv/YNW01YK1TR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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 2609.25468#BASP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kemeny's constant for semi-Markov networks YNW5ZGMDYE
| URI | m2://inv/YNW5ZGMDYE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13505#V3UX, Kemeny's constant for semi-Markov networks (statement). In 6Z1DDCYCQ8/e1, proposition 16
History
- 2026-10-28: add by m2/v0.4.2
CompHEP YNWAJNJHFX
| URI | m2://inv/YNWAJNJHFX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#P45O, CompHEP (unknown)
History
- 2026-11-02: add by m2/dev
Line element YNWM0P4AFV
| URI | m2://inv/YNWM0P4AFV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#F4AW, Line element (definition)
History
- 2026-11-02: add by m2/dev
Principle YNWMFSH1DC
| URI | m2://inv/YNWMFSH1DC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wavelet transform#SBB6, Principle (statement)
History
- 2026-11-02: add by m2/dev
Examples YNWMGY0K47
| URI | m2://inv/YNWMGY0K47 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Syntactic monoid#DFF6, Examples (example)
History
- 2026-11-02: add by m2/dev
Algorism YNWQK2V0X3
| URI | m2://inv/YNWQK2V0X3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorism, Algorism (definition). Also Wikidata Q864014
History
- 2026-11-02: add by m2/dev
Properties YNWZ6SNGKF
| URI | m2://inv/YNWZ6SNGKF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burnside category#P636, Properties (statement)
History
- 2026-11-02: add by m2/dev
YNX4J6Q14C YNX4J6Q14C
| URI | m2://inv/YNX4J6Q14C |
|---|---|
| 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.12633#GSC8 (statement). In NGZ5AZ70NN/e1, lemma 4.12
History
- 2026-10-28: add by m2/v0.4.2
YNX5M9YXZ3 YNX5M9YXZ3
| URI | m2://inv/YNX5M9YXZ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35191#J9UY (statement). In W9Z6S1PDTP/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
Winnow algorithm YNX8SJTTKG
| URI | m2://inv/YNX8SJTTKG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#UK4F, Winnow algorithm (unknown)
History
- 2026-11-02: add by m2/dev
YNXDZ710QF YNXDZ710QF
| URI | m2://inv/YNXDZ710QF |
|---|---|
| Kind | problem |
| 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.04675#A4H9 (problem). In RDXNFF2CZP/e1, problem 29
History
- 2026-10-29: add by m2/v0.4.12
William Stanley Jevons YNXHAG7BWC
| URI | m2://inv/YNXHAG7BWC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#OAZO, William Stanley Jevons (topic)
History
- 2026-11-02: add by m2/dev
YNXSJYFY0V YNXSJYFY0V
| URI | m2://inv/YNXSJYFY0V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26762#F8C5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
John Rhodes YNY66DDYS7
| URI | m2://inv/YNY66DDYS7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Rhodes (mathematician), John Rhodes (topic). Also Wikidata Q6254696
History
- 2026-11-02: add by m2/dev
Alain M. Robert YNYHGHZ625
| URI | m2://inv/YNYHGHZ625 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alain M. Robert, Alain M. Robert (topic). Also Wikidata Q4705673
History
- 2026-11-02: add by m2/dev
YNYKB44CXN YNYKB44CXN
| URI | m2://inv/YNYKB44CXN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39317#AMEU (statement). In QM1T8JDK4A/e1, proposition 6.4
History
- 2026-10-30: add by m2/v0.4.12
YNYP5SMENP YNYP5SMENP
| URI | m2://inv/YNYP5SMENP |
|---|---|
| Kind | problem |
| 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 2610.17863#QQG6 (problem). In Y8XQT02BBF/e1, problem
History
- 2026-10-28: add by m2/v0.4.2
YNYP926HZB YNYP926HZB
| URI | m2://inv/YNYP926HZB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34845#537U (statement). In SBZNH932ZV/e1, lemma 10.3
History
- 2026-10-30: add by m2/v0.4.12
Notation YNYPHXRE6G
| URI | m2://inv/YNYPHXRE6G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Predicate variable#U8T1, Notation (definition)
History
- 2026-11-02: add by m2/dev
Ordinary split-Banach geometric iCFO YNYQ2CR188
| URI | m2://inv/YNYQ2CR188 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28220#YR5L, Ordinary split-Banach geometric iCFO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Trace pairing and additive characters YNYS304EFY
| URI | m2://inv/YNYS304EFY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16351#W8VS, Trace pairing and additive characters (statement). In 1QSV7EQE3T/e1, lemma S65
History
- 2026-10-28: add by m2/v0.4.2
Terence Tao YNYW7FATTN
| URI | m2://inv/YNYW7FATTN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#3P30, Terence Tao (topic)
History
- 2026-11-02: add by m2/dev
Linda Preiss Rothschild YNZ1X20SS5
| URI | m2://inv/YNZ1X20SS5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MDV9, Linda Preiss Rothschild (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#W6R7, Linda Preiss Rothschild (topic)
History
- 2026-11-02: add by m2/dev
Davies-Meyer YNZ4XZCM21
| URI | m2://inv/YNZ4XZCM21 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One-way compression function#VLMS, Davies-Meyer (unknown)
History
- 2026-11-02: add by m2/dev
Applications YNZE712EZ1
| URI | m2://inv/YNZE712EZ1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BCM theory#3T0R, Applications (example)
History
- 2026-11-02: add by m2/dev
Persistent imbalance and spin-flip symmetry YNZEMM68GF
| URI | m2://inv/YNZEMM68GF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22301#VGBB, Persistent imbalance and spin-flip symmetry (statement)
History
- 2026-11-02: add by m2/v0.6.17
YNZKBCTMWR YNZKBCTMWR
| URI | m2://inv/YNZKBCTMWR |
|---|---|
| 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 2404.06445#RQI7 (statement). In 12JKZ8EN52/e1, corollary 8.7
History
- 2026-10-27: add by m2/v0.3.5
Extensions YNZR67D9KT
| URI | m2://inv/YNZR67D9KT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anti-integrability#NOML, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Ljung–Box test YNZV04GXYN
| URI | m2://inv/YNZV04GXYN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MDXD, Ljung–Box test (definition)
History
- 2026-11-02: add by m2/dev