Inventory rows 4Q
The cards of the rows of the inventory whose ids start with 4Q. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Logarithmic overhead from sumset extractors 4Q056HZSQR
| URI | m2://inv/4Q056HZSQR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#SBA1, Logarithmic overhead from sumset extractors (statement). In ZZER8ZBSCR/e1, theorem 5.25
History
- 2026-10-29: add by m2/v0.4.12
4Q0AGG07TA 4Q0AGG07TA
| URI | m2://inv/4Q0AGG07TA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19357#8YLO (statement). In RGXQ50RWXV/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
4Q0FZ8JZZ8 4Q0FZ8JZZ8
| URI | m2://inv/4Q0FZ8JZZ8 |
|---|---|
| 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.27715#WRD1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
4Q0GFQ16P7 4Q0GFQ16P7
| URI | m2://inv/4Q0GFQ16P7 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#E9IX (unknown). In QNBFHFZ3H0/e1, unknown 65
History
- 2026-10-28: add by m2/v0.4.2
4Q0H1SC5YV 4Q0H1SC5YV
| URI | m2://inv/4Q0H1SC5YV |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#proof-11 (proof). In E59CDZA4DP, proof, section 8.2.3
History
- 2026-11-01: add by m2/v0.6.13
pentagonal hexecontahedron 4Q0MM19J8F
| URI | m2://inv/4Q0MM19J8F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1512293, pentagonal hexecontahedron (object). Also MathWorld PentagonalHexecontahedron
- wikipedia: Wikipedia Pentagonal hexecontahedron, Pentagonal hexecontahedron (definition). Also Wikidata Q1512293
History
- 2026-10-26: add by m2/dev
Richard Dedekind 4Q0Q3RAGG7
| URI | m2://inv/4Q0Q3RAGG7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#6TYK, Richard Dedekind (topic)
History
- 2026-11-02: add by m2/dev
Root mean square deviation (bioinformatics) 4Q0SFFZ00W
| URI | m2://inv/4Q0SFFZ00W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#9PYT, Root mean square deviation (bioinformatics) (definition)
History
- 2026-11-02: add by m2/dev
The two schedules for every budget 4Q0WXEQRYR
| URI | m2://inv/4Q0WXEQRYR |
|---|---|
| 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.12641#XAE0, The two schedules for every budget (statement). In X5BYGZZHPF/e1, lemma I.1
History
- 2026-10-28: add by m2/v0.4.2
Group testing 4Q0YKK3AQA
| URI | m2://inv/4Q0YKK3AQA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group testing, Group testing (definition). Also Wikidata Q5611272
History
- 2026-11-02: add by m2/dev
Distinguished morphisms 4Q12J207CQ
| URI | m2://inv/4Q12J207CQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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.26270#S3IG, Distinguished morphisms (definition)
History
- 2026-11-01: add by m2/v0.6.15
reduction of order 4Q19XKEPJH
| URI | m2://inv/4Q19XKEPJH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise:reductionoforder, reduction of order (exercise). In E9HS8K3A52, exercise, section 6.1.1
History
- 2026-11-01: add by m2/v0.6.13
quasilinearization 4Q1BMMPS3B
| URI | m2://inv/4Q1BMMPS3B |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130969419, quasilinearization (concept). Also EoM Quasi-linearization
- wikipedia: Wikipedia Quasilinearization, Quasilinearization (definition). Also Wikidata Q130969419
History
- 2026-10-26: add by m2/dev
Higher-rank Sato--Tate RMF 4Q1CEBWVZS
| URI | m2://inv/4Q1CEBWVZS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-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.20460#OGFM, Higher-rank Sato--Tate RMF (example)
History
- 2026-11-02: add by m2/v0.6.18
4Q1G1CW3CD 4Q1G1CW3CD
| URI | m2://inv/4Q1G1CW3CD |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-23 (proof). In N54F33XE07, proof, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
An energy coordinate is monotone and 1-Lipschitz in budget 4Q1RHHFKG1
| URI | m2://inv/4Q1RHHFKG1 |
|---|---|
| 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.19908#WL4S, An energy coordinate is monotone and 1-Lipschitz in budget (statement)
History
- 2026-11-02: add by m2/v0.6.18
Markov decision process simulator models 4Q1SAT876N
| URI | m2://inv/4Q1SAT876N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov decision process#HZDD, Markov decision process simulator models (unknown)
History
- 2026-11-02: add by m2/dev
No-borrow criterion 4Q1SE40NBV
| URI | m2://inv/4Q1SE40NBV |
|---|---|
| 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.37754#F9ME, No-borrow criterion (statement). In 3HPFAQKBEM/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
Fixed leverage, swept tilt 4Q1ZCA3864
| URI | m2://inv/4Q1ZCA3864 |
|---|---|
| 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.25704#TODO, Fixed leverage, swept tilt (statement)
History
- 2026-11-01: add by m2/v0.6.15
Equality condition for local information efficiency 4Q202BB6JD
| URI | m2://inv/4Q202BB6JD |
|---|---|
| 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.11038#7DJB, Equality condition for local information efficiency (statement). In RY8QBYR4SE/e1, proposition D.1
History
- 2026-10-28: add by m2/v0.4.3
4Q241HNZT7 4Q241HNZT7
| URI | m2://inv/4Q241HNZT7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.06555#9VA4 (statement). In 5GDDS20Q3D/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.4.0
4Q2BWNK6ME 4Q2BWNK6ME
| URI | m2://inv/4Q2BWNK6ME |
|---|---|
| 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.38548#S5KO (statement). In Z7ZFV3HM1S/e1, theorem 6.1
History
- 2026-10-30: add by m2/v0.4.12
analytic number theory 4Q2GF1SHVK
| URI | m2://inv/4Q2GF1SHVK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#2JRZ, analytic number theory (definition)
History
- 2026-11-02: add by m2/dev
subring 4Q2M5TX8RH
| URI | m2://inv/4Q2M5TX8RH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#UHX8, subring (definition)
History
- 2026-11-02: add by m2/dev
Generalizations 4Q2R0EQPP5
| URI | m2://inv/4Q2R0EQPP5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Levi's lemma#NR1Z, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Simplification (computer algebra) 4Q2R2P6ZRF
| URI | m2://inv/4Q2R2P6ZRF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computer algebra#5O6S, Simplification (computer algebra) (unknown)
History
- 2026-11-02: add by m2/dev
Bagaria, Koellner, Woodin 4Q2VNHJM8X
| URI | m2://inv/4Q2VNHJM8X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25291#UDU7, Bagaria, Koellner, Woodin (statement)
History
- 2026-11-01: add by m2/v0.6.15
Key signing party 4Q2X3HQSD7
| URI | m2://inv/4Q2X3HQSD7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Key signing party, Key signing party (definition). Also Wikidata Q1740351
History
- 2026-11-02: add by m2/dev
Euler's quadrilateral theorem 4Q314HXZSM
| URI | m2://inv/4Q314HXZSM |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q18630480, Euler's quadrilateral theorem (statement). Also Wikidata Q18630480
- thousand_plus: thousand_plus Q18630480, Euler's quadrilateral theorem (statement). Also Wikidata Q18630480, Wikipedia Euler's quadrilateral theorem
- wikipedia: Wikipedia Euler's quadrilateral theorem, Euler's quadrilateral theorem (statement). Also Wikidata Q18630480
History
- 2026-10-26: add by m2/dev
set of algebraic numbers 4Q32Z6FY6C
| URI | m2://inv/4Q32Z6FY6C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q47007753, set of algebraic numbers (unknown). Also MathWorld Algebraics
History
- 2026-10-26: add by m2/dev
Finite joins 4Q330W4P1W
| URI | m2://inv/4Q330W4P1W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20514#LHLR, Finite joins (statement)
History
- 2026-11-02: add by m2/v0.6.18
Generalized canonical bundle formula 4Q34KRWH8Y
| URI | m2://inv/4Q34KRWH8Y |
|---|---|
| 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.21358#CA9D, Generalized canonical bundle formula (statement). In XV70TXYS5A/e1, proposition 2.11
History
- 2026-10-27: add by m2/v0.4.2
Winpepi 4Q34ZB92PC
| URI | m2://inv/4Q34ZB92PC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#2WJA, Winpepi (definition)
History
- 2026-11-02: add by m2/dev
Cyclic Coordinate Descent 4Q34ZNJN09
| URI | m2://inv/4Q34ZNJN09 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse kinematics#WQAU, Cyclic Coordinate Descent (unknown)
History
- 2026-11-02: add by m2/dev
4Q38SBJR3J 4Q38SBJR3J
| URI | m2://inv/4Q38SBJR3J |
|---|---|
| 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.06909#VNLS (statement). In F1EF8XE30A/e1, theorem B
History
- 2026-10-29: add by m2/v0.4.10
4Q3CD8SGJ5 4Q3CD8SGJ5
| URI | m2://inv/4Q3CD8SGJ5 |
|---|---|
| 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.04833#VP0E (statement). In AKB3CNDA0F/e1, lemma 3.26
History
- 2026-10-29: add by m2/v0.4.12
4Q3FPEMFGR 4Q3FPEMFGR
| URI | m2://inv/4Q3FPEMFGR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31523#2SMU (statement). In 2BET1RE1F6/e1, proposition 2.11
History
- 2026-10-31: add by m2/v0.5.6
4Q3M5PAVGQ 4Q3M5PAVGQ
| URI | m2://inv/4Q3M5PAVGQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#proof-14 (proof). In E59CDZA4DP, proof, section 1.5
History
- 2026-11-01: add by m2/v0.6.13
Naimark dilation 4Q3MEMVR7T
| URI | m2://inv/4Q3MEMVR7T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.02468#ZITA, Naimark dilation (statement). In Q7C6G66CWM/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
Diffusion-limited aggregation 4Q3SNW2AEH
| URI | m2://inv/4Q3SNW2AEH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CJLE, Diffusion-limited aggregation (definition)
- wikipedia: Wikipedia List of mathematical shapes#XEXT, Diffusion-limited aggregation (definition)
History
- 2026-11-02: add by m2/dev
4Q3WBAC69F 4Q3WBAC69F
| URI | m2://inv/4Q3WBAC69F |
|---|---|
| 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 2207.12181#353F (statement). In FSD8NE3XSR/e1, proposition 7.21
History
- 2026-10-27: add by m2/v0.4.0
Lowell Reed 4Q3ZPAH2MQ
| URI | m2://inv/4Q3ZPAH2MQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#SVYP, Lowell Reed (unknown)
History
- 2026-11-02: add by m2/dev
Starke R. Hathaway 4Q40GSG34K
| URI | m2://inv/4Q40GSG34K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Starke R. Hathaway, Starke R. Hathaway (topic). Also Wikidata Q16010938
History
- 2026-11-02: add by m2/dev
4Q417GBZMW 4Q417GBZMW
| URI | m2://inv/4Q417GBZMW |
|---|---|
| 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.36423#J2PE (statement). In Q5Z178SAHP/e1, lemma 7.6
History
- 2026-10-30: add by m2/v0.4.12
Kenneth O. May Prize 4Q41AS6G39
| URI | m2://inv/4Q41AS6G39 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kenneth O. May Prize, Kenneth O. May Prize (definition). Also Wikidata Q1140149
History
- 2026-11-02: add by m2/dev
4Q43ZMFMHE 4Q43ZMFMHE
| URI | m2://inv/4Q43ZMFMHE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2202.10212#4H8L (statement). In E9ZQM8449P/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.6
quotation 4Q4D343GQX
| URI | m2://inv/4Q4D343GQX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#C1HK, quotation (definition)
History
- 2026-11-02: add by m2/dev
4Q4DBSJPKV 4Q4DBSJPKV
| URI | m2://inv/4Q4DBSJPKV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.14879#7RA8 (definition). In 3VZ55B2N0D/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.4.0
Horst Schubert 4Q4GMQJC5E
| URI | m2://inv/4Q4GMQJC5E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#3NOL, Horst Schubert (topic)
History
- 2026-11-02: add by m2/dev
Big q-Jacobi polynomials 4Q548WBQNF
| URI | m2://inv/4Q548WBQNF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Big q-Jacobi polynomials, Big q-Jacobi polynomials (definition). Also Wikidata Q4906758
History
- 2026-11-02: add by m2/dev
4Q5B57Z4DY 4Q5B57Z4DY
| URI | m2://inv/4Q5B57Z4DY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-58 (exercise). In E59CDZA4DP, exercise, section 2.4.4
History
- 2026-11-01: add by m2/v0.6.13
Michael Maestlin 4Q5BXXW65B
| URI | m2://inv/4Q5BXXW65B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#KW9R, Michael Maestlin (topic)
History
- 2026-11-02: add by m2/dev
Graph of a function 4Q5HRGMRNS
| URI | m2://inv/4Q5HRGMRNS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#6T0J, Graph of a function (definition)
History
- 2026-11-02: add by m2/dev
Definitions 4Q5JCE3J5X
| URI | m2://inv/4Q5JCE3J5X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lefschetz manifold#LYVP, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Cohomological rigidity problem for toric manifolds 4Q5ZNR8EME
| URI | m2://inv/4Q5ZNR8EME |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39707#PAOI, Cohomological rigidity problem for toric manifolds (problem). In NFH5VEY1D1/e1, problem
History
- 2026-10-30: add by m2/v0.4.12
4Q65015JP6 4Q65015JP6
| URI | m2://inv/4Q65015JP6 |
|---|---|
| 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.01354#ZIRQ (statement). In BWD76W20W8/e1, theorem 2.6
History
- 2026-10-29: add by m2/v0.4.12
4Q6A5S5J44 4Q6A5S5J44
| URI | m2://inv/4Q6A5S5J44 |
|---|---|
| Kind | definition |
| 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 1903.07030#YRXG (definition). In 9H45HQE7AZ/e1, definition 3.24
History
- 2026-10-27: add by m2/v0.3.5
Odd-prime coefficient table 4Q6DCB7ZMF
| URI | m2://inv/4Q6DCB7ZMF |
|---|---|
| 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 2610.10583#8SM1, Odd-prime coefficient table (statement). In 5BZQS1KY9A/e1, proposition 9.8
History
- 2026-10-29: add by m2/v0.4.10
Properties 4Q6DT62MFQ
| URI | m2://inv/4Q6DT62MFQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unimodular lattice#AU4S, Properties (statement)
History
- 2026-11-02: add by m2/dev
4Q6DVAJ8EY 4Q6DVAJ8EY
| URI | m2://inv/4Q6DVAJ8EY |
|---|---|
| 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.17476#04M6 (statement). In 6HXD74FA4S/e1, theorem 6.6
History
- 2026-10-28: add by m2/v0.4.2
4Q6N3A1319 4Q6N3A1319
| URI | m2://inv/4Q6N3A1319 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.20891#D73I (statement). In WH55XAE8E2/e1, theorem C.1
History
- 2026-10-27: add by m2/v0.4.2
4Q6RQX1F00 4Q6RQX1F00
| URI | m2://inv/4Q6RQX1F00 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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.29574#0Q26 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Vadim G. Vizing 4Q75JJ5GZY
| URI | m2://inv/4Q75JJ5GZY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#AZEZ, Vadim G. Vizing (topic)
History
- 2026-11-02: add by m2/dev
Examples 4Q765K9FFH
| URI | m2://inv/4Q765K9FFH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chromatic polynomial#GGIS, Examples (example)
History
- 2026-11-02: add by m2/dev
Pseudo-observation 4Q77MEDKG7
| URI | m2://inv/4Q77MEDKG7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjugate prior#II9G, Pseudo-observation (unknown)
History
- 2026-11-02: add by m2/dev
One factor 4Q79XWFJZ4
| URI | m2://inv/4Q79XWFJZ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06028#F88O, One factor (statement). In GAZRH97SXG/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.10
4Q7AC5S295 4Q7AC5S295
| URI | m2://inv/4Q7AC5S295 |
|---|---|
| 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 2007.14459#AYXO (statement). In SGQ7VFEZ22/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.3.5
subresultant 4Q7E2PBV6E
| URI | m2://inv/4Q7E2PBV6E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122391310, subresultant (unknown). Also MathWorld Subresultant
History
- 2026-10-26: add by m2/dev
Stereonet 4Q7NHY215E
| URI | m2://inv/4Q7NHY215E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stereographic projection#WLZQ, Stereonet (unknown)
History
- 2026-11-02: add by m2/dev
Gain, Anil Kumar 4Q7NXTCBVF
| URI | m2://inv/4Q7NXTCBVF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#S0IZ, Gain, Anil Kumar (topic)
History
- 2026-11-02: add by m2/dev
4Q7S32K522 4Q7S32K522
| URI | m2://inv/4Q7S32K522 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08599#HUCZ (example). In DST9FWMHT6/e1, example 4.4
History
- 2026-10-29: add by m2/v0.4.10
Example 4Q7VV5786T
| URI | m2://inv/4Q7VV5786T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iwahori–Hecke algebra#2JGZ, Example (example)
History
- 2026-11-02: add by m2/dev
Independence case 4Q7XB0AXGE
| URI | m2://inv/4Q7XB0AXGE |
|---|---|
| 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.14616#RPQN, Independence case (statement). In 17ACAG0N9C/e1, corollary 2.14
History
- 2026-10-28: add by m2/v0.4.2
Si Phan Don 4Q82SEJVGD
| URI | m2://inv/4Q82SEJVGD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#E5E9, Si Phan Don (unknown)
History
- 2026-11-02: add by m2/dev
Example 4Q894GQSCG
| URI | m2://inv/4Q894GQSCG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pathfinder network#4TBI, Example (example)
History
- 2026-11-02: add by m2/dev
Construction 4Q8H4GG37P
| URI | m2://inv/4Q8H4GG37P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E9 honeycomb#RDSK, Construction (definition)
History
- 2026-11-02: add by m2/dev
Linards Reiziņš 4Q8MC2S345
| URI | m2://inv/4Q8MC2S345 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linards Reiziņš, Linards Reiziņš (topic). Also Wikidata Q18702383
History
- 2026-11-02: add by m2/dev
Symmetry 4Q8NFW2P40
| URI | m2://inv/4Q8NFW2P40 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetrahexagonal tiling#8U55, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
context 4Q8T6FGNY9
| URI | m2://inv/4Q8T6FGNY9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.1/context, context (concept). In N54F33XE07, index, section A.1
History
- 2026-11-01: add by m2/v0.6.13
Function field sieve 4Q8V9X2D5C
| URI | m2://inv/4Q8V9X2D5C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function field sieve, Function field sieve (definition). Also Wikidata Q5508770
History
- 2026-11-02: add by m2/dev
Phasor 4Q8WMAWXQX
| URI | m2://inv/4Q8WMAWXQX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phasor, Phasor (definition). Also Wikidata Q827674
History
- 2026-11-02: add by m2/dev
4Q91Q2E51T 4Q91Q2E51T
| URI | m2://inv/4Q91Q2E51T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00109#D7GL (statement). In FS8J84KFX2/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Neat submanifold 4Q93GF0959
| URI | m2://inv/4Q93GF0959 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neat submanifold, Neat submanifold (definition). Also Wikidata Q6984481
History
- 2026-11-02: add by m2/dev
4Q9CPBEV92 4Q9CPBEV92
| URI | m2://inv/4Q9CPBEV92 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
Definition 4QAA5HSFH3
| URI | m2://inv/4QAA5HSFH3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia J-structure#BGBI, Definition (definition)
History
- 2026-11-02: add by m2/dev
4QAB2MQWNM 4QAB2MQWNM
| URI | m2://inv/4QAB2MQWNM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#sol:eulerex (exercise). In E9HS8K3A52, exercise, section 6.1.1
History
- 2026-11-01: add by m2/v0.6.13
4QADD2YXYD 4QADD2YXYD
| URI | m2://inv/4QADD2YXYD |
|---|---|
| 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.14377#LW7Q (statement). In WEZPNET90D/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Examples 4QAEPKR77S
| URI | m2://inv/4QAEPKR77S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marshallian demand function#AMJY, Examples (example)
History
- 2026-11-02: add by m2/dev
The paradox 4QAFSPGP3R
| URI | m2://inv/4QAFSPGP3R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mere addition paradox#9DFU, The paradox (statement)
History
- 2026-11-02: add by m2/dev
4QAHTZ74DW 4QAHTZ74DW
| URI | m2://inv/4QAHTZ74DW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13833#4B2K (statement). In VD4JP4HVBX/e1, proposition 4.3
History
- 2026-10-28: add by m2/v0.4.2
Applications 4QAPWTYSCP
| URI | m2://inv/4QAPWTYSCP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Attention (machine learning)#C19P, Applications (example)
History
- 2026-11-02: add by m2/dev
4QAQQX3WTK 4QAQQX3WTK
| URI | m2://inv/4QAQQX3WTK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#classical-Heine-Borel (statement). In N54F33XE07, thm, section B.5
History
- 2026-11-01: add by m2/v0.6.13
Selection theorems for set-valued functions 4QASCKM0NN
| URI | m2://inv/4QASCKM0NN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Selection theorem#ODYJ, Selection theorems for set-valued functions (statement)
History
- 2026-11-02: add by m2/dev
4QASDZJJRK 4QASDZJJRK
| URI | m2://inv/4QASDZJJRK |
|---|---|
| Kind | problem |
| 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 2609.34260#O6V3 (problem). In BBE69ZPVTF/e1, problem 5.19
History
- 2026-10-30: add by m2/v0.4.12
4QASV5J1XQ 4QASV5J1XQ
| URI | m2://inv/4QASV5J1XQ |
|---|---|
| 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 1903.07030#2UNZ (statement). In 9H45HQE7AZ/e1, proposition 2.17
History
- 2026-10-27: add by m2/v0.3.5
4QATA5EG62 4QATA5EG62
| URI | m2://inv/4QATA5EG62 |
|---|---|
| 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.02751#ZOJH (statement). In MWGXPXF3BW/e1, lemma 23
History
- 2026-10-29: add by m2/v0.4.12
Example 4QBCCKJKT7
| URI | m2://inv/4QBCCKJKT7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Williams's p + 1 algorithm#FDAU, Example (example)
History
- 2026-11-02: add by m2/dev
4QBTGGWFMF 4QBTGGWFMF
| URI | m2://inv/4QBTGGWFMF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30895#LE50 (statement). In B8D26BYA7T/e1, theorem 4
History
- 2026-10-31: add by m2/v0.5.6
4QC0ABBSS8 4QC0ABBSS8
| URI | m2://inv/4QC0ABBSS8 |
|---|---|
| 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.09522#USDU (statement). In KKR9167FPT/e1, lemma 24
History
- 2026-10-29: add by m2/v0.4.10
4QC2C1E80A 4QC2C1E80A
| URI | m2://inv/4QC2C1E80A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10329#Q1L3 (statement). In SCSTR1Q1BW/e1, theorem 5.8
History
- 2026-10-29: add by m2/v0.4.10
Dispersion matrix 4QCAK9H630
| URI | m2://inv/4QCAK9H630 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named matrices#CRAV, Dispersion matrix (definition)
History
- 2026-11-02: add by m2/dev
Aliasing 4QCARZV6TX
| URI | m2://inv/4QCARZV6TX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#83XY, Aliasing (definition)
History
- 2026-11-02: add by m2/dev
counternecessary conditional 4QCE529ZZZ
| URI | m2://inv/4QCE529ZZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#JI7T, counternecessary conditional (definition)
History
- 2026-11-02: add by m2/dev
Jacobi's two-square theorem 4QCGC0CR65
| URI | m2://inv/4QCGC0CR65 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sum of two squares theorem#0PNL, Jacobi's two-square theorem (statement)
History
- 2026-11-02: add by m2/dev
Francesco Galigai 4QCGKYGKSD
| URI | m2://inv/4QCGKYGKSD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Francesco Galigai, Francesco Galigai (topic). Also Wikidata Q18945289
History
- 2026-11-02: add by m2/dev
Examples 4QCQ17EGGW
| URI | m2://inv/4QCQ17EGGW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Separable algebra#4Q2Q, Examples (example)
History
- 2026-11-02: add by m2/dev
4QCQB2YVX7 4QCQB2YVX7
| URI | m2://inv/4QCQB2YVX7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12120#Y3T2 (statement). In G9D4R1AXP8/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
George E. P. Box 4QD1HRZFY0
| URI | m2://inv/4QD1HRZFY0 |
|---|---|
| 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#D3V1, George E. P. Box (topic)
History
- 2026-11-02: add by m2/dev
Design of quasi-experiments 4QDMW4NHMH
| URI | m2://inv/4QDMW4NHMH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LL6F, Design of quasi-experiments (definition)
History
- 2026-11-02: add by m2/dev
Cramér–von Mises criterion 4QDQCTTEJP
| URI | m2://inv/4QDQCTTEJP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cramér–von Mises criterion, Cramér–von Mises criterion (statement). Also Wikidata Q783996
History
- 2026-11-02: add by m2/dev
4QDR1PMYAW 4QDR1PMYAW
| URI | m2://inv/4QDR1PMYAW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/alpha.tex#lem:fv-one (statement). In PKGMM3P5QY, lem, section 38.9
History
- 2026-11-01: add by m2/v0.6.13
tag system 4QDWQPCRNB
| URI | m2://inv/4QDWQPCRNB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3267583, tag system (unknown). Also MathWorld TagSystem
History
- 2026-10-26: add by m2/dev
4QE3X7HX7J 4QE3X7HX7J
| URI | m2://inv/4QE3X7HX7J |
|---|---|
| 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.33469#USL6 (statement). In TC5QA4AB4Z/e1, corollary 4.29
History
- 2026-10-30: add by m2/v0.4.12
4QE6EJKTGF 4QE6EJKTGF
| URI | m2://inv/4QE6EJKTGF |
|---|---|
| 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.26324#LFF4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Frédéric Hélein 4QEA0EH7BD
| URI | m2://inv/4QEA0EH7BD |
|---|---|
| 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#INAR, Frédéric Hélein (topic)
History
- 2026-11-02: add by m2/dev
Polytrope 4QEB9HXWHX
| URI | m2://inv/4QEB9HXWHX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polytrope, Polytrope (definition). Also Wikidata Q3110129
History
- 2026-11-02: add by m2/dev
4QEE94CD8C 4QEE94CD8C
| URI | m2://inv/4QEE94CD8C |
|---|---|
| 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.14377#LCJ8 (statement). In WEZPNET90D/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
4QEQ8KX0VS 4QEQ8KX0VS
| URI | m2://inv/4QEQ8KX0VS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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 2607.00146#1TLL (statement). In 6KR7Z5ETRY/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.3.5
Certified discretization 4QESCZ5KPB
| URI | m2://inv/4QESCZ5KPB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21536#EY1J, Certified discretization (statement). In NBQK8HJSNY/e1, theorem 5
History
- 2026-10-27: add by m2/v0.4.2
Accelerated zero-variation upper bound 4QEVR8F0S0
| URI | m2://inv/4QEVR8F0S0 |
|---|---|
| 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#1153, Accelerated zero-variation upper bound (statement). In X3E4D61X4V/e1, theorem D.9
History
- 2026-10-29: add by m2/v0.4.12
4QF3RKJR4Q 4QF3RKJR4Q
| URI | m2://inv/4QF3RKJR4Q |
|---|---|
| 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.26401#2QSU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Multiphase flow 4QF7JZRYM0
| URI | m2://inv/4QF7JZRYM0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiphase flow, Multiphase flow (definition). Also Wikidata Q1559665
History
- 2026-11-02: add by m2/dev
branched manifold 4QFB2FPFK2
| URI | m2://inv/4QFB2FPFK2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4956412, branched manifold (unknown). Also nLab branched manifold
History
- 2026-10-26: add by m2/dev
Matsusaka's big theorem 4QFCNZSH33
| URI | m2://inv/4QFCNZSH33 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matsusaka's big theorem, Matsusaka's big theorem (statement). Also Wikidata Q55622445
History
- 2026-11-02: add by m2/dev
Harris chain 4QFDK8MH45
| URI | m2://inv/4QFDK8MH45 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harris chain, Harris chain (definition). Also Wikidata Q1586179
History
- 2026-11-02: add by m2/dev
Properties 4QFPB0KN2Q
| URI | m2://inv/4QFPB0KN2Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perpendicular bisector construction of a quadrilateral#BPZ1, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples 4QFSAVTSST
| URI | m2://inv/4QFSAVTSST |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Type (model theory)#53X6, Examples (example)
History
- 2026-11-02: add by m2/dev
Serre's property FA 4QFW4SCX3B
| URI | m2://inv/4QFW4SCX3B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Serre's property FA, Serre's property FA (definition). Also Wikidata Q7455404
History
- 2026-11-02: add by m2/dev
Concentration inequality for the $L^2$-error of $\widehat F_{n,\mathbf{h}}$ 4QG3MRQ8Z6
| URI | m2://inv/4QG3MRQ8Z6 |
|---|---|
| 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.11760#Q49H, Concentration inequality for the $L^2$-error of $\widehat F_{n,\mathbf{h}}$ (statement). In NBNERWXW53/e1, proposition S12.2
History
- 2026-10-28: add by m2/v0.4.3
deltoid involute 4QG5N17PYE
| URI | m2://inv/4QG5N17PYE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q97621535, deltoid involute (unknown). Also MathWorld DeltoidInvolute
History
- 2026-10-26: add by m2/dev
4QGA6HCV6T 4QGA6HCV6T
| URI | m2://inv/4QGA6HCV6T |
|---|---|
| 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.36423#XZGK (statement). In Q5Z178SAHP/e1, corollary 4.1
History
- 2026-10-30: add by m2/v0.4.12
4QGEGDNJTJ 4QGEGDNJTJ
| URI | m2://inv/4QGEGDNJTJ |
|---|---|
| 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.02669#B6WI (statement). In NSBSWH6XB4/e1, proposition 3.8
History
- 2026-10-29: add by m2/v0.4.12
doubling the cube 4QGJYXMTWR
| URI | m2://inv/4QGJYXMTWR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Doubling the cube 04SD3F4FCR |
Mentions
- wikidata: Wikidata Q213673, doubling the cube (problem). Also MathWorld CubeDuplication, ProofWiki Doubling_the_Cube
- wikipedia: Wikipedia Doubling the cube, Doubling the cube (definition). Also Wikidata Q213673
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Properties 4QGM8PM9HH
| URI | m2://inv/4QGM8PM9HH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matching pursuit#MTLI, Properties (statement)
History
- 2026-11-02: add by m2/dev
4QGQKEBDP4 4QGQKEBDP4
| URI | m2://inv/4QGQKEBDP4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17626#W2S8 (statement). In 54ATJS74DT/e1, theorem 2.7
History
- 2026-10-28: add by m2/v0.4.2
hyperbolic trigonometric functions 4QGT3QAE7S
| URI | m2://inv/4QGT3QAE7S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Special functions > hyperbolic trigonometric functions, hyperbolic trigonometric functions (unknown). Also Mathlib Real.sinh
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Elementary functions (trigonometric, rational, $\exp$, $\log$, etc) > hyperbolic trigonometric functions, hyperbolic trigonometric functions (unknown). Also Mathlib Real.sinh
History
- 2026-10-26: add by m2/dev
4QGWYHRCPC 4QGWYHRCPC
| URI | m2://inv/4QGWYHRCPC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26357#P6MB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sobolev class 4QGYYS02BM
| URI | m2://inv/4QGYYS02BM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#LDCA, Sobolev class (definition). In KM3Q791JY0/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.4.2
4QH01SBTKC 4QH01SBTKC
| URI | m2://inv/4QH01SBTKC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32903#397Q (definition). In S8NB83KQX3/e1, definition 3
History
- 2026-10-31: add by m2/v0.5.6
4QH6D3VKSY 4QH6D3VKSY
| URI | m2://inv/4QH6D3VKSY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24584#1XZL (definition)
History
- 2026-11-01: add by m2/v0.6.15
4QHC1VGMJV 4QHC1VGMJV
| URI | m2://inv/4QHC1VGMJV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2610.15432#7LUQ (statement). In D1DFM4WYEW/e1, lemma 7.3
History
- 2026-10-28: add by m2/v0.4.2
Procedure 4QHDE61FX3
| URI | m2://inv/4QHDE61FX3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NOMINATE (scaling method)#EBHS, Procedure (definition)
History
- 2026-11-02: add by m2/dev
4QHFHQ8R8X 4QHFHQ8R8X
| URI | m2://inv/4QHFHQ8R8X |
|---|---|
| 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.09672#Q6QV (statement). In TXBXCPP0QH/e1, corollary 18
History
- 2026-10-29: add by m2/v0.4.10
Gregory's series 4QHKEN3X2K
| URI | m2://inv/4QHKEN3X2K |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5606780, Gregory's series (concept). Also MathWorld LeibnizSeries
- wikipedia: Wikipedia Arctangent series, Arctangent series (definition). Also Wikidata Q5606780
History
- 2026-10-26: add by m2/dev
4QHY91VXZT 4QHY91VXZT
| URI | m2://inv/4QHY91VXZT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/basics/theory-of-m.tex#prop:equiv (statement). In PKGMM3P5QY, prop, section 46.8
History
- 2026-11-01: add by m2/v0.6.13
Charles Herschel Sisam 4QJD019WNN
| URI | m2://inv/4QJD019WNN |
|---|---|
| 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#VTET, Charles Herschel Sisam (unknown)
History
- 2026-11-02: add by m2/dev
4QJGJ6BH4J 4QJGJ6BH4J
| URI | m2://inv/4QJGJ6BH4J |
|---|---|
| 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.12329#OD98 (statement). In ZJQB9W60T6/e1, theorem 8.13
History
- 2026-10-28: add by m2/v0.4.2
4QJK5Z3JPV 4QJK5Z3JPV
| URI | m2://inv/4QJK5Z3JPV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#theorem-6 (statement). In P1C114YBXG, theorem, section u1
History
- 2026-11-01: add by m2/v0.6.13
David Nualart 4QJQ4KR8Q2
| URI | m2://inv/4QJQ4KR8Q2 |
|---|---|
| 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#OL0H, David Nualart (topic)
History
- 2026-11-02: add by m2/dev
4QJS01EMN7 4QJS01EMN7
| URI | m2://inv/4QJS01EMN7 |
|---|---|
| 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.21645#FZPG (statement)
History
- 2026-11-02: add by m2/v0.6.18
JMP (statistical software) 4QJVXW8189
| URI | m2://inv/4QJVXW8189 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#P020, JMP (statistical software) (definition)
History
- 2026-11-02: add by m2/dev
Robust Heterodyne Tomography 4QK0X9W00X
| URI | m2://inv/4QK0X9W00X |
|---|---|
| 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.06810#24IU, Robust Heterodyne Tomography (statement). In 1NY2SA03XF/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.10
encode-decode method 4QK2RXC3YJ
| URI | m2://inv/4QK2RXC3YJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.3/encode-decode-method, encode-decode method (concept). In N54F33XE07, index, section C.1.3
History
- 2026-11-01: add by m2/v0.6.13
Formal definition 4QK5HGJE8Z
| URI | m2://inv/4QK5HGJE8Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krull ring#EFDV, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
4QK7236GCR 4QK7236GCR
| URI | m2://inv/4QK7236GCR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/enumerability.tex#defn:enumerable (definition). In PKGMM3P5QY, defn, section 83.5
History
- 2026-11-01: add by m2/v0.6.13
chain rule 4QK85HJ0ZK
| URI | m2://inv/4QK85HJ0ZK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/3.1.2/chain-rule, chain rule (concept). In E59CDZA4DP, index, section 3.1.2
History
- 2026-11-01: add by m2/v0.6.13
4QKQX59B7R 4QKQX59B7R
| URI | m2://inv/4QKQX59B7R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#A31R (statement). In 5E9G06XJKC/e1, corollary D.7
History
- 2026-10-28: add by m2/v0.4.2
4QM1NKH2TZ 4QM1NKH2TZ
| URI | m2://inv/4QM1NKH2TZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24484#QWLN (statement)
History
- 2026-11-01: add by m2/v0.6.15
4QMBJ8SJHR 4QMBJ8SJHR
| URI | m2://inv/4QMBJ8SJHR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06872#VRUR (statement). In J4H3A11MMX/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.10
4QMF6QQXYX 4QMF6QQXYX
| URI | m2://inv/4QMF6QQXYX |
|---|---|
| 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 2610.04527#KICF (statement). In Z9ZXAC6TZQ/e1, proposition 11
History
- 2026-10-29: add by m2/v0.4.12
Definition 4QN4VSJ1C4
| URI | m2://inv/4QN4VSJ1C4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Substructure (mathematics)#1EE7, Definition (definition)
History
- 2026-11-02: add by m2/dev
4QNBBMF12Y 4QNBBMF12Y
| URI | m2://inv/4QNBBMF12Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05314#B4ZK (statement). In PA3B6C0WY7/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
4QNEVRYNZ8 4QNEVRYNZ8
| URI | m2://inv/4QNEVRYNZ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9902147#RXM6 (statement). In 7CK21JGM5A/e1, theorem A
History
- 2026-10-27: add by m2/v0.4.2
Johnson circles 4QNEZ9Y4GY
| URI | m2://inv/4QNEZ9Y4GY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#RAZI, Johnson circles (definition)
History
- 2026-11-02: add by m2/dev
Cayley Ω process 4QNGKCHX3D
| URI | m2://inv/4QNGKCHX3D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#BAAY, Cayley Ω process (definition)
History
- 2026-11-02: add by m2/dev
Primal and dual local norms 4QNH7X2JTF
| URI | m2://inv/4QNH7X2JTF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38741#PJZA, Primal and dual local norms (definition). In 1SQH3PTYMD/e1, definition 8
History
- 2026-10-30: add by m2/v0.4.12
4QNN06F2JP 4QNN06F2JP
| URI | m2://inv/4QNN06F2JP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15403#QGCB (statement). In BSWNH3NW1M/e1, lemma 9.29
History
- 2026-10-27: add by m2/v0.4.0
4QNSP1Q30X 4QNSP1Q30X
| URI | m2://inv/4QNSP1Q30X |
|---|---|
| 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.20758#TW8R (statement). In PG0B4PH9YH/e1, fact 5.12
History
- 2026-10-27: add by m2/v0.4.2
4QNZMPJVS5 4QNZMPJVS5
| URI | m2://inv/4QNZMPJVS5 |
|---|---|
| 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 2405.05684#EO6D (statement). In 1PR73ECTZB/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
The Leibniz Review 4QP07PJPYR
| URI | m2://inv/4QP07PJPYR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Gottfried Leibniz#U75Q, The Leibniz Review (unknown)
History
- 2026-11-02: add by m2/dev
Definitions 4QP1DZGAGE
| URI | m2://inv/4QP1DZGAGE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Capacity of a set#EUP5, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Descent lemma for $\y$ 4QP2QRNZF3
| URI | m2://inv/4QP2QRNZF3 |
|---|---|
| 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.07290#M5HJ, Descent lemma for $\y$ (statement). In WC7BN66XSN/e1, lemma 9
History
- 2026-10-29: add by m2/v0.4.10
GGH signature scheme 4QP6GRH652
| URI | m2://inv/4QP6GRH652 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GGH signature scheme, GGH signature scheme (definition). Also Wikidata Q1515534
History
- 2026-11-02: add by m2/dev
4QP7CWN616 4QP7CWN616
| URI | m2://inv/4QP7CWN616 |
|---|---|
| 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.12108#6WNZ (statement). In JQH3FHYPW3/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Uniformly disconnected space 4QP7F4PEFJ
| URI | m2://inv/4QP7F4PEFJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniformly disconnected space, Uniformly disconnected space (definition). Also Wikidata Q108376923
History
- 2026-11-02: add by m2/dev
Bortkiewicz, Ladislaus 4QPN20H5MA
| URI | m2://inv/4QPN20H5MA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#FZIM, Bortkiewicz, Ladislaus (topic)
History
- 2026-11-02: add by m2/dev
Examples 4QPQFC5DA8
| URI | m2://inv/4QPQFC5DA8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lehmann–Scheffé theorem#0DGC, Examples (example)
History
- 2026-11-02: add by m2/dev
4QPYJE2W5S 4QPYJE2W5S
| URI | m2://inv/4QPYJE2W5S |
|---|---|
| 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.10474#7J9X (statement). In MB29RAAQMG/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
Lamport ordering 4QQ5S9PHFN
| URI | m2://inv/4QQ5S9PHFN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#7TM8, Lamport ordering (unknown)
History
- 2026-11-02: add by m2/dev
4QQ6A1E6P8 4QQ6A1E6P8
| URI | m2://inv/4QQ6A1E6P8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31556#KKUE (statement). In 1VBEMR0JXH/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
Gabriel Navarro Ortega 4QQBCSK11C
| URI | m2://inv/4QQBCSK11C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gabriel Navarro Ortega, Gabriel Navarro Ortega (topic). Also Wikidata Q35028676
History
- 2026-11-02: add by m2/dev
Frank W. Lewis 4QQPT7JR11
| URI | m2://inv/4QQPT7JR11 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#BG44, Frank W. Lewis (topic)
History
- 2026-11-02: add by m2/dev
Symmetric $d$-Codes 4QQQRC1TMS
| URI | m2://inv/4QQQRC1TMS |
|---|---|
| Kind | example |
| 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 2202.03009#AENU, Symmetric $d$-Codes (example). In GYEQJ534W1/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
4QR43EX8NA 4QR43EX8NA
| URI | m2://inv/4QR43EX8NA |
|---|---|
| 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 2109.12716#ZUQ9 (statement). In 6X76XBE3HV/e1, lemma 3.10
History
- 2026-10-27: add by m2/v0.3.5
Non-Fermi liquid 4QR85GBCFE
| URI | m2://inv/4QR85GBCFE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermi liquid theory#Y2YT, Non-Fermi liquid (unknown)
History
- 2026-11-02: add by m2/dev
Józef Schreier 4QRANCC7TV
| URI | m2://inv/4QRANCC7TV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Józef Schreier, Józef Schreier (topic). Also Wikidata Q10308559
History
- 2026-11-02: add by m2/dev
4QREWWNKRY 4QREWWNKRY
| URI | m2://inv/4QREWWNKRY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22109#K9C4 (statement). In MZ60NP20BH/e1, proposition 2.6
History
- 2026-10-27: add by m2/v0.4.0
Symmetry 4QRJTTH820
| URI | m2://inv/4QRJTTH820 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snub heptaheptagonal tiling#USYP, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
4QRKGX3KKZ 4QRKGX3KKZ
| URI | m2://inv/4QRKGX3KKZ |
|---|---|
| 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 2609.34260#3L5V (statement). In BBE69ZPVTF/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
Flood fill 4QRKXFDF18
| URI | m2://inv/4QRKXFDF18 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#I4HM, Flood fill (definition)
History
- 2026-11-02: add by m2/dev
Kondrachov embedding theorem 4QRVG84W9P
| URI | m2://inv/4QRVG84W9P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sobolev inequality#BUOB, Kondrachov embedding theorem (statement)
History
- 2026-11-02: add by m2/dev
Clay Mathematics Monographs 4QRWTFG2ZE
| URI | m2://inv/4QRWTFG2ZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clay Mathematics Monographs, Clay Mathematics Monographs (definition). Also Wikidata Q5129945
History
- 2026-11-02: add by m2/dev
Chebyshev bounds, nonlinear phase 4QS0VATTZZ
| URI | m2://inv/4QS0VATTZZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20097#BU1B, Chebyshev bounds, nonlinear phase (statement)
History
- 2026-11-02: add by m2/v0.6.18
Gaussian channel 4QS59ABN7M
| URI | m2://inv/4QS59ABN7M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01855#2VZ2, Gaussian channel (definition). In MM8P5CJR18/e1, definition 5.18
History
- 2026-10-29: add by m2/v0.4.12
4QS6WAASKH 4QS6WAASKH
| URI | m2://inv/4QS6WAASKH |
|---|---|
| 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.09483#HH8Z (statement). In N1MQ8F9JN6/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
Central kernel units 4QS8S4F67X
| URI | m2://inv/4QS8S4F67X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20230#4F60, Central kernel units (statement)
History
- 2026-11-02: add by m2/v0.6.18
no stability over $\Z$ off the range 4QSDPP8XXP
| URI | m2://inv/4QSDPP8XXP |
|---|---|
| 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#5A5Y, no stability over $\Z$ off the range (statement)
History
- 2026-11-02: add by m2/v0.6.17
4QSE92QETT 4QSE92QETT
| URI | m2://inv/4QSE92QETT |
|---|---|
| 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.07608#CGZJ (statement). In X8FQD4TEVG/e1, proposition 3.10
History
- 2026-10-29: add by m2/v0.4.10
4QSG634114 4QSG634114
| URI | m2://inv/4QSG634114 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23341#MWZ3 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Guido Ascoli 4QSRYFSE25
| URI | m2://inv/4QSRYFSE25 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#AFFU, Guido Ascoli (topic)
History
- 2026-11-02: add by m2/dev
4QSWJPQV37 4QSWJPQV37
| URI | m2://inv/4QSWJPQV37 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06728#93JB (statement). In 7FWJWK70T9/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
interchange law 4QT1AHHBND
| URI | m2://inv/4QT1AHHBND |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.1/interchange-law, interchange law (concept). In N54F33XE07, index, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
the pattern $H_n$ 4QT6WFWPDN
| URI | m2://inv/4QT6WFWPDN |
|---|---|
| Kind | definition |
| 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 2610.01753#F9JT, the pattern $H_n$ (definition). In JY50YXMH5N/e1, definition 26
History
- 2026-10-29: add by m2/v0.4.12
combustion 4QT7YTSAQ2
| URI | m2://inv/4QT7YTSAQ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 80A25 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q133235, combustion (topic)
- wikipedia: Wikipedia Combustion, Combustion (definition). Also Wikidata Q133235
History
- 2026-10-26: add by m2/dev
4QTCC3DN94 4QTCC3DN94
| URI | m2://inv/4QTCC3DN94 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#S46A (definition)
History
- 2026-11-02: add by m2/dev
4QTPFADWWZ 4QTPFADWWZ
| URI | m2://inv/4QTPFADWWZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.16003#7NZL (statement). In BJGS6ZCQ12/e1, corollary 3.5
History
- 2026-10-27: add by m2/v0.3.6
4QTRCG3SGC 4QTRCG3SGC
| URI | m2://inv/4QTRCG3SGC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08010#V8JS (statement). In 2S89BG5WPH/e1, proposition 5.3
History
- 2026-10-29: add by m2/v0.4.10
Don Page 4QTYEH54ZM
| URI | m2://inv/4QTYEH54ZM |
|---|---|
| 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 Q3035873, Don Page (unknown). Also nLab Don Page
History
- 2026-10-26: add by m2/dev
Kepler Dorsum 4QVCN8NFWR
| URI | m2://inv/4QVCN8NFWR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Johannes Kepler#01RX, Kepler Dorsum (unknown)
History
- 2026-11-02: add by m2/dev
Examples 4QVK6SBW5P
| URI | m2://inv/4QVK6SBW5P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivalence of categories#BDO9, Examples (example)
History
- 2026-11-02: add by m2/dev
mathematics, formalized 4QVMGECA21
| URI | m2://inv/4QVMGECA21 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7/mathematics-formalized, mathematics, formalized (concept). In N54F33XE07, index, section 7
History
- 2026-11-01: add by m2/v0.6.13
4QVP7MB9EQ 4QVP7MB9EQ
| URI | m2://inv/4QVP7MB9EQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#mv:zerooutside (exercise). In E59CDZA4DP, exercise, section 5.1.6
History
- 2026-11-01: add by m2/v0.6.13
properties of virtual boxes 4QVS446E35
| URI | m2://inv/4QVS446E35 |
|---|---|
| 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 2610.01753#A31Y, properties of virtual boxes (statement). In JY50YXMH5N/e1, lemma 36
History
- 2026-10-29: add by m2/v0.4.12
Trapping region 4QVTGB8D4Z
| URI | m2://inv/4QVTGB8D4Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trapping region, Trapping region (definition). Also Wikidata Q7835661
History
- 2026-11-02: add by m2/dev
4QW33QNGP0 4QW33QNGP0
| URI | m2://inv/4QW33QNGP0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#KU14 (statement). In 9DQKY7KGE8/e1, lemma 3.20
History
- 2026-10-27: add by m2/v0.3.5
4QW4YWB3JD 4QW4YWB3JD
| URI | m2://inv/4QW4YWB3JD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-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.15099#Y7UA (statement). In PF5JJ9DS8Q/e1, proposition 3.2.9
History
- 2026-10-28: add by m2/v0.4.2
Lexical ambiguity 4QW5F45GMY
| URI | m2://inv/4QW5F45GMY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ambiguity#FV6K, Lexical ambiguity (unknown)
History
- 2026-11-02: add by m2/dev
4QW8SGEDBY 4QW8SGEDBY
| URI | m2://inv/4QW8SGEDBY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14045#2EJ4 (statement). In KZ71GXT2B0/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
Lemoine's problem 4QW8Y4DHDT
| URI | m2://inv/4QW8Y4DHDT |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#HT80, Lemoine's problem (problem)
History
- 2026-11-02: add by m2/dev
Therefore sign 4QWG0XZRZ5
| URI | m2://inv/4QWG0XZRZ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Therefore sign, Therefore sign (definition). Also Wikidata Q1196881
History
- 2026-11-02: add by m2/dev
Zero total variance 4QWGTYZ1SJ
| URI | m2://inv/4QWGTYZ1SJ |
|---|---|
| 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.07721#7G7A, Zero total variance (statement). In QMJDN66F5N/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Lawrence Craig Evans 4QWVCSKFAJ
| URI | m2://inv/4QWVCSKFAJ |
|---|---|
| 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#4HHI, Lawrence Craig Evans (topic)
History
- 2026-11-02: add by m2/dev
4QWXWMY3PH 4QWXWMY3PH
| URI | m2://inv/4QWXWMY3PH |
|---|---|
| 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.02628#G448 (statement). In G4S9C5M1A4/e1, corollary C.10
History
- 2026-10-29: add by m2/v0.4.12
4QX0V612KY 4QX0V612KY
| URI | m2://inv/4QX0V612KY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#prop:diameterrectangle (statement). In E59CDZA4DP, prop, section 5.1.4
History
- 2026-11-01: add by m2/v0.6.13
Bodil Branner 4QX8D438P5
| URI | m2://inv/4QX8D438P5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bodil Branner, Bodil Branner (topic). Also Wikidata Q12303959
History
- 2026-11-02: add by m2/dev
4QXAAE32VV 4QXAAE32VV
| URI | m2://inv/4QXAAE32VV |
|---|---|
| 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.16731#46CT (statement). In D68KBZQ4Q6/e1, theorem 3.14
History
- 2026-10-28: add by m2/v0.4.2
Laura Ortíz-Bobadilla 4QXAFS4QXB
| URI | m2://inv/4QXAFS4QXB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laura Ortíz-Bobadilla, Laura Ortíz-Bobadilla (topic). Also Wikidata Q102280578
History
- 2026-11-02: add by m2/dev
4QXMRNJH5C 4QXMRNJH5C
| URI | m2://inv/4QXMRNJH5C |
|---|---|
| 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.12912#0WA4 (statement). In PDKBKKJ4BV/e1, theorem 6.6
History
- 2026-10-28: add by m2/v0.4.2
Symmetry 4QXQ6NPP51
| URI | m2://inv/4QXQ6NPP51 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-4 octagonal tiling#PJST, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
4QXS8EYG4T 4QXS8EYG4T
| URI | m2://inv/4QXS8EYG4T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40054#HEXM (definition). In CA4C9PFM1E/e1, definition 4.2.3
History
- 2026-10-30: add by m2/v0.4.12
Cantor's Theorem 4QY0TNYN5Y
| URI | m2://inv/4QY0TNYN5Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/UncountableSets.tex#thm:Cantors Theorem, Cantor's Theorem (statement). In P1C114YBXG, theorem, section K
History
- 2026-11-01: add by m2/v0.6.13
Pierre-Simon Laplace 4QY30SQ2GP
| URI | m2://inv/4QY30SQ2GP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#NRA7, Pierre-Simon Laplace (topic)
History
- 2026-11-02: add by m2/dev
Consumer non-interference 4QY3784C3H
| URI | m2://inv/4QY3784C3H |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15824#J99Z, Consumer non-interference (unknown). In GDZXR87FJV/e1, unknown 5
History
- 2026-10-28: add by m2/v0.4.2
4QY4TRFE4Z 4QY4TRFE4Z
| URI | m2://inv/4QY4TRFE4Z |
|---|---|
| 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.26276#DBBC (statement)
History
- 2026-11-01: add by m2/v0.6.15
ontic vagueness 4QY93C0X7Y
| URI | m2://inv/4QY93C0X7Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#M42C, ontic vagueness (definition)
History
- 2026-11-02: add by m2/dev
Karl Bopp 4QY9BY73KF
| URI | m2://inv/4QY9BY73KF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karl Bopp, Karl Bopp (topic). Also Wikidata Q96645
History
- 2026-11-02: add by m2/dev
chain partition 4QYDSHACYP
| URI | m2://inv/4QYDSHACYP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/14.3/chain-partition, chain partition (concept). In QKM9DD2H56, index, section 14.3
History
- 2026-11-01: add by m2/v0.6.13
4QYG42B32D 4QYG42B32D
| URI | m2://inv/4QYG42B32D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#exercise-9 (exercise). In E59CDZA4DP, exercise, section 11.9.6
History
- 2026-11-01: add by m2/v0.6.13
Propositional dynamic logic 4QYMRPZXEH
| URI | m2://inv/4QYMRPZXEH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamic logic (modal logic)#OMGP, Propositional dynamic logic (unknown)
History
- 2026-11-02: add by m2/dev
Euler–Lotka equation 4QYN453Z7F
| URI | m2://inv/4QYN453Z7F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#YOOS, Euler–Lotka equation (definition)
History
- 2026-11-02: add by m2/dev
Kuratowski-finite 4QYQ63XRDH
| URI | m2://inv/4QYQ63XRDH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Kazimierz Kuratowski#9NW3, Kuratowski-finite (definition)
History
- 2026-11-02: add by m2/dev
Elementary event 4QYQDPK5SY
| URI | m2://inv/4QYQDPK5SY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#C8Q4, Elementary event (definition)
History
- 2026-11-02: add by m2/dev
4QYS8FVJQM 4QYS8FVJQM
| URI | m2://inv/4QYS8FVJQM |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24614#MOQG (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
theory of vector bundles 4QYYAT495X
| URI | m2://inv/4QYYAT495X |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 55R25 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114716213, theory of vector bundles (topic)
History
- 2026-10-26: add by m2/dev
Terminology 4QYZKGJXPZ
| URI | m2://inv/4QYZKGJXPZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monomorphism#J8Q0, Terminology (definition)
History
- 2026-11-02: add by m2/dev
4QZ31NY3RQ 4QZ31NY3RQ
| URI | m2://inv/4QZ31NY3RQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05506#1DN0 (statement). In FT53PMB1TE/e1, lemma 2.3.11
History
- 2026-10-29: add by m2/v0.4.10
Skeptical Inquirer 4QZ36V7RBW
| URI | m2://inv/4QZ36V7RBW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skeptical Inquirer, Skeptical Inquirer (definition). Also Wikidata Q214082
History
- 2026-11-02: add by m2/dev
Riemann–Stieltjes integral 4QZA46XW4B
| URI | m2://inv/4QZA46XW4B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#LKJ8, Riemann–Stieltjes integral (definition)
- wikipedia: Wikipedia List of integration and measure theory topics#WDUL, Riemann–Stieltjes integral (definition)
History
- 2026-11-02: add by m2/dev
Peto, Richard 4QZB8MMYGB
| URI | m2://inv/4QZB8MMYGB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#REVP, Peto, Richard (unknown)
History
- 2026-11-02: add by m2/dev
4QZC0BX3ZE 4QZC0BX3ZE
| URI | m2://inv/4QZC0BX3ZE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16779#JFJA (statement). In 1R7H0ZAHWA/e1, theorem 6.3
History
- 2026-10-28: add by m2/v0.4.2
Connected families 4QZF6JFMCB
| URI | m2://inv/4QZF6JFMCB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27204#U0K5, Connected families (statement)
History
- 2026-11-01: add by m2/v0.6.15
4QZGAP6MXD 4QZGAP6MXD
| URI | m2://inv/4QZGAP6MXD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25004#VCYM (statement)
History
- 2026-11-01: add by m2/v0.6.15
4QZGDMYSK7 4QZGDMYSK7
| URI | m2://inv/4QZGDMYSK7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28774#9V3I (statement)
History
- 2026-11-01: add by m2/v0.6.15
4QZN7Z3F0B 4QZN7Z3F0B
| URI | m2://inv/4QZN7Z3F0B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29196#CK8W (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statistical assumption 4QZWJDB6WZ
| URI | m2://inv/4QZWJDB6WZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MVW0, Statistical assumption (definition)
History
- 2026-11-02: add by m2/dev
Multislice path inequality 4QZYGGA4KM
| URI | m2://inv/4QZYGGA4KM |
|---|---|
| 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.00137#5J13, Multislice path inequality (statement). In NKW6YQ04QW/e1, proposition 6.1
History
- 2026-10-30: add by m2/v0.4.12