Inventory rows 35
The cards of the rows of the inventory whose ids start with 35. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
3503E77AHM 3503E77AHM
| URI | m2://inv/3503E77AHM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12430#UQTJ (statement). In VGKCBWQ65N/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
convex-affine potentials as perturbations of truncated potentials 350EW1QBJE
| URI | m2://inv/350EW1QBJE |
|---|---|
| Kind | example |
| 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 2210.06147#RZSC, convex-affine potentials as perturbations of truncated potentials (example). In 94RBNQA07A/e1, example 4.8
History
- 2026-10-27: add by m2/v0.3.5
350GGWDH7F 350GGWDH7F
| URI | m2://inv/350GGWDH7F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18246#IJ1H (statement). In SN6F0MPPVF/e1, corollary A.2
History
- 2026-10-28: add by m2/v0.4.2
Eliyahu Rips 350SQKHM6Q
| URI | m2://inv/350SQKHM6Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CJDV, Eliyahu Rips (topic)
History
- 2026-11-02: add by m2/dev
Todd–Coxeter algorithm 350TC58KHR
| URI | m2://inv/350TC58KHR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#Z83H, Todd–Coxeter algorithm (definition)
History
- 2026-11-02: add by m2/dev
350VJX5KPE 350VJX5KPE
| URI | m2://inv/350VJX5KPE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27192#0LYR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Non-asymptotic channel-coding achievability 350ZMRFQE4
| URI | m2://inv/350ZMRFQE4 |
|---|---|
| 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.38725#J88H, Non-asymptotic channel-coding achievability (statement). In 2Q5WSEAKGP/e1, proposition 6
History
- 2026-10-30: add by m2/v0.4.12
351EY38MVA 351EY38MVA
| URI | m2://inv/351EY38MVA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-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.25761#JV8Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
relatively prime 351KQS3RPD
| URI | m2://inv/351KQS3RPD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#NMQR, relatively prime (definition)
History
- 2026-11-02: add by m2/dev
351NJT1SDA 351NJT1SDA
| URI | m2://inv/351NJT1SDA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03756#1DLE (statement). In 2381M4GBTT/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.12
Verma module 351Q1YXRQT
| URI | m2://inv/351Q1YXRQT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7921510, Verma module (unknown). Also nLab Verma module
- wikipedia: Wikipedia Verma module, Verma module (definition). Also Wikidata Q7921510
History
- 2026-10-26: add by m2/dev
Examples 351Q2TG30T
| URI | m2://inv/351Q2TG30T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential equations of addition#PKZK, Examples (example)
History
- 2026-11-02: add by m2/dev
Demographic crisis of Ukraine 351W3TX07E
| URI | m2://inv/351W3TX07E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Ukraine#45JH, Demographic crisis of Ukraine (unknown)
History
- 2026-11-02: add by m2/dev
351WXB47NQ 351WXB47NQ
| URI | m2://inv/351WXB47NQ |
|---|---|
| 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#K9QA (statement). In TWGMVT1N1G/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
List of research centers at Boston College 3525YYNNDQ
| URI | m2://inv/3525YYNNDQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of research centers at Boston College, List of research centers at Boston College (topic). Also Wikidata Q7315152
History
- 2026-11-02: add by m2/dev
3528DR72H4 3528DR72H4
| URI | m2://inv/3528DR72H4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#proof-1 (proof). In E59CDZA4DP, proof, section 2.1.1
History
- 2026-11-01: add by m2/v0.6.13
352A89ER3M 352A89ER3M
| URI | m2://inv/352A89ER3M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/examples.tex#prop-7 (statement). In PKGMM3P5QY, prop, section 3.20
History
- 2026-11-01: add by m2/v0.6.13
Hsiao-Lan Kuo 352BVZKQR1
| URI | m2://inv/352BVZKQR1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hsiao-Lan Kuo, Hsiao-Lan Kuo (topic). Also Wikidata Q5926501
History
- 2026-11-02: add by m2/dev
Trilinear Kakeya in $\RR^4$ 352JKQSS77
| URI | m2://inv/352JKQSS77 |
|---|---|
| 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#9FWB, Trilinear Kakeya in $\RR^4$ (statement). In 585QYGX4X6/e1, theorem 20
History
- 2026-10-28: add by m2/v0.4.2
Levenshtein coding 352NV871M5
| URI | m2://inv/352NV871M5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Levenshtein coding, Levenshtein coding (definition). Also Wikidata Q2635
History
- 2026-11-02: add by m2/dev
octavic 352WYHHBHP
| URI | m2://inv/352WYHHBHP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#ZXGZ, octavic (definition)
History
- 2026-11-02: add by m2/dev
Definitions 3530E9W86X
| URI | m2://inv/3530E9W86X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubical complex#QZU7, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Tarski's axioms 3533W6MXPT
| URI | m2://inv/3533W6MXPT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tarski's axioms, Tarski's axioms (statement). Also Wikidata Q7686757
History
- 2026-11-02: add by m2/dev
Invertibility of $\Xi$ 3537BMJMZ6
| URI | m2://inv/3537BMJMZ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25301#NAGZ, Invertibility of $\Xi$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Artinian 353E91SM6V
| URI | m2://inv/353E91SM6V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#0BSC, Artinian (definition)
History
- 2026-11-02: add by m2/dev
Risk-aware recommender system 353JK0QGR6
| URI | m2://inv/353JK0QGR6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recommender system#MLOZ, Risk-aware recommender system (unknown)
History
- 2026-11-02: add by m2/dev
direct product of groups 353S1MEC5E
| URI | m2://inv/353S1MEC5E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Group Theory > Basic definitions > direct product of groups, direct product of groups (unknown). Also Mathlib Prod.instGroup
History
- 2026-10-26: add by m2/dev
Epidemic model 353XRMN3D5
| URI | m2://inv/353XRMN3D5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#2NLF, Epidemic model (definition)
History
- 2026-11-02: add by m2/dev
Finite-sample local posterior-overlap bound 3548WZH5J0
| URI | m2://inv/3548WZH5J0 |
|---|---|
| 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.00117#J9LN, Finite-sample local posterior-overlap bound (statement). In 4G2BDP206S/e1, theorem 10
History
- 2026-10-30: add by m2/v0.4.12
$\cA_k$-distance from CDF error 354E5H7S9B
| URI | m2://inv/354E5H7S9B |
|---|---|
| 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.21033#54XK, $\cA_k$-distance from CDF error (statement). In A8C1M9BSWH/e1, lemma B.2
History
- 2026-10-27: add by m2/v0.4.2
Wolfgang Ziller 354EF4E29D
| URI | m2://inv/354EF4E29D |
|---|---|
| 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 Q89759707, Wolfgang Ziller (unknown). Also nLab Wolfgang Ziller
History
- 2026-10-26: add by m2/dev
354MPE9DPJ 354MPE9DPJ
| URI | m2://inv/354MPE9DPJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36113#2IML (statement). In FSGSVD0XYH/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Wang Qiming 354X5E6C9E
| URI | m2://inv/354X5E6C9E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wang Qiming, Wang Qiming (topic). Also Wikidata Q113288913
History
- 2026-11-02: add by m2/dev
3550NEFV89 3550NEFV89
| URI | m2://inv/3550NEFV89 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 01-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33529#YX4Z (unknown). In RQZGQG3PBR/e1, unknown II.12.8
History
- 2026-10-30: add by m2/v0.4.12
Applications of sensitivity analysis to model calibration 3559YJZCAM
| URI | m2://inv/3559YJZCAM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Applications of sensitivity analysis to model calibration, Applications of sensitivity analysis to model calibration (definition). Also Wikidata Q97354473
History
- 2026-11-02: add by m2/dev
355B6RQ9VD 355B6RQ9VD
| URI | m2://inv/355B6RQ9VD |
|---|---|
| Kind | definition |
| 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.10248#6ZBF (definition). In TMV74X2725/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Simultaneous diagonal lemma 355D5X84JY
| URI | m2://inv/355D5X84JY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diagonal lemma#D3R6, Simultaneous diagonal lemma (statement)
History
- 2026-11-02: add by m2/dev
355MZJP3HK 355MZJP3HK
| URI | m2://inv/355MZJP3HK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-252 (exercise). In VNMV985MXX, exercise, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Covariant derivative 355WK70DTZ
| URI | m2://inv/355WK70DTZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11911#EQE1, Covariant derivative (definition). In 5BYE5NYB89/e1, definition 2.11
History
- 2026-10-28: add by m2/v0.4.3
356FCD139Y 356FCD139Y
| URI | m2://inv/356FCD139Y |
|---|---|
| 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 2603.21971#522U (statement). In R6KSZ9H8CY/e1, lemma 6.8
History
- 2026-10-27: add by m2/v0.3.5
Chester Ittner Bliss 356VZV99GR
| URI | m2://inv/356VZV99GR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#LGWN, Chester Ittner Bliss (topic)
History
- 2026-11-02: add by m2/dev
Mobility formula 356ZMMHC0Y
| URI | m2://inv/356ZMMHC0Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebychev–Grübler–Kutzbach criterion#Y8Q2, Mobility formula (statement)
History
- 2026-11-02: add by m2/dev
Trihexagonal tiling 357DN537JR
| URI | m2://inv/357DN537JR |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trihexagonal tiling, Trihexagonal tiling (object). Also Wikidata Q3131849
History
- 2026-11-02: add by m2/dev
Consani–Scholten quintic 357FKRM5BN
| URI | m2://inv/357FKRM5BN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Consani–Scholten quintic, Consani–Scholten quintic (definition). Also Wikidata Q60791224
History
- 2026-11-02: add by m2/dev
357N393QZ7 357N393QZ7
| URI | m2://inv/357N393QZ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.12612#FO00 (statement). In 8A0VZV8PBN/e1, proposition 8.1
History
- 2026-10-28: add by m2/v0.4.2
Argument from desire 357SCWB8KN
| URI | m2://inv/357SCWB8KN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argument from desire, Argument from desire (definition). Also Wikidata Q4789739
History
- 2026-11-02: add by m2/dev
357Y2GJMS9 357Y2GJMS9
| URI | m2://inv/357Y2GJMS9 |
|---|---|
| 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.23994#7DIL (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples 3582XG6FPG
| URI | m2://inv/3582XG6FPG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local martingale#FWA1, Examples (example)
History
- 2026-11-02: add by m2/dev
Beurling zeta function 35831QQ0XZ
| URI | m2://inv/35831QQ0XZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of zeta functions#N5SY, Beurling zeta function (definition)
History
- 2026-11-02: add by m2/dev
Order-independent transparency 3585MN75P2
| URI | m2://inv/3585MN75P2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#WCBQ, Order-independent transparency (unknown)
History
- 2026-11-02: add by m2/dev
Decorrelation across disjoint affine sections 358BZW3VC6
| URI | m2://inv/358BZW3VC6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#RIHJ, Decorrelation across disjoint affine sections (definition). In ZZER8ZBSCR/e1, definition 4.3
History
- 2026-10-29: add by m2/v0.4.12
358CG1E08B 358CG1E08B
| URI | m2://inv/358CG1E08B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.27125#F9LT (statement)
History
- 2026-11-01: add by m2/v0.6.15
358EHMGPFB 358EHMGPFB
| URI | m2://inv/358EHMGPFB |
|---|---|
| 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 2601.15403#DOZV (statement). In BSWNH3NW1M/e1, theorem 4.9
History
- 2026-10-27: add by m2/v0.4.0
function clone 358TZX05DG
| URI | m2://inv/358TZX05DG |
|---|---|
| Kind | definition |
| 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#1W43, function clone (definition). In GW23NX78SB/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Definition 358XFF81EE
| URI | m2://inv/358XFF81EE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mittag-Leffler summation#CUY7, Definition (definition)
History
- 2026-11-02: add by m2/dev
Reeb sphere theorem 35915YC2E4
| URI | m2://inv/35915YC2E4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reeb sphere theorem#M7RS, Reeb sphere theorem (statement)
History
- 2026-11-02: add by m2/dev
Q-matrix 3591DTRJXG
| URI | m2://inv/3591DTRJXG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q-matrix, Q-matrix (definition). Also Wikidata Q21071503
History
- 2026-11-02: add by m2/dev
James H. Wilkinson 3592VQYYC0
| URI | m2://inv/3592VQYYC0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#2G3Y, James H. Wilkinson (topic)
History
- 2026-11-02: add by m2/dev
A linear conditional eigenvalue with full support 3594TWCTPF
| URI | m2://inv/3594TWCTPF |
|---|---|
| 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#IUTE, A linear conditional eigenvalue with full support (statement). In 9YAE8FNQST/e1, proposition 25.3
History
- 2026-10-30: add by m2/v0.4.12
359NBZD1JS 359NBZD1JS
| URI | m2://inv/359NBZD1JS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04628#8W15 (statement). In MREZZ9NCY8/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.12
Functional completeness 359R3WP1X0
| URI | m2://inv/359R3WP1X0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#LNI1, Functional completeness (definition)
History
- 2026-11-02: add by m2/dev
359XS28AGP 359XS28AGP
| URI | m2://inv/359XS28AGP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/normalization/segments.tex#defn-3 (definition). In PKGMM3P5QY, defn, section 59.3
History
- 2026-11-01: add by m2/v0.6.13
Applications 35A0RK10D1
| URI | m2://inv/35A0RK10D1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electrical impedance tomography#77Q3, Applications (example)
History
- 2026-11-02: add by m2/dev
maximum principle, subharmonic functions 35A9T17YHK
| URI | m2://inv/35A9T17YHK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/2.4/maximum-principle-subharmonic-functions, maximum principle, subharmonic functions (concept). In VNMV985MXX, index, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Boolean value 35AF8F7RAS
| URI | m2://inv/35AF8F7RAS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean algebra#XH3U, Boolean value (unknown)
History
- 2026-11-02: add by m2/dev
Formal definitions 35AH94K6ZE
| URI | m2://inv/35AH94K6ZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real number#Z29M, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev
35ANSACZMF 35ANSACZMF
| URI | m2://inv/35ANSACZMF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01958#47FC (statement). In NQFYT2M6YZ/e1, proposition 3.13
History
- 2026-10-29: add by m2/v0.4.12
Andrea Asperti 35APQHY56X
| URI | m2://inv/35APQHY56X |
|---|---|
| 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 Q57066096, Andrea Asperti (unknown). Also nLab Andrea Asperti
History
- 2026-10-26: add by m2/dev
\textbf{Fully marginal causal effect estimation 35AT2N9D9X
| URI | m2://inv/35AT2N9D9X |
|---|---|
| Kind | example |
| 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 2306.17260#9V5Z, \textbf{Fully marginal causal effect estimation (example). In V0T2SY4M6S/e1, example 3.5
History
- 2026-10-27: add by m2/v0.3.5
Lie algebra cohomology 35AVSM6Y93
| URI | m2://inv/35AVSM6Y93 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6543809, Lie algebra cohomology (unknown). Also nLab Lie algebra cohomology
- wikipedia: Wikipedia Lie algebra cohomology, Lie algebra cohomology (definition). Also Wikidata Q6543809
History
- 2026-10-26: add by m2/dev
35AZMDWZ76 35AZMDWZ76
| URI | m2://inv/35AZMDWZ76 |
|---|---|
| Kind | definition |
| 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#9UHP (definition). In VWNB6QJWFN/e1, definition 1.1
History
- 2026-10-30: add by m2/v0.4.12
Abraham Joseph Menz 35B4H22X69
| URI | m2://inv/35B4H22X69 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abraham Joseph Menz, Abraham Joseph Menz (topic). Also Wikidata Q55603100
History
- 2026-11-02: add by m2/dev
Lorraine Denby 35B6FX7YDR
| URI | m2://inv/35B6FX7YDR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lorraine Denby, Lorraine Denby (topic). Also Wikidata Q102198008
History
- 2026-11-02: add by m2/dev
35BE3YNFN8 35BE3YNFN8
| URI | m2://inv/35BE3YNFN8 |
|---|---|
| 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.35323#28HE (statement). In 5CKPXBWSCX/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
Fubini's theorem 35BPWJS9G1
| URI | m2://inv/35BPWJS9G1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of integration and measure theory topics#F0H5, Fubini's theorem (statement)
History
- 2026-11-02: add by m2/dev
Equal-marginal collapse 35BREKXNAM
| URI | m2://inv/35BREKXNAM |
|---|---|
| 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.04027#HUIK, Equal-marginal collapse (statement). In DQB4YR2DFH/e1, proposition 12.1
History
- 2026-10-29: add by m2/v0.4.12
Examples 35BZWSNZBE
| URI | m2://inv/35BZWSNZBE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Claw-free graph#D01L, Examples (example)
History
- 2026-11-02: add by m2/dev
35C7MSY4TY 35C7MSY4TY
| URI | m2://inv/35C7MSY4TY |
|---|---|
| Kind | definition |
| 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 2205.13464#SUXH (definition). In JPYGC2R3FC/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.6
35C7XVF1MR 35C7XVF1MR
| URI | m2://inv/35C7XVF1MR |
|---|---|
| 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 2601.15403#7E5Y (statement). In BSWNH3NW1M/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.5
Jennifer Taback 35CBN1MSAG
| URI | m2://inv/35CBN1MSAG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jennifer Taback, Jennifer Taback (topic). Also Wikidata Q23928239
History
- 2026-11-02: add by m2/dev
Julia set 35CD5ZB6K4
| URI | m2://inv/35CD5ZB6K4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#26EH, Julia set (definition)
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#T0ML, Julia set (definition)
History
- 2026-11-02: add by m2/dev
35CGKASK3G 35CGKASK3G
| URI | m2://inv/35CGKASK3G |
|---|---|
| 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.30444#TYA3 (statement). In RZWJ0AT8W5/e1, proposition 2.11
History
- 2026-10-31: add by m2/v0.5.6
35CK17Y4RF 35CK17Y4RF
| URI | m2://inv/35CK17Y4RF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-95 (exercise). In VNMV985MXX, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
Closed subset of graphs 35CR6TR2YF
| URI | m2://inv/35CR6TR2YF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25188#SYXA, Closed subset of graphs (definition)
History
- 2026-11-01: add by m2/v0.6.15
Gamma/Gompertz distribution 35D2DKQYZ0
| URI | m2://inv/35D2DKQYZ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#QKN3, Gamma/Gompertz distribution (definition)
History
- 2026-11-02: add by m2/dev
35D5A9JX95 35D5A9JX95
| URI | m2://inv/35D5A9JX95 |
|---|---|
| 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.13931#7ANX (statement). In EXA79VR78Q/e1, theorem A.8
History
- 2026-10-28: add by m2/v0.4.2
Schröder–Bernstein theorems for operator algebras 35D7FWP8MW
| URI | m2://inv/35D7FWP8MW |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 47-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7432918, Schröder–Bernstein theorems for operator algebras (statement). Also Wikidata Q7432918
- thousand_plus: thousand_plus Q7432918, Schröder–Bernstein theorems for operator algebras (statement). Also Wikidata Q7432918, Wikipedia Schröder–Bernstein theorems for operator algebras
- wikipedia: Wikipedia Schröder–Bernstein theorems for operator algebras, Schröder–Bernstein theorems for operator algebras (statement). Also Wikidata Q7432918
History
- 2026-10-26: add by m2/dev
35DBEVQE4M 35DBEVQE4M
| URI | m2://inv/35DBEVQE4M |
|---|---|
| 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#GCWW (statement)
History
- 2026-11-01: add by m2/v0.6.15
binary Golay code 35DH0MX2V2
| URI | m2://inv/35DH0MX2V2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Golay code SM1TJSAR75 |
Mentions
- wikidata: Wikidata Q1534522, binary Golay code (unknown). Also MathWorld GolayCode, nLab binary Golay code
- wikipedia: Wikipedia Binary Golay code, Binary Golay code (definition). Also Wikidata Q1534522
History
- 2026-10-26: add by m2/dev
rapidity 35DRZNN66J
| URI | m2://inv/35DRZNN66J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1366833, rapidity (unknown). Also nLab rapidity
- wikipedia: Wikipedia Rapidity, Rapidity (definition). Also Wikidata Q1366833
History
- 2026-10-26: add by m2/dev
Applications 35DZZE771R
| URI | m2://inv/35DZZE771R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier transform on finite groups#5TEA, Applications (example)
History
- 2026-11-02: add by m2/dev
Finite initial law and full conditional communication 35ETDP356R
| URI | m2://inv/35ETDP356R |
|---|---|
| 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#VC0Y, Finite initial law and full conditional communication (statement). In 9YAE8FNQST/e1, lemma 16.6
History
- 2026-10-30: add by m2/v0.4.12
pathwidth 35FFR7E7XJ
| URI | m2://inv/35FFR7E7XJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7144893, pathwidth (unknown). Also MathWorld Pathwidth
- wikipedia: Wikipedia Pathwidth, Pathwidth (definition). Also Wikidata Q7144893
History
- 2026-10-26: add by m2/dev
35FM3BA8MD 35FM3BA8MD
| URI | m2://inv/35FM3BA8MD |
|---|---|
| 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.40096#9XMA (statement). In XFE35F9NEV/e1, proposition 2.17
History
- 2026-10-30: add by m2/v0.4.12
3-fold 35FQRHS6VE
| URI | m2://inv/35FQRHS6VE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3-fold, 3-fold (definition). Also Wikidata Q4634215
History
- 2026-11-02: add by m2/dev
Newton–Gauss line 35FRXF13M7
| URI | m2://inv/35FRXF13M7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton–Gauss line, Newton–Gauss line (definition). Also Wikidata Q65071923
History
- 2026-11-02: add by m2/dev
annulus 35FS10597V
| URI | m2://inv/35FS10597V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#RHI5, annulus (definition)
History
- 2026-11-02: add by m2/dev
Stein-Rosenberg theorem 35FT0PE2SP
| URI | m2://inv/35FT0PE2SP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stein-Rosenberg theorem, Stein-Rosenberg theorem (statement). Also Wikidata Q120629511
History
- 2026-11-02: add by m2/dev
Quantum sampling with additive costs 35G4JW9RG4
| URI | m2://inv/35G4JW9RG4 |
|---|---|
| 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 2609.27103#0KZ8, Quantum sampling with additive costs (statement)
History
- 2026-11-01: add by m2/v0.6.15
35G6GW0NS9 35G6GW0NS9
| URI | m2://inv/35G6GW0NS9 |
|---|---|
| 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.03555#8W32 (statement). In 9JZJTRRVR1/e1, lemma 4.17
History
- 2026-10-29: add by m2/v0.4.12
Optional static typing 35G7PVFCRA
| URI | m2://inv/35G7PVFCRA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Type system#VQH2, Optional static typing (unknown)
History
- 2026-11-02: add by m2/dev
784 (number) 35GJX95Z3F
| URI | m2://inv/35GJX95Z3F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#1GOZ, 784 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Virginie Bonnaillie-Noël 35HBA3YG3X
| URI | m2://inv/35HBA3YG3X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virginie Bonnaillie-Noël, Virginie Bonnaillie-Noël (topic). Also Wikidata Q29512317
History
- 2026-11-02: add by m2/dev
35HG6HCZSV 35HG6HCZSV
| URI | m2://inv/35HG6HCZSV |
|---|---|
| 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 2203.06854#QTHN (statement). In 7NE5NVT9KH/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
35HH7D5X8F 35HH7D5X8F
| URI | m2://inv/35HH7D5X8F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04434#0AHK (statement). In EY0QS456EC/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.12
35HPVSX1FJ 35HPVSX1FJ
| URI | m2://inv/35HPVSX1FJ |
|---|---|
| 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.29170#QI1I (statement)
History
- 2026-11-01: add by m2/v0.6.15
35HQW4XJGG 35HQW4XJGG
| URI | m2://inv/35HQW4XJGG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21047#HK41 (statement)
History
- 2026-11-02: add by m2/v0.6.18
35HRHYVF75 35HRHYVF75
| URI | m2://inv/35HRHYVF75 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06300#LONA (statement). In 751KSRS7WT/e1, corollary 2.5
History
- 2026-10-29: add by m2/v0.4.10
35HZWZKJAE 35HZWZKJAE
| URI | m2://inv/35HZWZKJAE |
|---|---|
| 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.10365#1GLZ (statement). In PRVQPSBVHK/e1, corollary 12
History
- 2026-10-29: add by m2/v0.4.10
Weyl sum 35J7F8VEW5
| URI | m2://inv/35J7F8VEW5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential sum#S8KL, Weyl sum (unknown)
History
- 2026-11-02: add by m2/dev
Properties 35JB0N20RV
| URI | m2://inv/35JB0N20RV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primitive abundant number#ICXA, Properties (statement)
History
- 2026-11-02: add by m2/dev
Adapted \'etale neighbourhoods and graphs 35JGQEMKF9
| URI | m2://inv/35JGQEMKF9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.00490#WBP0, Adapted \'etale neighbourhoods and graphs (statement). In PZJDV6SJ9E/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
first two-dimensional neural $H(\curll)$ class 35JH3EC950
| URI | m2://inv/35JH3EC950 |
|---|---|
| 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.08016#3RV5, first two-dimensional neural $H(\curll)$ class (statement). In YR3CSTYEJW/e1, corollary 5.1
History
- 2026-10-29: add by m2/v0.4.10
Giang Nguyen 35JJTSJPFQ
| URI | m2://inv/35JJTSJPFQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giang Nguyen, Giang Nguyen (topic). Also Wikidata Q16223843
History
- 2026-11-02: add by m2/dev
Desargues's theorem 35JV5J3ZWV
| URI | m2://inv/35JV5J3ZWV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#MDD8, Desargues's theorem (statement)
History
- 2026-11-02: add by m2/dev
35K3P33SC4 35K3P33SC4
| URI | m2://inv/35K3P33SC4 |
|---|---|
| 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.02681#QQ9X (statement). In 7BBJMB97N7/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
Dirac's Theorem (1952) 35K7DD9FRE
| URI | m2://inv/35K7DD9FRE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamiltonian path#NBF1, Dirac's Theorem (1952) (statement)
History
- 2026-11-02: add by m2/dev
Persistent detection from fixed-time bounds 35K7HKJCHX
| URI | m2://inv/35K7HKJCHX |
|---|---|
| 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.28791#4D5Z, Persistent detection from fixed-time bounds (statement)
History
- 2026-11-01: add by m2/v0.6.15
Jia Xian 35KEA8QWQA
| URI | m2://inv/35KEA8QWQA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q711774, Jia Xian (unknown). Also ProofWiki Mathematician:Chia_Hsien
- wikipedia: Wikipedia Jia Xian, Jia Xian (topic). Also Wikidata Q711774
History
- 2026-10-26: add by m2/dev
35KF9VG1TV 35KF9VG1TV
| URI | m2://inv/35KF9VG1TV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25321#VSLS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Partition matroid 35KM8F6G5N
| URI | m2://inv/35KM8F6G5N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partition matroid, Partition matroid (definition). Also Wikidata Q7140639
History
- 2026-11-02: add by m2/dev
35KP1X6V58 35KP1X6V58
| URI | m2://inv/35KP1X6V58 |
|---|---|
| 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.23341#N8EQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definitions 35KW89D6R8
| URI | m2://inv/35KW89D6R8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Garden of Eden (cellular automaton)#RU64, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Definition 35MBR9Q2B0
| URI | m2://inv/35MBR9Q2B0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Funk transform#9OKX, Definition (definition)
History
- 2026-11-02: add by m2/dev
Alternative definition 35MKKHCQ74
| URI | m2://inv/35MKKHCQ74 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hankel transform#8GYN, Alternative definition (definition)
History
- 2026-11-02: add by m2/dev
The Nine Chapters on the Mathematical Art 35MQQ20QCN
| URI | m2://inv/35MQQ20QCN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#2PWR, The Nine Chapters on the Mathematical Art (definition)
History
- 2026-11-02: add by m2/dev
Exterior derivative 35MWZ16VYC
| URI | m2://inv/35MWZ16VYC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of multivariable calculus topics#4CAG, Exterior derivative (definition)
History
- 2026-11-02: add by m2/dev
Christine Ladd-Franklin 35N3EY9DAT
| URI | m2://inv/35N3EY9DAT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#QXBC, Christine Ladd-Franklin (topic)
- wikipedia: Wikipedia List of women logicians#6CGE, Christine Ladd-Franklin (topic)
History
- 2026-11-02: add by m2/dev
35N5H0EDGR 35N5H0EDGR
| URI | m2://inv/35N5H0EDGR |
|---|---|
| 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 2609.35183#1UCZ (statement). In FYM5XFD9RR/e1, proposition 2.8
History
- 2026-10-30: add by m2/v0.4.12
free functor 35N5YHYTE4
| URI | m2://inv/35N5YHYTE4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#2YA6, free functor (definition)
History
- 2026-11-02: add by m2/dev
Conjectures 35NB3GXRVZ
| URI | m2://inv/35NB3GXRVZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dedekind zeta function#5IQ4, Conjectures (statement)
History
- 2026-11-02: add by m2/dev
35NDPTAYAG 35NDPTAYAG
| URI | m2://inv/35NDPTAYAG |
|---|---|
| Kind | example |
| 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 2601.18223#J4OY (example). In ZRXE7EJA93/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
Example 35NES0ZP76
| URI | m2://inv/35NES0ZP76 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sieve of Eratosthenes#694Y, Example (example)
History
- 2026-11-02: add by m2/dev
35NFQN8RFH 35NFQN8RFH
| URI | m2://inv/35NFQN8RFH |
|---|---|
| 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.16746#QOM3 (statement). In M00TA3JJM6/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Interquartile mean 35NJ586STC
| URI | m2://inv/35NJ586STC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interquartile mean, Interquartile mean (definition). Also Wikidata Q17077647
History
- 2026-11-02: add by m2/dev
Uniform analytic bounds for the ADHH recursion 35NX044FJD
| URI | m2://inv/35NX044FJD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27181#DZVI, Uniform analytic bounds for the ADHH recursion (statement)
History
- 2026-11-01: add by m2/v0.6.15
Stability radius 35P1CS67Z4
| URI | m2://inv/35P1CS67Z4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stability radius, Stability radius (definition). Also Wikidata Q7595729
History
- 2026-11-02: add by m2/dev
Next Einstein Forum 35PCR0Z5TJ
| URI | m2://inv/35PCR0Z5TJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia African Institute for Mathematical Sciences#8O36, Next Einstein Forum (unknown)
History
- 2026-11-02: add by m2/dev
35PE63HKS2 35PE63HKS2
| URI | m2://inv/35PE63HKS2 |
|---|---|
| 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.28350#35UL (statement)
History
- 2026-11-01: add by m2/v0.6.15
35PEBTK4X4 35PEBTK4X4
| URI | m2://inv/35PEBTK4X4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.37606#OH3G (statement). In WNFW6GY38C/e1, corollary 4.5
History
- 2026-10-30: add by m2/v0.4.12
35PMPR4XFC 35PMPR4XFC
| URI | m2://inv/35PMPR4XFC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35600#F77E (statement). In ET8GYMMDQM/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
David Wagner 35Q5M6HN2P
| URI | m2://inv/35Q5M6HN2P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#R1X3, David Wagner (topic)
History
- 2026-11-02: add by m2/dev
András Hajnal 35Q8TZAFMY
| URI | m2://inv/35Q8TZAFMY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia András Hajnal, András Hajnal (topic). Also Wikidata Q515987
History
- 2026-11-02: add by m2/dev
Eliahou-style modular Hadamard 35QBPPJNMN
| URI | m2://inv/35QBPPJNMN |
|---|---|
| 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.25543#79S1, Eliahou-style modular Hadamard (definition)
History
- 2026-11-01: add by m2/v0.6.15
35QEGPM1EV 35QEGPM1EV
| URI | m2://inv/35QEGPM1EV |
|---|---|
| Kind | definition |
| 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 2610.04046#SEPK (definition). In 3THDT8WNF7/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.12
35QJ2HFXAG 35QJ2HFXAG
| URI | m2://inv/35QJ2HFXAG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05194#EI0X (statement). In 77R8YQ16JH/e1, theorem D
History
- 2026-10-29: add by m2/v0.4.10
Example 35QM92M12G
| URI | m2://inv/35QM92M12G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radon–Nikodym set#6UYJ, Example (example)
History
- 2026-11-02: add by m2/dev
35QNJ70JR2 35QNJ70JR2
| URI | m2://inv/35QNJ70JR2 |
|---|---|
| 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.07790#BBMZ (statement). In A5YJDDM0NX/e1, lemma 1.1
History
- 2026-10-29: add by m2/v0.4.10
35QREHAF6J 35QREHAF6J
| URI | m2://inv/35QREHAF6J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24901#GF09 (statement)
History
- 2026-11-01: add by m2/v0.6.15
35R3GCY4GJ 35R3GCY4GJ
| URI | m2://inv/35R3GCY4GJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-94 (exercise). In E9HS8K3A52, exercise, section 10.8.6
History
- 2026-11-01: add by m2/v0.6.13
35R4V4P11N 35R4V4P11N
| URI | m2://inv/35R4V4P11N |
|---|---|
| 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.17204#737M (statement). In 5CZ2BNV4MT/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
35R5BZ4EVX 35R5BZ4EVX
| URI | m2://inv/35R5BZ4EVX |
|---|---|
| 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.15242#A3G5 (statement). In 5NPFKE984E/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
Pedro Nunes 35R9FMRN3X
| URI | m2://inv/35R9FMRN3X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#MQ91, Pedro Nunes (unknown)
History
- 2026-11-02: add by m2/dev
Home prime 35RFMW60DA
| URI | m2://inv/35RFMW60DA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#WPV0, Home prime (definition)
History
- 2026-11-02: add by m2/dev
Askey–Gasper inequality 35RKYSEHZF
| URI | m2://inv/35RKYSEHZF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#C9E3, Askey–Gasper inequality (statement)
History
- 2026-11-02: add by m2/dev
35RMA41APZ 35RMA41APZ
| URI | m2://inv/35RMA41APZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31883#8USL (definition). In XBHQRTBH62/e1, definition 3.2
History
- 2026-10-31: add by m2/v0.5.6
Ray 35RNBT5SNH
| URI | m2://inv/35RNBT5SNH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#4M10, Ray (definition)
- wikipedia: Wikipedia List of curves topics#0SYQ, Ray (definition)
History
- 2026-11-02: add by m2/dev
Definition 35RQP03E36
| URI | m2://inv/35RQP03E36 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dense submodule#8UUK, Definition (definition)
History
- 2026-11-02: add by m2/dev
35S1XBG4ZQ 35S1XBG4ZQ
| URI | m2://inv/35S1XBG4ZQ |
|---|---|
| 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 1303.4328#6MBN (statement). In HCTYW6VH87/e1, proposition 9.1
History
- 2026-10-27: add by m2/v0.3.5
Tensor algebra 35S2HD3ZJ6
| URI | m2://inv/35S2HD3ZJ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#QP9X, Tensor algebra (definition)
- wikipedia: Wikipedia List of algebras#SZD5, Tensor algebra (definition)
History
- 2026-11-02: add by m2/dev
Rineke Verbrugge 35S2XME2N8
| URI | m2://inv/35S2XME2N8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2462, Rineke Verbrugge (unknown)
History
- 2026-11-02: add by m2/dev
35S7CWSB25 35S7CWSB25
| URI | m2://inv/35S7CWSB25 |
|---|---|
| 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.27800#BEGG (statement)
History
- 2026-11-01: add by m2/v0.6.15
2012 Chilean census 35S7M882PB
| URI | m2://inv/35S7M882PB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2012 Chilean census, 2012 Chilean census (definition). Also Wikidata Q5760517
History
- 2026-11-02: add by m2/dev
Philippe Michel 35SH9SDS4B
| URI | m2://inv/35SH9SDS4B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#96LE, Philippe Michel (topic)
History
- 2026-11-02: add by m2/dev
35SHM9W4NQ 35SHM9W4NQ
| URI | m2://inv/35SHM9W4NQ |
|---|---|
| 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.25880#OD02 (statement)
History
- 2026-11-01: add by m2/v0.6.15
35SX5SE6BA 35SX5SE6BA
| URI | m2://inv/35SX5SE6BA |
|---|---|
| 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.08664#5OGN (statement). In 1YY0P4ZS0T/e1, proposition 3
History
- 2026-10-29: add by m2/v0.4.10
35T2MRV9GW 35T2MRV9GW
| URI | m2://inv/35T2MRV9GW |
|---|---|
| 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.13875#6M72 (statement). In W6FK624JRQ/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
quadratrix of Hippias 35T3MXJ8PX
| URI | m2://inv/35T3MXJ8PX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2121861, quadratrix of Hippias (concept). Also MathWorld QuadratrixofHippias
- wikipedia: Wikipedia Quadratrix of Hippias, Quadratrix of Hippias (definition). Also Wikidata Q2121861
History
- 2026-10-26: add by m2/dev
Frobenius splitting 35TBHHKS7K
| URI | m2://inv/35TBHHKS7K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Ferdinand Georg Frobenius#TP6W, Frobenius splitting (definition)
History
- 2026-11-02: add by m2/dev
Spectral theory 35TGCRAE1W
| URI | m2://inv/35TGCRAE1W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics history topics#6QLC, Spectral theory (definition)
History
- 2026-11-02: add by m2/dev
Hexagonal Efficient Coordinate System 35TP3TGVK7
| URI | m2://inv/35TP3TGVK7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexagonal Efficient Coordinate System, Hexagonal Efficient Coordinate System (definition). Also Wikidata Q104873428
History
- 2026-11-02: add by m2/dev
Implementation 35TQ24SATF
| URI | m2://inv/35TQ24SATF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamic time warping#C5J5, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Lexing Ying 35TQHCSAD3
| URI | m2://inv/35TQHCSAD3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SEWZ, Lexing Ying (topic)
History
- 2026-11-02: add by m2/dev
Christian Soize 35V1PJ2QJY
| URI | m2://inv/35V1PJ2QJY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christian Soize, Christian Soize (topic). Also Wikidata Q102387175
History
- 2026-11-02: add by m2/dev
Khmaladze transformation 35V9DDSWB9
| URI | m2://inv/35V9DDSWB9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Khmaladze transformation, Khmaladze transformation (definition). Also Wikidata Q6401855
History
- 2026-11-02: add by m2/dev
Imaginary logic 35VJPCKAW9
| URI | m2://inv/35VJPCKAW9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicolai A. Vasiliev#M8OG, Imaginary logic (unknown)
History
- 2026-11-02: add by m2/dev
Examples 35VP606GNN
| URI | m2://inv/35VP606GNN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Half-truth#52ZG, Examples (example)
History
- 2026-11-02: add by m2/dev
Girard Desargues 35WEWEAAPW
| URI | m2://inv/35WEWEAAPW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#E8VN, Girard Desargues (topic)
History
- 2026-11-02: add by m2/dev
Divisor comparison 35WPRCA2HG
| URI | m2://inv/35WPRCA2HG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.25925#RRX6, Divisor comparison (statement)
History
- 2026-11-01: add by m2/v0.6.15
Perturbative bound 35WRCAD7C9
| URI | m2://inv/35WRCAD7C9 |
|---|---|
| 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.02721#NAI2, Perturbative bound (statement). In XXFYVDVPPE/e1, lemma 3.11
History
- 2026-10-29: add by m2/v0.4.12
35WS593EW3 35WS593EW3
| URI | m2://inv/35WS593EW3 |
|---|---|
| Kind | definition |
| 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.34289#I96U (definition). In 9RBATD2Z1F/e1, definition 2.3
History
- 2026-10-30: add by m2/v0.4.12
35WVQPAP90 35WVQPAP90
| URI | m2://inv/35WVQPAP90 |
|---|---|
| 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.09704#PWB6 (statement). In FNG4B47MRV/e1, proposition 3.6
History
- 2026-10-29: add by m2/v0.4.10
Training algorithms for Boltzmann machines 35WX3CWM4R
| URI | m2://inv/35WX3CWM4R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boltzmann machine#M6DA, Training algorithms for Boltzmann machines (unknown)
History
- 2026-11-02: add by m2/dev
35XEB4K9X7 35XEB4K9X7
| URI | m2://inv/35XEB4K9X7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-18 (exercise). In E59CDZA4DP, exercise, section 9.2.5
History
- 2026-11-01: add by m2/v0.6.13
35XKDAZ8ZX 35XKDAZ8ZX
| URI | m2://inv/35XKDAZ8ZX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21009#I8ZJ (definition). In 23G8VNDWDM/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.2
Compactness Theorem 35XKSF1C95
| URI | m2://inv/35XKSF1C95 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/completeness.tex#prop:compactness, Compactness Theorem (statement). In PKGMM3P5QY, prop, section 62.2
History
- 2026-11-01: add by m2/v0.6.13
Internal characterisation of the addition law 35XNTBRVJM
| URI | m2://inv/35XNTBRVJM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Additive category#FLPK, Internal characterisation of the addition law (statement)
History
- 2026-11-02: add by m2/dev
35XPTXG940 35XPTXG940
| URI | m2://inv/35XPTXG940 |
|---|---|
| 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 0806.0033#B2C2 (definition). In RV34HVZMB3/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
Thomas Banchoff 35XZ3SNATJ
| URI | m2://inv/35XZ3SNATJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#94KB, Thomas Banchoff (topic)
History
- 2026-11-02: add by m2/dev
Equivalent definitions 35Y7AH08QN
| URI | m2://inv/35Y7AH08QN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wall–Sun–Sun prime#35C6, Equivalent definitions (definition)
History
- 2026-11-02: add by m2/dev
35YBBNDM92 35YBBNDM92
| URI | m2://inv/35YBBNDM92 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21929#GBJL (statement). In 2PP4XRVS0J/e1, theorem 11.2
History
- 2026-10-27: add by m2/v0.4.2
Disproof of the Narkiewicz--\'{S}liwa conjecture 35YGSQ4AZD
| URI | m2://inv/35YGSQ4AZD |
|---|---|
| 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.29878#5ITG, Disproof of the Narkiewicz--\'{S}liwa conjecture (statement)
History
- 2026-11-01: add by m2/v0.6.15
35YMYCGB8Z 35YMYCGB8Z
| URI | m2://inv/35YMYCGB8Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28341#03S3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Latent Twin Operator 35YYRRDB60
| URI | m2://inv/35YYRRDB60 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35531#KD23, Latent Twin Operator (definition). In 6VBKRCMF4K/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Properties 35Z5PNN5SC
| URI | m2://inv/35Z5PNN5SC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized inverse Gaussian distribution#Y4DF, Properties (statement)
History
- 2026-11-02: add by m2/dev
Young tableau 35Z5R09MPD
| URI | m2://inv/35Z5R09MPD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Young tableau Q6TH9PH2R7 |
Mentions
- wikidata: Wikidata Q2166280, Young tableau (unknown). Also MathWorld YoungTableau, nLab Young diagram
- wikipedia: Wikipedia Young tableau, Young tableau (definition). Also Wikidata Q2166280
History
- 2026-10-26: add by m2/dev
35ZCRTY78B 35ZCRTY78B
| URI | m2://inv/35ZCRTY78B |
|---|---|
| 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.31274#U5C2 (statement). In RK0ZMDJ23T/e1, lemma 2.2.4
History
- 2026-10-31: add by m2/v0.5.6
Cartan–Ambrose–Hicks theorem 35ZG6SS9QP
| URI | m2://inv/35ZG6SS9QP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartan–Ambrose–Hicks theorem#AB37, Cartan–Ambrose–Hicks theorem (statement)
History
- 2026-11-02: add by m2/dev
Kempner number 35ZH6J26D3
| URI | m2://inv/35ZH6J26D3 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q138028016, Kempner number (object). Also OEIS A007404
- wikipedia: Wikipedia Kempner number, Kempner number (object). Also Wikidata Q138028016
History
- 2026-10-26: add by m2/dev
Lianne Sheppard 35ZVYG8VNR
| URI | m2://inv/35ZVYG8VNR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lianne Sheppard, Lianne Sheppard (topic). Also Wikidata Q58010022
History
- 2026-11-02: add by m2/dev
multivariate function 35ZXVH3J7B
| URI | m2://inv/35ZXVH3J7B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78081419, multivariate function (unknown). Also MathWorld MultivariateFunction
History
- 2026-10-26: add by m2/dev
35ZYRKG1DR 35ZYRKG1DR
| URI | m2://inv/35ZYRKG1DR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.12846#5OEM (statement). In D6XA7JXZF3/e1, theorem 6.7
History
- 2026-10-27: add by m2/v0.3.5