Inventory rows PC
The cards of the rows of the inventory whose ids start with PC. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
PC00GB10B3 PC00GB10B3
| URI | m2://inv/PC00GB10B3 |
|---|---|
| Kind | definition |
| 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#QT84 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Guerry, André-Michel PC06A9NVHV
| URI | m2://inv/PC06A9NVHV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#C44T, Guerry, André-Michel (topic)
History
- 2026-11-02: add by m2/dev
PC06YZDNNB PC06YZDNNB
| URI | m2://inv/PC06YZDNNB |
|---|---|
| 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#3KCT (statement). In BDN507RN7J/e1, proposition 4.6.3
History
- 2026-10-30: add by m2/v0.4.12
Applications PC0BM8EGX4
| URI | m2://inv/PC0BM8EGX4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized linear array model#S4EM, Applications (example)
History
- 2026-11-02: add by m2/dev
PC0BWYTEPN PC0BWYTEPN
| URI | m2://inv/PC0BWYTEPN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19854#YEIW (statement). In D50WST4CG3/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
PC0NKFHDQX PC0NKFHDQX
| URI | m2://inv/PC0NKFHDQX |
|---|---|
| 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 2312.14445#NTO3 (statement). In V56MKF0KW2/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.3.5
Belyi's theorem PC0PBR2HWN
| URI | m2://inv/PC0PBR2HWN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#4WOV, Belyi's theorem (statement)
History
- 2026-11-02: add by m2/dev
PC0RQR3PBP PC0RQR3PBP
| URI | m2://inv/PC0RQR3PBP |
|---|---|
| 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.26477#SBRA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Trend periodic nonstationary processes PC0TB2BCDS
| URI | m2://inv/PC0TB2BCDS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trend periodic nonstationary processes, Trend periodic nonstationary processes (definition). Also Wikidata Q122834886
History
- 2026-11-02: add by m2/dev
Equivalent Jointly Affine Formulation PC0VZYYPNH
| URI | m2://inv/PC0VZYYPNH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#J94Q, Equivalent Jointly Affine Formulation (statement). In ZZER8ZBSCR/e1, lemma 2.11
History
- 2026-10-29: add by m2/v0.4.12
PC0ZVF71TY PC0ZVF71TY
| URI | m2://inv/PC0ZVF71TY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02216#FRYK (statement). In 34JGRZ2M5F/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
Certified high-$x$ collective field PC118EM489
| URI | m2://inv/PC118EM489 |
|---|---|
| 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.37164#8UWX, Certified high-$x$ collective field (statement). In B2PG75FSQJ/e1, theorem 2.5
History
- 2026-10-30: add by m2/v0.4.12
Closure PC1A55M43S
| URI | m2://inv/PC1A55M43S |
|---|---|
| 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.18154#K4IN, Closure (statement). In 4W7ARR1DAR/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
PC1DH9P12T PC1DH9P12T
| URI | m2://inv/PC1DH9P12T |
|---|---|
| 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 2603.29838#VFUQ (statement). In KP0X1RKKKB/e1, theorem B
History
- 2026-10-27: add by m2/v0.4.0
Critical incident technique PC1JFHT9RN
| URI | m2://inv/PC1JFHT9RN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Critical incident technique, Critical incident technique (definition). Also Wikidata Q1140525
History
- 2026-11-02: add by m2/dev
PC1MBGY6QS PC1MBGY6QS
| URI | m2://inv/PC1MBGY6QS |
|---|---|
| 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.03011#N5N9 (statement). In VE8FB6K8EN/e1, lemma 8
History
- 2026-10-29: add by m2/v0.4.12
Artin--Schreier norm characters PC1MSDDZWZ
| URI | m2://inv/PC1MSDDZWZ |
|---|---|
| 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.30301#A0XC, Artin--Schreier norm characters (statement). In 7NS75J7HAM/e1, lemma 9.10
History
- 2026-10-31: add by m2/v0.5.6
PC1NGXQCV0 PC1NGXQCV0
| URI | m2://inv/PC1NGXQCV0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.12931#NP4H (statement). In PQHTR84RAJ/e1, theorem 6.9
History
- 2026-10-27: add by m2/v0.4.0
Jacques Herbrand PC1NS7NPXT
| URI | m2://inv/PC1NS7NPXT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacques Herbrand, Jacques Herbrand (topic). Also Wikidata Q448086
History
- 2026-11-02: add by m2/dev
PC1XRSX14T PC1XRSX14T
| URI | m2://inv/PC1XRSX14T |
|---|---|
| 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.19288#A7BN (statement). In 1EA6AM9V01/e1, lemma A.2
History
- 2026-10-28: add by m2/v0.4.2
PC22603S5C PC22603S5C
| URI | m2://inv/PC22603S5C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CompositionsInverses.tex#example-1 (example). In P1C114YBXG, example, section 1
History
- 2026-11-01: add by m2/v0.6.13
PC2DAQGB1X PC2DAQGB1X
| URI | m2://inv/PC2DAQGB1X |
|---|---|
| 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.36186#TA9J (statement). In 30PQN6JP7W/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
Matvei Petrovich Bronstein PC2JGF6YA3
| URI | m2://inv/PC2JGF6YA3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#52Y0, Matvei Petrovich Bronstein (unknown)
History
- 2026-11-02: add by m2/dev
van Kampen Lemma PC2QAKBJC5
| URI | m2://inv/PC2QAKBJC5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.16241#OV65, van Kampen Lemma (statement). In WNDHZVY4WK/e1, lemma A.8
History
- 2026-10-28: add by m2/v0.4.2
exclusive or PC2SQP64ES
| URI | m2://inv/PC2SQP64ES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q498186, exclusive or (unknown). Also EoM Exclusive_disjunction, MathWorld XOR, MathWorld Xor
- wikipedia: Wikipedia Exclusive or, Exclusive or (definition). Also Wikidata Q498186
History
- 2026-10-26: add by m2/dev
Uses PC33SMZM04
| URI | m2://inv/PC33SMZM04 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prevalence#PDWR, Uses (example)
History
- 2026-11-02: add by m2/dev
PC3EPX3X7R PC3EPX3X7R
| URI | m2://inv/PC3EPX3X7R |
|---|---|
| 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.38014#4XIK (statement). In F3X5W4E0AJ/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
PC3M8DNPM6 PC3M8DNPM6
| URI | m2://inv/PC3M8DNPM6 |
|---|---|
| Kind | example |
| 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.21005#4HM3 (example). In E63NRC7MBE/e1, example 4.6
History
- 2026-10-27: add by m2/v0.4.2
PC3PT93Y8S PC3PT93Y8S
| URI | m2://inv/PC3PT93Y8S |
|---|---|
| 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 2504.14383#II33 (statement). In QD0X3XJS6T/e1, lemma 7.21
History
- 2026-10-27: add by m2/v0.3.5
Certificates PC3SZ8604D
| URI | m2://inv/PC3SZ8604D |
|---|---|
| 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.26114#YJ11, Certificates (statement)
History
- 2026-11-01: add by m2/v0.6.15
PC3VB17AB1 PC3VB17AB1
| URI | m2://inv/PC3VB17AB1 |
|---|---|
| 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.23006#2LZE (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples PC3XYP5MKC
| URI | m2://inv/PC3XYP5MKC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability space#YIG6, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties PC3Y7YAB3J
| URI | m2://inv/PC3Y7YAB3J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proximal operator#OKD1, Properties (statement)
History
- 2026-11-02: add by m2/dev
Scott's trick PC3YKADB9V
| URI | m2://inv/PC3YKADB9V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7435833, Scott's trick (unknown). Also nLab Scott's trick
- wikipedia: Wikipedia Scott's trick, Scott's trick (definition). Also Wikidata Q7435833
History
- 2026-10-26: add by m2/dev
Richard Harington PC40S0F2K5
| URI | m2://inv/PC40S0F2K5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Harington, Richard Harington (topic). Also Wikidata Q75960971
History
- 2026-11-02: add by m2/dev
Non-Strict Finsler Lemma PC41ES6QQQ
| URI | m2://inv/PC41ES6QQQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finsler's lemma#UMXU, Non-Strict Finsler Lemma (statement)
History
- 2026-11-02: add by m2/dev
Examples PC431Z1B46
| URI | m2://inv/PC431Z1B46 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modern Arabic mathematical notation#GJ73, Examples (example)
History
- 2026-11-02: add by m2/dev
PC48ZJR0A1 PC48ZJR0A1
| URI | m2://inv/PC48ZJR0A1 |
|---|---|
| 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.28540#KKQR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Harmonic wavelet transform PC4GPDDH7W
| URI | m2://inv/PC4GPDDH7W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic wavelet transform, Harmonic wavelet transform (definition). Also Wikidata Q3280930
History
- 2026-11-02: add by m2/dev
William Kahan PC4KCN3MQP
| URI | m2://inv/PC4KCN3MQP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Kahan, William Kahan (topic). Also Wikidata Q92782
History
- 2026-11-02: add by m2/dev
Principal component regression PC4MQ0YPFB
| URI | m2://inv/PC4MQ0YPFB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal component regression, Principal component regression (definition). Also Wikidata Q3455892
History
- 2026-11-02: add by m2/dev
Energy–momentum relation PC4ZD9HR8J
| URI | m2://inv/PC4ZD9HR8J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Energy–momentum relation, Energy–momentum relation (definition). Also Wikidata Q3502299
History
- 2026-11-02: add by m2/dev
Properties PC5AT9AC5B
| URI | m2://inv/PC5AT9AC5B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Top trading cycle#IFBZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
PC5N5ZA09S PC5N5ZA09S
| URI | m2://inv/PC5N5ZA09S |
|---|---|
| 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.35683#8117 (statement). In A4S9A3X494/e1, corollary 3
History
- 2026-10-30: add by m2/v0.4.12
PC5N66JH1Y PC5N66JH1Y
| URI | m2://inv/PC5N66JH1Y |
|---|---|
| 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#Z0F8 (statement). In 47WN78VDDF/e1, lemma 1.2
History
- 2026-10-30: add by m2/v0.4.12
$M \approx 1 $and $ L\approx 1$ PC5QDHAR55
| URI | m2://inv/PC5QDHAR55 |
|---|---|
| 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 2405.10580#BJ49, $M \approx 1 $and $ L\approx 1$ (statement). In FXEJE0PWEP/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.3.5
Homotopy fiber PC5X5QDG1K
| URI | m2://inv/PC5X5QDG1K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy fiber, Homotopy fiber (definition). Also Wikidata Q5891822
History
- 2026-11-02: add by m2/dev
PC5YKK550P PC5YKK550P
| URI | m2://inv/PC5YKK550P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#V27Y (definition). In 3A4K47Y9F2/e1, definition 2.18
History
- 2026-10-27: add by m2/v0.4.0
PC5Z5VJAFC PC5Z5VJAFC
| URI | m2://inv/PC5Z5VJAFC |
|---|---|
| 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.08935#UDO4 (definition). In G02N9D40B9/e1, definition 6.1.7
History
- 2026-10-29: add by m2/v0.4.10
Regular and singular set PC5ZHWNQT8
| URI | m2://inv/PC5ZHWNQT8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04833#3G5O, Regular and singular set (definition). In AKB3CNDA0F/e1, definition 3.21
History
- 2026-10-29: add by m2/v0.4.12
Computation PC60VP9CRZ
| URI | m2://inv/PC60VP9CRZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expression (mathematics)#C541, Computation (definition)
History
- 2026-11-02: add by m2/dev
EC-Completeness PC677AYS5W
| URI | m2://inv/PC677AYS5W |
|---|---|
| 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.26337#OX43, EC-Completeness (statement)
History
- 2026-11-01: add by m2/v0.6.15
PC6KCPXV04 PC6KCPXV04
| URI | m2://inv/PC6KCPXV04 |
|---|---|
| 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.27046#NYZ8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Problem of time PC6KRAN5PG
| URI | m2://inv/PC6KRAN5PG |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Problem of time, Problem of time (conjecture). Also Wikidata Q18344764
History
- 2026-11-02: add by m2/dev
PC6NDRS9WZ PC6NDRS9WZ
| URI | m2://inv/PC6NDRS9WZ |
|---|---|
| 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.10337#KENL (statement). In RBBF0XNZ5E/e1, lemma 9
History
- 2026-10-27: add by m2/v0.3.5
Rejection of the principle PC6RSKEFKB
| URI | m2://inv/PC6RSKEFKB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uncertainty principle#ARBB, Rejection of the principle (statement)
History
- 2026-11-02: add by m2/dev
PC6VJP4FN3 PC6VJP4FN3
| URI | m2://inv/PC6VJP4FN3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#exercise-15 (exercise). In E59CDZA4DP, exercise, section 11.9.6
History
- 2026-11-01: add by m2/v0.6.13
intensional definition PC6XMR85XD
| URI | m2://inv/PC6XMR85XD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#EH89, intensional definition (definition)
History
- 2026-11-02: add by m2/dev
Use PC78WBM2MS
| URI | m2://inv/PC78WBM2MS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ChaCha20-Poly1305#JYQ0, Use (example)
History
- 2026-11-02: add by m2/dev
Environmental determinism PC7DC9XK4N
| URI | m2://inv/PC7DC9XK4N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#PGZ8, Environmental determinism (unknown)
History
- 2026-11-02: add by m2/dev
Cauer synthesis PC7DMMSKED
| URI | m2://inv/PC7DMMSKED |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Network synthesis#7C96, Cauer synthesis (unknown)
History
- 2026-11-02: add by m2/dev
PC7K39R74Q PC7K39R74Q
| URI | m2://inv/PC7K39R74Q |
|---|---|
| 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.29943#SGMM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Comparison test PC7KX9779V
| URI | m2://inv/PC7KX9779V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#prop-14, Comparison test (statement). In E59CDZA4DP, prop, section 10.5.5
History
- 2026-11-01: add by m2/v0.6.13
PC7Q7B8WA9 PC7Q7B8WA9
| URI | m2://inv/PC7Q7B8WA9 |
|---|---|
| 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.07741#0VPP (statement). In K4YV2SF9MG/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Transversal comparison and pushforward PC7QRGE81V
| URI | m2://inv/PC7QRGE81V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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.07528#J3Z1, Transversal comparison and pushforward (statement). In WVX0T502A1/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.10
Second momment PC7TJME2BJ
| URI | m2://inv/PC7TJME2BJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29784#O9NF, Second momment (statement)
History
- 2026-11-01: add by m2/v0.6.15
Landau's function PC7Z4CQ475
| URI | m2://inv/PC7Z4CQ475 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#QMTO, Landau's function (definition)
- wikipedia: Wikipedia List of partition topics#3KC7, Landau's function (definition)
History
- 2026-11-02: add by m2/dev
Euclidean plane isometry PC84W4QGB1
| URI | m2://inv/PC84W4QGB1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean plane isometry, Euclidean plane isometry (definition). Also Wikidata Q908686
History
- 2026-11-02: add by m2/dev
Approximation argument PC8B91QCKQ
| URI | m2://inv/PC8B91QCKQ |
|---|---|
| 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.37593#ZAPL, Approximation argument (statement). In YTF96VHKAH/e1, theorem 6.1
History
- 2026-10-30: add by m2/v0.4.12
PC8NR7BS6F PC8NR7BS6F
| URI | m2://inv/PC8NR7BS6F |
|---|---|
| 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 2108.03672#5T6X (statement). In EZZSZ1F071/e1, lemma 4.20
History
- 2026-10-27: add by m2/v0.4.0
PC8SYM1BY3 PC8SYM1BY3
| URI | m2://inv/PC8SYM1BY3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34013#7HNQ (statement). In 3TA3P3CWSJ/e1, lemma 3.10
History
- 2026-10-30: add by m2/v0.4.12
De mundi systemate PC929DEV9B
| URI | m2://inv/PC929DEV9B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philosophiæ Naturalis Principia Mathematica#HUPA, De mundi systemate (unknown)
History
- 2026-11-02: add by m2/dev
Maximum likelihood sequence estimation PC959BATE9
| URI | m2://inv/PC959BATE9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SYUP, Maximum likelihood sequence estimation (definition)
History
- 2026-11-02: add by m2/dev
Joseph Allen Galbraith PC97P7FKSP
| URI | m2://inv/PC97P7FKSP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Allen Galbraith, Joseph Allen Galbraith (topic). Also Wikidata Q76692862
History
- 2026-11-02: add by m2/dev
Gilbert–Pollak conjecture PC97ZNJGQP
| URI | m2://inv/PC97ZNJGQP |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#RJQZ, Gilbert–Pollak conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Marc Lackenby PC9C6S8068
| URI | m2://inv/PC9C6S8068 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marc Lackenby, Marc Lackenby (topic). Also Wikidata Q22278759
History
- 2026-11-02: add by m2/dev
Illumination problem PC9F5P92XQ
| URI | m2://inv/PC9F5P92XQ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q390518, Illumination problem (problem). Also MathWorld IlluminationProblem
- wikipedia: Wikipedia Illumination problem, Illumination problem (problem). Also Wikidata Q390518
History
- 2026-10-26: add by m2/dev
Δ3-formulas and concepts PC9PK0T0Y6
| URI | m2://inv/PC9PK0T0Y6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lévy hierarchy#8063, Δ3-formulas and concepts (statement)
History
- 2026-11-02: add by m2/dev
Thomist teleology PC9TKXW2B6
| URI | m2://inv/PC9TKXW2B6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Teleological argument#XE9R, Thomist teleology (unknown)
History
- 2026-11-02: add by m2/dev
PC9VEE686G PC9VEE686G
| URI | m2://inv/PC9VEE686G |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#problem-5 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
Boundedness of the forward Duhamel operators in tent spaces PC9XXR57P7
| URI | m2://inv/PC9XXR57P7 |
|---|---|
| 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#SJW0, Boundedness of the forward Duhamel operators in tent spaces (statement)
History
- 2026-11-01: add by m2/v0.6.15
PCACM7JEMV PCACM7JEMV
| URI | m2://inv/PCACM7JEMV |
|---|---|
| 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.33068#7J8U (statement). In V9Z9Z0V5Y0/e1, theorem 9
History
- 2026-10-30: add by m2/v0.4.12
Posterior covariance in the multinomial experiment PCAJ5C3VPX
| URI | m2://inv/PCAJ5C3VPX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.29348#UQSW, Posterior covariance in the multinomial experiment (statement)
History
- 2026-11-01: add by m2/v0.6.15
Equilateral hyperbola PCAQBEZN8M
| URI | m2://inv/PCAQBEZN8M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbola#DSA8, Equilateral hyperbola (unknown)
History
- 2026-11-02: add by m2/dev
No additive path normalization at the limiting center PCAVJZPW51
| URI | m2://inv/PCAVJZPW51 |
|---|---|
| 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.01391#RBNK, No additive path normalization at the limiting center (statement). In MAZNVJX5YK/e1, proposition 20
History
- 2026-10-29: add by m2/v0.4.12
Characterization PCAX3T8K0K
| URI | m2://inv/PCAX3T8K0K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smallest-circle problem#31HR, Characterization (statement)
History
- 2026-11-02: add by m2/dev
Implementations PCAYSNJCV5
| URI | m2://inv/PCAYSNJCV5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SHA-2#K5HP, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Sharpness for uniform trajectory traces PCB5RRASCY
| URI | m2://inv/PCB5RRASCY |
|---|---|
| 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.24481#TI4O, Sharpness for uniform trajectory traces (statement)
History
- 2026-11-01: add by m2/v0.6.15
List of triangle inequalities PCBAKZBZFE
| URI | m2://inv/PCBAKZBZFE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle inequalities, List of triangle inequalities (topic). Also Wikidata Q18206252
History
- 2026-11-02: add by m2/dev
p-adic Hodge theory PCBBBA1S6Z
| URI | m2://inv/PCBBBA1S6Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#OCRX, p-adic Hodge theory (definition)
History
- 2026-11-02: add by m2/dev
Kramkov's optional decomposition theorem PCBEFXFYYF
| URI | m2://inv/PCBEFXFYYF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kramkov's optional decomposition theorem, Kramkov's optional decomposition theorem (statement). Also Wikidata Q114558594
History
- 2026-11-02: add by m2/dev
PCBEJ037GG PCBEJ037GG
| URI | m2://inv/PCBEJ037GG |
|---|---|
| Kind | example |
| 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.33476#IMGP (example). In DAQW640R25/e1, example 3.5
History
- 2026-10-30: add by m2/v0.4.12
iterated quadratic extensions PCBGVCRF5M
| URI | m2://inv/PCBGVCRF5M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constructible number#X2TT, iterated quadratic extensions (definition)
History
- 2026-11-02: add by m2/dev
Special cases PCC24T20SM
| URI | m2://inv/PCC24T20SM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michell structures#BPV2, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Sharp critical-pair calibration PCC633A9NR
| URI | m2://inv/PCC633A9NR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 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.29658#QQGS, Sharp critical-pair calibration (statement)
History
- 2026-11-01: add by m2/v0.6.15
Press' Q PCC97M6MWB
| URI | m2://inv/PCC97M6MWB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#I2T1, Press' Q (unknown)
History
- 2026-11-02: add by m2/dev
Reinhardt polygon PCCA4ASVJ0
| URI | m2://inv/PCCA4ASVJ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reinhardt polygon, Reinhardt polygon (definition). Also Wikidata Q104830328
History
- 2026-11-02: add by m2/dev
PCCCYMWCK6 PCCCYMWCK6
| URI | m2://inv/PCCCYMWCK6 |
|---|---|
| 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 2606.00589#MY97 (statement). In C8JAGP8VCQ/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
Examples PCCEQ8S764
| URI | m2://inv/PCCEQ8S764 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia O-minimal theory#1IVU, Examples (example)
History
- 2026-11-02: add by m2/dev
Seymour Lipschutz PCCJ2JXCJV
| URI | m2://inv/PCCJ2JXCJV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seymour Lipschutz, Seymour Lipschutz (topic). Also Wikidata Q7459199
History
- 2026-11-02: add by m2/dev
Pólya, George PCCJDCZ1ME
| URI | m2://inv/PCCJDCZ1ME |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#3GN0, Pólya, George (unknown)
History
- 2026-11-02: add by m2/dev
graph automorphism PCCMKVQV39
| URI | m2://inv/PCCMKVQV39 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q834981, graph automorphism (unknown). Also MathWorld GraphAutomorphism
- wikipedia: Wikipedia Graph automorphism, Graph automorphism (definition). Also Wikidata Q834981
History
- 2026-10-26: add by m2/dev
Isogonal trajectories PCCMQWXDFA
| URI | m2://inv/PCCMQWXDFA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonal trajectory#2YGN, Isogonal trajectories (unknown)
History
- 2026-11-02: add by m2/dev
Properties PCCTP7NKTE
| URI | m2://inv/PCCTP7NKTE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect ring#YWRY, Properties (statement)
History
- 2026-11-02: add by m2/dev
Regression Analysis of Time Series PCD4PZDMWP
| URI | m2://inv/PCD4PZDMWP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#E9PW, Regression Analysis of Time Series (definition)
History
- 2026-11-02: add by m2/dev
PCD81C4TWW PCD81C4TWW
| URI | m2://inv/PCD81C4TWW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2503.00440#VPLE (statement). In 3HMRK8KEVD/e1, corollary 2.7
History
- 2026-10-27: add by m2/v0.3.6
Ensemble forecasting PCDAJWVET8
| URI | m2://inv/PCDAJWVET8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ensemble forecasting, Ensemble forecasting (definition). Also Wikidata Q3433888
History
- 2026-11-02: add by m2/dev
99999 (number) PCDGFNY904
| URI | m2://inv/PCDGFNY904 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 90,000#JWL6, 99999 (number) (unknown)
History
- 2026-11-02: add by m2/dev
PCDJKFG0DA PCDJKFG0DA
| URI | m2://inv/PCDJKFG0DA |
|---|---|
| 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 1902.04230#5XND (statement). In 22JZ68FGCW/e1, proposition 5.5
History
- 2026-10-27: add by m2/v0.3.5
Per-comparison error rate PCDMM0KMBZ
| URI | m2://inv/PCDMM0KMBZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Per-comparison error rate, Per-comparison error rate (definition). Also Wikidata Q7166620
History
- 2026-11-02: add by m2/dev
PCDXAZA504 PCDXAZA504
| URI | m2://inv/PCDXAZA504 |
|---|---|
| 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 2609.27974#9YD3 (definition)
History
- 2026-11-01: add by m2/v0.6.15
PCDXM0R5BV PCDXM0R5BV
| URI | m2://inv/PCDXM0R5BV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-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 2401.11433#Z0V8 (example). In JNA2B803FH/e1, example 4.5
History
- 2026-10-27: add by m2/v0.3.5
PCE4J3YY7P PCE4J3YY7P
| URI | m2://inv/PCE4J3YY7P |
|---|---|
| Kind | definition |
| 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.05142#2BO0 (definition). In 8A0HVCGRR8/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.10
Bitcoin wallet PCE50E6BZ2
| URI | m2://inv/PCE50E6BZ2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bitcoin#1HMQ, Bitcoin wallet (unknown)
History
- 2026-11-02: add by m2/dev
Pathwise covariance at one level PCE63RJ2Y3
| URI | m2://inv/PCE63RJ2Y3 |
|---|---|
| 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#K6JO, Pathwise covariance at one level (statement). In 9YAE8FNQST/e1, proposition 5.11
History
- 2026-10-30: add by m2/v0.4.12
PCE9XY7XT9 PCE9XY7XT9
| URI | m2://inv/PCE9XY7XT9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.04623#54VA (statement). In 6CK4CTQWQH/e1, theorem 2.4
History
- 2026-10-29: add by m2/v0.4.12
Ptolemy's theorem PCEC0DQSTN
| URI | m2://inv/PCEC0DQSTN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic quadrilateral#SK49, Ptolemy's theorem (statement)
History
- 2026-11-02: add by m2/dev
Aleksei Filippov PCEDHSHVF6
| URI | m2://inv/PCEDHSHVF6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aleksei Filippov (mathematician), Aleksei Filippov (topic). Also Wikidata Q224551
History
- 2026-11-02: add by m2/dev
Statement of the theorem PCEDVCKAVK
| URI | m2://inv/PCEDVCKAVK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wick's theorem#1OOA, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Trend and plunge PCEHS2NPG3
| URI | m2://inv/PCEHS2NPG3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strike and dip#YZVF, Trend and plunge (unknown)
History
- 2026-11-02: add by m2/dev
PCEK0XWKYJ PCEK0XWKYJ
| URI | m2://inv/PCEK0XWKYJ |
|---|---|
| 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.03337#DCFN (statement). In VH7EZDGTNA/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
PCES6252KH PCES6252KH
| URI | m2://inv/PCES6252KH |
|---|---|
| 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.04330#Q5S5 (statement). In 17H0HEM54D/e1, corollary 1.2
History
- 2026-10-29: add by m2/v0.4.12
Receiver-Compatible Sufficient Compression PCESCDMD1N
| URI | m2://inv/PCESCDMD1N |
|---|---|
| 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 2610.03769#MQZJ, Receiver-Compatible Sufficient Compression (definition). In 35DNCV14M4/e1, definition B.4
History
- 2026-10-29: add by m2/v0.4.12
Morrie's law PCEXCJ18KK
| URI | m2://inv/PCEXCJ18KK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1048488, Morrie's law (statement). Also MathWorld MorriesLaw
- wikipedia: Wikipedia Morrie's law, Morrie's law (statement). Also Wikidata Q1048488
History
- 2026-10-26: add by m2/dev
Lift eigenvalues in a large field PCEYZ4GVRX
| URI | m2://inv/PCEYZ4GVRX |
|---|---|
| Kind | example |
| 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.07445#N51S, Lift eigenvalues in a large field (example). In F1BM3Q8125/e1, example 4.6
History
- 2026-10-29: add by m2/v0.4.10
509 (number) PCF7H9AW8P
| URI | m2://inv/PCF7H9AW8P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#KWPK, 509 (number) (unknown)
History
- 2026-11-02: add by m2/dev
PCFAXS3HMB PCFAXS3HMB
| URI | m2://inv/PCFAXS3HMB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-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.19787#CQAE (statement). In A4VP56CT7B/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
generate PCFNT5N2AS
| URI | m2://inv/PCFNT5N2AS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#62AF, generate (definition)
History
- 2026-11-02: add by m2/dev
Controllability PCFS6VW8MZ
| URI | m2://inv/PCFS6VW8MZ |
|---|---|
| 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 2609.25431#W8BW, Controllability (definition)
History
- 2026-11-01: add by m2/v0.6.15
Hansjörg Geiges PCFTX1XR5P
| URI | m2://inv/PCFTX1XR5P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15990582, Hansjörg Geiges (unknown). Also nLab Hansjörg Geiges
History
- 2026-10-26: add by m2/dev
Complete log-concavity of matroid polynomials PCFVH66YD1
| URI | m2://inv/PCFVH66YD1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2610.22180#0NQP, Complete log-concavity of matroid polynomials (statement). In VXQXVZ7SE7/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.4.0
ODoH PCGPYSYQTH
| URI | m2://inv/PCGPYSYQTH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DNS over HTTPS#8HSP, ODoH (unknown)
History
- 2026-11-02: add by m2/dev
Fibrifold notation (3D) PCGQS3R47P
| URI | m2://inv/PCGQS3R47P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Space group#GDZM, Fibrifold notation (3D) (definition)
History
- 2026-11-02: add by m2/dev
Law, John PCGXX8Q8YJ
| URI | m2://inv/PCGXX8Q8YJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#VJSS, Law, John (unknown)
History
- 2026-11-02: add by m2/dev
Bareiss algorithm PCGZNE5M1E
| URI | m2://inv/PCGZNE5M1E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bareiss algorithm, Bareiss algorithm (definition). Also Wikidata Q4860404
History
- 2026-11-02: add by m2/dev
PCH5HHGWWN PCH5HHGWWN
| URI | m2://inv/PCH5HHGWWN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24212#L4AB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem PCH6CVH16V
| URI | m2://inv/PCH6CVH16V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard Borel space#2Q2X, Theorem (statement)
History
- 2026-11-02: add by m2/dev
PCHBXD00DQ PCHBXD00DQ
| URI | m2://inv/PCHBXD00DQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-addmult.ptx#exercise-12 (exercise). In Y91XFCEVHQ, exercise, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
PCHDFW55AT PCHDFW55AT
| URI | m2://inv/PCHDFW55AT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27872#MEBL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example PCHE8HEQD8
| URI | m2://inv/PCHE8HEQD8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete Fourier transform#47JP, Example (example)
History
- 2026-11-02: add by m2/dev
· PCHGB88Y40
| URI | m2://inv/PCHGB88Y40 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#2UCV, · (definition)
History
- 2026-11-02: add by m2/dev
Regularized distance to the manifold PCHJSSZ9F0
| URI | m2://inv/PCHJSSZ9F0 |
|---|---|
| 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.22513#YXSU, Regularized distance to the manifold (statement)
History
- 2026-11-02: add by m2/v0.6.17
Statement of the theorem PCHPC0M67S
| URI | m2://inv/PCHPC0M67S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Denjoy's theorem on rotation number#OF09, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
More examples of bases PCJ1YZN72F
| URI | m2://inv/PCJ1YZN72F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#example-7, More examples of bases (example). In RZP28ERRZV, example, section 62.4
History
- 2026-11-01: add by m2/v0.6.13
Clock drift PCJA7E6N6F
| URI | m2://inv/PCJA7E6N6F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clock drift, Clock drift (definition). Also Wikidata Q1069144
History
- 2026-11-02: add by m2/dev
Ber(x) PCJAH1HMFZ
| URI | m2://inv/PCJAH1HMFZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kelvin functions#OQ2B, Ber(x) (unknown)
History
- 2026-11-02: add by m2/dev
PCJAJM1E0F PCJAJM1E0F
| URI | m2://inv/PCJAJM1E0F |
|---|---|
| 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.26948#31LV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Exact general endpoint region and genuine three-atom regime PCJCEXEDN9
| URI | m2://inv/PCJCEXEDN9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#0465, Exact general endpoint region and genuine three-atom regime (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ralph A. Bradley PCJF6X5AS3
| URI | m2://inv/PCJF6X5AS3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ralph A. Bradley, Ralph A. Bradley (topic). Also Wikidata Q102189861
History
- 2026-11-02: add by m2/dev
Hilbert's twelfth problem PCJNS56X44
| URI | m2://inv/PCJNS56X44 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1093498, Hilbert's twelfth problem (problem). Also MathWorld Jugendtraum
- wikipedia: Wikipedia Hilbert's twelfth problem, Hilbert's twelfth problem (conjecture). Also Wikidata Q1093498
History
- 2026-10-26: add by m2/dev
Ingrid Daubechies PCJNSF0E6H
| URI | m2://inv/PCJNSF0E6H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZS9T, Ingrid Daubechies (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#1SOZ, Ingrid Daubechies (topic)
History
- 2026-11-02: add by m2/dev
Characterization PCJPST9C2X
| URI | m2://inv/PCJPST9C2X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypoexponential distribution#YUSM, Characterization (statement)
History
- 2026-11-02: add by m2/dev
Association of Teachers of Mathematics PCJQKFB46F
| URI | m2://inv/PCJQKFB46F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Association of Teachers of Mathematics, Association of Teachers of Mathematics (definition). Also Wikidata Q4810088
History
- 2026-11-02: add by m2/dev
PCJSMNX2VQ PCJSMNX2VQ
| URI | m2://inv/PCJSMNX2VQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CompositionsInverses.tex#problem-15 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
PCJT9BS4VX PCJT9BS4VX
| URI | m2://inv/PCJT9BS4VX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21960#WWGD (statement). In QX77AN49J0/e1, theorem
History
- 2026-10-27: add by m2/v0.4.2
PCK219A5S7 PCK219A5S7
| URI | m2://inv/PCK219A5S7 |
|---|---|
| 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#S3DO (example). In X88HPQ0W8C/e1, example 2.12
History
- 2026-10-27: add by m2/v0.3.5
Ellen Maycock PCK4SMB10Y
| URI | m2://inv/PCK4SMB10Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellen Maycock, Ellen Maycock (topic). Also Wikidata Q102167844
History
- 2026-11-02: add by m2/dev
Martin's maximum PCK56S9T8T
| URI | m2://inv/PCK56S9T8T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martin's maximum, Martin's maximum (definition). Also Wikidata Q6774805
History
- 2026-11-02: add by m2/dev
Phelim Boyle PCK9205QFM
| URI | m2://inv/PCK9205QFM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#KY5Q, Phelim Boyle (unknown)
History
- 2026-11-02: add by m2/dev
Method PCKF6DMS2J
| URI | m2://inv/PCKF6DMS2J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ridders' method#B574, Method (definition)
History
- 2026-11-02: add by m2/dev
Maxim Kontsevich PCKS6TN25A
| URI | m2://inv/PCKS6TN25A |
|---|---|
| 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 Q369588, Maxim Kontsevich (unknown). Also MathWorld KontsevichIntegral, nLab Maxim Kontsevich
- wikipedia: Wikipedia Maxim Kontsevich, Maxim Kontsevich (topic). Also Wikidata Q369588
History
- 2026-10-26: add by m2/dev
PCKZEC6SR3 PCKZEC6SR3
| URI | m2://inv/PCKZEC6SR3 |
|---|---|
| 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.05320#YP7V (statement). In MVXZWHKEX8/e1, lemma 6.3
History
- 2026-10-29: add by m2/v0.4.10
Definition PCM49Y50SD
| URI | m2://inv/PCM49Y50SD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AQH share#NATO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Homogeneous differential equation PCMCQAK3EK
| URI | m2://inv/PCMCQAK3EK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homogeneous differential equation, Homogeneous differential equation (definition). Also Wikidata Q2434565
History
- 2026-11-02: add by m2/dev
PCMNDQ04R3 PCMNDQ04R3
| URI | m2://inv/PCMNDQ04R3 |
|---|---|
| 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 2401.15490#QFWB (statement). In AAY60GVERS/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
Scott–Curry theorem PCMNN1A5CC
| URI | m2://inv/PCMNN1A5CC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scott–Curry theorem, Scott–Curry theorem (statement). Also Wikidata Q65052615
History
- 2026-11-02: add by m2/dev
Definition PCMVZFWECP
| URI | m2://inv/PCMVZFWECP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wrapped normal distribution#7ZL1, Definition (definition)
History
- 2026-11-02: add by m2/dev
PCMWE8Z5EY PCMWE8Z5EY
| URI | m2://inv/PCMWE8Z5EY |
|---|---|
| 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.37747#I281 (statement). In GEYDNVZEP7/e1, theorem A.5
History
- 2026-10-30: add by m2/v0.4.12
PCN24YN1XD PCN24YN1XD
| URI | m2://inv/PCN24YN1XD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-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 2103.08272#32Q5 (definition). In H72E12TYHA/e1, definition 4.10
History
- 2026-10-27: add by m2/v0.4.0
PCN4TXAN1V PCN4TXAN1V
| URI | m2://inv/PCN4TXAN1V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33300#732T (definition). In AWF7ZHK4EM/e1, definition 1.2
History
- 2026-10-30: add by m2/v0.4.12
PCN8FTR3EC PCN8FTR3EC
| URI | m2://inv/PCN8FTR3EC |
|---|---|
| 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.28650#5M2W (example)
History
- 2026-11-01: add by m2/v0.6.15
Estimates on almost tangent vectors PCND4Y1NDR
| URI | m2://inv/PCND4Y1NDR |
|---|---|
| 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.22513#K0V0, Estimates on almost tangent vectors (statement)
History
- 2026-11-02: add by m2/v0.6.17
PCNE5GX2NC PCNE5GX2NC
| URI | m2://inv/PCNE5GX2NC |
|---|---|
| Kind | problem |
| 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#DHO0 (problem). In WRMNCC8VBC/e1, problem 56
History
- 2026-10-27: add by m2/v0.3.6
PCNKDHVTVP PCNKDHVTVP
| URI | m2://inv/PCNKDHVTVP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01216#AYH7 (statement). In 59016RQTW6/e1, theorem 10.2
History
- 2026-10-29: add by m2/v0.4.12
PCNY8MZ396 PCNY8MZ396
| URI | m2://inv/PCNY8MZ396 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-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 2609.39254#LDSG (definition). In A59MZ9H284/e1, definition 2.11
History
- 2026-10-30: add by m2/v0.4.12
PCP1X0EE1J PCP1X0EE1J
| URI | m2://inv/PCP1X0EE1J |
|---|---|
| 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.34020#7IHO (statement). In DAMYG8BFAK/e1, corollary 4.1
History
- 2026-10-30: add by m2/v0.4.12
PCP31E1X6W PCP31E1X6W
| URI | m2://inv/PCP31E1X6W |
|---|---|
| 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.20225#I758 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Valentina Harizanov PCP491KFFF
| URI | m2://inv/PCP491KFFF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Valentina Harizanov, Valentina Harizanov (topic). Also Wikidata Q7910869
History
- 2026-11-02: add by m2/dev
PCP5QJ809J PCP5QJ809J
| URI | m2://inv/PCP5QJ809J |
|---|---|
| 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.21005#957Y (statement). In E63NRC7MBE/e1, corollary 3.5
History
- 2026-10-27: add by m2/v0.4.2
%CH PCP619YAAE
| URI | m2://inv/PCP619YAAE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relative change#9TWP, %CH (unknown)
History
- 2026-11-02: add by m2/dev
Bargmann transform PCP6M608PG
| URI | m2://inv/PCP6M608PG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Segal–Bargmann space#GGEL, Bargmann transform (unknown)
History
- 2026-11-02: add by m2/dev
Ricardo Baeza Rodríguez PCP8YCKV9N
| URI | m2://inv/PCP8YCKV9N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ricardo Baeza Rodríguez, Ricardo Baeza Rodríguez (topic). Also Wikidata Q18763844
History
- 2026-11-02: add by m2/dev
FGM at \(y_N\); Conjecture 4 PCPG7DE5CP
| URI | m2://inv/PCPG7DE5CP |
|---|---|
| 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.35762#Y38Y, FGM at \(y_N\); Conjecture 4 (statement). In C9QEPN1E56/e1, theorem 5.1
History
- 2026-10-30: add by m2/v0.4.12
PCPN2ZQYVY PCPN2ZQYVY
| URI | m2://inv/PCPN2ZQYVY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33283#D432 (statement). In CXPFSDMEPB/e1, theorem 6.2
History
- 2026-10-30: add by m2/v0.4.12
Khawaja--Siksek PCPR305363
| URI | m2://inv/PCPR305363 |
|---|---|
| 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.08753#74OZ, Khawaja--Siksek (conjecture). In J9P361Z1CX/e1, conjecture 1.1
History
- 2026-10-29: add by m2/v0.4.10
PCPRDQ0G8H PCPRDQ0G8H
| URI | m2://inv/PCPRDQ0G8H |
|---|---|
| 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.29304#AC6F (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hausdorff paradox PCPYAXN9Q8
| URI | m2://inv/PCPYAXN9Q8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of integration and measure theory topics#5DDO, Hausdorff paradox (statement)
- wikipedia: Wikipedia List of things named after Felix Hausdorff#Y3XA, Hausdorff paradox (statement)
History
- 2026-11-02: add by m2/dev
PCQ4B7KZ49 PCQ4B7KZ49
| URI | m2://inv/PCQ4B7KZ49 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-294 (exercise). In VNMV985MXX, exercise, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Classification of prime subsheaves PCQ774G7DX
| URI | m2://inv/PCQ774G7DX |
|---|---|
| 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#5N1B, Classification of prime subsheaves (statement). In 87QYNZZ67Z/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
PCQ9N24W1W PCQ9N24W1W
| URI | m2://inv/PCQ9N24W1W |
|---|---|
| Kind | definition |
| 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.24154#HJWA (definition)
History
- 2026-11-02: add by m2/v0.6.17
Isomorphism PCQE0RP2Z4
| URI | m2://inv/PCQE0RP2Z4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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.26262#3YI4, Isomorphism (definition)
History
- 2026-11-01: add by m2/v0.6.15
PCQFN2FGSV PCQFN2FGSV
| URI | m2://inv/PCQFN2FGSV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 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 2508.21045#60D9 (definition). In CGA36VE1C5/e1, definition 3.8.1
History
- 2026-10-27: add by m2/v0.3.6
PCQJGTDRS6 PCQJGTDRS6
| URI | m2://inv/PCQJGTDRS6 |
|---|---|
| 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.16962#6EXB (definition). In KJC9FRS3C2/e1, definition 7.2
History
- 2026-10-28: add by m2/v0.4.2
One stage PCQSFD1A32
| URI | m2://inv/PCQSFD1A32 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12641#HFJQ, One stage (statement). In X5BYGZZHPF/e1, lemma K.4
History
- 2026-10-28: add by m2/v0.4.2
PCQZEDX3SZ PCQZEDX3SZ
| URI | m2://inv/PCQZEDX3SZ |
|---|---|
| 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.20119#COOF (statement)
History
- 2026-11-02: add by m2/v0.6.18
Procedure PCR2H84YCB
| URI | m2://inv/PCR2H84YCB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian search theory#FLVJ, Procedure (definition)
History
- 2026-11-02: add by m2/dev
nuclear space PCRR3Q95G9
| URI | m2://inv/PCRR3Q95G9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Nuclear space XC6XPMC2FQ |
Mentions
- wikidata: Wikidata Q283804, nuclear space (unknown). Also EoM Nuclear_space, nLab nuclear space
- wikipedia: Wikipedia Nuclear space, Nuclear space (definition). Also Wikidata Q283804
History
- 2026-10-26: add by m2/dev
ITEM-w upper bound PCRTDHNY24
| URI | m2://inv/PCRTDHNY24 |
|---|---|
| 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#9FUC, ITEM-w upper bound (statement). In GH6FSDK4YB/e1, theorem 6.5
History
- 2026-10-30: add by m2/v0.4.12
Maurice René Fréchet PCRV505RSW
| URI | m2://inv/PCRV505RSW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#9PP6, Maurice René Fréchet (topic)
History
- 2026-11-02: add by m2/dev
PCRX2VT0DB PCRX2VT0DB
| URI | m2://inv/PCRX2VT0DB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03555#K6EL (statement). In 9JZJTRRVR1/e1, lemma 4.14
History
- 2026-10-29: add by m2/v0.4.12
Tres Islas PCS164F42X
| URI | m2://inv/PCS164F42X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#B9K8, Tres Islas (unknown)
History
- 2026-11-02: add by m2/dev
PCS43KJDY8 PCS43KJDY8
| URI | m2://inv/PCS43KJDY8 |
|---|---|
| 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 2609.23093#JX37 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Degrees PCS6MY0BZX
| URI | m2://inv/PCS6MY0BZX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#132Z, Degrees (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sean Murphy PCS9ZXMCXZ
| URI | m2://inv/PCS9ZXMCXZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sean Murphy (cryptographer), Sean Murphy (topic). Also Wikidata Q4310544
History
- 2026-11-02: add by m2/dev
PCSACCGAYY PCSACCGAYY
| URI | m2://inv/PCSACCGAYY |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#proof-2 (proof). In P1C114YBXG, proof, section D
History
- 2026-11-01: add by m2/v0.6.13
PCSACQJF6V PCSACQJF6V
| URI | m2://inv/PCSACQJF6V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 0905.1489#QQSH (statement). In MZ18CTV65N/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
Definition PCSC4PYANR
| URI | m2://inv/PCSC4PYANR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ARGUS distribution#4WXN, Definition (definition)
History
- 2026-11-02: add by m2/dev
PCSKWZGM4C PCSKWZGM4C
| URI | m2://inv/PCSKWZGM4C |
|---|---|
| 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 2602.03058#U7O6 (statement). In XQ0ZXH8KAC/e1, lemma 10
History
- 2026-10-27: add by m2/v0.3.5
PCSM9MDVZ6 PCSM9MDVZ6
| URI | m2://inv/PCSM9MDVZ6 |
|---|---|
| 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.20225#S6BG (statement)
History
- 2026-11-02: add by m2/v0.6.18
Canon of Medicine PCSNAAVH7B
| URI | m2://inv/PCSNAAVH7B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of works by Averroes#1RG5, Canon of Medicine (unknown)
History
- 2026-11-02: add by m2/dev
Michael Herman PCSXWDTA74
| URI | m2://inv/PCSXWDTA74 |
|---|---|
| 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#NB9L, Michael Herman (topic)
History
- 2026-11-02: add by m2/dev
Discrete Brakke's inequality PCSYFFVVME
| URI | m2://inv/PCSYFFVVME |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15511#EVOV, Discrete Brakke's inequality (statement). In TZM08VJAQT/e1, proposition 3.7
History
- 2026-10-28: add by m2/v0.4.2
Vlasov equation PCSZ6VPJFH
| URI | m2://inv/PCSZ6VPJFH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#0CLF, Vlasov equation (definition)
History
- 2026-11-02: add by m2/dev
PCT8VGNPVB PCT8VGNPVB
| URI | m2://inv/PCT8VGNPVB |
|---|---|
| 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.33313#8SBR (statement). In HRCEFY172P/e1, lemma 3.25
History
- 2026-10-30: add by m2/v0.4.12
Special cases PCTRMRQ46T
| URI | m2://inv/PCTRMRQ46T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pre-abelian category#PF2H, Special cases (statement)
History
- 2026-11-02: add by m2/dev
PCV0C50EAH PCV0C50EAH
| URI | m2://inv/PCV0C50EAH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-71 (exercise). In VNMV985MXX, exercise, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
RV coefficient PCV3VACZCX
| URI | m2://inv/PCV3VACZCX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RV coefficient, RV coefficient (definition). Also Wikidata Q7278080
History
- 2026-11-02: add by m2/dev
Examples PCV5M9HQZ0
| URI | m2://inv/PCV5M9HQZ0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unknot#NSJ6, Examples (example)
History
- 2026-11-02: add by m2/dev
limit, definition PCVDA6Y3G8
| URI | m2://inv/PCVDA6Y3G8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/1.2.2/limit-definition, limit, definition (concept). In 907G4C4EJ1, index, section 1.2.2
History
- 2026-11-01: add by m2/v0.6.13
PCVNNC40FY PCVNNC40FY
| URI | m2://inv/PCVNNC40FY |
|---|---|
| Kind | definition |
| 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#DRP8 (definition). In BDN507RN7J/e1, definition 3.3.2
History
- 2026-10-30: add by m2/v0.4.12
List of probability journals PCVRY3JNNK
| URI | m2://inv/PCVRY3JNNK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability journals, List of probability journals (topic). Also Wikidata Q6634984
History
- 2026-11-02: add by m2/dev
PCVVYJ8RW5 PCVVYJ8RW5
| URI | m2://inv/PCVVYJ8RW5 |
|---|---|
| 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#A9AF (statement). In M1YRBSZT4H/e1, lemma 10
History
- 2026-10-27: add by m2/v0.4.2
Harold Hotelling PCWDN2SVWD
| URI | m2://inv/PCWDN2SVWD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harold Hotelling, Harold Hotelling (topic). Also Wikidata Q711742
History
- 2026-11-02: add by m2/dev
PCWJA5H599 PCWJA5H599
| URI | m2://inv/PCWJA5H599 |
|---|---|
| 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.31278#QFEW (statement). In KEP21CZFV9/e1, lemma #1
History
- 2026-10-31: add by m2/v0.5.6
PCWX22B2S0 PCWX22B2S0
| URI | m2://inv/PCWX22B2S0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19658#PR8G (statement). In G00EYA9DXG/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.2
strongly PCX42DFGWG
| URI | m2://inv/PCX42DFGWG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#UJR0, strongly (definition)
History
- 2026-11-02: add by m2/dev
Snub triheptagonal tiling PCX516HK6X
| URI | m2://inv/PCX516HK6X |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snub triheptagonal tiling, Snub triheptagonal tiling (object). Also Wikidata Q12353463
History
- 2026-11-02: add by m2/dev
PCXD3BWKBC PCXD3BWKBC
| URI | m2://inv/PCXD3BWKBC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37606#G6LK (example). In WNFW6GY38C/e1, example 4.4
History
- 2026-10-30: add by m2/v0.4.12
Monotonic function PCXH3R1BRZ
| URI | m2://inv/PCXH3R1BRZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#R38B, Monotonic function (definition)
History
- 2026-11-02: add by m2/dev
Kernel transport and the enumerative identification PCXHZTEN9Z
| URI | m2://inv/PCXHZTEN9Z |
|---|---|
| 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.03520#KEU9, Kernel transport and the enumerative identification (statement). In CSRZ9CWK69/e1, corollary 9.14
History
- 2026-10-29: add by m2/v0.4.12
PCXM0JRVGS PCXM0JRVGS
| URI | m2://inv/PCXM0JRVGS |
|---|---|
| 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.16554#U1BX (statement). In GWNT8HEZG1/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.6
Castro--Lazer PCXN6SYGAH
| URI | m2://inv/PCXN6SYGAH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.21533#7ZLX, Castro--Lazer (statement). In N3Z6JFEPCF/e1, lemma 4.7
History
- 2026-10-27: add by m2/v0.4.2
PCXRMP8V42 PCXRMP8V42
| URI | m2://inv/PCXRMP8V42 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.12619#WYL6 (statement). In 7F8KACT5AJ/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Definitions PCY21REHY4
| URI | m2://inv/PCY21REHY4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratrix of Hippias#4SE4, Definitions (definition)
History
- 2026-11-02: add by m2/dev
inexact differential PCY844XVC8
| URI | m2://inv/PCY844XVC8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6028641, inexact differential (concept). Also MathWorld InexactDifferential
History
- 2026-10-26: add by m2/dev
Saturated set PCYA0J12QV
| URI | m2://inv/PCYA0J12QV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/henkin-expansions.tex#defn-1, Saturated set (definition). In PKGMM3P5QY, defn, section 11.3
History
- 2026-11-01: add by m2/v0.6.13
PCYC03K42C PCYC03K42C
| URI | m2://inv/PCYC03K42C |
|---|---|
| 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.20758#W2ZU (definition). In PG0B4PH9YH/e1, definition 5.2
History
- 2026-10-27: add by m2/v0.4.2
PCYTPJ4K4E PCYTPJ4K4E
| URI | m2://inv/PCYTPJ4K4E |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/pairing.tex#prob-4 (exercise). In PKGMM3P5QY, prob, section 83.11
History
- 2026-11-01: add by m2/v0.6.13
Nancy Bates PCZ787NBYQ
| URI | m2://inv/PCZ787NBYQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#7J2W, Nancy Bates (unknown)
History
- 2026-11-02: add by m2/dev
PCZ9XPV10P PCZ9XPV10P
| URI | m2://inv/PCZ9XPV10P |
|---|---|
| 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 2601.15010#4BHE (statement). In K3WJ6ZN184/e1, proposition 8.1
History
- 2026-10-27: add by m2/v0.3.5
Gary R. Mar PCZEHCH48M
| URI | m2://inv/PCZEHCH48M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#66UN, Gary R. Mar (unknown)
History
- 2026-11-02: add by m2/dev
Existence and uniqueness PCZQW2GBG9
| URI | m2://inv/PCZQW2GBG9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximal and minimal elements#KF6Q, Existence and uniqueness (statement)
History
- 2026-11-02: add by m2/dev
PCZYK9F21R PCZYK9F21R
| URI | m2://inv/PCZYK9F21R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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.10925#7U0Q (statement). In 9604WYX0BW/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.3
Skew-adjacency matrix PCZZTX2YFQ
| URI | m2://inv/PCZZTX2YFQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named matrices#WANF, Skew-adjacency matrix (unknown)
History
- 2026-11-02: add by m2/dev