Inventory rows 36
The cards of the rows of the inventory whose ids start with 36. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
360133G2K0 360133G2K0
| URI | m2://inv/360133G2K0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2610.06455#YS7F (statement). In N6GB5J5BAY/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
36016V1G8A 36016V1G8A
| URI | m2://inv/36016V1G8A |
|---|---|
| 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 1612.08394#B0RT (statement). In 1P8D88DKG5/e1, lemma 7.2
History
- 2026-10-27: add by m2/v0.3.5
3603Q4V5F4 3603Q4V5F4
| URI | m2://inv/3603Q4V5F4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/bezout.tex#prop:hilbert_function_intersection_union (statement). In RZP28ERRZV, proposition, section 20.2
History
- 2026-11-01: add by m2/v0.6.13
Applications 360ABRX4T8
| URI | m2://inv/360ABRX4T8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diffiety#F4HH, Applications (example)
History
- 2026-11-02: add by m2/dev
360B135QWA 360B135QWA
| URI | m2://inv/360B135QWA |
|---|---|
| Kind | example |
| 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 1911.06467#M0M4 (example). In G35G1NJKBX/e1, example A.3
History
- 2026-10-27: add by m2/v0.3.5
Higher-order Itô formula 360CRTG1EZ
| URI | m2://inv/360CRTG1EZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Itô's lemma#08OK, Higher-order Itô formula (statement)
History
- 2026-11-02: add by m2/dev
360GNRTPYS 360GNRTPYS
| URI | m2://inv/360GNRTPYS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.20128#O8F9 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Donald M. Davis 360JXWVGX9
| URI | m2://inv/360JXWVGX9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donald M. Davis (mathematician), Donald M. Davis (topic). Also Wikidata Q102136134
History
- 2026-11-02: add by m2/dev
360KH8WH1A 360KH8WH1A
| URI | m2://inv/360KH8WH1A |
|---|---|
| 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.06419#Q489 (statement). In JSZRXT3W3E/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
360PAEGWQG 360PAEGWQG
| URI | m2://inv/360PAEGWQG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09506#SWRS (statement). In AQC7E6RAT4/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.10
360XGNPPC6 360XGNPPC6
| URI | m2://inv/360XGNPPC6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-functions.ptx#exercise-25 (exercise). In Y91XFCEVHQ, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Nowhere-zero flow 3612B2HB34
| URI | m2://inv/3612B2HB34 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nowhere-zero flow, Nowhere-zero flow (definition). Also Wikidata Q7066659
History
- 2026-11-02: add by m2/dev
Application 3615FGYY8M
| URI | m2://inv/3615FGYY8M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia System dynamics#N0L5, Application (example)
History
- 2026-11-02: add by m2/dev
Canonical antichain 3615XH19R5
| URI | m2://inv/3615XH19R5 |
|---|---|
| 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.10950#MOF4, Canonical antichain (statement). In P392PEVRAY/e1, lemma 6.6
History
- 2026-10-28: add by m2/v0.4.3
SOFA Statistics 3615Y273T8
| URI | m2://inv/3615Y273T8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#0F8W, SOFA Statistics (definition)
History
- 2026-11-02: add by m2/dev
36180MTPFD 36180MTPFD
| URI | m2://inv/36180MTPFD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24701#Q372 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Shunpei Ueyama 3618PK0521
| URI | m2://inv/3618PK0521 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shunpei Ueyama, Shunpei Ueyama (topic). Also Wikidata Q403579
History
- 2026-11-02: add by m2/dev
Airy function Ai 3618RJ02NT
| URI | m2://inv/3618RJ02NT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q109729241, Airy function Ai (unknown). Also MathWorld AiryAi
History
- 2026-10-26: add by m2/dev
Kuratowski convergence 3619WC96EG
| URI | m2://inv/3619WC96EG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Kazimierz Kuratowski#5IN9, Kuratowski convergence (definition)
History
- 2026-11-02: add by m2/dev
Statement of the theorem 361CPFT10M
| URI | m2://inv/361CPFT10M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur–Weyl duality#OM54, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Formal statement 361Q06CFM5
| URI | m2://inv/361Q06CFM5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hearing the shape of a drum#2XTW, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
Eikonal approximation 361QV00S35
| URI | m2://inv/361QV00S35 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eikonal approximation, Eikonal approximation (definition). Also Wikidata Q649478
History
- 2026-11-02: add by m2/dev
John Hazzidakis 361TR6QMV7
| URI | m2://inv/361TR6QMV7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Hazzidakis, John Hazzidakis (topic). Also Wikidata Q16329306
History
- 2026-11-02: add by m2/dev
320 (number) 361WCRMMH6
| URI | m2://inv/361WCRMMH6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#9NMB, 320 (number) (unknown)
History
- 2026-11-02: add by m2/dev
3627Z044GX 3627Z044GX
| URI | m2://inv/3627Z044GX |
|---|---|
| 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.16225#UD1B (statement). In H3DJV9YQW1/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.2
362EAT25SR 362EAT25SR
| URI | m2://inv/362EAT25SR |
|---|---|
| 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 2601.22681#LVE7 (statement). In 68VEQQX68G/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.4.0
Implementation 362GX0QFEB
| URI | m2://inv/362GX0QFEB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimal experimental design#88G0, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Every exponent strictly between zero and one 362H3JQQRG
| URI | m2://inv/362H3JQQRG |
|---|---|
| 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 2609.38228#3TPQ, Every exponent strictly between zero and one (example). In 9YAE8FNQST/e1, example 23.22
History
- 2026-10-30: add by m2/v0.4.12
Conditioning 362JXZQKVB
| URI | m2://inv/362JXZQKVB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditioning (probability), Conditioning (definition). Also Wikidata Q5159291
History
- 2026-11-02: add by m2/dev
SLEPc 362JZVPDDG
| URI | m2://inv/362JZVPDDG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#VJKE, SLEPc (unknown)
History
- 2026-11-02: add by m2/dev
362SBHXSA8 362SBHXSA8
| URI | m2://inv/362SBHXSA8 |
|---|---|
| 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#PKOT (statement). In 4769XNDWYS/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Uniform polynomial geodesic counting 3632VKJ41Q
| URI | m2://inv/3632VKJ41Q |
|---|---|
| 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.14065#2J1D, Uniform polynomial geodesic counting (statement). In PV7V3X78JH/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
3639XT42TH 3639XT42TH
| URI | m2://inv/3639XT42TH |
|---|---|
| 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.29022#92FG (statement)
History
- 2026-11-01: add by m2/v0.6.15
363EFDPKS2 363EFDPKS2
| URI | m2://inv/363EFDPKS2 |
|---|---|
| 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#5SPY (statement)
History
- 2026-11-02: add by m2/v0.6.17
Conditional independence 363FQVKY72
| URI | m2://inv/363FQVKY72 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#2ZDA, Conditional independence (definition)
- wikipedia: Wikipedia List of probability topics#39C2, Conditional independence (definition)
History
- 2026-11-02: add by m2/dev
3644SM71Q3 3644SM71Q3
| URI | m2://inv/3644SM71Q3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#0FE6 (statement). In ESDKTYDHC8/e1, corollary 2
History
- 2026-10-29: add by m2/v0.4.12
3645281BJ9 3645281BJ9
| URI | m2://inv/3645281BJ9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-intro.tex#example-10 (example). In RZP28ERRZV, example, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
3646K01AEQ 3646K01AEQ
| URI | m2://inv/3646K01AEQ |
|---|---|
| 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.10078#Y0U0 (statement). In YVGRZK1HRS/e1, theorem 1.11
History
- 2026-10-29: add by m2/v0.4.10
type I minimum value distribution 364AN1XX1W
| URI | m2://inv/364AN1XX1W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q113481001, type I minimum value distribution (unknown). Also MathWorld GumbelDistribution
History
- 2026-10-26: add by m2/dev
Linear speedup theorem 364AYF885M
| URI | m2://inv/364AYF885M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#EJ8V, Linear speedup theorem (statement)
History
- 2026-11-02: add by m2/dev
Parasitic oscillation 364DVWQSG3
| URI | m2://inv/364DVWQSG3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parasitic oscillation, Parasitic oscillation (definition). Also Wikidata Q7135952
History
- 2026-11-02: add by m2/dev
End-around borrow 364E7R50DM
| URI | m2://inv/364E7R50DM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ones' complement#L0HA, End-around borrow (unknown)
History
- 2026-11-02: add by m2/dev
Real-global pre-Bott class 364FZF8DN7
| URI | m2://inv/364FZF8DN7 |
|---|---|
| Kind | definition |
| 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.21675#QLC7, Real-global pre-Bott class (definition). In TB1294GY5X/e1, definition 7.4
History
- 2026-10-27: add by m2/v0.4.2
Uniform upper and lower bounds on the unstable covariance 364GZ9ZCFB
| URI | m2://inv/364GZ9ZCFB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 62-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.23927#5MKP, Uniform upper and lower bounds on the unstable covariance (statement)
History
- 2026-11-02: add by m2/v0.6.17
Charles Parsons 364JNAC7AJ
| URI | m2://inv/364JNAC7AJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Parsons (philosopher), Charles Parsons (topic). Also Wikidata Q5081510
History
- 2026-11-02: add by m2/dev
Jadad scale 364MEST8TH
| URI | m2://inv/364MEST8TH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jadad scale, Jadad scale (definition). Also Wikidata Q3136977
History
- 2026-11-02: add by m2/dev
364V9AYEBM 364V9AYEBM
| URI | m2://inv/364V9AYEBM |
|---|---|
| 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.37897#VCYE (statement). In RBQ5FNCVNZ/e1, lemma 6.15
History
- 2026-10-30: add by m2/v0.4.12
Egg curve 3652R68AKG
| URI | m2://inv/3652R68AKG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oval#SSA5, Egg curve (unknown)
History
- 2026-11-02: add by m2/dev
365ASKP0XJ 365ASKP0XJ
| URI | m2://inv/365ASKP0XJ |
|---|---|
| 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.12053#ZGJC (statement). In MQ226ETRP6/e1, lemma 2.12
History
- 2026-10-28: add by m2/v0.4.3
365J6FCQSV 365J6FCQSV
| URI | m2://inv/365J6FCQSV |
|---|---|
| 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.05582#Y4PM (statement). In 9X4TANWWWR/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.10
Plate notation 365KY2K1P3
| URI | m2://inv/365KY2K1P3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#DW40, Plate notation (definition)
History
- 2026-11-02: add by m2/dev
Elizaveta Levina 365MGJMDGC
| URI | m2://inv/365MGJMDGC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elizaveta Levina, Elizaveta Levina (topic). Also Wikidata Q42974426
History
- 2026-11-02: add by m2/dev
SSSE3 365P30W10M
| URI | m2://inv/365P30W10M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SSSE3, SSSE3 (definition). Also Wikidata Q1366124
History
- 2026-11-02: add by m2/dev
Major-arc analysis 365TEPX2HY
| URI | m2://inv/365TEPX2HY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11487#XQ9E, Major-arc analysis (statement). In 8S0K3Y25HM/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.3
characterization of convexity 365W97VNSP
| URI | m2://inv/365W97VNSP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Convexity > characterization of convexity, characterization of convexity (unknown). Also Mathlib convexOn_of_deriv2_nonneg
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Convexity > characterizations of convexity, characterizations of convexity (unknown). Also Mathlib convexOn_of_deriv2_nonneg
History
- 2026-10-26: add by m2/dev
Spectral signal-to-noise ratio 3668KCH0RS
| URI | m2://inv/3668KCH0RS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral signal-to-noise ratio, Spectral signal-to-noise ratio (definition). Also Wikidata Q7575208
History
- 2026-11-02: add by m2/dev
366DR47QRG 366DR47QRG
| URI | m2://inv/366DR47QRG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05032#SIID (definition). In DDNK8D4359/e1, definition
History
- 2026-10-29: add by m2/v0.4.12
366F8GZW3R 366F8GZW3R
| URI | m2://inv/366F8GZW3R |
|---|---|
| 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 2511.12649#1GZ5 (statement). In RT27S2YZKJ/e1, lemma 3
History
- 2026-10-27: add by m2/v0.4.0
Finite-sample convergence for linear-basis models 366H8J5HD0
| URI | m2://inv/366H8J5HD0 |
|---|---|
| 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 2609.32026#99YY, Finite-sample convergence for linear-basis models (statement). In KM6PX54YFZ/e1, theorem 2
History
- 2026-10-31: add by m2/v0.5.6
On Interpretation 366QHCEVXG
| URI | m2://inv/366QHCEVXG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of works by Averroes#4XA4, On Interpretation (definition)
History
- 2026-11-02: add by m2/dev
Mean reciprocal rank 366SD8G9SG
| URI | m2://inv/366SD8G9SG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CEN0, Mean reciprocal rank (definition)
History
- 2026-11-02: add by m2/dev
CAP theorem 366T26G3RF
| URI | m2://inv/366T26G3RF |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q856032, CAP theorem (statement). Also Wikidata Q856032
- thousand_plus: thousand_plus Q856032, CAP theorem (statement). Also Wikidata Q856032, Wikipedia CAP theorem
- wikipedia: Wikipedia CAP theorem, CAP theorem (statement). Also Wikidata Q856032
History
- 2026-10-26: add by m2/dev
Extensions 3675M0E868
| URI | m2://inv/3675M0E868 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's inequality#ABHV, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Watermarking attack 367CVFZNMQ
| URI | m2://inv/367CVFZNMQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Watermarking attack, Watermarking attack (definition). Also Wikidata Q2552011
History
- 2026-11-02: add by m2/dev
SSE5 367FDHW3JB
| URI | m2://inv/367FDHW3JB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SSE5, SSE5 (definition). Also Wikidata Q933989
History
- 2026-11-02: add by m2/dev
Distance between two skew lines 367NNBWJQ1
| URI | m2://inv/367NNBWJQ1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skew lines#26KH, Distance between two skew lines (unknown)
History
- 2026-11-02: add by m2/dev
Properties 367QGK82AN
| URI | m2://inv/367QGK82AN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interior (topology)#5ZJ3, Properties (statement)
History
- 2026-11-02: add by m2/dev
affine span 367YW91ZZ6
| URI | m2://inv/367YW91ZZ6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Affine span 0FFAE5P6R4 |
Mentions
- mathlib_overview: mathlib_overview Geometry > Affine and Euclidean geometry > affine span, affine span (unknown). Also Mathlib affineSpan
- mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > General definitions > affine span, affine span (unknown). Also Mathlib affineSpan
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
36874VTJWT 36874VTJWT
| URI | m2://inv/36874VTJWT |
|---|---|
| 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.24577#FF3V (statement)
History
- 2026-11-01: add by m2/v0.6.15
Recursive enumerability of GAS 3687ZNKQ19
| URI | m2://inv/3687ZNKQ19 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-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.12434#UZZ9, Recursive enumerability of GAS (statement). In YCRZC9SDCE/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.2
string figure 368CVMAK6T
| URI | m2://inv/368CVMAK6T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q584764, string figure (unknown). Also MathWorld StringFigure
History
- 2026-10-26: add by m2/dev
Giovanni Boccardi 368RWYPCT7
| URI | m2://inv/368RWYPCT7 |
|---|---|
| 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#HZ7V, Giovanni Boccardi (unknown)
History
- 2026-11-02: add by m2/dev
368YG75SA7 368YG75SA7
| URI | m2://inv/368YG75SA7 |
|---|---|
| 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.21675#S9FP (statement). In TB1294GY5X/e1, theorem C
History
- 2026-10-27: add by m2/v0.4.2
Definition 368ZNBDNF2
| URI | m2://inv/368ZNBDNF2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Super-Poincaré algebra#8T2F, Definition (definition)
History
- 2026-11-02: add by m2/dev
36940XD2KY 36940XD2KY
| URI | m2://inv/36940XD2KY |
|---|---|
| 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.16700#2810 (statement). In 3JPKD7NBEN/e1, lemma 4.9
History
- 2026-10-28: add by m2/v0.4.2
Castelnuovo surface 369DATSGPQ
| URI | m2://inv/369DATSGPQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Castelnuovo surface, Castelnuovo surface (definition). Also Wikidata Q5049718
History
- 2026-11-02: add by m2/dev
presentable 369DYXHSNM
| URI | m2://inv/369DYXHSNM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#XO23, presentable (definition)
History
- 2026-11-02: add by m2/dev
Thin plate energy functional 369HVK557A
| URI | m2://inv/369HVK557A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thin plate energy functional, Thin plate energy functional (definition). Also Wikidata Q25304583
History
- 2026-11-02: add by m2/dev
Uniform polyhedron compound 369K67KHF6
| URI | m2://inv/369K67KHF6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of uniform polyhedra#LW8Q, Uniform polyhedron compound (definition)
History
- 2026-11-02: add by m2/dev
369MJ69VB0 369MJ69VB0
| URI | m2://inv/369MJ69VB0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#KXPP (statement). In 7V2PVZS04C/e1, theorem 6.20
History
- 2026-10-31: add by m2/v0.5.6
Monadic adjunction 369P969DR4
| URI | m2://inv/369P969DR4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monad (category theory)#TW1N, Monadic adjunction (unknown)
History
- 2026-11-02: add by m2/dev
30,000 369YF0WW3B
| URI | m2://inv/369YF0WW3B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 30,000, 30,000 (definition). Also Wikidata Q3271948
History
- 2026-11-02: add by m2/dev
EViews 36A2T0V8BM
| URI | m2://inv/36A2T0V8BM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#NUTV, EViews (definition)
History
- 2026-11-02: add by m2/dev
36ACHT92BD 36ACHT92BD
| URI | m2://inv/36ACHT92BD |
|---|---|
| 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 1910.05504#OG1M (statement). In 6ZR1NC9Z1S/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
megiston 36ADHX06BQ
| URI | m2://inv/36ADHX06BQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q21194229, megiston (unknown). Also MathWorld Megistron
History
- 2026-10-26: add by m2/dev
Johann Daniel Titius 36AENFYW3S
| URI | m2://inv/36AENFYW3S |
|---|---|
| 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 Q375195, Johann Daniel Titius (unknown). Also ProofWiki Mathematician:Johann_Daniel_Titius
History
- 2026-10-26: add by m2/dev
theory, essentially algebraic 36AKMDFF18
| URI | m2://inv/36AKMDFF18 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.11/theory-essentially-algebraic, theory, essentially algebraic (concept). In N54F33XE07, index, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
Shafrira Goldwasser 36AKRXRCJX
| URI | m2://inv/36AKRXRCJX |
|---|---|
| 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 Q11609, Shafrira Goldwasser (unknown). Also ProofWiki Mathematician:Shafi_Goldwasser
- wikipedia: Wikipedia Shafi Goldwasser, Shafi Goldwasser (topic). Also Wikidata Q11609
History
- 2026-10-26: add by m2/dev
Triangle inequality for subspaces of different dimensions 36AKZX01FJ
| URI | m2://inv/36AKZX01FJ |
|---|---|
| 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.26406#8VQ1, Triangle inequality for subspaces of different dimensions (statement)
History
- 2026-11-01: add by m2/v0.6.15
36AP89KHNE 36AP89KHNE
| URI | m2://inv/36AP89KHNE |
|---|---|
| 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.37489#6OT8 (statement). In 5ZC91T5PHQ/e1, lemma
History
- 2026-10-30: add by m2/v0.4.12
36AQD339ZY 36AQD339ZY
| URI | m2://inv/36AQD339ZY |
|---|---|
| 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.29227#G8YY (statement)
History
- 2026-11-01: add by m2/v0.6.15
$r$-HPC 36ARQK0N0H
| URI | m2://inv/36ARQK0N0H |
|---|---|
| Kind | conjecture |
| 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.20416#GRSF, $r$-HPC (conjecture). In P603M3M91A/e1, conjecture 5.1
History
- 2026-10-27: add by m2/v0.4.2
Kunizo Yoneyama 36AS8PSPZS
| URI | m2://inv/36AS8PSPZS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kunizo Yoneyama, Kunizo Yoneyama (topic). Also Wikidata Q22019658
History
- 2026-11-02: add by m2/dev
Truncation error 36ATXX4YNX
| URI | m2://inv/36ATXX4YNX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#0BOQ, Truncation error (definition)
History
- 2026-11-02: add by m2/dev
36AV5P2J39 36AV5P2J39
| URI | m2://inv/36AV5P2J39 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#prop-12 (statement). In E59CDZA4DP, prop, section 10.5.4
History
- 2026-11-01: add by m2/v0.6.13
Few candidates are removed 36AWVD702E
| URI | m2://inv/36AWVD702E |
|---|---|
| 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.15265#YEU4, Few candidates are removed (statement). In TCQ1JBR84Y/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
Elementary properties 36B9GQWCFT
| URI | m2://inv/36B9GQWCFT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Preadditive category#2P3A, Elementary properties (statement)
History
- 2026-11-02: add by m2/dev
Formal definition 36BET78TWH
| URI | m2://inv/36BET78TWH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Module (mathematics)#44A9, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
36BFKEZ4ZR 36BFKEZ4ZR
| URI | m2://inv/36BFKEZ4ZR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13913#UFOY (statement). In BW5GVH97JE/e1, proposition 3.12
History
- 2026-10-28: add by m2/v0.4.2
bijective proof 36BW4811YJ
| URI | m2://inv/36BW4811YJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q592286, bijective proof (unknown). Also nLab bijective proof
- wikipedia: Wikipedia Bijective proof, Bijective proof (definition). Also Wikidata Q592286
History
- 2026-10-26: add by m2/dev
36CBZW557S 36CBZW557S
| URI | m2://inv/36CBZW557S |
|---|---|
| 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-54 (exercise). In E9HS8K3A52, exercise, section 5.4.4
History
- 2026-11-01: add by m2/v0.6.13
example of discretisation matrix by finite differences of the laplacian in one dimension 36CC0B2V8P
| URI | m2://inv/36CC0B2V8P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Iterative methods > example of discretisation matrix by finite differences of the laplacian in one dimension, example of discretisation matrix by finite differences of the laplacian in one dimension (unknown)
History
- 2026-10-26: add by m2/dev
Selected Areas in Cryptography 36CCWDYNFT
| URI | m2://inv/36CCWDYNFT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Selected Areas in Cryptography, Selected Areas in Cryptography (definition). Also Wikidata Q3478074
History
- 2026-11-02: add by m2/dev
Conditional cumulants and the law of total cumulance 36CG3SSJPV
| URI | m2://inv/36CG3SSJPV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cumulant#5GRS, Conditional cumulants and the law of total cumulance (statement)
History
- 2026-11-02: add by m2/dev
Formulation 36CHBZ5P4E
| URI | m2://inv/36CHBZ5P4E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GNRS conjecture#NR4M, Formulation (definition)
History
- 2026-11-02: add by m2/dev
36CREQAZB8 36CREQAZB8
| URI | m2://inv/36CREQAZB8 |
|---|---|
| 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 2512.11346#F8VN (statement). In ZW58VE9XE3/e1, theorem A
History
- 2026-10-27: add by m2/v0.3.5
Shape optimization 36D3RP8AMD
| URI | m2://inv/36D3RP8AMD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#5UT4, Shape optimization (definition)
History
- 2026-11-02: add by m2/dev
Sharp coarsening inequality with $g$ auxiliary labels 36D5XQB5QS
| URI | m2://inv/36D5XQB5QS |
|---|---|
| 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#YL7E, Sharp coarsening inequality with $g$ auxiliary labels (statement)
History
- 2026-11-02: add by m2/v0.6.17
Martha M. Gardner 36DBD39RDE
| URI | m2://inv/36DBD39RDE |
|---|---|
| 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#ACZZ, Martha M. Gardner (topic)
History
- 2026-11-02: add by m2/dev
Fixed-dimensional finite-gap statistical lower bound 36DQ38PYXF
| URI | m2://inv/36DQ38PYXF |
|---|---|
| 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.03633#1AJL, Fixed-dimensional finite-gap statistical lower bound (statement). In X3E4D61X4V/e1, theorem C.5
History
- 2026-10-29: add by m2/v0.4.12
Gyula O. H. Katona 36DQ8DEQ91
| URI | m2://inv/36DQ8DEQ91 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gyula O. H. Katona, Gyula O. H. Katona (topic). Also Wikidata Q269167
History
- 2026-11-02: add by m2/dev
36DQYWJBB4 36DQYWJBB4
| URI | m2://inv/36DQYWJBB4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20050#VO4R (definition). In T41GD0Y0GX/e1, definition A.1
History
- 2026-10-27: add by m2/v0.4.2
36DYBMTQCE 36DYBMTQCE
| URI | m2://inv/36DYBMTQCE |
|---|---|
| Kind | definition |
| 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#022Y (definition). In BSWNH3NW1M/e1, definition 4.10
History
- 2026-10-27: add by m2/v0.4.0
Axial current 36DZPWHF7J
| URI | m2://inv/36DZPWHF7J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axial current, Axial current (definition). Also Wikidata Q116881953
History
- 2026-11-02: add by m2/dev
Albrecht Böttcher 36E2QJWJ6Y
| URI | m2://inv/36E2QJWJ6Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Albrecht Böttcher, Albrecht Böttcher (topic). Also Wikidata Q106719
History
- 2026-11-02: add by m2/dev
Angelika Bunse-Gerstner 36EAP19GZZ
| URI | m2://inv/36EAP19GZZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angelika Bunse-Gerstner, Angelika Bunse-Gerstner (topic). Also Wikidata Q58030233
History
- 2026-11-02: add by m2/dev
36EC9P724C 36EC9P724C
| URI | m2://inv/36EC9P724C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12513#IOSR (definition). In VM9V8SXEA2/e1, definition 3
History
- 2026-10-28: add by m2/v0.4.2
A small radial eigenvalue 36EEN8G9QY
| URI | m2://inv/36EEN8G9QY |
|---|---|
| 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.19908#WAGA, A small radial eigenvalue (statement). In AS5GND6D32/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
Multipliers along the critical circles 36ES80Q9GP
| URI | m2://inv/36ES80Q9GP |
|---|---|
| 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.19953#BU1X, Multipliers along the critical circles (statement). In CHPJWBREES/e1, proposition 3.9
History
- 2026-10-28: add by m2/v0.4.2
Fredholm's theorem 36EV4AD01F
| URI | m2://inv/36EV4AD01F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#08Q6, Fredholm's theorem (statement)
History
- 2026-11-02: add by m2/dev
36EYPNTTDF 36EYPNTTDF
| URI | m2://inv/36EYPNTTDF |
|---|---|
| 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 2412.14956#7SGQ (statement). In T8BQ6HHZYT/e1, lemma 6.9
History
- 2026-10-27: add by m2/v0.3.5
36EZ3CV717 36EZ3CV717
| URI | m2://inv/36EZ3CV717 |
|---|---|
| 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 2105.13129#Q6CV (statement). In J5Z1JD5VKR/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.4.0
Hemi-icosidodecahederal graph 36F0S34971
| URI | m2://inv/36F0S34971 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Icosidodecahedron#BG61, Hemi-icosidodecahederal graph (unknown)
History
- 2026-11-02: add by m2/dev
36F3JMA0NV 36F3JMA0NV
| URI | m2://inv/36F3JMA0NV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#W97L (statement)
History
- 2026-11-01: add by m2/v0.6.15
36F9SHPC9Y 36F9SHPC9Y
| URI | m2://inv/36F9SHPC9Y |
|---|---|
| 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 2212.00617#18OJ (statement). In K7505G10SS/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
36FB66FHM1 36FB66FHM1
| URI | m2://inv/36FB66FHM1 |
|---|---|
| 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.03488#ZDR8 (statement). In 9GXR1WEYWT/e1, proposition 5.4
History
- 2026-10-29: add by m2/v0.4.12
36FEFBXVXE 36FEFBXVXE
| URI | m2://inv/36FEFBXVXE |
|---|---|
| Kind | definition |
| 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.12489#ZX6Z (definition). In FDWFVD08SE/e1, definition 2.18
History
- 2026-10-28: add by m2/v0.4.2
Henri Skoda 36FF0MXMZ5
| URI | m2://inv/36FF0MXMZ5 |
|---|---|
| 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#ZYK1, Henri Skoda (topic)
History
- 2026-11-02: add by m2/dev
Definition 36FF8FJC87
| URI | m2://inv/36FF8FJC87 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cayley–Menger determinant#WOXG, Definition (definition)
History
- 2026-11-02: add by m2/dev
36FNQHVSZJ 36FNQHVSZJ
| URI | m2://inv/36FNQHVSZJ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-4 (proof). In N54F33XE07, proof, section 7.1.4
History
- 2026-11-01: add by m2/v0.6.13
Circuit complexity 36G7DRMMD3
| URI | m2://inv/36G7DRMMD3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circuit complexity, Circuit complexity (definition). Also Wikidata Q1055112
History
- 2026-11-02: add by m2/dev
Nagell–Lutz theorem 36G7Z8BD5R
| URI | m2://inv/36G7Z8BD5R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#5Z06, Nagell–Lutz theorem (statement)
History
- 2026-11-02: add by m2/dev
36GFFJSYE7 36GFFJSYE7
| URI | m2://inv/36GFFJSYE7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-11 (exercise). In E9HS8K3A52, exercise, section 4.1.1
History
- 2026-11-01: add by m2/v0.6.13
power set 36GFQB15G2
| URI | m2://inv/36GFQB15G2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.3/power-set, power set (concept). In N54F33XE07, index, section C.1.3
History
- 2026-11-01: add by m2/v0.6.13
whipping top graph 36GQ1MWMA5
| URI | m2://inv/36GQ1MWMA5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q137406823, whipping top graph (unknown). Also House of Graphs 35522
History
- 2026-10-26: add by m2/dev
Harry Kesten 36GRM0BNMY
| URI | m2://inv/36GRM0BNMY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harry Kesten, Harry Kesten (topic). Also Wikidata Q635373
History
- 2026-11-02: add by m2/dev
Explicit determinant formula 36GVKRKPPF
| URI | m2://inv/36GVKRKPPF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Möbius transformation#S2YB, Explicit determinant formula (statement)
History
- 2026-11-02: add by m2/dev
Nicholas Young 36HESFZP9T
| URI | m2://inv/36HESFZP9T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicholas Young (mathematician), Nicholas Young (topic). Also Wikidata Q57664760
History
- 2026-11-02: add by m2/dev
36HRCVRWC1 36HRCVRWC1
| URI | m2://inv/36HRCVRWC1 |
|---|---|
| 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.14099#SXR8 (statement). In D77GXFTKFH/e1, corollary 2
History
- 2026-10-28: add by m2/v0.4.2
36HX0YFBRW 36HX0YFBRW
| URI | m2://inv/36HX0YFBRW |
|---|---|
| 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.36181#K0XZ (statement). In 1KSE33PVS6/e1, theorem 50
History
- 2026-10-30: add by m2/v0.4.12
Local well-posedness 36HX2ZDGQR
| URI | m2://inv/36HX2ZDGQR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08074#V5OC, Local well-posedness (statement). In ZRPYF750AV/e1, theorem 3.9
History
- 2026-10-29: add by m2/v0.4.10
Characteristic 2 type 36HXQAQDY2
| URI | m2://inv/36HXQAQDY2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Characteristic 2 type, Characteristic 2 type (definition). Also Wikidata Q5073756
History
- 2026-11-02: add by m2/dev
Anders Karlsson 36HXRHENAD
| URI | m2://inv/36HXRHENAD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anders Karlsson (mathematician), Anders Karlsson (topic). Also Wikidata Q102205187
History
- 2026-11-02: add by m2/dev
Tony F. Chan 36J7CG9QGP
| URI | m2://inv/36J7CG9QGP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tony F. Chan, Tony F. Chan (topic). Also Wikidata Q7822312
History
- 2026-11-02: add by m2/dev
36JCSPWSEC 36JCSPWSEC
| URI | m2://inv/36JCSPWSEC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23287#JLSL (statement)
History
- 2026-11-02: add by m2/v0.6.17
Commutativity of limits 36JDZ4WPTV
| URI | m2://inv/36JDZ4WPTV |
|---|---|
| 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.00453#GZTG, Commutativity of limits (statement). In ESPJMBH2R2/e1, theorem 7.6
History
- 2026-10-30: add by m2/v0.4.12
36JFQTP45W 36JFQTP45W
| URI | m2://inv/36JFQTP45W |
|---|---|
| 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.39700#FH0I (statement). In E7W2HDNEKJ/e1, theorem 6.2
History
- 2026-10-30: add by m2/v0.4.12
Applications 36JGZVAC9K
| URI | m2://inv/36JGZVAC9K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolastic functions#O0ZK, Applications (example)
History
- 2026-11-02: add by m2/dev
36JHANG935 36JHANG935
| URI | m2://inv/36JHANG935 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#example-19 (example). In E9HS8K3A52, example, section 5.6.2
History
- 2026-11-01: add by m2/v0.6.13
Hecke group 36JN4NWH2F
| URI | m2://inv/36JN4NWH2F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modular group#9F48, Hecke group (unknown)
History
- 2026-11-02: add by m2/dev
Logarithmic time 36JN8XAW6H
| URI | m2://inv/36JN8XAW6H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time complexity#M5WG, Logarithmic time (unknown)
History
- 2026-11-02: add by m2/dev
36K1E9G7HW 36K1E9G7HW
| URI | m2://inv/36K1E9G7HW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29712#FESO (statement)
History
- 2026-11-01: add by m2/v0.6.15
36K8R4ZN8C 36K8R4ZN8C
| URI | m2://inv/36K8R4ZN8C |
|---|---|
| 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.09949#J1B1 (statement). In VGJVFCDV8A/e1, lemma 2.28
History
- 2026-10-29: add by m2/v0.4.10
Kobon triangle problem 36K9SFQC4Z
| URI | m2://inv/36K9SFQC4Z |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#OZCJ, Kobon triangle problem (conjecture)
History
- 2026-11-02: add by m2/dev
36KF8RMS3E 36KF8RMS3E
| URI | m2://inv/36KF8RMS3E |
|---|---|
| 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.16193#RSC4 (statement). In 1Q0A9HSTVP/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
36KGFSC351 36KGFSC351
| URI | m2://inv/36KGFSC351 |
|---|---|
| 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.03384#QMXB (statement). In J55JTTKG84/e1, proposition 4.32
History
- 2026-10-29: add by m2/v0.4.12
Virasena 36KGW539HD
| URI | m2://inv/36KGW539HD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#AMDB, Virasena (unknown)
History
- 2026-11-02: add by m2/dev
Abel polynomials 36KNRH4QXW
| URI | m2://inv/36KNRH4QXW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#WJ12, Abel polynomials (definition)
- wikipedia: Wikipedia List of things named after Niels Henrik Abel#4W7S, Abel polynomials (definition)
History
- 2026-11-02: add by m2/dev
36KTDKM2MJ 36KTDKM2MJ
| URI | m2://inv/36KTDKM2MJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.02244#ZP9C (statement). In 3REM2EXQK7/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
36KXHFPPD1 36KXHFPPD1
| URI | m2://inv/36KXHFPPD1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24701#1OYP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formal definition 36MD31Q3E9
| URI | m2://inv/36MD31Q3E9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Turing machine#0YD4, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
36MNRKBYX3 36MNRKBYX3
| URI | m2://inv/36MNRKBYX3 |
|---|---|
| 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.37897#S84G (statement). In RBQ5FNCVNZ/e1, lemma 9.18
History
- 2026-10-30: add by m2/v0.4.12
36MWP9J2M9 36MWP9J2M9
| URI | m2://inv/36MWP9J2M9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13850#YW1Q (statement). In KJY735KSMF/e1, proposition 6.3
History
- 2026-10-28: add by m2/v0.4.2
De Gua's theorem 36N6E73890
| URI | m2://inv/36N6E73890 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trirectangular tetrahedron#RRC0, De Gua's theorem (statement)
History
- 2026-11-02: add by m2/dev
36NAD603W3 36NAD603W3
| URI | m2://inv/36NAD603W3 |
|---|---|
| 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.20242#74WR (statement). In TAX627CRH2/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.4.2
36NCH1WB2H 36NCH1WB2H
| URI | m2://inv/36NCH1WB2H |
|---|---|
| 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#I5AN (statement)
History
- 2026-11-01: add by m2/v0.6.15
36NDCGGSV3 36NDCGGSV3
| URI | m2://inv/36NDCGGSV3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32065#WR2Y (statement). In 6Z9JQP3204/e1, theorem 3.5
History
- 2026-10-31: add by m2/v0.5.6
36NMWGANG2 36NMWGANG2
| URI | m2://inv/36NMWGANG2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/action.tex#definition-1 (definition). In RZP28ERRZV, definition, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
C-36 36NQ3MF6DT
| URI | m2://inv/36NQ3MF6DT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia C-36 (cipher machine), C-36 (definition). Also Wikidata Q2930418
History
- 2026-11-02: add by m2/dev
Harold Stark 36NVN83YB1
| URI | m2://inv/36NVN83YB1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harold Stark, Harold Stark (topic). Also Wikidata Q1585933
History
- 2026-11-02: add by m2/dev
Dynamical systems theory 36NWH6AY1G
| URI | m2://inv/36NWH6AY1G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of systems theory#UU12, Dynamical systems theory (topic)
History
- 2026-11-02: add by m2/dev
List of Mersenne primes and perfect numbers 36NZYQ7MBY
| URI | m2://inv/36NZYQ7MBY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Mersenne primes and perfect numbers, List of Mersenne primes and perfect numbers (topic). Also Wikidata Q108907585
History
- 2026-11-02: add by m2/dev
Charles Epstein 36P8R3P3YY
| URI | m2://inv/36P8R3P3YY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Epstein (mathematician), Charles Epstein (topic). Also Wikidata Q5077401
History
- 2026-11-02: add by m2/dev
36P9BH4M7D 36P9BH4M7D
| URI | m2://inv/36P9BH4M7D |
|---|---|
| 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.18744#I6JL (statement). In AE07JDH5D3/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Yuri Nesterenko 36P9PRPVQ2
| URI | m2://inv/36P9PRPVQ2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yuri Nesterenko (mathematician), Yuri Nesterenko (topic). Also Wikidata Q644051
History
- 2026-11-02: add by m2/dev
36P9T08MQP 36P9T08MQP
| URI | m2://inv/36P9T08MQP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2510.05499#IXB9 (statement). In WRMNCC8VBC/e1, lemma 31
History
- 2026-10-27: add by m2/v0.3.6
Secular equation and kernel criterion 36PEGVKJPQ
| URI | m2://inv/36PEGVKJPQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.03745#FU76, Secular equation and kernel criterion (statement). In YWXVX6AX8F/e1, theorem 8.6
History
- 2026-10-29: add by m2/v0.4.12
Definition 36PF5E2EBR
| URI | m2://inv/36PF5E2EBR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schnirelmann density#8NKJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
finite set 36PHYPW1G8
| URI | m2://inv/36PHYPW1G8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Finite set 070R982G4B |
Mentions
- wikidata: Wikidata Q272404, finite set (definition). Also MathWorld Finite, MathWorld FiniteSet, nLab finite set, ProofWiki Definition:Finite_Set
- wikipedia: Wikipedia Finite set, Finite set (definition). Also Wikidata Q272404
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Algebraic regularity lemma, Corollary 5.2 in and Theorem 10 36PVVYPBTA
| URI | m2://inv/36PVVYPBTA |
|---|---|
| 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.33733#5DRN, Algebraic regularity lemma, Corollary 5.2 in and Theorem 10 (statement). In QBAP8C82FG/e1, theorem 5
History
- 2026-10-30: add by m2/v0.4.12
Definition 36PWV8Z037
| URI | m2://inv/36PWV8Z037 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hausdorff density#5JQY, Definition (definition)
History
- 2026-11-02: add by m2/dev
O'Neil 36QK2E5T9A
| URI | m2://inv/36QK2E5T9A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08074#4Y5K, O'Neil (statement). In ZRPYF750AV/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
Heinz Bachmann 36QMBSF9HR
| URI | m2://inv/36QMBSF9HR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heinz Bachmann, Heinz Bachmann (topic). Also Wikidata Q22003253
History
- 2026-11-02: add by m2/dev
Dodecagon 36QNG48DVQ
| URI | m2://inv/36QNG48DVQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#73EW, Dodecagon (definition)
History
- 2026-11-02: add by m2/dev
36R2BMDZ5M 36R2BMDZ5M
| URI | m2://inv/36R2BMDZ5M |
|---|---|
| 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 2511.17751#EVJM (statement). In J39X0NB31S/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Lipschitz homogeneous extension 36R2Q79ETP
| URI | m2://inv/36R2Q79ETP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.26286#Y5K6, Lipschitz homogeneous extension (statement)
History
- 2026-11-01: add by m2/v0.6.15
Invariant set 36RCAPX29Y
| URI | m2://inv/36RCAPX29Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invariant (mathematics)#PWRF, Invariant set (unknown)
History
- 2026-11-02: add by m2/dev
Mayer–Vietoris sequence 36RNPMZ0ZF
| URI | m2://inv/36RNPMZ0ZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#BD7G, Mayer–Vietoris sequence (definition)
History
- 2026-11-02: add by m2/dev
36RVJPFG7H 36RVJPFG7H
| URI | m2://inv/36RVJPFG7H |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#C6DU (example). In HX63A1PH1W/e1, example 4.35
History
- 2026-10-28: add by m2/v0.4.3
36S1DBNKA9 36S1DBNKA9
| URI | m2://inv/36S1DBNKA9 |
|---|---|
| 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 2308.05715#1PJK (definition). In FC0SB9JFWH/e1, definition 3.11
History
- 2026-10-27: add by m2/v0.3.5
modal logic S4 36S3J9D31H
| URI | m2://inv/36S3J9D31H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#EXXB, modal logic S4 (definition)
History
- 2026-11-02: add by m2/dev
Recurrence theorem 36S4MJB0TQ
| URI | m2://inv/36S4MJB0TQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf decomposition#HNVQ, Recurrence theorem (statement)
History
- 2026-11-02: add by m2/dev
Luce's choice axiom 36S6P94BN7
| URI | m2://inv/36S6P94BN7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luce's choice axiom, Luce's choice axiom (statement). Also Wikidata Q6696419
History
- 2026-11-02: add by m2/dev
Nirvana fallacy 36SAB94BNT
| URI | m2://inv/36SAB94BNT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nirvana fallacy, Nirvana fallacy (definition). Also Wikidata Q898603
History
- 2026-11-02: add by m2/dev
Terminal yield 36SBT92MGZ
| URI | m2://inv/36SBT92MGZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Terminal yield, Terminal yield (definition). Also Wikidata Q7702755
History
- 2026-11-02: add by m2/dev
36SJH7F4VC 36SJH7F4VC
| URI | m2://inv/36SJH7F4VC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2004.12552#N240 (example). In TWPE10CZ1S/e1, example 4.6
History
- 2026-10-27: add by m2/v0.3.5
36SS4AZYFV 36SS4AZYFV
| URI | m2://inv/36SS4AZYFV |
|---|---|
| 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.33941#8QTI (statement). In 64YCRQCKZN/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
36SZ0FQAHQ 36SZ0FQAHQ
| URI | m2://inv/36SZ0FQAHQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.24007#FN23 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Smooth completion 36T3MPQD8H
| URI | m2://inv/36T3MPQD8H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smooth completion, Smooth completion (definition). Also Wikidata Q7546415
History
- 2026-11-02: add by m2/dev
Structural theorems 36T5DG9XZ2
| URI | m2://inv/36T5DG9XZ2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dagger compact category#A5OS, Structural theorems (statement)
History
- 2026-11-02: add by m2/dev
Andrea Saltelli 36T8VWYRZG
| URI | m2://inv/36T8VWYRZG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrea Saltelli, Andrea Saltelli (topic). Also Wikidata Q58381815
History
- 2026-11-02: add by m2/dev
36TCCRWTN5 36TCCRWTN5
| URI | m2://inv/36TCCRWTN5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.25539#UBKN (statement)
History
- 2026-11-01: add by m2/v0.6.15
White Light 36V4SJ934Q
| URI | m2://inv/36V4SJ934Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7994991, White Light (unknown). Also ProofWiki Book:Rudy_Rucker/White_Light
History
- 2026-10-26: add by m2/dev
JSJ decomposition theorem 36VD06GBV7
| URI | m2://inv/36VD06GBV7 |
|---|---|
| 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.10338#QCTV, JSJ decomposition theorem (statement). In WZ3GXRAB00/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.10
Spherics 36VGYJEMWN
| URI | m2://inv/36VGYJEMWN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spherics, Spherics (definition). Also Wikidata Q121816490
History
- 2026-11-02: add by m2/dev
Tvireita Moraine 36VPB7YV66
| URI | m2://inv/36VPB7YV66 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#W1I2, Tvireita Moraine (unknown)
History
- 2026-11-02: add by m2/dev
36W1KD0QFH 36W1KD0QFH
| URI | m2://inv/36W1KD0QFH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise:dicontR2 (exercise). In E59CDZA4DP, exercise, section 4.5.6
History
- 2026-11-01: add by m2/v0.6.13
The free field and its shell decomposition 36W3V930CT
| URI | m2://inv/36W3V930CT |
|---|---|
| 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.00453#R3WW, The free field and its shell decomposition (statement). In ESPJMBH2R2/e1, proposition A.1
History
- 2026-10-30: add by m2/v0.4.12
36WBMADAQA 36WBMADAQA
| URI | m2://inv/36WBMADAQA |
|---|---|
| Kind | conjecture |
| 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 0910.5574#TEQB (conjecture). In 2TJRBRKYAY/e1, conjecture 1.5
History
- 2026-10-27: add by m2/v0.3.5
36WC0A5XY1 36WC0A5XY1
| URI | m2://inv/36WC0A5XY1 |
|---|---|
| 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#GEGS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Discrete Fourier transform 36WFK0ZSHA
| URI | m2://inv/36WFK0ZSHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#B69T, Discrete Fourier transform (definition)
History
- 2026-11-02: add by m2/dev
Species–area curve 36WK31235G
| URI | m2://inv/36WK31235G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#25JK, Species–area curve (unknown)
History
- 2026-11-02: add by m2/dev
Polynomial gap 36WPD78VQA
| URI | m2://inv/36WPD78VQA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.20649#AOQH, Polynomial gap (statement). In XDTM624YPE/e1, lemma 15.4
History
- 2026-10-27: add by m2/v0.4.2
Blocking (statistics) 36WSSKYYPM
| URI | m2://inv/36WSSKYYPM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VIRJ, Blocking (statistics) (definition)
History
- 2026-11-02: add by m2/dev
Numerical Recipes 36WTYW625G
| URI | m2://inv/36WTYW625G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#0TT7, Numerical Recipes (definition)
History
- 2026-11-02: add by m2/dev
36WXZSGAA7 36WXZSGAA7
| URI | m2://inv/36WXZSGAA7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.17060#0KXT (statement). In 5KR3MHYVV6/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
induction 36XCQK32G2
| URI | m2://inv/36XCQK32G2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/3.5/induction, induction (concept). In Y91XFCEVHQ, index, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
36XF14V9NS 36XF14V9NS
| URI | m2://inv/36XF14V9NS |
|---|---|
| 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.39539#OEKE (definition). In GVR218P3ZR/e1, definition 7.3.1
History
- 2026-10-30: add by m2/v0.4.12
coercion, universe-raising 36XF97KJ0R
| URI | m2://inv/36XF97KJ0R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.12.3/coercion-universe-raising, coercion, universe-raising (concept). In N54F33XE07, index, section A.12.3
History
- 2026-11-01: add by m2/v0.6.13
36XFHMPHCX 36XFHMPHCX
| URI | m2://inv/36XFHMPHCX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#WLVU (statement). In JWNYJVH8XG/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.10
Lightly compressible fronts 36XG7S014S
| URI | m2://inv/36XG7S014S |
|---|---|
| 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.01883#RT8P, Lightly compressible fronts (statement). In CYV4P9TDV0/e1, theorem 1.7
History
- 2026-10-29: add by m2/v0.4.12
Bernoulli sequence 36XKX3591K
| URI | m2://inv/36XKX3591K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernoulli process#0K65, Bernoulli sequence (unknown)
History
- 2026-11-02: add by m2/dev
Barbier's theorem 36XKXC1S9J
| URI | m2://inv/36XKXC1S9J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#9OVI, Barbier's theorem (statement)
History
- 2026-11-02: add by m2/dev
Ákos Császár 36XM27Q2K2
| URI | m2://inv/36XM27Q2K2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZGBV, Ákos Császár (topic)
History
- 2026-11-02: add by m2/dev
Examples 36YC71TT1B
| URI | m2://inv/36YC71TT1B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rig category#0CBZ, Examples (example)
History
- 2026-11-02: add by m2/dev
36YHRJKSCB 36YHRJKSCB
| URI | m2://inv/36YHRJKSCB |
|---|---|
| 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 2601.10370#3DTE (statement). In S5ZSEFYBD3/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
Diamonds 36YJMKT3FK
| URI | m2://inv/36YJMKT3FK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#PHLQ, Diamonds (unknown)
History
- 2026-11-02: add by m2/dev
36YNDMV1W3 36YNDMV1W3
| URI | m2://inv/36YNDMV1W3 |
|---|---|
| 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.22551#VVAK (statement)
History
- 2026-11-02: add by m2/v0.6.17
Lossy rank condenser 36YQWR6RYE
| URI | m2://inv/36YQWR6RYE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32834#3TRC, Lossy rank condenser (definition). In N4M6B8EMCW/e1, definition 1.3
History
- 2026-10-31: add by m2/v0.5.6
ZPP 36YRD56TGS
| URI | m2://inv/36YRD56TGS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ZPP (complexity), ZPP (definition). Also Wikidata Q136355
History
- 2026-11-02: add by m2/dev
Superpartient ratio 36YTTE6Y3A
| URI | m2://inv/36YTTE6Y3A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superpartient ratio, Superpartient ratio (definition). Also Wikidata Q7644094
History
- 2026-11-02: add by m2/dev
36YVRZM18J 36YVRZM18J
| URI | m2://inv/36YVRZM18J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-3 (exercise). In E59CDZA4DP, exercise, section 10.1.4
History
- 2026-11-01: add by m2/v0.6.13
36YW88BHZX 36YW88BHZX
| URI | m2://inv/36YW88BHZX |
|---|---|
| Kind | example |
| 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 2504.14383#QQPC (example). In QD0X3XJS6T/e1, example 2.5
History
- 2026-10-27: add by m2/v0.3.5
36Z5CX26P4 36Z5CX26P4
| URI | m2://inv/36Z5CX26P4 |
|---|---|
| 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.21724#B4K7 (statement). In EDDJCSBMXN/e1, corollary 7.4
History
- 2026-10-27: add by m2/v0.4.2
Mikhail Katz 36Z8RG5AND
| URI | m2://inv/36Z8RG5AND |
|---|---|
| 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 Q607888, Mikhail Katz (unknown). Also nLab Mikhail Katz
- wikipedia: Wikipedia Mikhail Katz, Mikhail Katz (topic). Also Wikidata Q607888
History
- 2026-10-26: add by m2/dev
36ZGDKTS18 36ZGDKTS18
| URI | m2://inv/36ZGDKTS18 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00021#T26Z (statement). In EX42AVA7CV/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
36ZGRPTDRB 36ZGRPTDRB
| URI | m2://inv/36ZGRPTDRB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12736#WGFZ (statement). In 5350Q52F6P/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
36ZHAXB5EW 36ZHAXB5EW
| URI | m2://inv/36ZHAXB5EW |
|---|---|
| Kind | definition |
| 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.23526#NBNH (definition)
History
- 2026-11-02: add by m2/v0.6.17
Cevian circle 36ZJF0XK4F
| URI | m2://inv/36ZJF0XK4F |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3665055, Cevian circle (concept). Also MathWorld CevianCircle
History
- 2026-10-26: add by m2/dev
36ZN1ZCT45 36ZN1ZCT45
| URI | m2://inv/36ZN1ZCT45 |
|---|---|
| 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.07040#NJCZ (statement). In KMNXNW7FHP/e1, corollary 3.3
History
- 2026-10-29: add by m2/v0.4.10
Free-factor boundary separation 36ZN58QXJX
| URI | m2://inv/36ZN58QXJX |
|---|---|
| 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.36098#AZKO, Free-factor boundary separation (statement). In NRP62VNE58/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
36ZTE7CVE9 36ZTE7CVE9
| URI | m2://inv/36ZTE7CVE9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 19-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 2410.14097#HKXE (statement). In H52QQS8WZA/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
36ZXVF0SGR 36ZXVF0SGR
| URI | m2://inv/36ZXVF0SGR |
|---|---|
| Kind | problem |
| 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#77DX (problem). In 7NE5NVT9KH/e1, problem 4.5
History
- 2026-10-27: add by m2/v0.3.5