Inventory rows Q5
The cards of the rows of the inventory whose ids start with Q5. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Reciprocity equivalence of fields Q505QEMD1J
| URI | m2://inv/Q505QEMD1J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Witt group#ZKIS, Reciprocity equivalence of fields (unknown)
History
- 2026-11-02: add by m2/dev
Riemannian manifold Q50JP0665H
| URI | m2://inv/Q50JP0665H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#WPK1, Riemannian manifold (definition)
History
- 2026-11-02: add by m2/dev
Structurable algebra Q50MW64HAC
| URI | m2://inv/Q50MW64HAC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Structurable algebra, Structurable algebra (definition). Also Wikidata Q25303829
History
- 2026-11-02: add by m2/dev
Michele Benzi Q50PJXJA21
| URI | m2://inv/Q50PJXJA21 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michele Benzi, Michele Benzi (topic). Also Wikidata Q59548054
History
- 2026-11-02: add by m2/dev
Q50RGHWRWR Q50RGHWRWR
| URI | m2://inv/Q50RGHWRWR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21945#83A0 (statement). In 371P9QASSJ/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.4.2
dilution Q511HEF2ND
| URI | m2://inv/Q511HEF2ND |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23922#MJFO, dilution (statement)
History
- 2026-11-02: add by m2/v0.6.17
Q512JWR648 Q512JWR648
| URI | m2://inv/Q512JWR648 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/taylor.tex#proof-1 (proof). In RZP28ERRZV, proof, section 34.2
History
- 2026-11-01: add by m2/v0.6.13
Q512NVRY4B Q512NVRY4B
| URI | m2://inv/Q512NVRY4B |
|---|---|
| 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 2610.15454#CRS0 (statement). In RGQZVNXWM5/e1, theorem 4.6
History
- 2026-10-28: add by m2/v0.4.2
Q51E73XZWR Q51E73XZWR
| URI | m2://inv/Q51E73XZWR |
|---|---|
| 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.02059#9ZOU (statement). In 630RJSKBPW/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
Q51RRQ8ZX0 Q51RRQ8ZX0
| URI | m2://inv/Q51RRQ8ZX0 |
|---|---|
| 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#381H (statement). In Q1XJ5VWE1N/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.10
Backward Feynman--Kac equation Q51YM81YV4
| URI | m2://inv/Q51YM81YV4 |
|---|---|
| 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.03071#ULAQ, Backward Feynman--Kac equation (statement). In Z2M4D55R57/e1, proposition 3
History
- 2026-10-29: add by m2/v0.4.12
Hewitt–Savage zero–one law Q520XFCCHQ
| URI | m2://inv/Q520XFCCHQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hewitt–Savage zero–one law, Hewitt–Savage zero–one law (statement). Also Wikidata Q21051250
History
- 2026-11-02: add by m2/dev
Q5259E0A4H Q5259E0A4H
| URI | m2://inv/Q5259E0A4H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32614#Y0GH (definition). In SG8GT73ZNH/e1, definition 2.1
History
- 2026-10-31: add by m2/v0.5.6
Wilcoxon, Frank Q526T2XZ49
| URI | m2://inv/Q526T2XZ49 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#07V0, Wilcoxon, Frank (topic)
History
- 2026-11-02: add by m2/dev
Definition Q529ZMZBSF
| URI | m2://inv/Q529ZMZBSF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edwards curve#KLRI, Definition (definition)
History
- 2026-11-02: add by m2/dev
Q52BC3KKQS Q52BC3KKQS
| URI | m2://inv/Q52BC3KKQS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04498#8C74 (statement). In HHF08X70P6/e1, theorem 7.1
History
- 2026-10-29: add by m2/v0.4.12
Arithmetic circuits Q52R30W544
| URI | m2://inv/Q52R30W544 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#EFWH, Arithmetic circuits (unknown)
History
- 2026-11-02: add by m2/dev
Spatial decay and analyticity in the amplitude Q534BQ7NP5
| URI | m2://inv/Q534BQ7NP5 |
|---|---|
| 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.13753#IFY7, Spatial decay and analyticity in the amplitude (statement). In AHM0PBKZZN/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
Q53GFV3TMM Q53GFV3TMM
| URI | m2://inv/Q53GFV3TMM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32233#TCZW (statement). In V42PPD7SWH/e1, lemma 3.2
History
- 2026-10-31: add by m2/v0.5.6
Definition Q53KNXHXZC
| URI | m2://inv/Q53KNXHXZC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable module category#OMIQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Q53MHH7K5K Q53MHH7K5K
| URI | m2://inv/Q53MHH7K5K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04874#BSYE (statement). In X365951S4Q/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.12
Formal definition Q53NGF3X2T
| URI | m2://inv/Q53NGF3X2T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal curvature#5S80, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Esscher principle Q541ASWGTR
| URI | m2://inv/Q541ASWGTR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Esscher transform#EL1V, Esscher principle (statement)
History
- 2026-11-02: add by m2/dev
Algorithms Q542YDSZNV
| URI | m2://inv/Q542YDSZNV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Star-shaped polygon#I7OD, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Bias–variance tradeoff Q54GEZQV2B
| URI | m2://inv/Q54GEZQV2B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bias–variance tradeoff, Bias–variance tradeoff (definition). Also Wikidata Q17003119
History
- 2026-11-02: add by m2/dev
Trigonometric Ratios Q54GKAGXDB
| URI | m2://inv/Q54GKAGXDB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometry#029E, Trigonometric Ratios (unknown)
History
- 2026-11-02: add by m2/dev
Q54JK7ZDGQ Q54JK7ZDGQ
| URI | m2://inv/Q54JK7ZDGQ |
|---|---|
| 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 1011.5443#DU42 (statement). In VQ0K2GV62A/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
Positive Poisson representation Q552ZTTYZN
| URI | m2://inv/Q552ZTTYZN |
|---|---|
| Kind | statement |
| 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 2609.32387#WWSB, Positive Poisson representation (statement). In 294BQKZEDQ/e1, lemma 2.2
History
- 2026-10-31: add by m2/v0.5.6
Finite-complexity dyadic mixed estimate Q5536ZKPCZ
| URI | m2://inv/Q5536ZKPCZ |
|---|---|
| Kind | statement |
| 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 2609.20531#12Q9, Finite-complexity dyadic mixed estimate (statement)
History
- 2026-11-02: add by m2/v0.6.18
Accelerated potential Q555ZXTM0R
| URI | m2://inv/Q555ZXTM0R |
|---|---|
| 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#NBHO, Accelerated potential (statement). In X1FPG0KYBM/e1, theorem C.1
History
- 2026-10-28: add by m2/v0.4.2
Relationship to the well-ordering principle Q558A7VDC3
| URI | m2://inv/Q558A7VDC3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical induction#YPVD, Relationship to the well-ordering principle (statement)
History
- 2026-11-02: add by m2/dev
Q563F1S7NS Q563F1S7NS
| URI | m2://inv/Q563F1S7NS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20713#9G0D (statement)
History
- 2026-11-02: add by m2/v0.6.18
Geometric invariant theory Q566FDWDH6
| URI | m2://inv/Q566FDWDH6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#DFNG, Geometric invariant theory (definition)
History
- 2026-11-02: add by m2/dev
Properties Q567H3A9KF
| URI | m2://inv/Q567H3A9KF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Safe and Sophie Germain primes#1SY8, Properties (statement)
History
- 2026-11-02: add by m2/dev
Q56A60XYXP Q56A60XYXP
| URI | m2://inv/Q56A60XYXP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16554#0GWB (statement). In GWNT8HEZG1/e1, proposition 2.23
History
- 2026-10-27: add by m2/v0.3.6
Dual conic Q56E959A8F
| URI | m2://inv/Q56E959A8F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conic section#6DGB, Dual conic (unknown)
History
- 2026-11-02: add by m2/dev
Q56FZATEMW Q56FZATEMW
| URI | m2://inv/Q56FZATEMW |
|---|---|
| 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#HUKZ (statement). In D905BX98TP/e1, corollary 3.2
History
- 2026-10-30: add by m2/v0.4.12
Q56S5VK875 Q56S5VK875
| URI | m2://inv/Q56S5VK875 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32733#GN1B (statement). In PCAS8S14J6/e1, lemma 2.2
History
- 2026-10-31: add by m2/v0.5.6
Q56XPXBX7R Q56XPXBX7R
| URI | m2://inv/Q56XPXBX7R |
|---|---|
| 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.01035#OJ8Y (statement). In MVQWXFXWM7/e1, corollary 1.4
History
- 2026-10-29: add by m2/v0.4.12
Examples Q576REA2MT
| URI | m2://inv/Q576REA2MT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gelfand pair#J06J, Examples (example)
History
- 2026-11-02: add by m2/dev
Squared deviations Q57G2GAW50
| URI | m2://inv/Q57G2GAW50 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0ZRL, Squared deviations (definition)
History
- 2026-11-02: add by m2/dev
solitary number Q57J822Z2K
| URI | m2://inv/Q57J822Z2K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q24841630, solitary number (unknown). Also MathWorld SolitaryNumber
History
- 2026-10-26: add by m2/dev
Mean mode Q57MAF73R5
| URI | m2://inv/Q57MAF73R5 |
|---|---|
| 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.22384#HOKU, Mean mode (statement)
History
- 2026-11-02: add by m2/v0.6.17
Q57MQWWZBH Q57MQWWZBH
| URI | m2://inv/Q57MQWWZBH |
|---|---|
| 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.16989#1AG1 (statement). In 4769XNDWYS/e1, lemma A.3
History
- 2026-10-28: add by m2/v0.4.2
adverb Q57TP19RJ7
| URI | m2://inv/Q57TP19RJ7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.7/adverb, adverb (concept). In N54F33XE07, index, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
M. K. Fort Jr. Q57ZBZ0AF2
| URI | m2://inv/Q57ZBZ0AF2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M. K. Fort Jr., M. K. Fort Jr. (topic). Also Wikidata Q6712743
History
- 2026-11-02: add by m2/dev
Q586K5SY3K Q586K5SY3K
| URI | m2://inv/Q586K5SY3K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07828#C7B3 (statement). In TWGMVT1N1G/e1, corollary 6.8
History
- 2026-10-29: add by m2/v0.4.10
Properties Q587VN4DWV
| URI | m2://inv/Q587VN4DWV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transpose#2MYF, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition Q58K1DTHER
| URI | m2://inv/Q58K1DTHER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cube root#9TWW, Definition (definition)
History
- 2026-11-02: add by m2/dev
Anatol Slissenko Q58QB8ZFQA
| URI | m2://inv/Q58QB8ZFQA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#OYVE, Anatol Slissenko (unknown)
History
- 2026-11-02: add by m2/dev
Definition and properties Q58R446VZJ
| URI | m2://inv/Q58R446VZJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Acceleration#OVS2, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
Q58SAHAZ19 Q58SAHAZ19
| URI | m2://inv/Q58SAHAZ19 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.01473#JV94 (statement). In ABS9M47F4K/e1, corollary 3.31
History
- 2026-10-27: add by m2/v0.3.6
Q598AHZ1TR Q598AHZ1TR
| URI | m2://inv/Q598AHZ1TR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/functors.tex#exercise-3 (exercise). In RZP28ERRZV, exercise, section 37.4
History
- 2026-11-01: add by m2/v0.6.13
Q59EW857JN Q59EW857JN
| URI | m2://inv/Q59EW857JN |
|---|---|
| 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.12480#OC4A (statement). In 585QYGX4X6/e1, lemma 19
History
- 2026-10-28: add by m2/v0.4.2
Q59F2GYQBD Q59F2GYQBD
| URI | m2://inv/Q59F2GYQBD |
|---|---|
| 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.25457#T6IB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Q59PMJGHV0 Q59PMJGHV0
| URI | m2://inv/Q59PMJGHV0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.16041#19XO (statement). In 2GD6NWJVRM/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
digraph Q59Q3HYPEX
| URI | m2://inv/Q59Q3HYPEX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#H7RR, digraph (definition)
History
- 2026-11-02: add by m2/dev
Q5A1VWWPKE Q5A1VWWPKE
| URI | m2://inv/Q5A1VWWPKE |
|---|---|
| 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.12983#CUOI (statement). In M6TFZ6E060/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Uniformization theorem Q5ABQM2BZW
| URI | m2://inv/Q5ABQM2BZW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planar Riemann surface#S7U7, Uniformization theorem (statement)
History
- 2026-11-02: add by m2/dev
Analogs of Pascal's identity Q5ACYJ498W
| URI | m2://inv/Q5ACYJ498W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian binomial coefficient#FI0Z, Analogs of Pascal's identity (statement)
History
- 2026-11-02: add by m2/dev
Q5AKEWABAT Q5AKEWABAT
| URI | m2://inv/Q5AKEWABAT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36309#5ZLC (statement). In FAJ10EJMYE/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
Joshua J. Schwartz Q5AMHF7FVY
| URI | m2://inv/Q5AMHF7FVY |
|---|---|
| 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 Q25492942, Joshua J. Schwartz (unknown). Also nLab Joshua Schwartz
History
- 2026-10-26: add by m2/dev
Haar measure Q5AQ41TBR7
| URI | m2://inv/Q5AQ41TBR7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 20H05 |
| Sources | 2 |
| Outcome | open |
| Node | Haar measure VY0HXD3GC4 |
Mentions
- wikidata: Wikidata Q1162676, Haar measure (topic). Also EoM Haar_measure, MathWorld HaarMeasure, nLab Haar integral, ProofWiki Definition:Haar_Measure
- wikipedia: Wikipedia Haar measure, Haar measure (definition). Also Wikidata Q1162676
History
- 2026-10-26: add by m2/dev
Definition Q5AR4S20RA
| URI | m2://inv/Q5AR4S20RA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set identification#DI15, Definition (definition)
History
- 2026-11-02: add by m2/dev
Absolutely and completely monotonic functions and sequences Q5AWJEZHGR
| URI | m2://inv/Q5AWJEZHGR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolutely and completely monotonic functions and sequences, Absolutely and completely monotonic functions and sequences (definition). Also Wikidata Q124255611
History
- 2026-11-02: add by m2/dev
Q5B5MJ0XXY Q5B5MJ0XXY
| URI | m2://inv/Q5B5MJ0XXY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21013#0TQF (statement)
History
- 2026-11-02: add by m2/v0.6.18
Q5BDAV0HK2 Q5BDAV0HK2
| URI | m2://inv/Q5BDAV0HK2 |
|---|---|
| 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.30648#83KB (statement). In 2P83KYQCMA/e1, lemma 14
History
- 2026-10-31: add by m2/v0.5.6
Deterministic convergence of solutions Q5BGH3CCW3
| URI | m2://inv/Q5BGH3CCW3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21552#L9F4, Deterministic convergence of solutions (statement)
History
- 2026-11-02: add by m2/v0.6.18
Cotorsion group Q5BHSM8Y72
| URI | m2://inv/Q5BHSM8Y72 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cotorsion group, Cotorsion group (definition). Also Wikidata Q5175462
History
- 2026-11-02: add by m2/dev
Evolute Q5BR0YXTGA
| URI | m2://inv/Q5BR0YXTGA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#7QTO, Evolute (definition)
- wikipedia: Wikipedia List of curves#23FS, Evolute (definition)
History
- 2026-11-02: add by m2/dev
sharpness of the jump weights Q5BSPXS9JJ
| URI | m2://inv/Q5BSPXS9JJ |
|---|---|
| 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.17678#AZC2, sharpness of the jump weights (statement). In V753EAWQ3S/e1, proposition 9.3
History
- 2026-10-28: add by m2/v0.4.2
Ramanujan's ternary quadratic form Q5BX5EFX7R
| URI | m2://inv/Q5BX5EFX7R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#HX90, Ramanujan's ternary quadratic form (definition)
History
- 2026-11-02: add by m2/dev
Properties Q5C01APR3X
| URI | m2://inv/Q5C01APR3X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct image with compact support#C8ZX, Properties (statement)
History
- 2026-11-02: add by m2/dev
Theorem Q5C2AJGWN4
| URI | m2://inv/Q5C2AJGWN4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally connected space#QEVY, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Applications Q5C8196SW3
| URI | m2://inv/Q5C8196SW3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circle packing#SK1R, Applications (example)
History
- 2026-11-02: add by m2/dev
Q5CBB3CWV5 Q5CBB3CWV5
| URI | m2://inv/Q5CBB3CWV5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.06152#0I0N (statement). In HH35K7S17H/e1, lemma 4.9
History
- 2026-10-29: add by m2/v0.4.10
Little Picard Theorem Q5CBHD3N0Y
| URI | m2://inv/Q5CBHD3N0Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Picard theorem#QPHW, Little Picard Theorem (statement)
History
- 2026-11-02: add by m2/dev
Shlomo Ganzfried Q5CBHENQS3
| URI | m2://inv/Q5CBHENQS3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#2MID, Shlomo Ganzfried (unknown)
History
- 2026-11-02: add by m2/dev
Taher Elgamal Q5CDSVFB0G
| URI | m2://inv/Q5CDSVFB0G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taher Elgamal, Taher Elgamal (topic). Also Wikidata Q910915
History
- 2026-11-02: add by m2/dev
Example Q5CG975K54
| URI | m2://inv/Q5CG975K54 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plünnecke–Ruzsa inequality#WI13, Example (example)
History
- 2026-11-02: add by m2/dev
Q5CSS6FJ66 Q5CSS6FJ66
| URI | m2://inv/Q5CSS6FJ66 |
|---|---|
| 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.15528#WPSI (statement). In G9GEE64N32/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
Nauru Bureau of Statistics Q5CW9KX4BY
| URI | m2://inv/Q5CW9KX4BY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nauru#FB1N, Nauru Bureau of Statistics (unknown)
History
- 2026-11-02: add by m2/dev
Bilateral key exchange Q5D8N98HMC
| URI | m2://inv/Q5D8N98HMC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bilateral key exchange, Bilateral key exchange (definition). Also Wikidata Q16841934
History
- 2026-11-02: add by m2/dev
June Morita Q5DC1V437G
| URI | m2://inv/Q5DC1V437G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia June Morita, June Morita (topic). Also Wikidata Q44322959
History
- 2026-11-02: add by m2/dev
Q5DCP1H68Z Q5DCP1H68Z
| URI | m2://inv/Q5DCP1H68Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-sheaf.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 27.4.1
History
- 2026-11-01: add by m2/v0.6.13
Q5DD4SYHR5 Q5DD4SYHR5
| URI | m2://inv/Q5DD4SYHR5 |
|---|---|
| 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.18101#5AI0 (statement). In XXN6KKXPYF/e1, lemma 7.7
History
- 2026-10-28: add by m2/v0.4.2
Six circles theorem Q5DF9J6JTC
| URI | m2://inv/Q5DF9J6JTC |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527247, Six circles theorem (statement). Also Wikidata Q3527247
- thousand_plus: thousand_plus Q3527247, Six circles theorem (statement). Also Wikidata Q3527247, Wikipedia Six circles theorem
- wikidata: Wikidata Q3527247, Six circles theorem (statement). Also MathWorld SixCirclesTheorem
- wikipedia: Wikipedia Six circles theorem, Six circles theorem (statement). Also Wikidata Q3527247
History
- 2026-10-26: add by m2/dev
Dowker–Thistlethwaite notation Q5DGWF6YGF
| URI | m2://inv/Q5DGWF6YGF |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 57M25 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5302692, Dowker–Thistlethwaite notation (topic). Also MathWorld DowkerNotation
- wikipedia: Wikipedia Dowker–Thistlethwaite notation, Dowker–Thistlethwaite notation (definition). Also Wikidata Q5302692
History
- 2026-10-26: add by m2/dev
Q5DJ3B02VP Q5DJ3B02VP
| URI | m2://inv/Q5DJ3B02VP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/de-bruijn.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 38.12
History
- 2026-11-01: add by m2/v0.6.13
Notation Q5DQ9YZK3K
| URI | m2://inv/Q5DQ9YZK3K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equiangular polygon#9Z6W, Notation (definition)
History
- 2026-11-02: add by m2/dev
Automatic regularity for weak \(H^k\) rows in any dimension Q5DQC6TK3F
| URI | m2://inv/Q5DQC6TK3F |
|---|---|
| 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.04357#3C2S, Automatic regularity for weak \(H^k\) rows in any dimension (statement). In 6FY8BVP1F3/e1, corollary C.6
History
- 2026-10-29: add by m2/v0.4.12
Vysochanskij–Petunin inequality Q5DQMJCPM9
| URI | m2://inv/Q5DQMJCPM9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vysochanskij–Petunin inequality, Vysochanskij–Petunin inequality (statement). Also Wikidata Q4317416
History
- 2026-11-02: add by m2/dev
Q5DR1Y04CY Q5DR1Y04CY
| URI | m2://inv/Q5DR1Y04CY |
|---|---|
| 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 1406.2996#3IP3 (statement). In 6XENXFC77F/e1, corollary 5.5
History
- 2026-10-27: add by m2/v0.3.5
Exact and relative energy Q5DTBQE4QW
| URI | m2://inv/Q5DTBQE4QW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32107#AS9U, Exact and relative energy (statement). In F11G5M3JA5/e1, lemma 4.4
History
- 2026-10-31: add by m2/v0.5.6
Q5DWRM7QFE Q5DWRM7QFE
| URI | m2://inv/Q5DWRM7QFE |
|---|---|
| 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.01924#1ZNW (statement). In CB89152EQW/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.12
Zipf's law Q5E12C1JZC
| URI | m2://inv/Q5E12C1JZC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite monkey theorem#X147, Zipf's law (statement)
History
- 2026-11-02: add by m2/dev
Q5EBE1S10M Q5EBE1S10M
| URI | m2://inv/Q5EBE1S10M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17408#OCYU (statement). In QR8H4M1X4N/e1, theorem 5.4
History
- 2026-10-28: add by m2/v0.4.2
fundamental theorem of calculus Q5EGG9FMKX
| URI | m2://inv/Q5EGG9FMKX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#AQLO, fundamental theorem of calculus (definition)
History
- 2026-11-02: add by m2/dev
Examples Q5EKA3Z42Z
| URI | m2://inv/Q5EKA3Z42Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonfirstorderizability#7JCY, Examples (example)
History
- 2026-11-02: add by m2/dev
Q5EQGCA6Q3 Q5EQGCA6Q3
| URI | m2://inv/Q5EQGCA6Q3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26017#0UMK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Implementation Q5EQYB6DHN
| URI | m2://inv/Q5EQYB6DHN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blocking (statistics)#QUYT, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Barrett O'Neill Q5ERJXZJSJ
| URI | m2://inv/Q5ERJXZJSJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barrett O'Neill, Barrett O'Neill (topic). Also Wikidata Q29050628
History
- 2026-11-02: add by m2/dev
Responsive set extension Q5EYEADB4Z
| URI | m2://inv/Q5EYEADB4Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Responsive set extension, Responsive set extension (definition). Also Wikidata Q28456116
History
- 2026-11-02: add by m2/dev
Initial population spectral rank and simplicity Q5FA5JB4AT
| URI | m2://inv/Q5FA5JB4AT |
|---|---|
| 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#ISBL, Initial population spectral rank and simplicity (statement). In T8E6F01RTM/e1, lemma H.1
History
- 2026-10-30: add by m2/v0.4.12
Q5FB9NE62P Q5FB9NE62P
| URI | m2://inv/Q5FB9NE62P |
|---|---|
| Kind | example |
| 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#U05K (example)
History
- 2026-11-02: add by m2/v0.6.18
Bounds from recentering Q5FHSJ1NX6
| URI | m2://inv/Q5FHSJ1NX6 |
|---|---|
| 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.35631#Y8SR, Bounds from recentering (statement). In 9NCX0S6MTP/e1, lemma D.2
History
- 2026-10-30: add by m2/v0.4.12
Tabula recta Q5FMM58NNW
| URI | m2://inv/Q5FMM58NNW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tabula recta, Tabula recta (definition). Also Wikidata Q3708937
History
- 2026-11-02: add by m2/dev
algebra over a commutative ring Q5FP73T5CN
| URI | m2://inv/Q5FP73T5CN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Ring Theory > Algebra > algebra over a commutative ring, algebra over a commutative ring (unknown)
History
- 2026-10-26: add by m2/dev
Q5FY9TP4FN Q5FY9TP4FN
| URI | m2://inv/Q5FY9TP4FN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14783#XCS3 (statement). In Y3X5XY2J65/e1, corollary 4.3
History
- 2026-10-28: add by m2/v0.4.2
Q5FYW9NA1Q Q5FYW9NA1Q
| URI | m2://inv/Q5FYW9NA1Q |
|---|---|
| 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.33953#5SNR (statement). In QS8R9BEJ8N/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
MCSE under MCMC Q5G0PECC60
| URI | m2://inv/Q5G0PECC60 |
|---|---|
| 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.17403#7220, MCSE under MCMC (statement). In 9EMNMAW8YH/e1, theorem 19
History
- 2026-10-28: add by m2/v0.4.2
Ross's conjecture Q5G0V85H65
| URI | m2://inv/Q5G0V85H65 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#33XC, Ross's conjecture (statement)
History
- 2026-11-02: add by m2/dev
Merton model Q5G1EV1VZQ
| URI | m2://inv/Q5G1EV1VZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Merton model, Merton model (definition). Also Wikidata Q85784999
History
- 2026-11-02: add by m2/dev
Q5G2A37WPV Q5G2A37WPV
| URI | m2://inv/Q5G2A37WPV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.15365#0N24 (example). In R2XC1SC9NZ/e1, example 4
History
- 2026-10-27: add by m2/v0.3.5
automorphism, of $\bool$, nonidentity Q5G8Q1R8C2
| URI | m2://inv/Q5G8Q1R8C2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.13/automorphism-of-bool-nonidentity, automorphism, of $\bool$, nonidentity (concept). In N54F33XE07, index, section 5.13
History
- 2026-11-01: add by m2/v0.6.13
Principles of mental causality Q5GBTPKE00
| URI | m2://inv/Q5GBTPKE00 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilhelm Wundt#JM39, Principles of mental causality (statement)
History
- 2026-11-02: add by m2/dev
Definitions Q5GCJFWRNF
| URI | m2://inv/Q5GCJFWRNF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square wave (waveform)#XQXD, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Crossing Numbers of Graphs Q5GGGR780C
| URI | m2://inv/Q5GGGR780C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crossing Numbers of Graphs, Crossing Numbers of Graphs (definition). Also Wikidata Q96375696
History
- 2026-11-02: add by m2/dev
W. Scott Stornetta Q5GS0SVV8Q
| URI | m2://inv/Q5GS0SVV8Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia W. Scott Stornetta, W. Scott Stornetta (topic). Also Wikidata Q100144351
History
- 2026-11-02: add by m2/dev
Q5GS1ZT70N Q5GS1ZT70N
| URI | m2://inv/Q5GS1ZT70N |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06521#NLIC (example). In NVXWD513NM/e1, example 5.4
History
- 2026-10-29: add by m2/v0.4.10
Q5GSC208CR Q5GSC208CR
| URI | m2://inv/Q5GSC208CR |
|---|---|
| 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#ZSJH (statement). In D0F1GK5AHW/e1, proposition E.2
History
- 2026-10-29: add by m2/v0.4.10
Q5GVQAZWA8 Q5GVQAZWA8
| URI | m2://inv/Q5GVQAZWA8 |
|---|---|
| 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.38069#WVJD (statement). In K0E0H4RV6Y/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
Definitions Q5GWNMQTEB
| URI | m2://inv/Q5GWNMQTEB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holonomic function#FGAC, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Generalization Q5GY10YAAG
| URI | m2://inv/Q5GY10YAAG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Funk transform#ACEW, Generalization (statement)
History
- 2026-11-02: add by m2/dev
intersection Q5GZFD34KG
| URI | m2://inv/Q5GZFD34KG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#RZ07, intersection (definition)
History
- 2026-11-02: add by m2/dev
ReLU approximation on a fixed-dimensional compact set Q5HAFPY814
| URI | m2://inv/Q5HAFPY814 |
|---|---|
| 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.31458#MQBW, ReLU approximation on a fixed-dimensional compact set (statement). In SNWC76WKWT/e1, lemma H.1
History
- 2026-10-31: add by m2/v0.5.6
Q5HDB4RD9J Q5HDB4RD9J
| URI | m2://inv/Q5HDB4RD9J |
|---|---|
| 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.03272#OVPI (statement). In H9ZC46G7BX/e1, lemma 4.7
History
- 2026-10-29: add by m2/v0.4.12
Q5HF43KD6F Q5HF43KD6F
| URI | m2://inv/Q5HF43KD6F |
|---|---|
| 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 2002.01498#AE39 (statement). In 2H7TQ695XW/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
Leonhard Euler Q5HF7CG55G
| URI | m2://inv/Q5HF7CG55G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#E4PT, Leonhard Euler (topic)
- wikipedia: Wikipedia List of real analysis topics#AXV3, Leonhard Euler (topic)
History
- 2026-11-02: add by m2/dev
Rectified 8-simplexes Q5HNZMXRYH
| URI | m2://inv/Q5HNZMXRYH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified 8-simplexes, Rectified 8-simplexes (definition). Also Wikidata Q7303169
History
- 2026-11-02: add by m2/dev
Q5HPTBENAE Q5HPTBENAE
| URI | m2://inv/Q5HPTBENAE |
|---|---|
| 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.08424#RNSL (statement). In BVD2HAAKD5/e1, proposition 1.5
History
- 2026-10-29: add by m2/v0.4.10
Q5HQ7365ZH Q5HQ7365ZH
| URI | m2://inv/Q5HQ7365ZH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38475#32SW (statement). In X2AAB9KZ4R/e1, proposition 2.2
History
- 2026-10-30: add by m2/v0.4.12
Journal of Differential Equations Q5HQK2G008
| URI | m2://inv/Q5HQK2G008 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Journal of Differential Equations, Journal of Differential Equations (definition)
History
- 2026-11-02: add by m2/dev
Diffie–Hellman key exchange Q5HS28Q11J
| URI | m2://inv/Q5HS28Q11J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Diffie–Hellman key exchange 01TKKESHSB |
Mentions
- wikidata: Wikidata Q623447, Diffie–Hellman key exchange (unknown). Also MathWorld Diffie-HellmanProtocol
- wikipedia: Wikipedia Diffie–Hellman key exchange, Diffie–Hellman key exchange (definition). Also Wikidata Q623447
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Properties Q5HWNGGJSC
| URI | m2://inv/Q5HWNGGJSC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aperiodic finite-state automaton#6BDE, Properties (statement)
History
- 2026-11-02: add by m2/dev
Q5HXERQ6CB Q5HXERQ6CB
| URI | m2://inv/Q5HXERQ6CB |
|---|---|
| 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.18078#0EPG (statement). In YVK8EFSYNJ/e1, theorem 8.3
History
- 2026-10-28: add by m2/v0.4.2
Baruch Solomon Löwenstein Q5JC8453T5
| URI | m2://inv/Q5JC8453T5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#GMSZ, Baruch Solomon Löwenstein (topic)
History
- 2026-11-02: add by m2/dev
Q5JM6GNS3D Q5JM6GNS3D
| URI | m2://inv/Q5JM6GNS3D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2610.15434#3116 (statement). In PWF23QSGDX/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Q5JMFX1QB9 Q5JMFX1QB9
| URI | m2://inv/Q5JMFX1QB9 |
|---|---|
| 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.14068#00ZA (statement). In JF19FEH3SW/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Q5JN4ARM0V Q5JN4ARM0V
| URI | m2://inv/Q5JN4ARM0V |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#proof-9 (proof). In RZP28ERRZV, proof, section 95.5
History
- 2026-11-01: add by m2/v0.6.13
Formulas Q5JNMC9XN3
| URI | m2://inv/Q5JNMC9XN3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Effective medium approximations#ZTNQ, Formulas (statement)
History
- 2026-11-02: add by m2/dev
Q5JX7DAS6P Q5JX7DAS6P
| URI | m2://inv/Q5JX7DAS6P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#example:nto1overn (example). In E59CDZA4DP, example, section 10.2.4
History
- 2026-11-01: add by m2/v0.6.13
Q5K2CPHZR2 Q5K2CPHZR2
| URI | m2://inv/Q5K2CPHZR2 |
|---|---|
| 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.24206#2AE0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Elizabeth A. Stuart Q5K32T4V7K
| URI | m2://inv/Q5K32T4V7K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elizabeth A. Stuart, Elizabeth A. Stuart (topic). Also Wikidata Q26702646
History
- 2026-11-02: add by m2/dev
Q5K6PJ7J00 Q5K6PJ7J00
| URI | m2://inv/Q5K6PJ7J00 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability.tex#prop:provability (statement). In PKGMM3P5QY, prop, section 8.10
History
- 2026-11-01: add by m2/v0.6.13
Newton diagram Q5KB7MT5AA
| URI | m2://inv/Q5KB7MT5AA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curve sketching#L168, Newton diagram (unknown)
History
- 2026-11-02: add by m2/dev
perfect partition Q5KGJDD1WF
| URI | m2://inv/Q5KGJDD1WF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q112977092, perfect partition (unknown). Also MathWorld PerfectPartition
History
- 2026-10-26: add by m2/dev
Q5KPX8HMCX Q5KPX8HMCX
| URI | m2://inv/Q5KPX8HMCX |
|---|---|
| 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.24212#86QR (statement)
History
- 2026-11-01: add by m2/v0.6.15
affine geometry Q5M3THKWEV
| URI | m2://inv/Q5M3THKWEV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q382520, affine geometry (unknown). Also MathWorld AffineGeometry
- wikipedia: Wikipedia Affine geometry, Affine geometry (definition). Also Wikidata Q382520
History
- 2026-10-26: add by m2/dev
Q5M6B163Q8 Q5M6B163Q8
| URI | m2://inv/Q5M6B163Q8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05232#PKP7 (statement). In DA3VN96YX2/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.10
diffeomorphism Q5M9Y4BYG4
| URI | m2://inv/Q5M9Y4BYG4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Diffeomorphism 0KZZ70ZHXP |
Mentions
- wikidata: Wikidata Q1058314, diffeomorphism (definition). Also nLab diffeomorphism, ProofWiki Definition:Diffeomorphism
- wikipedia: Wikipedia Diffeomorphism, Diffeomorphism (definition). Also Wikidata Q1058314
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
definable Q5MTAE46DZ
| URI | m2://inv/Q5MTAE46DZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#0K61, definable (definition)
History
- 2026-11-02: add by m2/dev
Bakhshali manuscript Q5MXAGBW72
| URI | m2://inv/Q5MXAGBW72 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q115690, Bakhshali manuscript (unknown). Also ProofWiki Book:Anonymous/Bakhshali_Manuscript
- wikipedia: Wikipedia Bakhshali manuscript, Bakhshali manuscript (definition). Also Wikidata Q115690
History
- 2026-10-26: add by m2/dev
Shifted-ray estimates Q5N34FHN0F
| URI | m2://inv/Q5N34FHN0F |
|---|---|
| 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.28251#H9E2, Shifted-ray estimates (statement)
History
- 2026-11-01: add by m2/v0.6.15
Jobson, Alexander Q5N55Q1Z8A
| URI | m2://inv/Q5N55Q1Z8A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#2X0B, Jobson, Alexander (unknown)
History
- 2026-11-02: add by m2/dev
Network Security Services Q5N6KF0N48
| URI | m2://inv/Q5N6KF0N48 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Network Security Services, Network Security Services (definition). Also Wikidata Q7000904
History
- 2026-11-02: add by m2/dev
Maclaurin–Cauchy test Q5NB29BDTH
| URI | m2://inv/Q5NB29BDTH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#0DXT, Maclaurin–Cauchy test (definition)
History
- 2026-11-02: add by m2/dev
Metric formulas Q5NDW3WQG7
| URI | m2://inv/Q5NDW3WQG7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disphenoid#XP1B, Metric formulas (statement)
History
- 2026-11-02: add by m2/dev
Elimination of variables in systems of linear equations Q5NGX8X1HF
| URI | m2://inv/Q5NGX8X1HF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia System of linear equations#1V6Q, Elimination of variables in systems of linear equations (unknown)
History
- 2026-11-02: add by m2/dev
Q5P0B20QWQ Q5P0B20QWQ
| URI | m2://inv/Q5P0B20QWQ |
|---|---|
| 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#ZDTJ (statement). In FT53PMB1TE/e1, corollary 1.1.8
History
- 2026-10-29: add by m2/v0.4.10
Free abelian group Q5P1X1JAGJ
| URI | m2://inv/Q5P1X1JAGJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#JK3S, Free abelian group (definition)
History
- 2026-11-02: add by m2/dev
Q5P6AF2850 Q5P6AF2850
| URI | m2://inv/Q5P6AF2850 |
|---|---|
| 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#RD7V (statement). In 3K84E4150C/e1, theorem 4.8
History
- 2026-10-28: add by m2/v0.4.2
Q5PHEAAZ93 Q5PHEAAZ93
| URI | m2://inv/Q5PHEAAZ93 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.40200#9DV8 (statement). In VWNB6QJWFN/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Q5PMSPQGAF Q5PMSPQGAF
| URI | m2://inv/Q5PMSPQGAF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10546#753L (example). In K5R5RRPMQ5/e1, example 3.1
History
- 2026-10-29: add by m2/v0.4.10
Chaffing and winnowing Q5PPTPJNH1
| URI | m2://inv/Q5PPTPJNH1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chaffing and winnowing, Chaffing and winnowing (definition). Also Wikidata Q2313738
History
- 2026-11-02: add by m2/dev
Q5PQM66SYQ Q5PQM66SYQ
| URI | m2://inv/Q5PQM66SYQ |
|---|---|
| Kind | definition |
| 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 0903.1504#L66F (definition). In D5YZ438QTY/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.5
Q5Q1Z1JG23 Q5Q1Z1JG23
| URI | m2://inv/Q5Q1Z1JG23 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14681#5DT0 (definition). In 459W0NBS5Q/e1, definition 4
History
- 2026-10-28: add by m2/v0.4.2
Run chart Q5Q4Z168G4
| URI | m2://inv/Q5Q4Z168G4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Run chart, Run chart (definition). Also Wikidata Q7379549
History
- 2026-11-02: add by m2/dev
Q5Q8MZN8MH Q5Q8MZN8MH
| URI | m2://inv/Q5Q8MZN8MH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38061#66W0 (statement). In XFBW60M3AR/e1, proposition 1.3
History
- 2026-10-30: add by m2/v0.4.12
Q5QEJ7BCJW Q5QEJ7BCJW
| URI | m2://inv/Q5QEJ7BCJW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.31413#SFUN (statement). In 1C68G64QZS/e1, lemma 2
History
- 2026-10-31: add by m2/v0.5.6
Q5QHDATTC1 Q5QHDATTC1
| URI | m2://inv/Q5QHDATTC1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-53 (exercise). In E9HS8K3A52, exercise, section 5.4.4
History
- 2026-11-01: add by m2/v0.6.13
Q5QKGHYB56 Q5QKGHYB56
| URI | m2://inv/Q5QKGHYB56 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05184#JZNQ (definition). In JK425E1F77/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
chromatic number Q5QQG2QSB5
| URI | m2://inv/Q5QQG2QSB5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.4/chromatic-number, chromatic number (concept). In Y91XFCEVHQ, index, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
Trapdoor function Q5QR5ZPXDR
| URI | m2://inv/Q5QR5ZPXDR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trapdoor function, Trapdoor function (definition). Also Wikidata Q627620
History
- 2026-11-02: add by m2/dev
Q5QSBK6GD5 Q5QSBK6GD5
| URI | m2://inv/Q5QSBK6GD5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#CS1N (example). In VN084GGZGK/e1, example 3.4
History
- 2026-10-28: add by m2/v0.4.3
Q5QSGRMJ56 Q5QSGRMJ56
| URI | m2://inv/Q5QSGRMJ56 |
|---|---|
| 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 2504.00267#BITO (statement). In 38XJWDZ2PH/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.3.5
Q5R5ZB1H1Q Q5R5ZB1H1Q
| URI | m2://inv/Q5R5ZB1H1Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34193#BS95 (statement). In 9XMZTTSF5E/e1, lemma B.9
History
- 2026-10-30: add by m2/v0.4.12
Abrikosov vortex Q5R61STFDW
| URI | m2://inv/Q5R61STFDW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abrikosov vortex, Abrikosov vortex (definition). Also Wikidata Q844575
History
- 2026-11-02: add by m2/dev
Definitions Q5RJHPRBWV
| URI | m2://inv/Q5RJHPRBWV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interval (mathematics)#YBV6, Definitions (definition)
History
- 2026-11-02: add by m2/dev
axiom, of choice Q5RRCB3NSJ
| URI | m2://inv/Q5RRCB3NSJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.5/axiom-of-choice, axiom, of choice (concept). In N54F33XE07, index, section C.1.5
History
- 2026-11-01: add by m2/v0.6.13
Quasi-compact Q5RZ58BY4E
| URI | m2://inv/Q5RZ58BY4E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact space#JZI7, Quasi-compact (unknown)
History
- 2026-11-02: add by m2/dev
Thom–Mather stratified space Q5S14KKNQJ
| URI | m2://inv/Q5S14KKNQJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thom–Mather stratified space, Thom–Mather stratified space (definition). Also Wikidata Q7825045
History
- 2026-11-02: add by m2/dev
Two Fundamental Questions Q5S51BYPCW
| URI | m2://inv/Q5S51BYPCW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section1-4.xml#fundamental-questions, Two Fundamental Questions (example). In 649HGZKE96, question, section 1.4.1
History
- 2026-11-01: add by m2/v0.6.13
Special right triangles Q5S5SM8EN4
| URI | m2://inv/Q5S5SM8EN4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#76B7, Special right triangles (definition)
- wikipedia: Wikipedia List of mathematical shapes#TTCS, Special right triangles (definition)
History
- 2026-11-02: add by m2/dev
Formulation Q5S6TPS7ZF
| URI | m2://inv/Q5S6TPS7ZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leopoldt's conjecture#QZOM, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Realization Q5SD5RSPBB
| URI | m2://inv/Q5SD5RSPBB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Realization (systems), Realization (definition). Also Wikidata Q6554322
History
- 2026-11-02: add by m2/dev
Design patterns in Prolog Q5SDKKM2G6
| URI | m2://inv/Q5SDKKM2G6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prolog#GDR7, Design patterns in Prolog (unknown)
History
- 2026-11-02: add by m2/dev
Q5SGG4Q6Q0 Q5SGG4Q6Q0
| URI | m2://inv/Q5SGG4Q6Q0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20932#6EZ4 (statement). In FV78KV64B9/e1, proposition 8.2
History
- 2026-10-27: add by m2/v0.4.2
A positive-measure lower bound Q5SY57ZEW4
| URI | m2://inv/Q5SY57ZEW4 |
|---|---|
| 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.29047#GEZ4, A positive-measure lower bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
Q5T3Z657MN Q5T3Z657MN
| URI | m2://inv/Q5T3Z657MN |
|---|---|
| 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 1905.00573#2EEQ (statement). In 74RNQVBM2G/e1, theorem 3.11
History
- 2026-10-27: add by m2/v0.3.5
Conservatism and saturation indication Q5T8GCF56K
| URI | m2://inv/Q5T8GCF56K |
|---|---|
| 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.21580#W44C, Conservatism and saturation indication (statement)
History
- 2026-11-02: add by m2/v0.6.18
Function problem Q5V4W7WBHA
| URI | m2://inv/Q5V4W7WBHA |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function problem, Function problem (problem). Also Wikidata Q906766
History
- 2026-11-02: add by m2/dev
Common zeros and occurrence loci Q5V507R52F
| URI | m2://inv/Q5V507R52F |
|---|---|
| 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.33327#IIG3, Common zeros and occurrence loci (statement). In A5R31P82BK/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Center of mass Q5VBPZBWZD
| URI | m2://inv/Q5VBPZBWZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Center of mass, Center of mass (definition). Also Wikidata Q2945123
History
- 2026-11-02: add by m2/dev
Q5VFDDR29T Q5VFDDR29T
| URI | m2://inv/Q5VFDDR29T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35682#7JXX (definition). In 7XM8WXVBWK/e1, definition 2.6
History
- 2026-10-30: add by m2/v0.4.12
Pandya theorem Q5VHFWSSHV
| URI | m2://inv/Q5VHFWSSHV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#VI4W, Pandya theorem (statement)
History
- 2026-11-02: add by m2/dev
Q5VWN6B7DH Q5VWN6B7DH
| URI | m2://inv/Q5VWN6B7DH |
|---|---|
| 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.15167#6UJ4 (statement). In 4ME94TPA7R/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Q5VY17K4SG Q5VY17K4SG
| URI | m2://inv/Q5VY17K4SG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/normal-form.tex#thm-1 (statement). In PKGMM3P5QY, thm, section 3.10
History
- 2026-11-01: add by m2/v0.6.13
Q5VY35WR6F Q5VY35WR6F
| URI | m2://inv/Q5VY35WR6F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-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.25289#AF5W (statement)
History
- 2026-11-01: add by m2/v0.6.15
Q5VZ7WQ9VX Q5VZ7WQ9VX
| URI | m2://inv/Q5VZ7WQ9VX |
|---|---|
| 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.20126#OJFT (statement). In KVXDWX9B11/e1, proposition 2.6
History
- 2026-10-27: add by m2/v0.4.2
Q5W0KB2VD8 Q5W0KB2VD8
| URI | m2://inv/Q5W0KB2VD8 |
|---|---|
| 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.06441#FKA6 (statement). In YFJ62HWHVK/e1, lemma 3.10
History
- 2026-10-29: add by m2/v0.4.10
Hierarchy Q5W3ZEWNVY
| URI | m2://inv/Q5W3ZEWNVY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hierarchy (mathematics), Hierarchy (definition). Also Wikidata Q3138724
History
- 2026-11-02: add by m2/dev
Q5W535QE8P Q5W535QE8P
| URI | m2://inv/Q5W535QE8P |
|---|---|
| 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.33820#HA6Q (statement). In S2ZMJENDHA/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
Q5W5R9FZT2 Q5W5R9FZT2
| URI | m2://inv/Q5W5R9FZT2 |
|---|---|
| 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.12138#K98A (statement). In KFAR8SMVYM/e1, statement
History
- 2026-10-28: add by m2/v0.4.2
Luminiferous aether Q5W8VK92VP
| URI | m2://inv/Q5W8VK92VP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#2BAZ, Luminiferous aether (unknown)
History
- 2026-11-02: add by m2/dev
Q5WMVX5RG8 Q5WMVX5RG8
| URI | m2://inv/Q5WMVX5RG8 |
|---|---|
| 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.39347#RVHG (statement). In KBBA2FKDBH/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Q5WVQZY68Q Q5WVQZY68Q
| URI | m2://inv/Q5WVQZY68Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-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 2609.20725#K7B8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Designs from $\PSL(n,q)$ on projective space Q5X4M36N7J
| URI | m2://inv/Q5X4M36N7J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15340#SVQG, Designs from $\PSL(n,q)$ on projective space (statement). In 9NVKKW8HDH/e1, corollary 2.27
History
- 2026-10-28: add by m2/v0.4.2
Q5X6GPBZ2V Q5X6GPBZ2V
| URI | m2://inv/Q5X6GPBZ2V |
|---|---|
| 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.21692#BAMC (definition)
History
- 2026-11-02: add by m2/v0.6.18
Kendall's W Q5X7ZN9ZG4
| URI | m2://inv/Q5X7ZN9ZG4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kendall's W, Kendall's W (definition). Also Wikidata Q669273
History
- 2026-11-02: add by m2/dev
Applications Q5X831DE3M
| URI | m2://inv/Q5X831DE3M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed-subgroup theorem#Y9D8, Applications (example)
History
- 2026-11-02: add by m2/dev
Q5XBV7MFDP Q5XBV7MFDP
| URI | m2://inv/Q5XBV7MFDP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15037#DO47 (statement). In 9XCA9T80GJ/e1, theorem 3.2.2
History
- 2026-10-28: add by m2/v0.4.2
Eric W. Weisstein Q5XFJFBA46
| URI | m2://inv/Q5XFJFBA46 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7H5E, Eric W. Weisstein (topic)
History
- 2026-11-02: add by m2/dev
Q5XKCPA35F Q5XKCPA35F
| URI | m2://inv/Q5XKCPA35F |
|---|---|
| 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.18287#R0I1 (statement). In ZXZN6RMN38/e1, lemma 12
History
- 2026-10-28: add by m2/v0.4.2
local graphs Q5XPP6SHBE
| URI | m2://inv/Q5XPP6SHBE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Submanifolds of $\R^n$ > local graphs, local graphs (unknown)
History
- 2026-10-26: add by m2/dev
Eberhard Melchior Q5XQBDQPXQ
| URI | m2://inv/Q5XQBDQPXQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eberhard Melchior, Eberhard Melchior (topic). Also Wikidata Q5331790
History
- 2026-11-02: add by m2/dev
\ddot Q5XSDEETS7
| URI | m2://inv/Q5XSDEETS7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#XYG6, \ddot (definition)
History
- 2026-11-02: add by m2/dev
Leslie McClure Q5XSWDAXW8
| URI | m2://inv/Q5XSWDAXW8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leslie McClure, Leslie McClure (topic). Also Wikidata Q100731155
History
- 2026-11-02: add by m2/dev
Q5Y2PRFAGZ Q5Y2PRFAGZ
| URI | m2://inv/Q5Y2PRFAGZ |
|---|---|
| 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.26033#QQK1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Maurits Joost Belinfante Q5Y5PM7YY0
| URI | m2://inv/Q5Y5PM7YY0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#M957, Maurits Joost Belinfante (unknown)
History
- 2026-11-02: add by m2/dev
Richard Ferrybridge Q5YABDP4CS
| URI | m2://inv/Q5YABDP4CS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#SK5J, Richard Ferrybridge (topic)
History
- 2026-11-02: add by m2/dev
Q5YC28431A Q5YC28431A
| URI | m2://inv/Q5YC28431A |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2602.07485#XV0L (example). In 8KAC1E81JQ/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
Star spectrum Q5YCTH54K8
| URI | m2://inv/Q5YCTH54K8 |
|---|---|
| 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 2610.14373#GANJ, Star spectrum (statement). In 77TK7M3B9Y/e1, theorem 7
History
- 2026-10-28: add by m2/v0.4.2
pure state Q5YKZ3E20W
| URI | m2://inv/Q5YKZ3E20W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q456782, pure state (unknown). Also nLab pure state
History
- 2026-10-26: add by m2/dev
Weighted stochastic-flow multiplier Q5YMV1HK0D
| URI | m2://inv/Q5YMV1HK0D |
|---|---|
| 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.09278#XCPO, Weighted stochastic-flow multiplier (statement). In XREKHJHAT7/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
Applications Q5Z87H8TGV
| URI | m2://inv/Q5Z87H8TGV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean algebra#5ARD, Applications (example)
History
- 2026-11-02: add by m2/dev
Common translation Q5ZA6PWDNG
| URI | m2://inv/Q5ZA6PWDNG |
|---|---|
| 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.10408#G5WF, Common translation (statement). In H976NYKBNT/e1, lemma 18
History
- 2026-10-29: add by m2/v0.4.10
Illicit minor Q5ZAH72A8V
| URI | m2://inv/Q5ZAH72A8V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#JRID, Illicit minor (definition)
History
- 2026-11-02: add by m2/dev
Deflated PSD projection Q5ZJPC9KC5
| URI | m2://inv/Q5ZJPC9KC5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21102#4RCV, Deflated PSD projection (statement)
History
- 2026-11-02: add by m2/v0.6.18
Do, Kim-Anh Q5ZKH81A7N
| URI | m2://inv/Q5ZKH81A7N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#P2FG, Do, Kim-Anh (unknown)
History
- 2026-11-02: add by m2/dev
Q5ZP1CR3A1 Q5ZP1CR3A1
| URI | m2://inv/Q5ZP1CR3A1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_gt-trees.ptx#investigation-1 (exercise). In Y91XFCEVHQ, investigation, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
Q5ZR3PX62M Q5ZR3PX62M
| URI | m2://inv/Q5ZR3PX62M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0902.4012#2L2V (definition). In 6FH16YESRH/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Q5ZTGGGJ39 Q5ZTGGGJ39
| URI | m2://inv/Q5ZTGGGJ39 |
|---|---|
| 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 2609.27056#UX1J (statement)
History
- 2026-11-01: add by m2/v0.6.15
Q5ZV03QHSW Q5ZV03QHSW
| URI | m2://inv/Q5ZV03QHSW |
|---|---|
| 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#C5NJ (statement). In W99XBH6X5N/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.4.0
Special Cases Q5ZXD4PRFF
| URI | m2://inv/Q5ZXD4PRFF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skewed generalized t distribution#9A5O, Special Cases (statement)
History
- 2026-11-02: add by m2/dev
Q5ZYFAXTCT Q5ZYFAXTCT
| URI | m2://inv/Q5ZYFAXTCT |
|---|---|
| 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.33953#0E9N (statement). In QS8R9BEJ8N/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.5