Inventory rows RW
The cards of the rows of the inventory whose ids start with RW. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Gotanda RW05Q1CPDP
| URI | m2://inv/RW05Q1CPDP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#OLT1, Gotanda (unknown)
History
- 2026-11-02: add by m2/dev
Applications RW06TWYKYF
| URI | m2://inv/RW06TWYKYF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Teknomo–Fernandez algorithm#LXWD, Applications (example)
History
- 2026-11-02: add by m2/dev
Rao–Blackwell theorem RW0B9JYJ3F
| URI | m2://inv/RW0B9JYJ3F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#1OPQ, Rao–Blackwell theorem (statement)
History
- 2026-11-02: add by m2/dev
RW0M8S50TQ RW0M8S50TQ
| URI | m2://inv/RW0M8S50TQ |
|---|---|
| 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.26496#FCXZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Plate theory RW0MJYSMDV
| URI | m2://inv/RW0MJYSMDV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plate theory, Plate theory (definition). Also Wikidata Q2098720
History
- 2026-11-02: add by m2/dev
RW0MT37XE0 RW0MT37XE0
| URI | m2://inv/RW0MT37XE0 |
|---|---|
| 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 2609.31276#QDU2 (statement). In WYDHWYFRFK/e1, lemma 3.18
History
- 2026-10-31: add by m2/v0.5.6
Heinz Gumin Prize RW0R1KE5KY
| URI | m2://inv/RW0R1KE5KY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heinz Gumin Prize, Heinz Gumin Prize (definition). Also Wikidata Q15814928
History
- 2026-11-02: add by m2/dev
RW0R907QY7 RW0R907QY7
| URI | m2://inv/RW0R907QY7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19285#Q3DS (definition). In 6DJR9DKY5W/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
RW0SXPJEP9 RW0SXPJEP9
| URI | m2://inv/RW0SXPJEP9 |
|---|---|
| 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 1508.01731#VVYF (statement). In PKJFZEY8ZV/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
Logical holism RW0WBC6WM4
| URI | m2://inv/RW0WBC6WM4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logical holism, Logical holism (definition). Also Wikidata Q6667499
History
- 2026-11-02: add by m2/dev
RW0Z0EA6SS RW0Z0EA6SS
| URI | m2://inv/RW0Z0EA6SS |
|---|---|
| Kind | example |
| 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.01247#OJ4G (example). In 6EVNCRZ118/e1, example 11
History
- 2026-10-29: add by m2/v0.4.12
RW16ASZTY8 RW16ASZTY8
| URI | m2://inv/RW16ASZTY8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.05499#72XM (statement). In WRMNCC8VBC/e1, lemma 52
History
- 2026-10-27: add by m2/v0.3.6
Markovian arrival process RW1D4BB7ZN
| URI | m2://inv/RW1D4BB7ZN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markovian arrival process, Markovian arrival process (definition). Also Wikidata Q612061
History
- 2026-11-02: add by m2/dev
Definition RW1J66894C
| URI | m2://inv/RW1J66894C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Negative pedal curve#OXBX, Definition (definition)
History
- 2026-11-02: add by m2/dev
RW21CB9JF9 RW21CB9JF9
| URI | m2://inv/RW21CB9JF9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-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.11596#CJLW (definition). In 76850E2X7T/e1, definition 2.7
History
- 2026-10-28: add by m2/v0.4.3
RW22DEVVCV RW22DEVVCV
| URI | m2://inv/RW22DEVVCV |
|---|---|
| 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.20259#EWGS (statement). In VHNRE38D97/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.4.2
Slab RW2C8KZQFC
| URI | m2://inv/RW2C8KZQFC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slab (geometry), Slab (definition). Also Wikidata Q111911647
History
- 2026-11-02: add by m2/dev
RW2EC32NQY RW2EC32NQY
| URI | m2://inv/RW2EC32NQY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-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.10591#N0B4 (statement). In FTEA0TM35J/e1, theorem 5.6
History
- 2026-10-29: add by m2/v0.4.10
RW2HV7SR2H RW2HV7SR2H
| URI | m2://inv/RW2HV7SR2H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.05539#3A9E (statement). In 8SVVEVGMNE/e1, proposition 4.17
History
- 2026-10-27: add by m2/v0.3.5
RW2T97G9M9 RW2T97G9M9
| URI | m2://inv/RW2T97G9M9 |
|---|---|
| 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 2303.11021#H65K (statement). In B2ZK4DF2PM/e1, proposition 1
History
- 2026-10-27: add by m2/v0.4.0
RW2XA1PZ73 RW2XA1PZ73
| URI | m2://inv/RW2XA1PZ73 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#JK6H (statement)
History
- 2026-11-02: add by m2/v0.6.17
Time-lock puzzle RW312XFNND
| URI | m2://inv/RW312XFNND |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time-lock puzzle, Time-lock puzzle (problem). Also Wikidata Q130235677
History
- 2026-11-02: add by m2/dev
RW3AG1EXK1 RW3AG1EXK1
| URI | m2://inv/RW3AG1EXK1 |
|---|---|
| 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 2410.22607#Z4QZ (statement). In 6GT33A43SY/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
Definition RW3HAAFVQP
| URI | m2://inv/RW3HAAFVQP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartesian oval#KKB8, Definition (definition)
History
- 2026-11-02: add by m2/dev
RW3HCMEY86 RW3HCMEY86
| URI | m2://inv/RW3HCMEY86 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30200#VULT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Net control station RW3HYNQ1HQ
| URI | m2://inv/RW3HYNQ1HQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#SYVX, Net control station (unknown)
History
- 2026-11-02: add by m2/dev
Stanisław Leśniewski RW3HZXQGPM
| URI | m2://inv/RW3HZXQGPM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stanisław Leśniewski, Stanisław Leśniewski (topic). Also Wikidata Q528493
History
- 2026-11-02: add by m2/dev
Istanbul Center for Mathematical Sciences RW3MWXRXBZ
| URI | m2://inv/RW3MWXRXBZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Istanbul Center for Mathematical Sciences, Istanbul Center for Mathematical Sciences (definition). Also Wikidata Q15995215
History
- 2026-11-02: add by m2/dev
Schrödinger method RW3Y134HTW
| URI | m2://inv/RW3Y134HTW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#S7JQ, Schrödinger method (definition)
History
- 2026-11-02: add by m2/dev
Main Verification Lemma RW40XZR35K
| URI | m2://inv/RW40XZR35K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21047#ZWS1, Main Verification Lemma (statement)
History
- 2026-11-02: add by m2/v0.6.18
Slopes RW4BTCDGA1
| URI | m2://inv/RW4BTCDGA1 |
|---|---|
| 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.07905#LY1L, Slopes (definition). In 88GEN3Z5VG/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
ADMM convergence RW4E32Y3GM
| URI | m2://inv/RW4E32Y3GM |
|---|---|
| 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.21808#I7P6, ADMM convergence (statement)
History
- 2026-11-02: add by m2/v0.6.18
Annals of Mathematical Logic RW4E9C46DQ
| URI | m2://inv/RW4E9C46DQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#LURV, Annals of Mathematical Logic (unknown)
History
- 2026-11-02: add by m2/dev
Compact Gaussian hitting RW4FZ7PKXV
| URI | m2://inv/RW4FZ7PKXV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#ZTJ8, Compact Gaussian hitting (statement). In 9YAE8FNQST/e1, theorem 14.2
History
- 2026-10-30: add by m2/v0.4.12
RW4JY6JHAC RW4JY6JHAC
| URI | m2://inv/RW4JY6JHAC |
|---|---|
| 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.01411#WZVY (statement). In SD28S3K7BT/e1, theorem 20
History
- 2026-10-29: add by m2/v0.4.12
RW4KVCF4BX RW4KVCF4BX
| URI | m2://inv/RW4KVCF4BX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29712#JPYO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Locally feasible atomic representation RW4MJWPENG
| URI | m2://inv/RW4MJWPENG |
|---|---|
| Kind | definition |
| 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.17371#N1Y7, Locally feasible atomic representation (definition). In FF92TNYHQR/e1, definition 3
History
- 2026-10-28: add by m2/v0.4.2
RW4N0RMGCD RW4N0RMGCD
| URI | m2://inv/RW4N0RMGCD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise:contcompactsupportRn (exercise). In E59CDZA4DP, exercise, section 5.1.6
History
- 2026-11-01: add by m2/v0.6.13
Characterization RW4N5ZEH9E
| URI | m2://inv/RW4N5ZEH9E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaniadakis Erlang distribution#75BV, Characterization (statement)
History
- 2026-11-02: add by m2/dev
Joseph Wolfgang von Deschwanden RW4NCHNQGA
| URI | m2://inv/RW4NCHNQGA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Wolfgang von Deschwanden, Joseph Wolfgang von Deschwanden (topic). Also Wikidata Q52154868
History
- 2026-11-02: add by m2/dev
RW4SF9DXGK RW4SF9DXGK
| URI | m2://inv/RW4SF9DXGK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.22708#QX46 (statement)
History
- 2026-11-02: add by m2/v0.6.17
RW4SPK5TP1 RW4SPK5TP1
| URI | m2://inv/RW4SPK5TP1 |
|---|---|
| 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 2312.06581#05FP (statement). In WXJ2V3HA2R/e1, corollary G.5
History
- 2026-10-27: add by m2/v0.3.5
RW4SSP6PEB RW4SSP6PEB
| URI | m2://inv/RW4SSP6PEB |
|---|---|
| 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 1904.09810#VX72 (statement). In T1VFA7TXPA/e1, lemma 48
History
- 2026-10-27: add by m2/v0.3.5
Joseph Fels Ritt RW4TPNNZKY
| URI | m2://inv/RW4TPNNZKY |
|---|---|
| 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#5NYS, Joseph Fels Ritt (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#BDIX, Joseph Fels Ritt (unknown)
History
- 2026-11-02: add by m2/dev
set-coequalizer RW508A23K1
| URI | m2://inv/RW508A23K1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.2/set-coequalizer, set-coequalizer (concept). In N54F33XE07, index, section C.1.2
History
- 2026-11-01: add by m2/v0.6.13
RW515BYBSR RW515BYBSR
| URI | m2://inv/RW515BYBSR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#F1B8 (statement). In 9ZSNSJRJ5N/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5
Examples RW55HQYTQ4
| URI | m2://inv/RW55HQYTQ4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite-dimensional optimization#LC90, Examples (example)
History
- 2026-11-02: add by m2/dev
Reversible cellular automaton RW5KCY291H
| URI | m2://inv/RW5KCY291H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#RPN5, Reversible cellular automaton (definition)
History
- 2026-11-02: add by m2/dev
Exact equivalence of source compression RW5NBBBJ0B
| URI | m2://inv/RW5NBBBJ0B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#TJPR, Exact equivalence of source compression (statement)
History
- 2026-11-01: add by m2/v0.6.15
RW60K3ZMNZ RW60K3ZMNZ
| URI | m2://inv/RW60K3ZMNZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#proof-3 (proof). In RZP28ERRZV, proof, section 14.3
History
- 2026-11-01: add by m2/v0.6.13
RW66D2DNP9 RW66D2DNP9
| URI | m2://inv/RW66D2DNP9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/completeness/modalities-ccs.tex#lem:box1 (statement). In PKGMM3P5QY, lem, section 51.4
History
- 2026-11-01: add by m2/v0.6.13
RW691PZ6VA RW691PZ6VA
| URI | m2://inv/RW691PZ6VA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/propositions-as-types/normalization.tex#lem-1 (statement). In PKGMM3P5QY, lem, section 60.4
History
- 2026-11-01: add by m2/v0.6.13
Generalizations RW6934Y1GN
| URI | m2://inv/RW6934Y1GN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet's theorem on arithmetic progressions#1WNS, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
RW6EB4D0H2 RW6EB4D0H2
| URI | m2://inv/RW6EB4D0H2 |
|---|---|
| Kind | example |
| 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.26337#HDEQ (example)
History
- 2026-11-01: add by m2/v0.6.15
Nora Calderwood RW6GVRBQS8
| URI | m2://inv/RW6GVRBQS8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nora Calderwood, Nora Calderwood (topic). Also Wikidata Q12729119
History
- 2026-11-02: add by m2/dev
RW6JZFW4NZ RW6JZFW4NZ
| URI | m2://inv/RW6JZFW4NZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2603.28861#NEAY (statement). In A3VQ2TNRKK/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.0
Gauss's law RW75G22BVQ
| URI | m2://inv/RW75G22BVQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of multivariable calculus topics#2FV8, Gauss's law (statement)
History
- 2026-11-02: add by m2/dev
RW7661617Q RW7661617Q
| URI | m2://inv/RW7661617Q |
|---|---|
| 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 2609.29422#G9QQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
RW78BSYJ3S RW78BSYJ3S
| URI | m2://inv/RW78BSYJ3S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20531#PUHU (statement)
History
- 2026-11-02: add by m2/v0.6.18
Basic properties RW7CB8W8ZV
| URI | m2://inv/RW7CB8W8ZV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S2S (mathematics)#P19H, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Angle excess RW7CG5RVG6
| URI | m2://inv/RW7CG5RVG6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spherical trigonometry#WX8Y, Angle excess (unknown)
History
- 2026-11-02: add by m2/dev
RW7PEY2BH3 RW7PEY2BH3
| URI | m2://inv/RW7PEY2BH3 |
|---|---|
| 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.09201#EUEV (statement). In JQFPH09JG8/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
RW824YQMB2 RW824YQMB2
| URI | m2://inv/RW824YQMB2 |
|---|---|
| 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.25524#WEJK (definition)
History
- 2026-11-01: add by m2/v0.6.15
triangular prism graph RW835MRRS6
| URI | m2://inv/RW835MRRS6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q127699143, triangular prism graph (unknown). Also House of Graphs 746
History
- 2026-10-26: add by m2/dev
Meier, Paul RW84CGKF4S
| URI | m2://inv/RW84CGKF4S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#RYS5, Meier, Paul (topic)
History
- 2026-11-02: add by m2/dev
Periodic continued fraction RW8FYSW6JT
| URI | m2://inv/RW8FYSW6JT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Periodic continued fraction, Periodic continued fraction (definition). Also Wikidata Q2365842
History
- 2026-11-02: add by m2/dev
RW8T3HCHPW RW8T3HCHPW
| URI | m2://inv/RW8T3HCHPW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.07001#962N (statement). In 5DFTVG7FFF/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Georg Rasch RW91F45ZS2
| URI | m2://inv/RW91F45ZS2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Georg Rasch, Georg Rasch (topic). Also Wikidata Q325895
History
- 2026-11-02: add by m2/dev
Bi-marginal Brenier gradient stability RW94VJ9C0P
| URI | m2://inv/RW94VJ9C0P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 62-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35574#MU8L, Bi-marginal Brenier gradient stability (statement). In 3Q70DMD7Z7/e1, theorem 4.6
History
- 2026-10-30: add by m2/v0.4.12
RW9KD7RVC9 RW9KD7RVC9
| URI | m2://inv/RW9KD7RVC9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 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 2609.28552#TZ0V (statement)
History
- 2026-11-01: add by m2/v0.6.15
Indexed language RW9MZF1WC9
| URI | m2://inv/RW9MZF1WC9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indexed language, Indexed language (definition). Also Wikidata Q995686
History
- 2026-11-02: add by m2/dev
RW9YN160N0 RW9YN160N0
| URI | m2://inv/RW9YN160N0 |
|---|---|
| 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.03310#FO8P (statement). In 2CQ2KPV3CG/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.12
Peter Szüsz RWA7YYA5DA
| URI | m2://inv/RWA7YYA5DA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#OMTR, Peter Szüsz (topic)
History
- 2026-11-02: add by m2/dev
As a measure of economic inequality RWA91Y1D15
| URI | m2://inv/RWA91Y1D15 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coefficient of variation#X661, As a measure of economic inequality (statement)
History
- 2026-11-02: add by m2/dev
Compound of six decagrammic prisms RWAP0NSQH7
| URI | m2://inv/RWAP0NSQH7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of six decagrammic prisms, Compound of six decagrammic prisms (definition). Also Wikidata Q5156879
History
- 2026-11-02: add by m2/dev
Crash Duration RWASD03D1Q
| URI | m2://inv/RWASD03D1Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Critical path method#NPKX, Crash Duration (unknown)
History
- 2026-11-02: add by m2/dev
Compound of five great dodecahedra RWAZ6EJGGG
| URI | m2://inv/RWAZ6EJGGG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of five great dodecahedra, Compound of five great dodecahedra (definition). Also Wikidata Q5156855
History
- 2026-11-02: add by m2/dev
second Feigenbaum constant RWAZDGQTJ8
| URI | m2://inv/RWAZDGQTJ8 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q120336535, second Feigenbaum constant (object). Also OEIS A006891
History
- 2026-10-26: add by m2/dev
Proof calculus RWB279XHB2
| URI | m2://inv/RWB279XHB2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof calculus, Proof calculus (definition). Also Wikidata Q7250002
History
- 2026-11-02: add by m2/dev
RWB4Y5ZV7F RWB4Y5ZV7F
| URI | m2://inv/RWB4Y5ZV7F |
|---|---|
| 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.23671#5C9M (statement)
History
- 2026-11-02: add by m2/v0.6.17
RWB686JQBF RWB686JQBF
| URI | m2://inv/RWB686JQBF |
|---|---|
| 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.01433#1VCE (statement). In 160PQ7F1AS/e1, theorem 4.19
History
- 2026-10-29: add by m2/v0.4.12
Somigliana equation RWBARHF265
| URI | m2://inv/RWBARHF265 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theoretical gravity#II78, Somigliana equation (unknown)
History
- 2026-11-02: add by m2/dev
RWBDKPQ1SG RWBDKPQ1SG
| URI | m2://inv/RWBDKPQ1SG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-sets.ptx#exercise-14 (exercise). In Y91XFCEVHQ, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Relatively prime RWBE7PS1JJ
| URI | m2://inv/RWBE7PS1JJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#8XHQ, Relatively prime (definition)
History
- 2026-11-02: add by m2/dev
Chinese hypothesis RWBPHS5QEE
| URI | m2://inv/RWBPHS5QEE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5100807, Chinese hypothesis (unknown). Also MathWorld ChineseHypothesis
- wikipedia: Wikipedia Chinese hypothesis, Chinese hypothesis (statement). Also Wikidata Q5100807
History
- 2026-10-26: add by m2/dev
CEREMADE RWBRM7918J
| URI | m2://inv/RWBRM7918J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CEREMADE, CEREMADE (definition). Also Wikidata Q2913547
History
- 2026-11-02: add by m2/dev
Example RWBTP67RBM
| URI | m2://inv/RWBTP67RBM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distribution (mathematical analysis)#0ACG, Example (example)
History
- 2026-11-02: add by m2/dev
Ernest Vinberg RWBYMJKBVV
| URI | m2://inv/RWBYMJKBVV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ernest Vinberg, Ernest Vinberg (topic). Also Wikidata Q450643
History
- 2026-11-02: add by m2/dev
Extensions RWC997CH80
| URI | m2://inv/RWC997CH80 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernoulli's method#X2JY, Extensions (statement)
History
- 2026-11-02: add by m2/dev
RWCJN8QRP2 RWCJN8QRP2
| URI | m2://inv/RWCJN8QRP2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.16041#POP1 (statement). In 2GD6NWJVRM/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.5
\Folner\ sequences RWCNHYDYP0
| URI | m2://inv/RWCNHYDYP0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30410#UWBC, \Folner\ sequences (definition). In 5HZX3JVJWF/e1, definition 2.5
History
- 2026-10-31: add by m2/v0.5.6
Separable case RWCQZBJK7M
| URI | m2://inv/RWCQZBJK7M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38741#84YD, Separable case (statement). In 1SQH3PTYMD/e1, corollary 2
History
- 2026-10-30: add by m2/v0.4.12
RWCWSXEV0R RWCWSXEV0R
| URI | m2://inv/RWCWSXEV0R |
|---|---|
| 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.32651#YETX (statement). In WFJXSE3VDT/e1, proposition 4.9
History
- 2026-10-31: add by m2/v0.5.6
Bhargava--Shankar--Tsimerman RWD137S6XQ
| URI | m2://inv/RWD137S6XQ |
|---|---|
| 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.33027#NM6V, Bhargava--Shankar--Tsimerman (statement). In E2AF84709B/e1, proposition 2
History
- 2026-10-31: add by m2/v0.5.6
RWD35VCA2B RWD35VCA2B
| URI | m2://inv/RWD35VCA2B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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.02017#CURV (statement). In F6C80AEXC1/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.12
Applications RWDDKJGTND
| URI | m2://inv/RWDDKJGTND |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sawtooth wave#HAUC, Applications (example)
History
- 2026-11-02: add by m2/dev
Hans-Hermann Hoppe RWDDWMA1G9
| URI | m2://inv/RWDDWMA1G9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans-Hermann Hoppe, Hans-Hermann Hoppe (topic). Also Wikidata Q76688
History
- 2026-11-02: add by m2/dev
P-FEM RWDGJ4ZJM6
| URI | m2://inv/RWDGJ4ZJM6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-FEM, P-FEM (definition). Also Wikidata Q25303755
History
- 2026-11-02: add by m2/dev
Catalog of articles in probability theory RWDHFN5YK6
| URI | m2://inv/RWDHFN5YK6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catalog of articles in probability theory, Catalog of articles in probability theory (definition). Also Wikidata Q5051309
History
- 2026-11-02: add by m2/dev
RWDMYR6AB4 RWDMYR6AB4
| URI | m2://inv/RWDMYR6AB4 |
|---|---|
| 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 2601.18223#Y5YZ (statement). In ZRXE7EJA93/e1, lemma 4.13
History
- 2026-10-27: add by m2/v0.3.5
Examples RWDQ3FAZ3M
| URI | m2://inv/RWDQ3FAZ3M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia H-object#END0, Examples (example)
History
- 2026-11-02: add by m2/dev
RWDWBY66A3 RWDWBY66A3
| URI | m2://inv/RWDWBY66A3 |
|---|---|
| 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 2609.37698#XVMM (statement). In HA2GG72C23/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
RWE61A3HBR RWE61A3HBR
| URI | m2://inv/RWE61A3HBR |
|---|---|
| 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.02751#07VZ (definition). In MWGXPXF3BW/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.12
Examples RWE647GW5V
| URI | m2://inv/RWE647GW5V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Speech act#BN9O, Examples (example)
History
- 2026-11-02: add by m2/dev
Preconditioner tail completion RWEDPYJN3Z
| URI | m2://inv/RWEDPYJN3Z |
|---|---|
| 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.27741#JXD1, Preconditioner tail completion (statement)
History
- 2026-11-01: add by m2/v0.6.15
Quasi-algebraic closure RWEQ1RYMXT
| URI | m2://inv/RWEQ1RYMXT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#FO0I, Quasi-algebraic closure (definition)
History
- 2026-11-02: add by m2/dev
RWERXTWE9H RWERXTWE9H
| URI | m2://inv/RWERXTWE9H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2609.30033#Y9XP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Robert Clifford Gunning RWEZMNZPCD
| URI | m2://inv/RWEZMNZPCD |
|---|---|
| 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#OEQO, Robert Clifford Gunning (topic)
History
- 2026-11-02: add by m2/dev
RWF19FP4TD RWF19FP4TD
| URI | m2://inv/RWF19FP4TD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04873#GM3V (statement). In GWG2WM0E4X/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.12
Expanded formulas RWF51Y1Y56
| URI | m2://inv/RWF51Y1Y56 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple linear regression#R79E, Expanded formulas (statement)
History
- 2026-11-02: add by m2/dev
RWFA8Z1QPP RWFA8Z1QPP
| URI | m2://inv/RWFA8Z1QPP |
|---|---|
| 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 2112.14455#NWU8 (statement). In VDE5R8HBS1/e1, corollary 2.8
History
- 2026-10-27: add by m2/v0.3.5
RWFME17Z0Q RWFME17Z0Q
| URI | m2://inv/RWFME17Z0Q |
|---|---|
| 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 2609.21900#YKWN (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples RWFPGV6ZEW
| URI | m2://inv/RWFPGV6ZEW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reflexive operator algebra#8S9B, Examples (example)
History
- 2026-11-02: add by m2/dev
Notation RWFYT85W84
| URI | m2://inv/RWFYT85W84 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cohomology theories#PN21, Notation (definition)
History
- 2026-11-02: add by m2/dev
Ginzburg criterion RWG1TNX8QN
| URI | m2://inv/RWG1TNX8QN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ginzburg criterion, Ginzburg criterion (statement). Also Wikidata Q5563311
History
- 2026-11-02: add by m2/dev
RWG426BNJM RWG426BNJM
| URI | m2://inv/RWG426BNJM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphalgorithms_exercises.ptx#exercise-9 (exercise). In QKM9DD2H56, exercise, section 12
History
- 2026-11-01: add by m2/v0.6.13
Yousef Alavi RWG44C7PET
| URI | m2://inv/RWG44C7PET |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yousef Alavi, Yousef Alavi (topic). Also Wikidata Q1412656
History
- 2026-11-02: add by m2/dev
RWG7R2R0NW RWG7R2R0NW
| URI | m2://inv/RWG7R2R0NW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28742#9TS6 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Application RWGB8M0ZVD
| URI | m2://inv/RWGB8M0ZVD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pythagorean tiling#FLCM, Application (example)
History
- 2026-11-02: add by m2/dev
RWGJ96B1GG RWGJ96B1GG
| URI | m2://inv/RWGJ96B1GG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35102#UM28 (statement). In XK6H7F2F13/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
cochain complex RWGNHNT7DF
| URI | m2://inv/RWGNHNT7DF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78271410, cochain complex (unknown). Also MathWorld CochainComplex, nLab cochain complex
History
- 2026-10-26: add by m2/dev
of the form RWH1AHMAGP
| URI | m2://inv/RWH1AHMAGP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7078836, of the form (concept). Also MathWorld OftheForm
- wikipedia: Wikipedia Of the form, Of the form (definition). Also Wikidata Q7078836
History
- 2026-10-26: add by m2/dev
Graph dynamical system RWH39FB8SV
| URI | m2://inv/RWH39FB8SV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph dynamical system, Graph dynamical system (definition). Also Wikidata Q5597080
History
- 2026-11-02: add by m2/dev
Olimpíada de Matemática do Grande ABC RWHH9RXFPY
| URI | m2://inv/RWHH9RXFPY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olimpíada de Matemática do Grande ABC, Olimpíada de Matemática do Grande ABC (definition). Also Wikidata Q28133949
History
- 2026-11-02: add by m2/dev
contravariant functor RWHHMDGKHJ
| URI | m2://inv/RWHHMDGKHJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.6/contravariant-functor, contravariant functor (concept). In N54F33XE07, index, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
Roger Collingwood RWHK3TX58D
| URI | m2://inv/RWHK3TX58D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roger Collingwood, Roger Collingwood (topic). Also Wikidata Q18527537
History
- 2026-11-02: add by m2/dev
RWHQFD2BF1 RWHQFD2BF1
| URI | m2://inv/RWHQFD2BF1 |
|---|---|
| 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.26745#TXS7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Demographics of Leicester RWHSA8SC8C
| URI | m2://inv/RWHSA8SC8C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Leicester, Demographics of Leicester (definition). Also Wikidata Q22004519
History
- 2026-11-02: add by m2/dev
Topos theory RWHT4HZ48A
| URI | m2://inv/RWHT4HZ48A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#917R, Topos theory (definition)
History
- 2026-11-02: add by m2/dev
RWHV96XQJ6 RWHV96XQJ6
| URI | m2://inv/RWHV96XQJ6 |
|---|---|
| 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.04069#JHAA (statement). In ZA7WXGZYWC/e1, proposition 2.16
History
- 2026-10-29: add by m2/v0.4.12
RWHVPDJ9K6 RWHVPDJ9K6
| URI | m2://inv/RWHVPDJ9K6 |
|---|---|
| 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 2204.01073#ML5B (statement). In W4TYN4PGE8/e1, theorem 6.18
History
- 2026-10-27: add by m2/v0.3.5
RWHXM9VB4Q RWHXM9VB4Q
| URI | m2://inv/RWHXM9VB4Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00135#HVRP (statement). In PXWXV92SJY/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
$\sh{T}(0)-$MTS-algebra RWHY7K83X3
| URI | m2://inv/RWHY7K83X3 |
|---|---|
| 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.26896#HHPY, $\sh{T}(0)-$MTS-algebra (definition)
History
- 2026-11-01: add by m2/v0.6.15
RWJ1CJ7MQJ RWJ1CJ7MQJ
| URI | m2://inv/RWJ1CJ7MQJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25468#SOJC (statement)
History
- 2026-11-01: add by m2/v0.6.15
RWJ4X2C6M6 RWJ4X2C6M6
| URI | m2://inv/RWJ4X2C6M6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21037#IDME (statement). In PYB2RFYVVE/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.4.2
Gaussian moments of an odd profile RWJ52TAXW1
| URI | m2://inv/RWJ52TAXW1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06480#5XBV, Gaussian moments of an odd profile (statement). In 2Y47E704Z9/e1, lemma 6.8
History
- 2026-10-29: add by m2/v0.4.10
RWJBV7G96F RWJBV7G96F
| URI | m2://inv/RWJBV7G96F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37897#8C7K (statement). In RBQ5FNCVNZ/e1, lemma A.1
History
- 2026-10-30: add by m2/v0.4.12
RWJFG2JAZE RWJFG2JAZE
| URI | m2://inv/RWJFG2JAZE |
|---|---|
| Kind | conjecture |
| 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 0809.4587#SCEF (conjecture). In KQ8JPHDKKE/e1, conjecture 9.5.4
History
- 2026-10-27: add by m2/v0.3.5
RWJJK4BSZ3 RWJJK4BSZ3
| URI | m2://inv/RWJJK4BSZ3 |
|---|---|
| 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 1311.6044#2I17 (statement). In W4FFB6SVZD/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
Truncated 5-simplex honeycomb RWJQZT3WYZ
| URI | m2://inv/RWJQZT3WYZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#0Z7F, Truncated 5-simplex honeycomb (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#3UIA, Truncated 5-simplex honeycomb (definition)
History
- 2026-11-02: add by m2/dev
Generalizations RWJRJFFTEE
| URI | m2://inv/RWJRJFFTEE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Gua's theorem#89VH, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
RWKC8RJRHR RWKC8RJRHR
| URI | m2://inv/RWKC8RJRHR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05396#W9GG (statement). In WMVRX5GV9P/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.10
Department of Environment Index RWKEC01Q9V
| URI | m2://inv/RWKEC01Q9V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deprivation index#Q46O, Department of Environment Index (unknown)
History
- 2026-11-02: add by m2/dev
Examples RWKH55DS3K
| URI | m2://inv/RWKH55DS3K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov random field#CKN0, Examples (example)
History
- 2026-11-02: add by m2/dev
Braverman, Amy RWKRRM6B0R
| URI | m2://inv/RWKRRM6B0R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#TUU7, Braverman, Amy (topic)
History
- 2026-11-02: add by m2/dev
loop group RWKS544KYD
| URI | m2://inv/RWKS544KYD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#FCQR, loop group (definition)
History
- 2026-11-02: add by m2/dev
RWKWHEV5D9 RWKWHEV5D9
| URI | m2://inv/RWKWHEV5D9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06707#XDSD (statement). In 9TR5E527P5/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
Supersaturation\footnote{The term `supersaturation', from extremal combinatorics, describes when we wish to ``determine the minimum number of copies of a particular substructure in a combinatorial object of prescribed size'' . For us, the substructure is defined by a Diophantine equation.} in squares minus one RWMDPRCGBT
| URI | m2://inv/RWMDPRCGBT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.05002#HRI6, Supersaturation\footnote{The term `supersaturation', from extremal combinatorics, describes when we wish to ``determine the minimum number of copies of a particular substructure in a combinatorial object of prescribed size'' . For us, the substructure is defined by a Diophantine equation.} in squares minus one (statement). In JBAQ7DTW7B/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
RWME2Y3BH6 RWME2Y3BH6
| URI | m2://inv/RWME2Y3BH6 |
|---|---|
| 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 2304.09819#M2RG (statement). In FYKSPSVT37/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.4.0
\textsf{Breuer--Major theorem RWMN2CH0F4
| URI | m2://inv/RWMN2CH0F4 |
|---|---|
| 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.09404#5DZF, \textsf{Breuer--Major theorem (statement). In D7CZZ48FRN/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
Jennifer Mueller RWMQSYRP99
| URI | m2://inv/RWMQSYRP99 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jennifer Mueller, Jennifer Mueller (topic). Also Wikidata Q71094708
History
- 2026-11-02: add by m2/dev
RWMSK77EYA RWMSK77EYA
| URI | m2://inv/RWMSK77EYA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#QVLW (statement). In BDN507RN7J/e1, theorem 3.1.18
History
- 2026-10-30: add by m2/v0.4.12
RWMTTW5W89 RWMTTW5W89
| URI | m2://inv/RWMTTW5W89 |
|---|---|
| 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 2609.28323#6HIG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Distance comparison RWMV0HDD3H
| URI | m2://inv/RWMV0HDD3H |
|---|---|
| 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.05204#C5Z9, Distance comparison (statement). In ET0TQ8YF7Z/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.10
Underdog effect RWN2E5T1BS
| URI | m2://inv/RWN2E5T1BS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opinion poll#MVNT, Underdog effect (unknown)
History
- 2026-11-02: add by m2/dev
RWN2P9HNGQ RWN2P9HNGQ
| URI | m2://inv/RWN2P9HNGQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-XX, 20-XX, 22-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 2406.13841#UXMR (statement). In AB2EMMXC7X/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
RWN96PCE4F RWN96PCE4F
| URI | m2://inv/RWN96PCE4F |
|---|---|
| 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#KHRK (statement). In X8FQD4TEVG/e1, proposition 2.8
History
- 2026-10-29: add by m2/v0.4.10
RWNEDV6XGV RWNEDV6XGV
| URI | m2://inv/RWNEDV6XGV |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-30: add by m2/v0.4.12
Bott RWNQZPPSA2
| URI | m2://inv/RWNQZPPSA2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#ICJN, Bott (definition)
History
- 2026-11-02: add by m2/dev
Statistical parameter RWP43XN7AS
| URI | m2://inv/RWP43XN7AS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KFRG, Statistical parameter (definition)
History
- 2026-11-02: add by m2/dev
RWP4EQJ2NX RWP4EQJ2NX
| URI | m2://inv/RWP4EQJ2NX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27366#3HWH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem D (rings) RWP74ARVNP
| URI | m2://inv/RWP74ARVNP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has no name of its own, and the write role names it) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isomorphism theorems#VMIA, Theorem D (rings) (statement)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Markov constant RWPFFY2GXC
| URI | m2://inv/RWPFFY2GXC |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov constant, Markov constant (object). Also Wikidata Q85783949
History
- 2026-11-02: add by m2/dev
RWPJ90G5YZ RWPJ90G5YZ
| URI | m2://inv/RWPJ90G5YZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34731#5SAA (definition). In MH54AS0Y61/e1, definition 3
History
- 2026-10-30: add by m2/v0.4.12
RWPK7JYCVK RWPK7JYCVK
| URI | m2://inv/RWPK7JYCVK |
|---|---|
| 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.38749#GYO3 (statement). In 3ZPVZE3GZH/e1, proposition 3
History
- 2026-10-30: add by m2/v0.4.12
Definitions RWPK96HWNH
| URI | m2://inv/RWPK96HWNH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chi distribution#FHQC, Definitions (definition)
History
- 2026-11-02: add by m2/dev
separable RWPM8815R2
| URI | m2://inv/RWPM8815R2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/7.4.2/separable, separable (concept). In 907G4C4EJ1, index, section 7.4.2
History
- 2026-11-01: add by m2/v0.6.13
RWPMMH8VDK RWPMMH8VDK
| URI | m2://inv/RWPMMH8VDK |
|---|---|
| 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 2609.34522#Z9YI (statement). In 1HJGW3Z6Q8/e1, corollary 1.5
History
- 2026-10-30: add by m2/v0.4.12
Goldine Gleser RWPMQGVGDJ
| URI | m2://inv/RWPMQGVGDJ |
|---|---|
| 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#15GK, Goldine Gleser (topic)
History
- 2026-11-02: add by m2/dev
RWPR3JXQ3Y RWPR3JXQ3Y
| URI | m2://inv/RWPR3JXQ3Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30200#R5BF (statement)
History
- 2026-11-01: add by m2/v0.6.15
RWPS057KBH RWPS057KBH
| URI | m2://inv/RWPS057KBH |
|---|---|
| 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.36613#EXCA (statement). In GX0K0ZM700/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
RWPS2KNTKA RWPS2KNTKA
| URI | m2://inv/RWPS2KNTKA |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21047#6K6T (problem)
History
- 2026-11-02: add by m2/v0.6.18
RWPT7XFR8V RWPT7XFR8V
| URI | m2://inv/RWPT7XFR8V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31389#4LD1 (statement). In YS0YFQEYE1/e1, lemma 10
History
- 2026-10-31: add by m2/v0.5.6
List of International Mathematical Olympiads RWQ2G82Y0Q
| URI | m2://inv/RWQ2G82Y0Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Mathematical Olympiads, List of International Mathematical Olympiads (topic). Also Wikidata Q738183
History
- 2026-11-02: add by m2/dev
Anonymous veto network RWQDX80K8H
| URI | m2://inv/RWQDX80K8H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anonymous veto network, Anonymous veto network (definition). Also Wikidata Q4770043
History
- 2026-11-02: add by m2/dev
RWQE8G0ESN RWQE8G0ESN
| URI | m2://inv/RWQE8G0ESN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.21092#FO00 (statement). In AGJE43FTF8/e1, lemma 7.2
History
- 2026-10-27: add by m2/v0.4.2
Mackaay-Vaz RWQHHW74QK
| URI | m2://inv/RWQHHW74QK |
|---|---|
| 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 1806.00752#QK27, Mackaay-Vaz (statement). In GGW2N4JHXM/e1, proposition 5
History
- 2026-10-27: add by m2/v0.3.5
RWQN7PMYCC RWQN7PMYCC
| URI | m2://inv/RWQN7PMYCC |
|---|---|
| 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.04712#UNV8 (statement). In XBT778DBVC/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.12
RWQQPTE9SE RWQQPTE9SE
| URI | m2://inv/RWQQPTE9SE |
|---|---|
| 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 2304.02722#E79U (statement). In AH7D55D3WV/e1, lemma 7.6
History
- 2026-10-27: add by m2/v0.3.5
Projection pursuit RWQZZENQET
| URI | m2://inv/RWQZZENQET |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WG8V, Projection pursuit (definition)
History
- 2026-11-02: add by m2/dev
closed contour RWR3FX0E94
| URI | m2://inv/RWR3FX0E94 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q120726179, closed contour (definition). Also ProofWiki Definition:Contour/Closed/Complex_Plane
History
- 2026-10-26: add by m2/dev
RWR6PS5GE0 RWR6PS5GE0
| URI | m2://inv/RWR6PS5GE0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.27420#C8IU (statement)
History
- 2026-11-01: add by m2/v0.6.15
RWRC93PDBH RWRC93PDBH
| URI | m2://inv/RWRC93PDBH |
|---|---|
| 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#COE2 (statement). In FT53PMB1TE/e1, lemma 6.2.3
History
- 2026-10-29: add by m2/v0.4.10
RWRGJWNG4E RWRGJWNG4E
| URI | m2://inv/RWRGJWNG4E |
|---|---|
| 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.20345#CS3J (statement). In WVRRST04WS/e1, fact 16
History
- 2026-10-27: add by m2/v0.4.2
RWRK9QSHPN RWRK9QSHPN
| URI | m2://inv/RWRK9QSHPN |
|---|---|
| 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.21191#FWRB (statement)
History
- 2026-11-02: add by m2/v0.6.18
List of string theory topics RWRMQ9EDDK
| URI | m2://inv/RWRMQ9EDDK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#D3VI, List of string theory topics (topic)
History
- 2026-11-02: add by m2/dev
RWRRY6VTKF RWRRY6VTKF
| URI | m2://inv/RWRRY6VTKF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#defn-11 (definition). In E59CDZA4DP, defn, section 4.4.1
History
- 2026-11-01: add by m2/v0.6.13
RWRSSDK80T RWRSSDK80T
| URI | m2://inv/RWRSSDK80T |
|---|---|
| Kind | problem |
| 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 2605.23846#8PRV (problem). In H72CXFWVPV/e1, problem 1
History
- 2026-10-27: add by m2/v0.3.5
Empirical orthogonal functions RWRT84TG2B
| URI | m2://inv/RWRT84TG2B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Empirical orthogonal functions, Empirical orthogonal functions (definition). Also Wikidata Q3042818
History
- 2026-11-02: add by m2/dev
Cartier isomorphism RWS3P63M9Y
| URI | m2://inv/RWS3P63M9Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartier isomorphism, Cartier isomorphism (definition). Also Wikidata Q85750828
History
- 2026-11-02: add by m2/dev
5 kilometr RWS46KG12Q
| URI | m2://inv/RWS46KG12Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#QHM9, 5 kilometr (unknown)
History
- 2026-11-02: add by m2/dev
Degree of a divisor RWS9AG3KEY
| URI | m2://inv/RWS9AG3KEY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/riemann-roch.tex#definition-3, Degree of a divisor (definition). In RZP28ERRZV, definition, section 87.3
History
- 2026-11-01: add by m2/v0.6.13
RWSAKPWGM7 RWSAKPWGM7
| URI | m2://inv/RWSAKPWGM7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15831#KEE5 (definition). In CVESAPNMCQ/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Existence of a risk coefficient RWSJQKNJZG
| URI | m2://inv/RWSJQKNJZG |
|---|---|
| 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.33360#ZYZD, Existence of a risk coefficient (statement). In GH6FSDK4YB/e1, proposition 4.7
History
- 2026-10-30: add by m2/v0.4.12
natural numbers, as homotopy-initial algebra RWSNZA72N7
| URI | m2://inv/RWSNZA72N7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.4/natural-numbers-as-homotopy-initial-algebra, natural numbers, as homotopy-initial algebra (concept). In N54F33XE07, index, section 8.4
History
- 2026-11-01: add by m2/v0.6.13
RWSQ7PAECB RWSQ7PAECB
| URI | m2://inv/RWSQ7PAECB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-77 (exercise). In E9HS8K3A52, exercise, section 5.6.4
History
- 2026-11-01: add by m2/v0.6.13
Orthographic projection RWSSXMG4P6
| URI | m2://inv/RWSSXMG4P6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#PH4H, Orthographic projection (definition)
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#VRZY, Orthographic projection (definition)
History
- 2026-11-02: add by m2/dev
RWSTZ7BBW6 RWSTZ7BBW6
| URI | m2://inv/RWSTZ7BBW6 |
|---|---|
| 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.20817#46WU (statement). In M1YRBSZT4H/e1, lemma 3
History
- 2026-10-27: add by m2/v0.4.2
Infinitism RWT2P8M02T
| URI | m2://inv/RWT2P8M02T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinitism, Infinitism (definition). Also Wikidata Q13569865
History
- 2026-11-02: add by m2/dev
RWT35Z7CQ9 RWT35Z7CQ9
| URI | m2://inv/RWT35Z7CQ9 |
|---|---|
| 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 1907.01440#AB6T (statement). In QDRYC6WJJ7/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
RWTPGKFC18 RWTPGKFC18
| URI | m2://inv/RWTPGKFC18 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/characters.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 79.4
History
- 2026-11-01: add by m2/v0.6.13
RWTT7T24S1 RWTT7T24S1
| URI | m2://inv/RWTT7T24S1 |
|---|---|
| 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.08434#26DE (statement). In VN8087G2FC/e1, corollary 8.4
History
- 2026-10-29: add by m2/v0.4.10
Definition RWTTNPYZMY
| URI | m2://inv/RWTTNPYZMY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract elementary class#298U, Definition (definition)
History
- 2026-11-02: add by m2/dev
Amalgamated criterion RWTV1RRE7W
| URI | m2://inv/RWTV1RRE7W |
|---|---|
| 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.17608#MRTO, Amalgamated criterion (statement). In VAGWC38NSF/e1, corollary 2.4
History
- 2026-10-28: add by m2/v0.4.2
RWTWSBE2MX RWTWSBE2MX
| URI | m2://inv/RWTWSBE2MX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.05539#8R56 (definition). In 8SVVEVGMNE/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
RWTZR2XKPH RWTZR2XKPH
| URI | m2://inv/RWTZR2XKPH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10559#635J (definition). In WEP0PNJW09/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.10
Arithmaurel RWV343SM31
| URI | m2://inv/RWV343SM31 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmaurel, Arithmaurel (definition). Also Wikidata Q2861424
History
- 2026-11-02: add by m2/dev
Robert E. Chaddock RWV34RPG1T
| URI | m2://inv/RWV34RPG1T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert E. Chaddock, Robert E. Chaddock (topic). Also Wikidata Q123730808
History
- 2026-11-02: add by m2/dev
Josephus permutation RWV6FMJN34
| URI | m2://inv/RWV6FMJN34 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#DPNT, Josephus permutation (problem)
History
- 2026-11-02: add by m2/dev
Prais–Winsten estimation RWV6NWN82R
| URI | m2://inv/RWV6NWN82R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prais–Winsten estimation, Prais–Winsten estimation (definition). Also Wikidata Q7238113
History
- 2026-11-02: add by m2/dev
RWV9PAR811 RWV9PAR811
| URI | m2://inv/RWV9PAR811 |
|---|---|
| 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 2602.19452#JKH8 (statement). In 3GF75S0XJ0/e1, lemma 2.12
History
- 2026-10-27: add by m2/v0.4.0
Examples RWVAMZ7VF3
| URI | m2://inv/RWVAMZ7VF3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Warped product#34SI, Examples (example)
History
- 2026-11-02: add by m2/dev
RWVCTJ1PFK RWVCTJ1PFK
| URI | m2://inv/RWVCTJ1PFK |
|---|---|
| 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.32614#70Z3 (statement). In SG8GT73ZNH/e1, theorem 1.5
History
- 2026-10-31: add by m2/v0.5.6
quadric surfaces in 3-dimensional Euclidean affine spaces RWVE86AS51
| URI | m2://inv/RWVE86AS51 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > Application of quadratic forms to study proper conic sections of the affine Euclidean plane > quadric surfaces in 3-dimensional Euclidean affine spaces, quadric surfaces in 3-dimensional Euclidean affine spaces (unknown)
History
- 2026-10-26: add by m2/dev
RWVHQKAQV7 RWVHQKAQV7
| URI | m2://inv/RWVHQKAQV7 |
|---|---|
| Kind | example |
| 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.27414#HMCL (example)
History
- 2026-11-01: add by m2/v0.6.15
RWVP24VNP5 RWVP24VNP5
| URI | m2://inv/RWVP24VNP5 |
|---|---|
| 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 2610.15217#EYV4 (definition). In G70Q2FB591/e1, definition 4.3
History
- 2026-10-28: add by m2/v0.4.2
Gradient of the GFF: infinite susceptibility RWVTJ2EZHX
| URI | m2://inv/RWVTJ2EZHX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04452#H2M2, Gradient of the GFF: infinite susceptibility (example). In ZV3ANMKJ0Y/e1, example 2.9
History
- 2026-10-29: add by m2/v0.4.12
RWVV3P91WS RWVV3P91WS
| URI | m2://inv/RWVV3P91WS |
|---|---|
| Kind | definition |
| 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 2310.13621#EF6Q (definition). In DG0EZ1BPV5/e1, definition 7.1
History
- 2026-10-27: add by m2/v0.3.5
Fundamental theorems of welfare economics RWW407ZZ73
| URI | m2://inv/RWW407ZZ73 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 91-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q467205, Fundamental theorems of welfare economics (statement). Also Wikidata Q467205
- thousand_plus: thousand_plus Q467205, Fundamental theorems of welfare economics (statement). Also Wikidata Q467205, Wikipedia Fundamental theorems of welfare economics
- wikipedia: Wikipedia Fundamental theorems of welfare economics, Fundamental theorems of welfare economics (statement). Also Wikidata Q467205
History
- 2026-10-26: add by m2/dev
Coordinatewise ordering RWW4AY7F8Q
| URI | m2://inv/RWW4AY7F8Q |
|---|---|
| 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.16715#E8DZ, Coordinatewise ordering (statement). In RA1Z6BV25A/e1, corollary 4.3
History
- 2026-10-28: add by m2/v0.4.2
RWW5F241J7 RWW5F241J7
| URI | m2://inv/RWW5F241J7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40355#QYW5 (statement). In SBP98GWKC8/e1, theorem 5
History
- 2026-10-30: add by m2/v0.4.12
RWW6Y2EGVJ RWW6Y2EGVJ
| URI | m2://inv/RWW6Y2EGVJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21622#E73U (statement). In H21X3FHNYJ/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.4.2
Sharp intrinsic rate in the scalar Gaussian model RWW9RTDPVZ
| URI | m2://inv/RWW9RTDPVZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40338#YOB6, Sharp intrinsic rate in the scalar Gaussian model (statement). In K5H6GS0SGQ/e1, theorem 3.5
History
- 2026-10-30: add by m2/v0.4.12
Vasilii Iskovskikh RWWAJQZXFT
| URI | m2://inv/RWWAJQZXFT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vasilii Iskovskikh, Vasilii Iskovskikh (topic). Also Wikidata Q4203866
History
- 2026-11-02: add by m2/dev
RWWB4R34Y8 RWWB4R34Y8
| URI | m2://inv/RWWB4R34Y8 |
|---|---|
| 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.06206#T554 (statement). In A7611PTXVQ/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.10
RWWB7TJ48E RWWB7TJ48E
| URI | m2://inv/RWWB7TJ48E |
|---|---|
| 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.35682#A4H8 (statement). In 7XM8WXVBWK/e1, corollary 2.4
History
- 2026-10-30: add by m2/v0.4.12
Helen Calkins RWWPTRK9EB
| URI | m2://inv/RWWPTRK9EB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helen Calkins, Helen Calkins (topic). Also Wikidata Q102198384
History
- 2026-11-02: add by m2/dev
RWWRD9R7BH RWWRD9R7BH
| URI | m2://inv/RWWRD9R7BH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09812#SZGH (definition). In NWWKD8YX57/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
RWWT9YXZJH RWWT9YXZJH
| URI | m2://inv/RWWT9YXZJH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/MoreQuantification.tex#definition-1 (definition). In P1C114YBXG, definition, section F
History
- 2026-11-01: add by m2/v0.6.13
Civilian noninstitutional population RWWX6QQJ4H
| URI | m2://inv/RWWX6QQJ4H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Civilian noninstitutional population, Civilian noninstitutional population (definition). Also Wikidata Q5124742
History
- 2026-11-02: add by m2/dev
Statement of the Hewitt-Savage zero-one law RWWY3SDMAV
| URI | m2://inv/RWWY3SDMAV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hewitt–Savage zero–one law#FH3Q, Statement of the Hewitt-Savage zero-one law (statement)
History
- 2026-11-02: add by m2/dev
compression waves RWX4X0PXEK
| URI | m2://inv/RWX4X0PXEK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal mode#591Y, compression waves (definition)
History
- 2026-11-02: add by m2/dev
RWXFDWQC7A RWXFDWQC7A
| URI | m2://inv/RWXFDWQC7A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.33704#0Z1C (statement). In STRVMT83HE/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
RWXHGSFV2G RWXHGSFV2G
| URI | m2://inv/RWXHGSFV2G |
|---|---|
| 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.15525#CWJA (statement). In EFDRME13PT/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Theorem RWXQ9DP3P5
| URI | m2://inv/RWXQ9DP3P5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laguerre plane#ZA06, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Small retrosnub icosicosidodecahedron RWXZR61Y4T
| URI | m2://inv/RWXZR61Y4T |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#GACM, Small retrosnub icosicosidodecahedron (object)
History
- 2026-11-02: add by m2/dev
Schrödinger-Klein-Gordon equation RWY6P53S1X
| URI | m2://inv/RWY6P53S1X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schrödinger equation#JRFY, Schrödinger-Klein-Gordon equation (unknown)
History
- 2026-11-02: add by m2/dev
RWY8X1GSHN RWY8X1GSHN
| URI | m2://inv/RWY8X1GSHN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33162#MBK9 (example). In RPC7VG3KHQ/e1, example 4.10
History
- 2026-10-30: add by m2/v0.4.12
Barbier's theorem RWYAJA8KT5
| URI | m2://inv/RWYAJA8KT5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Buffon's noodle#NNYQ, Barbier's theorem (statement)
History
- 2026-11-02: add by m2/dev
RWYCW4MT0A RWYCW4MT0A
| URI | m2://inv/RWYCW4MT0A |
|---|---|
| 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.06556#RZ3P (example). In KW8C7VE9XR/e1, example 14
History
- 2026-10-29: add by m2/v0.4.10
Unipotent radical RWYFFT1E2V
| URI | m2://inv/RWYFFT1E2V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unipotent#Z87M, Unipotent radical (unknown)
History
- 2026-11-02: add by m2/dev
András Stipsicz RWYGKVPZPB
| URI | m2://inv/RWYGKVPZPB |
|---|---|
| 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#S82J, András Stipsicz (unknown)
History
- 2026-11-02: add by m2/dev
Per Martin-Löf RWYNRWQJHG
| URI | m2://inv/RWYNRWQJHG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#BDID, Per Martin-Löf (topic)
History
- 2026-11-02: add by m2/dev
Definition RWYQG6F2KH
| URI | m2://inv/RWYQG6F2KH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neyman Type A distribution#V8O7, Definition (definition)
History
- 2026-11-02: add by m2/dev
Rose Rand RWYR6M8ZAV
| URI | m2://inv/RWYR6M8ZAV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#2QQJ, Rose Rand (topic)
History
- 2026-11-02: add by m2/dev
Nikolaos Ch. Nikolaidis RWYWCR88CT
| URI | m2://inv/RWYWCR88CT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nikolaos Ch. Nikolaidis, Nikolaos Ch. Nikolaidis (topic). Also Wikidata Q12881850
History
- 2026-11-02: add by m2/dev
Feasibility of one Newton step RWYXX6VTK0
| URI | m2://inv/RWYXX6VTK0 |
|---|---|
| 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.03242#7991, Feasibility of one Newton step (statement). In MJE6HRC6PX/e1, theorem 5.4
History
- 2026-10-29: add by m2/v0.4.12
Jacques Inaudi RWZ33DK7K9
| URI | m2://inv/RWZ33DK7K9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacques Inaudi, Jacques Inaudi (topic). Also Wikidata Q3105062
History
- 2026-11-02: add by m2/dev
mirror symmetry RWZ9W1JKFV
| URI | m2://inv/RWZ9W1JKFV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Mirror symmetry YK3DMN2NSK |
Mentions
- wikidata: Wikidata Q5914418, mirror symmetry (unknown). Also MathWorld MirrorSymmetry, nLab mirror symmetry
- wikipedia: Wikipedia Mirror symmetry (string theory), Mirror symmetry (definition). Also Wikidata Q5914418
History
- 2026-10-26: add by m2/dev
minimal polynomial RWZCTD86VS
| URI | m2://inv/RWZCTD86VS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Minimal polynomial 03NDVCSHSB |
Mentions
- wikidata: Wikidata Q1163608, minimal polynomial (unknown). Also EoM Minimal_polynomial_of_a_matrix, MathWorld MatrixMinimalPolynomial
- wikipedia: Wikipedia Minimal polynomial (linear algebra), Minimal polynomial (definition). Also Wikidata Q1163608
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
RWZFX8WHJK RWZFX8WHJK
| URI | m2://inv/RWZFX8WHJK |
|---|---|
| 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.22345#CHT0 (statement). In 7JATJ4VG9G/e1, proposition 7.1
History
- 2026-10-27: add by m2/v0.4.0
Example RWZMD1KHDK
| URI | m2://inv/RWZMD1KHDK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prestack#H22Y, Example (example)
History
- 2026-11-02: add by m2/dev
Generic finiteness for homogeneous potentials RWZWXK6RH3
| URI | m2://inv/RWZWXK6RH3 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04136#23L7, Generic finiteness for homogeneous potentials (problem). In TBYTWR87F3/e1, problem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Conditional boundary precision and coverage RWZY0WAJKD
| URI | m2://inv/RWZY0WAJKD |
|---|---|
| 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.31470#JRYH, Conditional boundary precision and coverage (statement). In 4RS2WKVB7F/e1, corollary D.1
History
- 2026-10-31: add by m2/v0.5.6