Inventory rows 99
The cards of the rows of the inventory whose ids start with 99. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
99052RSG2X 99052RSG2X
| URI | m2://inv/99052RSG2X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32300#4Z1K (statement). In VNE8N0D2FB/e1, corollary 1.9
History
- 2026-10-31: add by m2/v0.5.6
99070ZA1BM 99070ZA1BM
| URI | m2://inv/99070ZA1BM |
|---|---|
| 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.25282#0FZU (statement)
History
- 2026-11-01: add by m2/v0.6.15
9907V3Q639 9907V3Q639
| URI | m2://inv/9907V3Q639 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09678#WIC2 (statement). In 9VG7PNZHZT/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
9908H3W7EV 9908H3W7EV
| URI | m2://inv/9908H3W7EV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.06321#ITTP (statement). In PGV1116XX4/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.10
990FCKW0ZK 990FCKW0ZK
| URI | m2://inv/990FCKW0ZK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21892#H0KO (statement)
History
- 2026-11-02: add by m2/v0.6.17
Light transport theory 990JH6VH3W
| URI | m2://inv/990JH6VH3W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#S6IX, Light transport theory (unknown)
History
- 2026-11-02: add by m2/dev
Kriging 990KV3YXD4
| URI | m2://inv/990KV3YXD4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#T63L, Kriging (definition)
History
- 2026-11-02: add by m2/dev
simple ring 990MK4CGV7
| URI | m2://inv/990MK4CGV7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Simple ring 62M0NC3E2T |
Mentions
- wikidata: Wikidata Q2326800, simple ring (unknown). Also EoM Simple_ring, MathWorld SimpleRing, nLab simple ring
- wikipedia: Wikipedia Simple ring, Simple ring (definition). Also Wikidata Q2326800
History
- 2026-10-26: add by m2/dev
Variants 990PPZ888V
| URI | m2://inv/990PPZ888V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Levmore–Cook moving-knives procedure#7WRZ, Variants (statement)
History
- 2026-11-02: add by m2/dev
Localization and stalk criteria 990SQ5S401
| URI | m2://inv/990SQ5S401 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15887#3B5D, Localization and stalk criteria (statement). In 87QYNZZ67Z/e1, theorem C
History
- 2026-10-28: add by m2/v0.4.2
990TEX3PS3 990TEX3PS3
| URI | m2://inv/990TEX3PS3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21622#AU9T (definition). In H21X3FHNYJ/e1, definition 1.12
History
- 2026-10-27: add by m2/v0.4.2
Yuri Manin 990TR5NW46
| URI | m2://inv/990TR5NW46 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YQ6M, Yuri Manin (topic)
- wikipedia: Wikipedia List of algebraic geometry topics#Q5TW, Yuri Manin (topic)
- wikipedia: Wikipedia List of German mathematicians#TO8E, Yuri Manin (topic)
History
- 2026-11-02: add by m2/dev
990V0DAKMD 990V0DAKMD
| URI | m2://inv/990V0DAKMD |
|---|---|
| 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.20119#CJUH (definition)
History
- 2026-11-02: add by m2/v0.6.18
copula 990WEHXBB0
| URI | m2://inv/990WEHXBB0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#KD2C, copula (definition)
History
- 2026-11-02: add by m2/dev
99122DT2R8 99122DT2R8
| URI | m2://inv/99122DT2R8 |
|---|---|
| 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.30544#S52X (statement). In CB35ZBBBPT/e1, proposition 4.5
History
- 2026-10-31: add by m2/v0.5.6
9912ZAQZEE 9912ZAQZEE
| URI | m2://inv/9912ZAQZEE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24008#FIPD (statement)
History
- 2026-11-02: add by m2/v0.6.17
Chaotic mixing 9913MSKNVB
| URI | m2://inv/9913MSKNVB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chaotic mixing, Chaotic mixing (definition). Also Wikidata Q5072842
History
- 2026-11-02: add by m2/dev
Olshansky, S. Jay 9913WVKMAX
| URI | m2://inv/9913WVKMAX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#WNZB, Olshansky, S. Jay (unknown)
History
- 2026-11-02: add by m2/dev
Wiktor Eckhaus 991FMSYCED
| URI | m2://inv/991FMSYCED |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiktor Eckhaus, Wiktor Eckhaus (topic). Also Wikidata Q15727806
History
- 2026-11-02: add by m2/dev
Tverberg's theorem 991FTJGF3Q
| URI | m2://inv/991FTJGF3Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#UL12, Tverberg's theorem (statement)
History
- 2026-11-02: add by m2/dev
Limb darkening 991X4XBNVZ
| URI | m2://inv/991X4XBNVZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limb darkening, Limb darkening (definition). Also Wikidata Q772102
History
- 2026-11-02: add by m2/dev
Erdős space 991YTAGP1D
| URI | m2://inv/991YTAGP1D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős space, Erdős space (definition). Also Wikidata Q5385319
History
- 2026-11-02: add by m2/dev
9921ZJS4S5 9921ZJS4S5
| URI | m2://inv/9921ZJS4S5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20087#260A (statement). In ZRE2WQR5XA/e1, proposition IV.8
History
- 2026-10-27: add by m2/v0.4.2
Gerald Wilson 9922ZV1X5W
| URI | m2://inv/9922ZV1X5W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#VNC0, Gerald Wilson (unknown)
History
- 2026-11-02: add by m2/dev
992A68H56F 992A68H56F
| URI | m2://inv/992A68H56F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02111#K10N (statement). In NC5ZRF6F8N/e1, corollary 1.3
History
- 2026-10-29: add by m2/v0.4.12
992CQ1J3FZ 992CQ1J3FZ
| URI | m2://inv/992CQ1J3FZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01251#DU5W (statement). In CZ2247RGQ4/e1, theorem 3.1.3
History
- 2026-10-29: add by m2/v0.4.12
992DWRAGSC 992DWRAGSC
| URI | m2://inv/992DWRAGSC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.16003#CGWG (definition). In BJGS6ZCQ12/e1, definition 6.2
History
- 2026-10-27: add by m2/v0.3.6
Boundary knot method 992G0H70VV
| URI | m2://inv/992G0H70VV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boundary knot method, Boundary knot method (definition). Also Wikidata Q4949966
History
- 2026-11-02: add by m2/dev
992KYS3909 992KYS3909
| URI | m2://inv/992KYS3909 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/universal-tm.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 87.1
History
- 2026-11-01: add by m2/v0.6.13
Vladimir Voevodsky 992TQGV8J4
| URI | m2://inv/992TQGV8J4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#E5J1, Vladimir Voevodsky (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#35NY, Vladimir Voevodsky (topic)
History
- 2026-11-02: add by m2/dev
992YMPYVM3 992YMPYVM3
| URI | m2://inv/992YMPYVM3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-coloring.ptx#exercise-2 (exercise). In Y91XFCEVHQ, exercise, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
Least action principle 9936HMF6RD
| URI | m2://inv/9936HMF6RD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Korteweg–De Vries equation#P0PW, Least action principle (statement)
History
- 2026-11-02: add by m2/dev
Assembly 993J7KMPGC
| URI | m2://inv/993J7KMPGC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09295#J2MS, Assembly (statement). In 29X0B511NF/e1, proposition 10.2
History
- 2026-10-29: add by m2/v0.4.10
993NHCDYCB 993NHCDYCB
| URI | m2://inv/993NHCDYCB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33856#MP2A (statement). In 47WN78VDDF/e1, theorem 3.34
History
- 2026-10-30: add by m2/v0.4.12
993VT2REZF 993VT2REZF
| URI | m2://inv/993VT2REZF |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_probability_central-tendency.ptx#proof-1 (proof). In QKM9DD2H56, proof, section 10.5
History
- 2026-11-01: add by m2/v0.6.13
9942A5QRPE 9942A5QRPE
| URI | m2://inv/9942A5QRPE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11800#ARJL (statement). In 8TSZ2E32K3/e1, corollary 6.8
History
- 2026-10-28: add by m2/v0.4.3
9947BW7WKK 9947BW7WKK
| URI | m2://inv/9947BW7WKK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#YVLO (statement). In 7V2PVZS04C/e1, corollary 5.6
History
- 2026-10-31: add by m2/v0.5.6
994KERDJ26 994KERDJ26
| URI | m2://inv/994KERDJ26 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 49-XX, 51-XX, 52-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 1904.08413#PGA0 (example). In X88HPQ0W8C/e1, example 2.14
History
- 2026-10-27: add by m2/v0.3.5
Properties 994KSED69Q
| URI | m2://inv/994KSED69Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compactly generated space#RZ1D, Properties (statement)
History
- 2026-11-02: add by m2/dev
994MD7Z5KX 994MD7Z5KX
| URI | m2://inv/994MD7Z5KX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28824#5TMD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ecological regression 994N7B1E7H
| URI | m2://inv/994N7B1E7H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ecological regression, Ecological regression (definition). Also Wikidata Q5333248
History
- 2026-11-02: add by m2/dev
Example 994RF4EG2K
| URI | m2://inv/994RF4EG2K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hewitt–Savage zero–one law#MU3U, Example (example)
History
- 2026-11-02: add by m2/dev
All-to-all structure learning with ancillary modes 994SPENWRH
| URI | m2://inv/994SPENWRH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00448#ZWHU, All-to-all structure learning with ancillary modes (statement). In N06J7GC05Q/e1, theorem 7.2
History
- 2026-10-30: add by m2/v0.4.12
Dispersion point 994YNQKV3N
| URI | m2://inv/994YNQKV3N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dispersion point, Dispersion point (definition). Also Wikidata Q5282582
History
- 2026-11-02: add by m2/dev
9952MJBWH9 9952MJBWH9
| URI | m2://inv/9952MJBWH9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#example-10 (example). In E59CDZA4DP, example, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
Milton Sobel 99592THH1Y
| URI | m2://inv/99592THH1Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Milton Sobel, Milton Sobel (topic). Also Wikidata Q83689625
History
- 2026-11-02: add by m2/dev
Weyl's tile argument 995CRC8AKH
| URI | m2://inv/995CRC8AKH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#CVPE, Weyl's tile argument (definition)
History
- 2026-11-02: add by m2/dev
995JP0WM39 995JP0WM39
| URI | m2://inv/995JP0WM39 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14838#ZWOR (statement). In J7ZX3WWRQP/e1, theorem 4.7
History
- 2026-10-28: add by m2/v0.4.2
995K9D2W5Z 995K9D2W5Z
| URI | m2://inv/995K9D2W5Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14160#PFYB (statement). In Y4TP36M0C7/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.2
Non-negative bases in finite dimensions 995T3MKKEH
| URI | m2://inv/995T3MKKEH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18709#F0PI, Non-negative bases in finite dimensions (statement). In K7VY50VFK6/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
995YW922XT 995YW922XT
| URI | m2://inv/995YW922XT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-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.21768#IGO5 (statement). In VD53W58DS1/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
99629T7Q5W 99629T7Q5W
| URI | m2://inv/99629T7Q5W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20758#E78U (statement). In PG0B4PH9YH/e1, lemma 3.13
History
- 2026-10-27: add by m2/v0.4.2
cartesian closed category 99692TAN41
| URI | m2://inv/99692TAN41 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Cartesian closed category BFBNQ36QS8 |
Mentions
- wikidata: Wikidata Q1725874, cartesian closed category (definition). Also EoM Cartesian-closed_category, nLab cartesian closed category, ProofWiki Definition:Cartesian_Closed_Category
- wikipedia: Wikipedia Cartesian closed category, Cartesian closed category (definition). Also Wikidata Q1725874
History
- 2026-10-26: add by m2/dev
996A0B1F83 996A0B1F83
| URI | m2://inv/996A0B1F83 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14509#1DJ2 (statement). In N6GD8392QB/e1, corollary 6.3
History
- 2026-10-28: add by m2/v0.4.2
Periodic Hilbert space-valued propagation 996DDJX79C
| URI | m2://inv/996DDJX79C |
|---|---|
| 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.28937#5NN6, Periodic Hilbert space-valued propagation (statement)
History
- 2026-11-01: add by m2/v0.6.15
996JW8B4TQ 996JW8B4TQ
| URI | m2://inv/996JW8B4TQ |
|---|---|
| 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#OSNC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Philip Hall 996N4VER53
| URI | m2://inv/996N4VER53 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philip Hall, Philip Hall (topic). Also Wikidata Q948396
History
- 2026-11-02: add by m2/dev
Jan Nekovář 99710J4PTH
| URI | m2://inv/99710J4PTH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15455421, Jan Nekovář (unknown). Also nLab Jan Nekovar
- wikipedia: Wikipedia Jan Nekovář, Jan Nekovář (topic). Also Wikidata Q15455421
History
- 2026-10-26: add by m2/dev
9971Q42K0C 9971Q42K0C
| URI | m2://inv/9971Q42K0C |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20789#MX7Y (example)
History
- 2026-11-02: add by m2/v0.6.18
9979P7R5MV 9979P7R5MV
| URI | m2://inv/9979P7R5MV |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.15365#VETG (unknown). In R2XC1SC9NZ/e1, unknown 27
History
- 2026-10-27: add by m2/v0.3.5
CCE 997B2DQR3E
| URI | m2://inv/997B2DQR3E |
|---|---|
| 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.21976#KOJK, CCE (statement)
History
- 2026-11-02: add by m2/v0.6.17
Implementation 997E5VVN4G
| URI | m2://inv/997E5VVN4G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neyman construction#95RJ, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Example 997H2TAV89
| URI | m2://inv/997H2TAV89 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruffini's rule#I7UD, Example (example)
History
- 2026-11-02: add by m2/dev
multifactorial 997STFRE1S
| URI | m2://inv/997STFRE1S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28158324, multifactorial (unknown). Also MathWorld Multifactorial
History
- 2026-10-26: add by m2/dev
Negativity bias 9984ZXM0EG
| URI | m2://inv/9984ZXM0EG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#W4ON, Negativity bias (definition)
History
- 2026-11-02: add by m2/dev
Stronger topology 9987DQN545
| URI | m2://inv/9987DQN545 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#B2A0, Stronger topology (definition)
History
- 2026-11-02: add by m2/dev
A betting sequence with prescribed \epower and no power 9989TB616K
| URI | m2://inv/9989TB616K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 62-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.27765#IDQY, A betting sequence with prescribed \epower and no power (definition)
History
- 2026-11-01: add by m2/v0.6.15
Example 99904RYD33
| URI | m2://inv/99904RYD33 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subject-expectancy effect#2GOX, Example (example)
History
- 2026-11-02: add by m2/dev
Pascal's rule 9992VXCXRQ
| URI | m2://inv/9992VXCXRQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Pascal's rule 0YRG241HQQ |
Mentions
- wikidata: Wikidata Q17099544, Pascal's rule (statement). Also MathWorld PascalsFormula
- wikipedia: Wikipedia Pascal's rule, Pascal's rule (definition). Also Wikidata Q17099544
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
99939HXH2X 99939HXH2X
| URI | m2://inv/99939HXH2X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.11101#EJ0C (definition). In YBBKTP4E70/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.3.5
9995GKVT09 9995GKVT09
| URI | m2://inv/9995GKVT09 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28011#SPZP (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definition 999GM077Y8
| URI | m2://inv/999GM077Y8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variable-order Markov model#U9BM, Definition (definition)
History
- 2026-11-02: add by m2/dev
999RAXN4D1 999RAXN4D1
| URI | m2://inv/999RAXN4D1 |
|---|---|
| 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.01441#CQXH (statement). In V678XY1P9A/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.12
Properties 999RRBD2CB
| URI | m2://inv/999RRBD2CB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wu manifold#M78H, Properties (statement)
History
- 2026-11-02: add by m2/dev
Uniform Bound of Semi-Translated Kernel Integral 999Z5Z9ETP
| URI | m2://inv/999Z5Z9ETP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13355#2DRU, Uniform Bound of Semi-Translated Kernel Integral (statement). In QJ1G1HBC6C/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
999ZYHX6QP 999ZYHX6QP
| URI | m2://inv/999ZYHX6QP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-19 (exercise). In E59CDZA4DP, exercise, section 9.2.5
History
- 2026-11-01: add by m2/v0.6.13
99ABM8G3DQ 99ABM8G3DQ
| URI | m2://inv/99ABM8G3DQ |
|---|---|
| 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#5U0R (statement)
History
- 2026-11-01: add by m2/v0.6.15
art gallery problem 99ACFT0X9Y
| URI | m2://inv/99ACFT0X9Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2000090, Art gallery theorem (statement). Also Wikidata Q2000090
- thousand_plus: thousand_plus Q2000090, Art gallery theorem (statement). Also Wikidata Q2000090, Wikipedia Art gallery theorem
- wikidata: Wikidata Q2000090, art gallery problem (problem). Also MathWorld ArtGalleryTheorem
- wikipedia: Wikipedia Art gallery problem, Art gallery problem (problem). Also Wikidata Q2000090
History
- 2026-10-26: add by m2/dev
Example of Richardson extrapolation 99AF7JGFQ3
| URI | m2://inv/99AF7JGFQ3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richardson extrapolation#G49C, Example of Richardson extrapolation (example)
History
- 2026-11-02: add by m2/dev
Applications 99AG6EA8AQ
| URI | m2://inv/99AG6EA8AQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mie scattering#H2RB, Applications (example)
History
- 2026-11-02: add by m2/dev
99AKRK02JK 99AKRK02JK
| URI | m2://inv/99AKRK02JK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31126#H49J (statement). In GK1V5GEHTK/e1, corollary 4.7
History
- 2026-10-31: add by m2/v0.5.6
99AV4YPS9R 99AV4YPS9R
| URI | m2://inv/99AV4YPS9R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.16388#WQ65 (statement). In Q62MDENP26/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
Normal-inverse-Wishart distribution 99AZQSXQ4G
| URI | m2://inv/99AZQSXQ4G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal-inverse-Wishart distribution, Normal-inverse-Wishart distribution (definition). Also Wikidata Q7051757
History
- 2026-11-02: add by m2/dev
Generalizations 99B8PGBY4E
| URI | m2://inv/99B8PGBY4E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Descartes's rule of signs#S4QL, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Statement 99BEQ8A6XN
| URI | m2://inv/99BEQ8A6XN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Egorov's theorem#BHK3, Statement (statement)
History
- 2026-11-02: add by m2/dev
Joseph Diaz Gergonne 99BNR0GTFG
| URI | m2://inv/99BNR0GTFG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#0L3P, Joseph Diaz Gergonne (topic)
History
- 2026-11-02: add by m2/dev
99BPXBRDFQ 99BPXBRDFQ
| URI | m2://inv/99BPXBRDFQ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berman–Hartmanis conjecture#PBV0 (problem)
History
- 2026-11-02: add by m2/dev
99BSWH9FFD 99BSWH9FFD
| URI | m2://inv/99BSWH9FFD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38132#73K0 (statement). In K6CP8GP51H/e1, lemma 7
History
- 2026-10-30: add by m2/v0.4.12
Tolerant sequence 99BT8GAC5B
| URI | m2://inv/99BT8GAC5B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#K90W, Tolerant sequence (definition)
History
- 2026-11-02: add by m2/dev
Naor–Reingold pseudorandom function 99BWWNMNNW
| URI | m2://inv/99BWWNMNNW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Naor–Reingold pseudorandom function, Naor–Reingold pseudorandom function (definition). Also Wikidata Q6964725
History
- 2026-11-02: add by m2/dev
Jabotinsky matrix 99C6TDMVW8
| URI | m2://inv/99C6TDMVW8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jabotinsky matrix, Jabotinsky matrix (definition). Also Wikidata Q5041155
History
- 2026-11-02: add by m2/dev
Champernowne distribution 99CBJDFHMR
| URI | m2://inv/99CBJDFHMR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Champernowne distribution, Champernowne distribution (definition). Also Wikidata Q5069945
History
- 2026-11-02: add by m2/dev
Einstein problem 99CE9MP1M2
| URI | m2://inv/99CE9MP1M2 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Einstein problem, Einstein problem (problem). Also Wikidata Q18204561
History
- 2026-11-02: add by m2/dev
99CEKN0GTY 99CEKN0GTY
| URI | m2://inv/99CEKN0GTY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36306#4DR3 (definition). In NHQEAVMJE1/e1, definition 4
History
- 2026-10-30: add by m2/v0.4.12
99CJQ40D3N 99CJQ40D3N
| URI | m2://inv/99CJQ40D3N |
|---|---|
| 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 2511.07697#I9GD (statement). In 57P5P33HS3/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
Kaluza hypothesis 99CT13K06V
| URI | m2://inv/99CT13K06V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaluza–Klein theory#E9ZO, Kaluza hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Klavdiya Latysheva 99CX6Q8YB9
| URI | m2://inv/99CX6Q8YB9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Klavdiya Latysheva, Klavdiya Latysheva (topic). Also Wikidata Q12117188
History
- 2026-11-02: add by m2/dev
Lack-of-fit sum of squares 99D0WM0KPY
| URI | m2://inv/99D0WM0KPY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lack-of-fit sum of squares, Lack-of-fit sum of squares (definition). Also Wikidata Q6468669
History
- 2026-11-02: add by m2/dev
99D9YFRQBR 99D9YFRQBR
| URI | m2://inv/99D9YFRQBR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#P10Q (statement). In 5E9G06XJKC/e1, lemma G.20
History
- 2026-10-28: add by m2/v0.4.2
99DKK5MBPB 99DKK5MBPB
| URI | m2://inv/99DKK5MBPB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.40290#4UVT (statement). In 4K1CNBYJHF/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Remark 99DMEB19Y8
| URI | m2://inv/99DMEB19Y8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectrum of a C*-algebra#MCCD, Remark (unknown)
History
- 2026-11-02: add by m2/dev
Smooth vector bundle 99DNE1CZ8J
| URI | m2://inv/99DNE1CZ8J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector bundle#LKWM, Smooth vector bundle (unknown)
History
- 2026-11-02: add by m2/dev
Antonio Fais 99DNZH8W7C
| URI | m2://inv/99DNZH8W7C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#7NZU, Antonio Fais (topic)
- wikipedia: Wikipedia List of Italian mathematicians#ADCF, Antonio Fais (topic)
History
- 2026-11-02: add by m2/dev
99DQ19B273 99DQ19B273
| URI | m2://inv/99DQ19B273 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35740#R9EW (definition). In N7C6C0QGJM/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Large deviations theory 99DR75YCCZ
| URI | m2://inv/99DR75YCCZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JTCU, Large deviations theory (topic)
- wikipedia: Wikipedia List of probability topics#17XG, Large deviations theory (topic)
History
- 2026-11-02: add by m2/dev
Mean value property 99DSRKJQ58
| URI | m2://inv/99DSRKJQ58 |
|---|---|
| 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 2401.14638#NX9Z, Mean value property (statement). In 2XC2MZFWPP/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
Perkel graph 99DT281ZDA
| URI | m2://inv/99DT281ZDA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115520, Perkel graph (unknown). Also House of Graphs 1266, MathWorld PerkelGraph
- wikipedia: Wikipedia Perkel graph, Perkel graph (definition). Also Wikidata Q3115520
History
- 2026-10-26: add by m2/dev
99DX6012D4 99DX6012D4
| URI | m2://inv/99DX6012D4 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15593#D14F (problem). In PREJREM4BB/e1, problem 4.12
History
- 2026-10-28: add by m2/v0.4.2
99E1HRQD2D 99E1HRQD2D
| URI | m2://inv/99E1HRQD2D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0803.0074#0CWV (statement). In NWJEN5GWFV/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
99E6RFD17T 99E6RFD17T
| URI | m2://inv/99E6RFD17T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38131#JSQE (statement). In GM3S19KFDH/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
99E7PYDMAN 99E7PYDMAN
| URI | m2://inv/99E7PYDMAN |
|---|---|
| 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.30663#G9FM (statement). In 3JZDKWS8NK/e1, lemma 10.1
History
- 2026-10-31: add by m2/v0.5.6
99EJ9XS40H 99EJ9XS40H
| URI | m2://inv/99EJ9XS40H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.05069#GOKE (statement). In SFQBJBTW8K/e1, proposition 10.1
History
- 2026-10-27: add by m2/v0.3.5
Density compactness 99EKCHMH3D
| URI | m2://inv/99EKCHMH3D |
|---|---|
| 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.05312#3JD3, Density compactness (statement). In 1CMMK399WQ/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
Conjecture 99FCGYRYST
| URI | m2://inv/99FCGYRYST |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Montgomery's pair correlation conjecture#AZUT, Conjecture (statement)
History
- 2026-11-02: add by m2/dev
geodesics on an ellipsoid 99FCXMJ6RG
| URI | m2://inv/99FCXMJ6RG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1408386, geodesics on an ellipsoid (unknown). Also MathWorld EllipsoidGeodesic
- wikipedia: Wikipedia Geodesics on an ellipsoid, Geodesics on an ellipsoid (definition). Also Wikidata Q1408386
History
- 2026-10-26: add by m2/dev
99FM8E2G1Z 99FM8E2G1Z
| URI | m2://inv/99FM8E2G1Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-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 2304.07398#FBED (statement). In JS5FKV1S9T/e1, proposition C.1
History
- 2026-10-27: add by m2/v0.3.5
99FQY671T9 99FQY671T9
| URI | m2://inv/99FQY671T9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#ex:equality-reflection (exercise). In N54F33XE07, ex, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
Tetsuji Shioda 99FT7JRHTP
| URI | m2://inv/99FT7JRHTP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetsuji Shioda, Tetsuji Shioda (topic). Also Wikidata Q7706870
History
- 2026-11-02: add by m2/dev
Limit definition of a derivative 99G8RC8GTA
| URI | m2://inv/99G8RC8GTA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derivative#DSVL, Limit definition of a derivative (unknown)
History
- 2026-11-02: add by m2/dev
99G9CR15PQ 99G9CR15PQ
| URI | m2://inv/99G9CR15PQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21670#PKX6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
regeneration 99GDJBAD8P
| URI | m2://inv/99GDJBAD8P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#X9D4, regeneration (unknown)
History
- 2026-11-02: add by m2/dev
Titchmarsh convolution theorem 99GJH10V75
| URI | m2://inv/99GJH10V75 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7809920, Titchmarsh convolution theorem (statement). Also Wikidata Q7809920
- thousand_plus: thousand_plus Q7809920, Titchmarsh convolution theorem (statement). Also Wikidata Q7809920, Wikipedia Titchmarsh convolution theorem
- wikipedia: Wikipedia Titchmarsh convolution theorem, Titchmarsh convolution theorem (statement). Also Wikidata Q7809920
History
- 2026-10-26: add by m2/dev
99GVCE1E4B 99GVCE1E4B
| URI | m2://inv/99GVCE1E4B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2609.24542#URUI (statement)
History
- 2026-11-01: add by m2/v0.6.15
99H8J1NVAT 99H8J1NVAT
| URI | m2://inv/99H8J1NVAT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book induction.tex#thm-4 (statement). In N54F33XE07, thm, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
Monotonicity 99HA0KFPEN
| URI | m2://inv/99HA0KFPEN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability.tex#prop-1, Monotonicity (statement). In PKGMM3P5QY, prop, section 8.10
History
- 2026-11-01: add by m2/v0.6.13
Absolute Pseudoprime 99HBZ3W9TY
| URI | m2://inv/99HBZ3W9TY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q105332764, Absolute Pseudoprime (concept). Also MathWorld AbsolutePseudoprime
History
- 2026-10-26: add by m2/dev
Computation 99HG1XCRE7
| URI | m2://inv/99HG1XCRE7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factorial#IZQH, Computation (definition)
History
- 2026-11-02: add by m2/dev
Samuel Arthur Saunder 99HKAK8B45
| URI | m2://inv/99HKAK8B45 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Samuel Arthur Saunder, Samuel Arthur Saunder (topic). Also Wikidata Q7410793
History
- 2026-11-02: add by m2/dev
fixed-point theorem 99HXNMFEFW
| URI | m2://inv/99HXNMFEFW |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 35R35 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1422068, fixed-point theorem (topic)
- wikipedia: Wikipedia Fixed-point theorem, Fixed-point theorem (statement). Also Wikidata Q1422068
History
- 2026-10-26: add by m2/dev
99HZM366J0 99HZM366J0
| URI | m2://inv/99HZM366J0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#70OE (statement). In CY1FE8W1ZW/e1, lemma 0.289
History
- 2026-10-27: add by m2/v0.4.0
ML.NET 99J7K43T0E
| URI | m2://inv/99J7K43T0E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#H0E9, ML.NET (unknown)
History
- 2026-11-02: add by m2/dev
Riemann (crater) 99JB90HR32
| URI | m2://inv/99JB90HR32 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#QRI9, Riemann (crater) (unknown)
History
- 2026-11-02: add by m2/dev
99JM78S80V 99JM78S80V
| URI | m2://inv/99JM78S80V |
|---|---|
| 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.10873#Q3XS (statement). In AYG8HYGW6V/e1, lemma A.10
History
- 2026-10-28: add by m2/v0.4.3
Kiepert's hyperbola 99JMS7ZN2T
| URI | m2://inv/99JMS7ZN2T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Napoleon points#APU9, Kiepert's hyperbola (unknown)
History
- 2026-11-02: add by m2/dev
Fourth rotor 99JP8MTR3K
| URI | m2://inv/99JP8MTR3K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enigma rotor details#AUR0, Fourth rotor (unknown)
History
- 2026-11-02: add by m2/dev
Shih-Hsien Yu 99JZ3PWAKV
| URI | m2://inv/99JZ3PWAKV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Taiwanese mathematicians#0RT3, Shih-Hsien Yu (unknown)
History
- 2026-11-02: add by m2/dev
99K8EAXHF6 99K8EAXHF6
| URI | m2://inv/99K8EAXHF6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.22882#KJO6 (statement). In YNE0Q2X61Y/e1, proposition 2.7
History
- 2026-10-27: add by m2/v0.3.5
Counterexamples 99KDB3Q2RP
| URI | m2://inv/99KDB3Q2RP |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regularity theory#R3ZW, Counterexamples (counterexample)
History
- 2026-11-02: add by m2/dev
99KH1Z8XTA 99KH1Z8XTA
| URI | m2://inv/99KH1Z8XTA |
|---|---|
| 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.31689#EYJI (statement). In Z7M2JSF6HA/e1, lemma 14.2
History
- 2026-10-31: add by m2/v0.5.6
Convexity and continuity properties of reciprocal $p$-subslopes 99KR0ZSNSC
| URI | m2://inv/99KR0ZSNSC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#UT8I, Convexity and continuity properties of reciprocal $p$-subslopes (statement). In KM3Q791JY0/e1, proposition 3.9
History
- 2026-10-27: add by m2/v0.4.2
99KS7HWDW7 99KS7HWDW7
| URI | m2://inv/99KS7HWDW7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16727#FFM7 (statement). In Z5QS3MD8HN/e1, theorem 4.6
History
- 2026-10-28: add by m2/v0.4.2
99M1ET4CP4 99M1ET4CP4
| URI | m2://inv/99M1ET4CP4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-48 (exercise). In E59CDZA4DP, exercise, section 5.5.4
History
- 2026-11-01: add by m2/v0.6.13
8001 (number) 99M3N8A32B
| URI | m2://inv/99M3N8A32B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 8000 (number)#VHIM, 8001 (number) (unknown)
History
- 2026-11-02: add by m2/dev
\coqident{Foundations}{Sets}{posetmorphism 99MC912VGX
| URI | m2://inv/99MC912VGX |
|---|---|
| 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 1904.09810#VCU1, \coqident{Foundations}{Sets}{posetmorphism (definition). In T1VFA7TXPA/e1, definition 4
History
- 2026-10-27: add by m2/v0.3.5
Derivative Crandall representation of the anisotropic Epstein zeta function 99MCY20D8M
| URI | m2://inv/99MCY20D8M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28282#A18B, Derivative Crandall representation of the anisotropic Epstein zeta function (statement)
History
- 2026-11-01: add by m2/v0.6.15
99MJKKZD9J 99MJKKZD9J
| URI | m2://inv/99MJKKZD9J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11336#OVJ9 (statement). In X1R1GDAJ0Y/e1, corollary 2.23
History
- 2026-10-28: add by m2/v0.4.3
Lamzouri's maximal-order conjecture 99MNM03591
| URI | m2://inv/99MNM03591 |
|---|---|
| Kind | conjecture |
| 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.21730#PO7R, Lamzouri's maximal-order conjecture (conjecture). In BM64QM6Q7J/e1, conjecture 1.2
History
- 2026-10-27: add by m2/v0.4.2
The generalized continuum hypothesis holds in L 99MTB94Y8D
| URI | m2://inv/99MTB94Y8D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constructible universe#YM9I, The generalized continuum hypothesis holds in L (statement)
History
- 2026-11-02: add by m2/dev
Alternative definitions 99N0FN8CSR
| URI | m2://inv/99N0FN8CSR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonal convex hull#KD7D, Alternative definitions (definition)
History
- 2026-11-02: add by m2/dev
change of variables formula 99N5R7P75Z
| URI | m2://inv/99N5R7P75Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > change of variables formula, change of variables formula (unknown). Also Mathlib MeasureTheory.integral_image_eq_integral_abs_det_fderiv_smul
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Integration > change of variables for multiple integrals, change of variables for multiple integrals (unknown). Also Mathlib MeasureTheory.integral_image_eq_integral_abs_det_fderiv_smul
History
- 2026-10-26: add by m2/dev
Emission sections aligned with impulses 99NFXYPWK2
| URI | m2://inv/99NFXYPWK2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15686#E3TZ, Emission sections aligned with impulses (statement). In 4HCK722M2G/e1, corollary 5.14
History
- 2026-10-28: add by m2/v0.4.2
99NJXY5CA5 99NJXY5CA5
| URI | m2://inv/99NJXY5CA5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.14306#P6KW (statement). In ZNBQD5WH1M/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.5
99NNX22TH7 99NNX22TH7
| URI | m2://inv/99NNX22TH7 |
|---|---|
| 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#32XQ (statement). In W4TYN4PGE8/e1, lemma 2.50
History
- 2026-10-27: add by m2/v0.3.5
99NR6TVMDQ 99NR6TVMDQ
| URI | m2://inv/99NR6TVMDQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21762#94XU (statement). In CYDJ6JGD4A/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.4.2
Multifactor design of experiments software 99NXSJRBKN
| URI | m2://inv/99NXSJRBKN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multifactor design of experiments software, Multifactor design of experiments software (definition). Also Wikidata Q6934675
History
- 2026-11-02: add by m2/dev
99P1EGFHFY 99P1EGFHFY
| URI | m2://inv/99P1EGFHFY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#5ANY (statement). In V97F4YZ8B0/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.2
99P9HMZY99 99P9HMZY99
| URI | m2://inv/99P9HMZY99 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.06387#NK3V (unknown). In 4YJH4FPWDA/e1, unknown 4.9
History
- 2026-10-30: add by m2/v0.4.12
99PNVN0JNT 99PNVN0JNT
| URI | m2://inv/99PNVN0JNT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12053#JU1T (statement). In MQ226ETRP6/e1, proposition 2.16
History
- 2026-10-28: add by m2/v0.4.3
fluid mechanics 99PQ2Y9G9B
| URI | m2://inv/99PQ2Y9G9B |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 76-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q172145, fluid mechanics (topic). Also ProofWiki Definition:Fluid_Mechanics
- wikipedia: Wikipedia Fluid mechanics, Fluid mechanics (topic). Also Wikidata Q172145
History
- 2026-10-26: add by m2/dev
Examples 99PR73YHHY
| URI | m2://inv/99PR73YHHY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-defeating prophecy#F93D, Examples (example)
History
- 2026-11-02: add by m2/dev
A necessary condition on the identity fibre 99PSG39GC1
| URI | m2://inv/99PSG39GC1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01329#FF6G, A necessary condition on the identity fibre (statement). In 7XEVYJKJ5C/e1, corollary 5.5
History
- 2026-10-29: add by m2/v0.4.12
99PWYM1J79 99PWYM1J79
| URI | m2://inv/99PWYM1J79 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.18690#KV64 (example). In MDCJJJRQ2X/e1, example 4.2
History
- 2026-10-27: add by m2/v0.3.5
99Q7YJR56Y 99Q7YJR56Y
| URI | m2://inv/99Q7YJR56Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/semantics/relational-models.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 32.5
History
- 2026-11-01: add by m2/v0.6.13
Definition 99Q8X1DG8R
| URI | m2://inv/99Q8X1DG8R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absorbing set#I9KM, Definition (definition)
History
- 2026-11-02: add by m2/dev
99QAHFYJ9S 99QAHFYJ9S
| URI | m2://inv/99QAHFYJ9S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06645#S2BU (statement). In 79H1DEK4M9/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
99QDT4PP53 99QDT4PP53
| URI | m2://inv/99QDT4PP53 |
|---|---|
| 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 math/9802134#H7QB (statement). In 235B1J1ETB/e1, lemma 2.10
History
- 2026-10-27: add by m2/v0.3.5
99QZQPW7KB 99QZQPW7KB
| URI | m2://inv/99QZQPW7KB |
|---|---|
| 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 2609.25656#N1X5 (example)
History
- 2026-11-01: add by m2/v0.6.15
99R1DNSPC3 99R1DNSPC3
| URI | m2://inv/99R1DNSPC3 |
|---|---|
| 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.31489#L095 (statement). In ZKBG58PN1J/e1, corollary 2.8
History
- 2026-10-31: add by m2/v0.5.6
99R6B9G062 99R6B9G062
| URI | m2://inv/99R6B9G062 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05471#AR6H (statement). In WDWF9WKNK1/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Functional completeness 99R7MBRV1B
| URI | m2://inv/99R7MBRV1B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional completeness, Functional completeness (definition). Also Wikidata Q2348801
History
- 2026-11-02: add by m2/dev
Wall coefficients of the plant's high modes 99RH653606
| URI | m2://inv/99RH653606 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22384#Y0IP, Wall coefficients of the plant's high modes (statement)
History
- 2026-11-02: add by m2/v0.6.17
bounded lattices interpretation 99RHEACWNY
| URI | m2://inv/99RHEACWNY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15099#7UX6, bounded lattices interpretation (statement). In PF5JJ9DS8Q/e1, proposition 2.4.9
History
- 2026-10-28: add by m2/v0.4.2
Peano surface 99RTMXVYV8
| URI | m2://inv/99RTMXVYV8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peano surface, Peano surface (definition). Also Wikidata Q97392010
History
- 2026-11-02: add by m2/dev
Brahmagupta's identity 99RTSJPED0
| URI | m2://inv/99RTSJPED0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17005467, Brahmagupta's identity (statement). Also MathWorld BrahmaguptaIdentity
- wikipedia: Wikipedia Brahmagupta's identity, Brahmagupta's identity (statement). Also Wikidata Q17005467
History
- 2026-10-26: add by m2/dev
99RV4Q6XSY 99RV4Q6XSY
| URI | m2://inv/99RV4Q6XSY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/sheaves.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 25.4
History
- 2026-11-01: add by m2/v0.6.13
Zdeněk Hedrlín 99RVVS0A4Q
| URI | m2://inv/99RVVS0A4Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RLQ7, Zdeněk Hedrlín (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#5DC2, Zdeněk Hedrlín (topic)
History
- 2026-11-02: add by m2/dev
10,000,000,000 99RX28B5WQ
| URI | m2://inv/99RX28B5WQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 10,000,000,000, 10,000,000,000 (definition). Also Wikidata Q4925009
History
- 2026-11-02: add by m2/dev
Zernike polynomials 99RX45EE6M
| URI | m2://inv/99RX45EE6M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Zernike polynomials 7YW5WB3BY4 |
Mentions
- wikidata: Wikidata Q132146, Zernike polynomials (unknown). Also MathWorld ZernikePolynomial
- wikipedia: Wikipedia Zernike polynomials, Zernike polynomials (definition). Also Wikidata Q132146
History
- 2026-10-26: add by m2/dev
99RXNRY4GJ 99RXNRY4GJ
| URI | m2://inv/99RXNRY4GJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23593#UP1G (statement)
History
- 2026-11-02: add by m2/v0.6.17
cf.\ Proposition 2.8 and Theorem 2.9 99S0RDKWEN
| URI | m2://inv/99S0RDKWEN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15517#XL8T, cf.\ Proposition 2.8 and Theorem 2.9 (statement). In C87H6KZSBM/e1, theorem B.1
History
- 2026-10-28: add by m2/v0.4.2
Definition 99SQ192JHQ
| URI | m2://inv/99SQ192JHQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arens–Fort space#75IH, Definition (definition)
History
- 2026-11-02: add by m2/dev
font 99T0X16J5C
| URI | m2://inv/99T0X16J5C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4868296, font (unknown). Also ProofWiki Symbols:Fonts
History
- 2026-10-26: add by m2/dev
Dyadic monoid 99T5WWRV26
| URI | m2://inv/99T5WWRV26 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modular group#6TJL, Dyadic monoid (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations 99TDK0WR51
| URI | m2://inv/99TDK0WR51 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernoulli scheme#T75I, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Continuity of $\adjointMap^*$ 99TENK1C86
| URI | m2://inv/99TENK1C86 |
|---|---|
| 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 2410.06788#2IJA, Continuity of $\adjointMap^*$ (statement). In B2VE3JQZD3/e1, lemma 11
History
- 2026-10-27: add by m2/v0.3.5
99TPQQ1XP8 99TPQQ1XP8
| URI | m2://inv/99TPQQ1XP8 |
|---|---|
| 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.36389#I6OV (statement). In N1S169J2MV/e1, corollary 3
History
- 2026-10-30: add by m2/v0.4.12
Banach–Tarski paradox 99TQR8JPNT
| URI | m2://inv/99TQR8JPNT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paradoxical set#TZGV, Banach–Tarski paradox (statement)
History
- 2026-11-02: add by m2/dev
hyperperfect number 99TTDW3K15
| URI | m2://inv/99TTDW3K15 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q839528, hyperperfect number (unknown). Also MathWorld HyperperfectNumber, OEIS A034897
- wikipedia: Wikipedia Hyperperfect number, Hyperperfect number (definition). Also Wikidata Q839528
History
- 2026-10-26: add by m2/dev
Uses 99TWPJ5GMJ
| URI | m2://inv/99TWPJ5GMJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atmospheric reanalysis#RG0O, Uses (example)
History
- 2026-11-02: add by m2/dev
Different ideal 99VAHK92C2
| URI | m2://inv/99VAHK92C2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Different ideal, Different ideal (definition). Also Wikidata Q3027707
History
- 2026-11-02: add by m2/dev
Casimir Kuratowski 99VENG9HMS
| URI | m2://inv/99VENG9HMS |
|---|---|
| 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#0W5J, Casimir Kuratowski (topic)
History
- 2026-11-02: add by m2/dev
99VH4Z1DBH 99VH4Z1DBH
| URI | m2://inv/99VH4Z1DBH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39539#7C9O (definition). In GVR218P3ZR/e1, definition 4.7.1
History
- 2026-10-30: add by m2/v0.4.12
99VPT06ME7 99VPT06ME7
| URI | m2://inv/99VPT06ME7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31604#PVIM (statement). In GSN5YTQS2K/e1, corollary 3.29
History
- 2026-10-31: add by m2/v0.5.6
99VRT8F2GR 99VRT8F2GR
| URI | m2://inv/99VRT8F2GR |
|---|---|
| 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.32829#8537 (statement). In RYWAX33Z51/e1, theorem C.2
History
- 2026-10-31: add by m2/v0.5.6
Intermediate uniform upper bound 99VV9GFEDB
| URI | m2://inv/99VV9GFEDB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14509#71N5, Intermediate uniform upper bound (statement). In N6GD8392QB/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
99VXXM9M1T 99VXXM9M1T
| URI | m2://inv/99VXXM9M1T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.23797#G6TF (statement). In PZCA01JXVR/e1, corollary 6.2
History
- 2026-10-27: add by m2/v0.3.5
stably free 99WD81SY8D
| URI | m2://inv/99WD81SY8D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#R4UK, stably free (definition)
History
- 2026-11-02: add by m2/dev
Mathieu function 99WE0CCPBE
| URI | m2://inv/99WE0CCPBE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Mathieu function 2DDZXF5EBY |
Mentions
- wikidata: Wikidata Q1908689, Mathieu function (concept). Also EoM Mathieu_equation, MathWorld MathieuFunction
- wikipedia: Wikipedia Mathieu function, Mathieu function (definition). Also Wikidata Q1908689
History
- 2026-10-26: add by m2/dev
Inoue surface 99WXT2M75Y
| URI | m2://inv/99WXT2M75Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inoue surface, Inoue surface (definition). Also Wikidata Q6036690
History
- 2026-11-02: add by m2/dev
MA (complexity) 99X4X2XT0M
| URI | m2://inv/99X4X2XT0M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arthur–Merlin protocol#CB8V, MA (complexity) (unknown)
History
- 2026-11-02: add by m2/dev
reflecting cardinal 99XCVWJ5PM
| URI | m2://inv/99XCVWJ5PM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#1LZE, reflecting cardinal (definition)
History
- 2026-11-02: add by m2/dev
99XGH0HNGY 99XGH0HNGY
| URI | m2://inv/99XGH0HNGY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-72 (exercise). In VNMV985MXX, exercise, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
character 99XMNSNA1V
| URI | m2://inv/99XMNSNA1V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#DKUS, character (definition)
History
- 2026-11-02: add by m2/dev
Stephen Drury 99XRKF203J
| URI | m2://inv/99XRKF203J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stephen Drury (mathematician), Stephen Drury (topic). Also Wikidata Q66751849
History
- 2026-11-02: add by m2/dev
Definition 99XW2GAW50
| URI | m2://inv/99XW2GAW50 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conformal radius#ZFJI, Definition (definition)
History
- 2026-11-02: add by m2/dev
Methods 99Y2KR705F
| URI | m2://inv/99Y2KR705F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Value theory#MGSI, Methods (definition)
History
- 2026-11-02: add by m2/dev
add 99Y6QTJPGX
| URI | m2://inv/99Y6QTJPGX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#27P3, add (definition)
History
- 2026-11-02: add by m2/dev
Adriaan van Roomen 99Y9E6SQBX
| URI | m2://inv/99Y9E6SQBX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adriaan van Roomen, Adriaan van Roomen (topic). Also Wikidata Q505646
History
- 2026-11-02: add by m2/dev
Certified numerical coupling 99YN1B0DXY
| URI | m2://inv/99YN1B0DXY |
|---|---|
| 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.21880#7W32, Certified numerical coupling (statement)
History
- 2026-11-02: add by m2/v0.6.18
postulates of special relativity 99YRDT31BZ
| URI | m2://inv/99YRDT31BZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1309317, postulates of special relativity (definition). Also ProofWiki Definition:Special_Theory_of_Relativity/Postulates
- wikipedia: Wikipedia Postulates of special relativity, Postulates of special relativity (definition). Also Wikidata Q1309317
History
- 2026-10-26: add by m2/dev
John Willard Morgan 99YRPZAP5G
| URI | m2://inv/99YRPZAP5G |
|---|---|
| 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#9A12, John Willard Morgan (topic)
History
- 2026-11-02: add by m2/dev
99YRWRFPTP 99YRWRFPTP
| URI | m2://inv/99YRWRFPTP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-paths.ptx#exercise-2 (exercise). In Y91XFCEVHQ, exercise, section 5.5
History
- 2026-11-01: add by m2/v0.6.13
curved mirror 99YSX6D3HE
| URI | m2://inv/99YSX6D3HE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1506584, curved mirror (unknown). Also MathWorld SphericalMirror
History
- 2026-10-26: add by m2/dev
Modigliani–Miller theorem 99Z0NYPNEZ
| URI | m2://inv/99Z0NYPNEZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#VGK8, Modigliani–Miller theorem (statement)
History
- 2026-11-02: add by m2/dev
99Z7HBMQDQ 99Z7HBMQDQ
| URI | m2://inv/99Z7HBMQDQ |
|---|---|
| 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.37106#OPWY (statement). In XNK04XFP2C/e1, lemma C.2
History
- 2026-10-30: add by m2/v0.4.12
99ZA371AH0 99ZA371AH0
| URI | m2://inv/99ZA371AH0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10338#DW3Y (statement). In WZ3GXRAB00/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.10
99ZFP2CCVD 99ZFP2CCVD
| URI | m2://inv/99ZFP2CCVD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21017#7969 (statement). In 8KKYZ4NKT2/e1, lemma 18
History
- 2026-10-27: add by m2/v0.4.2
99ZK10CZ2P 99ZK10CZ2P
| URI | m2://inv/99ZK10CZ2P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07790#US1S (statement). In A5YJDDM0NX/e1, proposition 5.9
History
- 2026-10-29: add by m2/v0.4.10
Definition 99ZNABK27V
| URI | m2://inv/99ZNABK27V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pettis integral#XW3F, Definition (definition)
History
- 2026-11-02: add by m2/dev
99ZPQSNDP3 99ZPQSNDP3
| URI | m2://inv/99ZPQSNDP3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23605#CPV4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
99ZTNM4DXX 99ZTNM4DXX
| URI | m2://inv/99ZTNM4DXX |
|---|---|
| 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.26776#JGTO (statement)
History
- 2026-11-01: add by m2/v0.6.15
99ZTY3T0HM 99ZTY3T0HM
| URI | m2://inv/99ZTY3T0HM |
|---|---|
| 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 2609.38220#4L11 (definition). In 1AC4S19925/e1, definition 3.4
History
- 2026-10-30: add by m2/v0.4.12
99ZTZNSHVX 99ZTZNSHVX
| URI | m2://inv/99ZTZNSHVX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06541#DLSY (statement). In R604B78EVK/e1, theorem B
History
- 2026-10-29: add by m2/v0.4.10
Hans Lewy 99ZWPC4CPG
| URI | m2://inv/99ZWPC4CPG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans Lewy, Hans Lewy (topic). Also Wikidata Q68505
History
- 2026-11-02: add by m2/dev