Inventory rows PG
The cards of the rows of the inventory whose ids start with PG. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Examples PG01N4FSJQ
| URI | m2://inv/PG01N4FSJQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Global element#P13U, Examples (example)
History
- 2026-11-02: add by m2/dev
factor PG0CC8XN4Z
| URI | m2://inv/PG0CC8XN4Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q54640195, factor (unknown). Also MathWorld Factor
History
- 2026-10-26: add by m2/dev
$S_r<0$ for Gaussian $B$ PG0N0376Q8
| URI | m2://inv/PG0N0376Q8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38453#QJKF, $S_r<0$ for Gaussian $B$ (statement). In DWKWF242Y0/e1, proposition 9
History
- 2026-10-30: add by m2/v0.4.12
One-shot PG0NSH175Q
| URI | m2://inv/PG0NSH175Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37368#923R, One-shot (statement). In FRMCKEGVJZ/e1, theorem 14
History
- 2026-10-30: add by m2/v0.4.12
PG0PRPQHQQ PG0PRPQHQQ
| URI | m2://inv/PG0PRPQHQQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14842#AHYB (statement). In MQXT5RQE0C/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Algebraic-group factorization algorithm PG0W4QMWF5
| URI | m2://inv/PG0W4QMWF5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic-group factorization algorithm, Algebraic-group factorization algorithm (definition). Also Wikidata Q4723979
History
- 2026-11-02: add by m2/dev
PG15F5ZQE7 PG15F5ZQE7
| URI | m2://inv/PG15F5ZQE7 |
|---|---|
| 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.32816#Z010 (statement). In 10YV2P9E8W/e1, lemma 4.10
History
- 2026-10-31: add by m2/v0.5.6
Marie S. Wilcox PG1663ZXCR
| URI | m2://inv/PG1663ZXCR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marie S. Wilcox, Marie S. Wilcox (topic). Also Wikidata Q106588745
History
- 2026-11-02: add by m2/dev
PG1APJS3F4 PG1APJS3F4
| URI | m2://inv/PG1APJS3F4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15316#BJ2X (statement). In 3K84E4150C/e1, proposition 6.3
History
- 2026-10-28: add by m2/v0.4.2
The Channel Set PG1F9DFZB0
| URI | m2://inv/PG1F9DFZB0 |
|---|---|
| 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 2610.01932#G3CU, The Channel Set (definition). In XDKWW6NR0K/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.12
PG1GZM6ZWT PG1GZM6ZWT
| URI | m2://inv/PG1GZM6ZWT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10519#80RQ (statement). In 83MMH8VF1X/e1, lemma C.1
History
- 2026-10-29: add by m2/v0.4.10
Maharam's theorem PG1PXQ7W9X
| URI | m2://inv/PG1PXQ7W9X |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 28-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6733278, Maharam's theorem (statement). Also Wikidata Q6733278
- thousand_plus: thousand_plus Q6733278, Maharam's theorem (statement). Also Wikidata Q6733278, Wikipedia Maharam's theorem
- wikipedia: Wikipedia Maharam's theorem, Maharam's theorem (statement). Also Wikidata Q6733278
History
- 2026-10-26: add by m2/dev
PG21Q16NN2 PG21Q16NN2
| URI | m2://inv/PG21Q16NN2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1907.01440#1FHJ (statement). In QDRYC6WJJ7/e1, theorem 6
History
- 2026-10-27: add by m2/v0.3.5
Definition PG23WWWBMT
| URI | m2://inv/PG23WWWBMT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine Lie algebra#RMVA, Definition (definition)
History
- 2026-11-02: add by m2/dev
PG247EF05Q PG247EF05Q
| URI | m2://inv/PG247EF05Q |
|---|---|
| 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 2201.12479#FU7E (statement). In ZDWR95TW99/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
Census Transportation Planning Products Program PG266B8B7S
| URI | m2://inv/PG266B8B7S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Census Transportation Planning Products Program, Census Transportation Planning Products Program (definition). Also Wikidata Q111945558
History
- 2026-11-02: add by m2/dev
Coupled spectral formula PG2QSWDPCH
| URI | m2://inv/PG2QSWDPCH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03745#452U, Coupled spectral formula (statement). In YWXVX6AX8F/e1, theorem 8.2
History
- 2026-10-29: add by m2/v0.4.12
Dimensional operator PG2V84BCXK
| URI | m2://inv/PG2V84BCXK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimensional operator, Dimensional operator (definition). Also Wikidata Q5277271
History
- 2026-11-02: add by m2/dev
PG2WD2FQJD PG2WD2FQJD
| URI | m2://inv/PG2WD2FQJD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05232#KBMM (statement). In DA3VN96YX2/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
Archimedean Property PG2XKTQS2N
| URI | m2://inv/PG2XKTQS2N |
|---|---|
| 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 2104.00162#V1UK, Archimedean Property (statement). In HVGT9D84WV/e1, fact 1.17
History
- 2026-10-27: add by m2/v0.3.5
Early-return capacity PG2YF4VR72
| URI | m2://inv/PG2YF4VR72 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10557#ZU4P, Early-return capacity (statement). In D2MXWDTHWS/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.10
PG2YRE6GH3 PG2YRE6GH3
| URI | m2://inv/PG2YRE6GH3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#SQDU (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition PG2YTKK339
| URI | m2://inv/PG2YTKK339 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bingham plastic#9OI1, Definition (definition)
History
- 2026-11-02: add by m2/dev
Results PG2ZJ3X2KM
| URI | m2://inv/PG2ZJ3X2KM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Mathematical Modeling Challenge#QXO0, Results (statement)
History
- 2026-11-02: add by m2/dev
PG322FDR1M PG322FDR1M
| URI | m2://inv/PG322FDR1M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.08018#1JN1 (statement). In TN93YFN45W/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.4.0
second Royle graph PG382GJRF6
| URI | m2://inv/PG382GJRF6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3477031, second Royle graph (unknown). Also House of Graphs 1296
History
- 2026-10-26: add by m2/dev
great cubicuboctahedron PG3AZV96VA
| URI | m2://inv/PG3AZV96VA |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3101020, great cubicuboctahedron (unknown). Also MathWorld GreatCubicuboctahedron
- wikipedia: Wikipedia Great cubicuboctahedron, Great cubicuboctahedron (object). Also Wikidata Q3101020
History
- 2026-10-26: add by m2/dev
Example PG3GQV9YP6
| URI | m2://inv/PG3GQV9YP6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constructive function theory#NAMC, Example (example)
History
- 2026-11-02: add by m2/dev
Kirchhoff's law of thermal radiation PG3H59YXHW
| URI | m2://inv/PG3H59YXHW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kirchhoff's law of thermal radiation, Kirchhoff's law of thermal radiation (statement). Also Wikidata Q911035
History
- 2026-11-02: add by m2/dev
PG3HBM4V2V PG3HBM4V2V
| URI | m2://inv/PG3HBM4V2V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04527#IEUN (statement). In Z9ZXAC6TZQ/e1, lemma 10
History
- 2026-10-29: add by m2/v0.4.12
PG3NBD4HN1 PG3NBD4HN1
| URI | m2://inv/PG3NBD4HN1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/completeness.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 62.2
History
- 2026-11-01: add by m2/v0.6.13
PG3SPSAANN PG3SPSAANN
| URI | m2://inv/PG3SPSAANN |
|---|---|
| Kind | definition |
| 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#B3N8 (definition). In QX77AN49J0/e1, definition 6.1
History
- 2026-10-27: add by m2/v0.4.2
PG3TW2SNAC PG3TW2SNAC
| URI | m2://inv/PG3TW2SNAC |
|---|---|
| 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 2605.00407#2X6G (statement). In TVFD0G3F2W/e1, lemma 5.7
History
- 2026-10-27: add by m2/v0.3.5
Nicolas Monod PG3ZET25X4
| URI | m2://inv/PG3ZET25X4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#U0PR, Nicolas Monod (unknown)
History
- 2026-11-02: add by m2/dev
PG40MPA28P PG40MPA28P
| URI | m2://inv/PG40MPA28P |
|---|---|
| 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.05696#TPO0 (definition). In MG81A9XJTQ/e1, definition VI.5
History
- 2026-10-29: add by m2/v0.4.10
logic of relations PG45Y5QM65
| URI | m2://inv/PG45Y5QM65 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#AZ3R, logic of relations (definition)
History
- 2026-11-02: add by m2/dev
PG4HW7AMPN PG4HW7AMPN
| URI | m2://inv/PG4HW7AMPN |
|---|---|
| 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.25190#CG23 (statement)
History
- 2026-11-01: add by m2/v0.6.15
divisor PG4KZ06B66
| URI | m2://inv/PG4KZ06B66 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#IP3U, divisor (definition)
History
- 2026-11-02: add by m2/dev
Quasi-triangular quasi-Hopf algebra PG4MSECQT2
| URI | m2://inv/PG4MSECQT2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-triangular quasi-Hopf algebra, Quasi-triangular quasi-Hopf algebra (definition). Also Wikidata Q7269480
History
- 2026-11-02: add by m2/dev
Definition PG4MTK4H6T
| URI | m2://inv/PG4MTK4H6T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Petz recovery map#0BEN, Definition (definition)
History
- 2026-11-02: add by m2/dev
Stochastic rate PG4N5DGPPB
| URI | m2://inv/PG4N5DGPPB |
|---|---|
| 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.13773#S4TH, Stochastic rate (statement). In E75XQY0QFM/e1, theorem 4.9
History
- 2026-10-28: add by m2/v0.4.2
Plane of polarization PG4V5MK15G
| URI | m2://inv/PG4V5MK15G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plane of polarization, Plane of polarization (definition). Also Wikidata Q48996986
History
- 2026-11-02: add by m2/dev
PG4ZWPKG1M PG4ZWPKG1M
| URI | m2://inv/PG4ZWPKG1M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38243#7S5P (statement). In R03K2N7FRF/e1, lemma C.5
History
- 2026-10-30: add by m2/v0.4.12
Robinson projection PG55ABP8QH
| URI | m2://inv/PG55ABP8QH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#Q6PG, Robinson projection (unknown)
History
- 2026-11-02: add by m2/dev
Examples PG55S4GJWH
| URI | m2://inv/PG55S4GJWH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct limit#S8Z6, Examples (example)
History
- 2026-11-02: add by m2/dev
PG563T68JT PG563T68JT
| URI | m2://inv/PG563T68JT |
|---|---|
| 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.39293#2ON8 (statement). In S26QVW5613/e1, theorem 4.4.3
History
- 2026-10-30: add by m2/v0.4.12
Frenet ribbon PG58ZTC3C5
| URI | m2://inv/PG58ZTC3C5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frenet–Serret formulas#LTJG, Frenet ribbon (unknown)
History
- 2026-11-02: add by m2/dev
71 knot PG5BZ1KQM7
| URI | m2://inv/PG5BZ1KQM7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 71 knot, 71 knot (definition). Also Wikidata Q4644246
History
- 2026-11-02: add by m2/dev
Theorem PG60XTJRTG
| URI | m2://inv/PG60XTJRTG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplicative noise#HIKN, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Multiplicativity of pre-Bott classes PG615WJ4EB
| URI | m2://inv/PG615WJ4EB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#L1YK, Multiplicativity of pre-Bott classes (statement). In TB1294GY5X/e1, theorem 2.14
History
- 2026-10-27: add by m2/v0.4.2
Statement PG62GV9RDN
| URI | m2://inv/PG62GV9RDN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strong perfect graph theorem#T6F1, Statement (statement)
History
- 2026-11-02: add by m2/dev
Law of small numbers for quantum depletion PG632E2FFH
| URI | m2://inv/PG632E2FFH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.10840#SBXS, Law of small numbers for quantum depletion (statement). In P0HKF5DY7M/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.5
Second law PG6FD62PK7
| URI | m2://inv/PG6FD62PK7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermodynamics#4YLF, Second law (statement)
History
- 2026-11-02: add by m2/dev
PG6FE20G8A PG6FE20G8A
| URI | m2://inv/PG6FE20G8A |
|---|---|
| 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.03288#I94S (statement). In ZHP1MFSACN/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.12
Serre's modularity conjecture PG6HG27DXD
| URI | m2://inv/PG6HG27DXD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Serre's modularity conjecture#M073, Serre's modularity conjecture (statement)
History
- 2026-11-02: add by m2/dev
PG6HZA9E2S PG6HZA9E2S
| URI | m2://inv/PG6HZA9E2S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31090#O3ZS (statement). In SMTJDX0Q6R/e1, corollary 6.2
History
- 2026-10-31: add by m2/v0.5.6
Georg Pick PG6KGB0QZ2
| URI | m2://inv/PG6KGB0QZ2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#OONG, Georg Pick (unknown)
History
- 2026-11-02: add by m2/dev
PG6KXTSXE3 PG6KXTSXE3
| URI | m2://inv/PG6KXTSXE3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-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.20558#FKCX (definition). In 46370P3Y9S/e1, definition 2.8
History
- 2026-10-27: add by m2/v0.4.2
principal connective PG6QRQ6HS8
| URI | m2://inv/PG6QRQ6HS8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#5LDD, principal connective (definition)
History
- 2026-11-02: add by m2/dev
Construction PG6VAX2VRV
| URI | m2://inv/PG6VAX2VRV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic geometry code#V4FX, Construction (definition)
History
- 2026-11-02: add by m2/dev
PG6XBGP86K PG6XBGP86K
| URI | m2://inv/PG6XBGP86K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-4.xml#proposition-det-properties (statement). In 649HGZKE96, proposition, section 3.4.2
History
- 2026-11-01: add by m2/v0.6.13
integer PG77BBWG3Y
| URI | m2://inv/PG77BBWG3Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Integers 0C4JS9RF5M |
Mentions
- wikidata: Wikidata Q12503, integer (definition). Also EoM Integer, MathWorld Integer, ProofWiki Definition:Integer
- wikipedia: Wikipedia Integer, Integer (definition). Also Wikidata Q12503
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
mean-value property PG7DJ3XYWE
| URI | m2://inv/PG7DJ3XYWE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/2.4/mean-value-property, mean-value property (concept). In VNMV985MXX, index, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Formal definition PG7S9MW7A2
| URI | m2://inv/PG7S9MW7A2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Communication complexity#M53J, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Bayesian inference in marketing PG7X23AAJE
| URI | m2://inv/PG7X23AAJE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SN8I, Bayesian inference in marketing (definition)
History
- 2026-11-02: add by m2/dev
Favard data for the complete cyclic orbit PG8077TPR2
| URI | m2://inv/PG8077TPR2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#VUW9, Favard data for the complete cyclic orbit (statement)
History
- 2026-11-01: add by m2/v0.6.15
PG88TNN5Q2 PG88TNN5Q2
| URI | m2://inv/PG88TNN5Q2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-298 (exercise). In VNMV985MXX, exercise, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
PG8BND6Q61 PG8BND6Q61
| URI | m2://inv/PG8BND6Q61 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2012.11507#RJJ4 (statement). In DZA5P853H9/e1, corollary 7
History
- 2026-10-27: add by m2/v0.3.5
Archiv für mathematische Logik und Grundlagenforschung PG8DBMJ8M6
| URI | m2://inv/PG8DBMJ8M6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#DS8P, Archiv für mathematische Logik und Grundlagenforschung (definition)
History
- 2026-11-02: add by m2/dev
Applications PG8FC0G89H
| URI | m2://inv/PG8FC0G89H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logical connective#DBID, Applications (example)
History
- 2026-11-02: add by m2/dev
PG8GV3TA26 PG8GV3TA26
| URI | m2://inv/PG8GV3TA26 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06785#JU20 (statement). In PG6AEWX25E/e1, proposition 5.5
History
- 2026-10-29: add by m2/v0.4.10
Overring PG8KNFTA7S
| URI | m2://inv/PG8KNFTA7S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overring, Overring (definition). Also Wikidata Q16897827
History
- 2026-11-02: add by m2/dev
Enriched finite local anodyne lifting PG8NV1NRJY
| URI | m2://inv/PG8NV1NRJY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-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.28220#H4NQ, Enriched finite local anodyne lifting (statement)
History
- 2026-11-01: add by m2/v0.6.15
Counterexample to Nielsen's Theorem 2 PG8PYAN82Z
| URI | m2://inv/PG8PYAN82Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 54-XX, 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.20683#3LZU, Counterexample to Nielsen's Theorem 2 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Orlicz--Sobolev space PG8RAX6KM2
| URI | m2://inv/PG8RAX6KM2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26645#DP9G, Orlicz--Sobolev space (definition)
History
- 2026-11-01: add by m2/v0.6.15
Boundary minimax rate PG8RHGN8XT
| URI | m2://inv/PG8RHGN8XT |
|---|---|
| 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.03638#M56Y, Boundary minimax rate (statement). In H39AZG67B6/e1, proposition H.2
History
- 2026-10-29: add by m2/v0.4.12
Descent and lifting PG8VG4Y3BX
| URI | m2://inv/PG8VG4Y3BX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01346#FITG, Descent and lifting (statement). In 44DQ7W1NW9/e1, proposition 2.18
History
- 2026-10-29: add by m2/v0.4.12
Properties PG976YA94V
| URI | m2://inv/PG976YA94V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal cone (functional analysis)#JXJL, Properties (statement)
History
- 2026-11-02: add by m2/dev
PG97XZQAZR PG97XZQAZR
| URI | m2://inv/PG97XZQAZR |
|---|---|
| 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.32977#QW3H (statement). In 4KT9TK3MG4/e1, lemma F.8
History
- 2026-10-31: add by m2/v0.5.6
Examples PG9E32RYRV
| URI | m2://inv/PG9E32RYRV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete intersection ring#C6IZ, Examples (example)
History
- 2026-11-02: add by m2/dev
PG9ERK1XX5 PG9ERK1XX5
| URI | m2://inv/PG9ERK1XX5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21231#5FJ1 (example). In 4RH9PS7MN1/e1, example 4
History
- 2026-10-27: add by m2/v0.4.2
PG9KXRBQV7 PG9KXRBQV7
| URI | m2://inv/PG9KXRBQV7 |
|---|---|
| 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.08567#0OCY (statement). In CMJE9V2BJ0/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
Sommerfeld-Runge method PG9M8CBSZK
| URI | m2://inv/PG9M8CBSZK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometrical optics#TBXG, Sommerfeld-Runge method (unknown)
History
- 2026-11-02: add by m2/dev
Defining equation PG9NE6HBDJ
| URI | m2://inv/PG9NE6HBDJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Defining equation (physical chemistry), Defining equation (definition). Also Wikidata Q5251579
History
- 2026-11-02: add by m2/dev
Summary statistics PG9RTCVFR1
| URI | m2://inv/PG9RTCVFR1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Summary statistics, Summary statistics (definition). Also Wikidata Q1370484
History
- 2026-11-02: add by m2/dev
Examples PG9S6N3ESG
| URI | m2://inv/PG9S6N3ESG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal function#JQQK, Examples (example)
History
- 2026-11-02: add by m2/dev
PG9YHF4287 PG9YHF4287
| URI | m2://inv/PG9YHF4287 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14045#HUY6 (statement). In KZ71GXT2B0/e1, lemma 2.33
History
- 2026-10-28: add by m2/v0.4.2
homomorphic sensing property PG9Z8KCKNS
| URI | m2://inv/PG9Z8KCKNS |
|---|---|
| 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 2006.05158#IBOT, homomorphic sensing property (definition). In 4VCW6SZQXK/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
PGA6GF46ZC PGA6GF46ZC
| URI | m2://inv/PGA6GF46ZC |
|---|---|
| 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.24412#MXVI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Augmented relative stability PGA6J6KWX0
| URI | m2://inv/PGA6J6KWX0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05312#1A3S, Augmented relative stability (statement). In 1CMMK399WQ/e1, proposition 7.1
History
- 2026-10-29: add by m2/v0.4.10
PGA79GKJYG PGA79GKJYG
| URI | m2://inv/PGA79GKJYG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#theorem-3 (statement). In E9HS8K3A52, theorem, section 7.3.1
History
- 2026-11-01: add by m2/v0.6.13
Adversarial examples PGABVYH57S
| URI | m2://inv/PGABVYH57S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adversarial machine learning#S9TK, Adversarial examples (unknown)
History
- 2026-11-02: add by m2/dev
PGAC1848AN PGAC1848AN
| URI | m2://inv/PGAC1848AN |
|---|---|
| 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.36313#ACXD (statement). In Z5SP3NW41S/e1, theorem 5.4
History
- 2026-10-30: add by m2/v0.4.12
PGAJ7D3785 PGAJ7D3785
| URI | m2://inv/PGAJ7D3785 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13629#NCTI (statement). In PQNYA0C510/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
Tame Kummer correspondences PGANGZ07HG
| URI | m2://inv/PGANGZ07HG |
|---|---|
| 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.35467#JJR3, Tame Kummer correspondences (statement). In FK89DQ9J4S/e1, lemma A.2
History
- 2026-10-30: add by m2/v0.4.12
Jaakko Hintikka PGANQCH8VX
| URI | m2://inv/PGANQCH8VX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jaakko Hintikka, Jaakko Hintikka (topic). Also Wikidata Q288756
History
- 2026-11-02: add by m2/dev
PGAQ2J79TP PGAQ2J79TP
| URI | m2://inv/PGAQ2J79TP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/fourier.tex#prop:orthonormal (statement). In RZP28ERRZV, proposition, section 59.2
History
- 2026-11-01: add by m2/v0.6.13
Ronald M. Foster PGAR6FM091
| URI | m2://inv/PGAR6FM091 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ronald M. Foster, Ronald M. Foster (topic). Also Wikidata Q2165697
History
- 2026-11-02: add by m2/dev
Fertility factor PGARFBZ6K2
| URI | m2://inv/PGARFBZ6K2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fertility factor (demography), Fertility factor (definition). Also Wikidata Q25210859
History
- 2026-11-02: add by m2/dev
Continuum function PGASYZ1JPS
| URI | m2://inv/PGASYZ1JPS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuum function, Continuum function (definition). Also Wikidata Q5165552
History
- 2026-11-02: add by m2/dev
PGBF2FHGQ9 PGBF2FHGQ9
| URI | m2://inv/PGBF2FHGQ9 |
|---|---|
| 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.14741#9AUY (statement). In RK1VPWWX9E/e1, corollary 4.7
History
- 2026-10-28: add by m2/v0.4.2
Van Kampen's theorem for fundamental groups PGBG88XKT2
| URI | m2://inv/PGBG88XKT2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seifert–Van Kampen theorem#60Y0, Van Kampen's theorem for fundamental groups (statement)
History
- 2026-11-02: add by m2/dev
Peter Shor PGBJ051AFC
| URI | m2://inv/PGBJ051AFC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Shor, Peter Shor (topic). Also Wikidata Q370071
History
- 2026-11-02: add by m2/dev
Restatement of Theorem 3.1 PGBNS3YNHD
| URI | m2://inv/PGBNS3YNHD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2604.23212#80LT, Restatement of Theorem 3.1 (statement). In 4X12V9RS0D/e1, proposition B.2
History
- 2026-10-27: add by m2/v0.3.5
Giulio Bisconcini PGBNT4BQVV
| URI | m2://inv/PGBNT4BQVV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giulio Bisconcini, Giulio Bisconcini (topic). Also Wikidata Q43463468
History
- 2026-11-02: add by m2/dev
Filling area conjecture PGBTCY4XDY
| URI | m2://inv/PGBTCY4XDY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pu's inequality#XXYB, Filling area conjecture (statement)
History
- 2026-11-02: add by m2/dev
PGC3ANJMF8 PGC3ANJMF8
| URI | m2://inv/PGC3ANJMF8 |
|---|---|
| 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.01561#03T2 (statement). In W4G7BCHYEW/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
PGC64Y8GF1 PGC64Y8GF1
| URI | m2://inv/PGC64Y8GF1 |
|---|---|
| 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 2510.12502#6WD7 (statement). In 3A4K47Y9F2/e1, lemma 2.45
History
- 2026-10-27: add by m2/v0.4.0
PGCBP672SA PGCBP672SA
| URI | m2://inv/PGCBP672SA |
|---|---|
| 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.24845#01KL (statement)
History
- 2026-11-01: add by m2/v0.6.15
first-order formula PGCEGRF29J
| URI | m2://inv/PGCEGRF29J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Model theory > first-order formula, first-order formula (unknown). Also Mathlib FirstOrder.Language.Formula
History
- 2026-10-26: add by m2/dev
PGCGVQXD13 PGCGVQXD13
| URI | m2://inv/PGCGVQXD13 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20675#4STD (statement)
History
- 2026-11-02: add by m2/v0.6.18
PGCKZJKKZE PGCKZJKKZE
| URI | m2://inv/PGCKZJKKZE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20368#2FFA (definition). In T8CDHW9MC1/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.4.2
\protect{Sperança PGCPJDT715
| URI | m2://inv/PGCPJDT715 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38126#T7HK, \protect{Sperança (statement). In QNVKW32G02/e1, theorem 5.1
History
- 2026-10-30: add by m2/v0.4.12
PGCQ7JHSFT PGCQ7JHSFT
| URI | m2://inv/PGCQ7JHSFT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10078#9T9T (statement). In YVGRZK1HRS/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
PGCQMNBXSG PGCQMNBXSG
| URI | m2://inv/PGCQMNBXSG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1912.02769#L97N (example). In JH7VQ2EC16/e1, example 4.4
History
- 2026-10-27: add by m2/v0.3.5
Cycle Normalization PGCSE91AY4
| URI | m2://inv/PGCSE91AY4 |
|---|---|
| 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#Z0FR, Cycle Normalization (statement)
History
- 2026-11-01: add by m2/v0.6.15
PGCWE55NJA PGCWE55NJA
| URI | m2://inv/PGCWE55NJA |
|---|---|
| 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.26452#85IG (statement)
History
- 2026-11-01: add by m2/v0.6.15
PGCYV533BJ PGCYV533BJ
| URI | m2://inv/PGCYV533BJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#S7CO (statement). In 13GSWBXPCM/e1, theorem A.3
History
- 2026-10-27: add by m2/v0.3.5
Erling Sverdrup PGD170SS46
| URI | m2://inv/PGD170SS46 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#BM9O, Erling Sverdrup (topic)
History
- 2026-11-02: add by m2/dev
Cayley transform PGD1W623JX
| URI | m2://inv/PGD1W623JX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Arthur Cayley#041G, Cayley transform (definition)
History
- 2026-11-02: add by m2/dev
PGDDC345BY PGDDC345BY
| URI | m2://inv/PGDDC345BY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07530#MZHP (statement). In C7QZ0VPBC8/e1, lemma A.7
History
- 2026-10-29: add by m2/v0.4.10
Algorithm PGDE9A4NE6
| URI | m2://inv/PGDE9A4NE6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Consensus based optimization#VFE7, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Carleson's theorem PGDGQKYAN5
| URI | m2://inv/PGDGQKYAN5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carleson's theorem, Carleson's theorem (statement). Also Wikidata Q5041174
History
- 2026-11-02: add by m2/dev
index PGDSDZ6Z28
| URI | m2://inv/PGDSDZ6Z28 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#JSNY, index (definition)
History
- 2026-11-02: add by m2/dev
Applications PGDYWFJ4S7
| URI | m2://inv/PGDYWFJ4S7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia United States census#4M1E, Applications (example)
History
- 2026-11-02: add by m2/dev
Alexandru Ghika PGE88755DZ
| URI | m2://inv/PGE88755DZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexandru Ghika, Alexandru Ghika (topic). Also Wikidata Q4721145
History
- 2026-11-02: add by m2/dev
PGE98EMAZE PGE98EMAZE
| URI | m2://inv/PGE98EMAZE |
|---|---|
| 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.15787#XQU1 (statement). In BPY9RM0VK7/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Wombling PGEC19WE33
| URI | m2://inv/PGEC19WE33 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wombling, Wombling (definition). Also Wikidata Q8030793
History
- 2026-11-02: add by m2/dev
PGECBTGKFS PGECBTGKFS
| URI | m2://inv/PGECBTGKFS |
|---|---|
| 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 2609.24917#A3N2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Guido Stampacchia PGEEME9ZR0
| URI | m2://inv/PGEEME9ZR0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#MBJH, Guido Stampacchia (topic)
History
- 2026-11-02: add by m2/dev
PGEF6W8HQ0 PGEF6W8HQ0
| URI | m2://inv/PGEF6W8HQ0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#XD7H (example). In HX63A1PH1W/e1, example 3.41
History
- 2026-10-28: add by m2/v0.4.3
A matrix representation formula for a nonzero projection operator PGEG8305E3
| URI | m2://inv/PGEG8305E3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projection (linear algebra)#X8OL, A matrix representation formula for a nonzero projection operator (statement)
History
- 2026-11-02: add by m2/dev
Statement PGEN1MC2NQ
| URI | m2://inv/PGEN1MC2NQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean value theorem#IZYT, Statement (statement)
History
- 2026-11-02: add by m2/dev
Crista Arangala PGENH6QG0A
| URI | m2://inv/PGENH6QG0A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crista Arangala, Crista Arangala (topic). Also Wikidata Q64148559
History
- 2026-11-02: add by m2/dev
PGEVHARQZR PGEVHARQZR
| URI | m2://inv/PGEVHARQZR |
|---|---|
| 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.28020#5L9X (statement)
History
- 2026-11-01: add by m2/v0.6.15
PGF8ER8V3R PGF8ER8V3R
| URI | m2://inv/PGF8ER8V3R |
|---|---|
| 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.38532#A5L8 (statement). In X7YYWCZFTV/e1, lemma 4.7
History
- 2026-10-30: add by m2/v0.4.12
Hardy–Ramanujan number PGFCCMYZ49
| URI | m2://inv/PGFCCMYZ49 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#DSVE, Hardy–Ramanujan number (definition)
History
- 2026-11-02: add by m2/dev
Fermat pseudoprime PGFCEXRB9J
| URI | m2://inv/PGFCEXRB9J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermat pseudoprime, Fermat pseudoprime (definition). Also Wikidata Q1406394
History
- 2026-11-02: add by m2/dev
Signature of a knot PGFEGFJKJA
| URI | m2://inv/PGFEGFJKJA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#7GH9, Signature of a knot (unknown)
History
- 2026-11-02: add by m2/dev
Carmen A. Miró PGFGP2JCZP
| URI | m2://inv/PGFGP2JCZP |
|---|---|
| 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#VRGM, Carmen A. Miró (unknown)
History
- 2026-11-02: add by m2/dev
PGFGYM5F0B PGFGYM5F0B
| URI | m2://inv/PGFGYM5F0B |
|---|---|
| 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.09001#9SEP (statement). In HJC1JJZRSH/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
PGFH3FHTMS PGFH3FHTMS
| URI | m2://inv/PGFH3FHTMS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11082#2YFR (statement). In GFPFFN0BXV/e1, lemma 27
History
- 2026-10-28: add by m2/v0.4.3
Example PGFN6D06DQ
| URI | m2://inv/PGFN6D06DQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exact differential equation#O918, Example (example)
History
- 2026-11-02: add by m2/dev
Steven Orszag PGFSGG4RD1
| URI | m2://inv/PGFSGG4RD1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#AS77, Steven Orszag (unknown)
History
- 2026-11-02: add by m2/dev
Multifunctor PGFV36MYWY
| URI | m2://inv/PGFV36MYWY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functor#BT6Z, Multifunctor (unknown)
History
- 2026-11-02: add by m2/dev
A small penalty residual has a feasible KKT witness PGFWJS92A3
| URI | m2://inv/PGFWJS92A3 |
|---|---|
| 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.34099#8DOZ, A small penalty residual has a feasible KKT witness (statement). In 4X2SAM9HR2/e1, lemma 8
History
- 2026-10-30: add by m2/v0.4.12
Examples PGG1B80J81
| URI | m2://inv/PGG1B80J81 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia False dilemma#QIBZ, Examples (example)
History
- 2026-11-02: add by m2/dev
PGG2NV95G2 PGG2NV95G2
| URI | m2://inv/PGG2NV95G2 |
|---|---|
| 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.17408#UMIF (statement). In QR8H4M1X4N/e1, lemma 3.15
History
- 2026-10-28: add by m2/v0.4.2
Jacques-Louis Lions PGGM0GDET1
| URI | m2://inv/PGGM0GDET1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacques-Louis Lions, Jacques-Louis Lions (topic). Also Wikidata Q982534
History
- 2026-11-02: add by m2/dev
Subspace theorem PGGSP5H1DS
| URI | m2://inv/PGGSP5H1DS |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7632041, Subspace theorem (statement). Also Wikidata Q7632041
- thousand_plus: thousand_plus Q7632041, Subspace theorem (statement). Also Wikidata Q7632041, Wikipedia Subspace theorem
- wikipedia: Wikipedia Subspace theorem, Subspace theorem (statement). Also Wikidata Q7632041
History
- 2026-10-26: add by m2/dev
Definition. PGGVNDBXT7
| URI | m2://inv/PGGVNDBXT7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological rigidity#5DA6, Definition. (definition)
History
- 2026-11-02: add by m2/dev
Splitting for objectwise Dold--Kan targets PGH0YBG4KC
| URI | m2://inv/PGH0YBG4KC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03865#PRUQ, Splitting for objectwise Dold--Kan targets (statement). In G3D1YR20BJ/e1, proposition 4.7
History
- 2026-10-29: add by m2/v0.4.12
Basic properties PGH2J9NWJ4
| URI | m2://inv/PGH2J9NWJ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Caccioppoli set#QUEY, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
PGH7FS7SJP PGH7FS7SJP
| URI | m2://inv/PGH7FS7SJP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#D2XI (statement). In E7W2HDNEKJ/e1, theorem 6.11
History
- 2026-10-30: add by m2/v0.4.12
Data Desk PGH7H810PZ
| URI | m2://inv/PGH7H810PZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data Desk, Data Desk (definition). Also Wikidata Q5227156
History
- 2026-11-02: add by m2/dev
Higher moments explode in the extraspecial case PGHAHGDPP6
| URI | m2://inv/PGHAHGDPP6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#7YGM, Higher moments explode in the extraspecial case (statement). In QPJ6FWG5HD/e1, proposition 2.57
History
- 2026-10-29: add by m2/v0.4.12
Weak formulation PGHCJY2GHT
| URI | m2://inv/PGHCJY2GHT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#0VLX, Weak formulation (definition)
History
- 2026-11-02: add by m2/dev
PGHJASHNAN PGHJASHNAN
| URI | m2://inv/PGHJASHNAN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27200#4U3V (statement)
History
- 2026-11-01: add by m2/v0.6.15
Li Ye PGHK7G2R2F
| URI | m2://inv/PGHK7G2R2F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#52N6, Li Ye (topic)
History
- 2026-11-02: add by m2/dev
Heaviside step function PGHVYFC6NG
| URI | m2://inv/PGHVYFC6NG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Laplace transforms#ZXRJ, Heaviside step function (definition)
History
- 2026-11-02: add by m2/dev
Kepler refractor PGHYQE4XV9
| URI | m2://inv/PGHYQE4XV9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Johannes Kepler#VR1V, Kepler refractor (unknown)
History
- 2026-11-02: add by m2/dev
Ruelle--Perron--Frobenius PGJ2W6KVV4
| URI | m2://inv/PGJ2W6KVV4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17276#DTDR, Ruelle--Perron--Frobenius (statement). In GG14QF0JKJ/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
PGJ4NF5G7R PGJ4NF5G7R
| URI | m2://inv/PGJ4NF5G7R |
|---|---|
| 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 2112.05010#AER1 (statement). In 4SZNPS3Z00/e1, lemma I.5
History
- 2026-10-27: add by m2/v0.3.6
PGJ964JZD7 PGJ964JZD7
| URI | m2://inv/PGJ964JZD7 |
|---|---|
| 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#6W9K (statement). In F3X5W4E0AJ/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
PGJ9X7H7PW PGJ9X7H7PW
| URI | m2://inv/PGJ9X7H7PW |
|---|---|
| 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.32860#842A (statement). In H71AJ341B3/e1, proposition 4.2
History
- 2026-10-31: add by m2/v0.5.6
Frederick Rowbottom PGJBQV3BWZ
| URI | m2://inv/PGJBQV3BWZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#8A46, Frederick Rowbottom (topic)
History
- 2026-11-02: add by m2/dev
PGJCDM5EH9 PGJCDM5EH9
| URI | m2://inv/PGJCDM5EH9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09704#FB16 (definition). In FNG4B47MRV/e1, definition 6.7
History
- 2026-10-29: add by m2/v0.4.10
PGJFJTZ734 PGJFJTZ734
| URI | m2://inv/PGJFJTZ734 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28011#BZGC (statement)
History
- 2026-11-01: add by m2/v0.6.15
PGJKYFYJSX PGJKYFYJSX
| URI | m2://inv/PGJKYFYJSX |
|---|---|
| Kind | definition |
| 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 2309.17091#BCVI (definition). In N0JJM098W2/e1, definition 3
History
- 2026-10-27: add by m2/v0.4.0
Definition PGJM8BJ5DB
| URI | m2://inv/PGJM8BJ5DB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonical form#HFDM, Definition (definition)
History
- 2026-11-02: add by m2/dev
Herbert Spohn PGJXZW8TV5
| URI | m2://inv/PGJXZW8TV5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QY18, Herbert Spohn (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TFH0, Herbert Spohn (unknown)
- wikipedia: Wikipedia List of German mathematicians#RWPC, Herbert Spohn (unknown)
History
- 2026-11-02: add by m2/dev
Finite inequalities PGK7A9VG2D
| URI | m2://inv/PGK7A9VG2D |
|---|---|
| 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.01071#CG5R, Finite inequalities (statement). In X1YF62ZFB6/e1, proposition 17
History
- 2026-10-29: add by m2/v0.4.12
Sokhotski–Plemelj theorem PGKC44344J
| URI | m2://inv/PGKC44344J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#94LX, Sokhotski–Plemelj theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples PGKE4DQ3G6
| URI | m2://inv/PGKE4DQ3G6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Granville number#04FY, Examples (example)
History
- 2026-11-02: add by m2/dev
Infinite divisibility PGKG8D5FVZ
| URI | m2://inv/PGKG8D5FVZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite divisibility, Infinite divisibility (definition). Also Wikidata Q4085623
History
- 2026-11-02: add by m2/dev
Hitting set problem PGKTJZ32DW
| URI | m2://inv/PGKTJZ32DW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set cover problem#QIVR, Hitting set problem (unknown)
History
- 2026-11-02: add by m2/dev
PGM7X69QM0 PGM7X69QM0
| URI | m2://inv/PGM7X69QM0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#BHXH (statement). In X765ZXXVC3/e1, corollary 6.14
History
- 2026-10-29: add by m2/v0.4.12
Band PGMFR3MCBC
| URI | m2://inv/PGMFR3MCBC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Band (order theory), Band (definition). Also Wikidata Q96373053
History
- 2026-11-02: add by m2/dev
Christopher Monroe PGMS0WH7YY
| URI | m2://inv/PGMS0WH7YY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2PRB, Christopher Monroe (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations PGMVNZ97PF
| URI | m2://inv/PGMVNZ97PF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Freiman's theorem#IZL0, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
PGMY3DRT2T PGMY3DRT2T
| URI | m2://inv/PGMY3DRT2T |
|---|---|
| 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.25973#20EG (statement)
History
- 2026-11-01: add by m2/v0.6.15
PGN3071DZ0 PGN3071DZ0
| URI | m2://inv/PGN3071DZ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19171#I661 (statement). In SJWP1EE3T8/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Reneé H. Moore PGN6FAY45Z
| URI | m2://inv/PGN6FAY45Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#ZY6B, Reneé H. Moore (topic)
History
- 2026-11-02: add by m2/dev
cubic metre PGN7DASHM0
| URI | m2://inv/PGN7DASHM0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25517, cubic metre (definition). Also ProofWiki Definition:Metre/Cubic_Metre
History
- 2026-10-26: add by m2/dev
Fibred rigidity PGNA18Z005
| URI | m2://inv/PGNA18Z005 |
|---|---|
| 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.29839#VZRD, Fibred rigidity (statement)
History
- 2026-11-01: add by m2/v0.6.15
Blossom (functional) PGNA8N5M6Z
| URI | m2://inv/PGNA8N5M6Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#HLHJ, Blossom (functional) (definition)
History
- 2026-11-02: add by m2/dev
PGPM7Y33FF PGPM7Y33FF
| URI | m2://inv/PGPM7Y33FF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26410#BJBL (statement)
History
- 2026-11-01: add by m2/v0.6.15
PGPRXWN33K PGPRXWN33K
| URI | m2://inv/PGPRXWN33K |
|---|---|
| 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 1905.00573#7X3E (statement). In 74RNQVBM2G/e1, corollary 3.7
History
- 2026-10-27: add by m2/v0.3.5
Recency illusion PGPYHRDC2K
| URI | m2://inv/PGPYHRDC2K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#1VKM, Recency illusion (unknown)
History
- 2026-11-02: add by m2/dev
Stability in probability PGQ0RV1VTP
| URI | m2://inv/PGQ0RV1VTP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10949#M3F9, Stability in probability (definition). In ANP2XNAH91/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.3
PGQ4Z4BYS6 PGQ4Z4BYS6
| URI | m2://inv/PGQ4Z4BYS6 |
|---|---|
| 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#WM48 (statement). In KEP21CZFV9/e1, lemma #1
History
- 2026-10-31: add by m2/v0.5.6
real numbers PGQ7AW03JN
| URI | m2://inv/PGQ7AW03JN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B/real-numbers, real numbers (concept). In N54F33XE07, index, section B
History
- 2026-11-01: add by m2/v0.6.13
PGQ85MFWFP PGQ85MFWFP
| URI | m2://inv/PGQ85MFWFP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06541#8HZM (statement). In R604B78EVK/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.10
WPA3 PGQHJB365X
| URI | m2://inv/PGQHJB365X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wi-Fi Protected Access#4147, WPA3 (unknown)
History
- 2026-11-02: add by m2/dev
Siegel parabolic subgroup PGQK1FHT91
| URI | m2://inv/PGQK1FHT91 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Siegel parabolic subgroup, Siegel parabolic subgroup (definition). Also Wikidata Q7510569
History
- 2026-11-02: add by m2/dev
PGQMCGTZNS PGQMCGTZNS
| URI | m2://inv/PGQMCGTZNS |
|---|---|
| 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.36827#CCTO (statement). In VSHAQTB2CA/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
PGQMKVB84R PGQMKVB84R
| URI | m2://inv/PGQMKVB84R |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26701#5BF9 (problem)
History
- 2026-11-01: add by m2/v0.6.15
Applications PGQNEXTF3W
| URI | m2://inv/PGQNEXTF3W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double graph#0HDK, Applications (example)
History
- 2026-11-02: add by m2/dev
PGQSVGYWV4 PGQSVGYWV4
| URI | m2://inv/PGQSVGYWV4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9802134#163A (statement). In 235B1J1ETB/e1, lemma 1.7
History
- 2026-10-27: add by m2/v0.3.5
Fundamenta nova theoriae functionum ellipticarum PGQVM1BG17
| URI | m2://inv/PGQVM1BG17 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamenta nova theoriae functionum ellipticarum, Fundamenta nova theoriae functionum ellipticarum (definition). Also Wikidata Q5508930
History
- 2026-11-02: add by m2/dev
PGQYN6Y3BF PGQYN6Y3BF
| URI | m2://inv/PGQYN6Y3BF |
|---|---|
| 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 1003.2117#767S (statement). In H4D4RFNH2V/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
PGR1VPHXH1 PGR1VPHXH1
| URI | m2://inv/PGR1VPHXH1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13833#GEA8 (statement). In VD4JP4HVBX/e1, theorem 9.1
History
- 2026-10-28: add by m2/v0.4.2
Kernel ridge regression PGR3AX9GYZ
| URI | m2://inv/PGR3AX9GYZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2604.23212#FXVI, Kernel ridge regression (example). In 4X12V9RS0D/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
nuclear reaction PGRABP71ZE
| URI | m2://inv/PGRABP71ZE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q238323, nuclear reaction (unknown). Also nLab nuclear reaction
History
- 2026-10-26: add by m2/dev
Carleman's condition PGRB5R1J9Z
| URI | m2://inv/PGRB5R1J9Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carleman's condition#3581, Carleman's condition (statement)
History
- 2026-11-02: add by m2/dev
Properties PGRBDEDVNZ
| URI | m2://inv/PGRBDEDVNZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holomorphic function#8FIV, Properties (statement)
History
- 2026-11-02: add by m2/dev
$n$-truncated smooth stack PGRHCC8NPB
| URI | m2://inv/PGRHCC8NPB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03865#SK7D, $n$-truncated smooth stack (definition). In G3D1YR20BJ/e1, definition A.13
History
- 2026-10-29: add by m2/v0.4.12
Properties PGRHR8FXK6
| URI | m2://inv/PGRHR8FXK6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized least squares#I6F5, Properties (statement)
History
- 2026-11-02: add by m2/dev
PGRKJJRZA4 PGRKJJRZA4
| URI | m2://inv/PGRKJJRZA4 |
|---|---|
| Kind | example |
| 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 2610.19333#2Z7X (example). In 5Y3HF693YB/e1, example 2.8
History
- 2026-10-28: add by m2/v0.4.2
Roger W. Brockett PGRPE4JQ00
| URI | m2://inv/PGRPE4JQ00 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MIRA, Roger W. Brockett (unknown)
History
- 2026-11-02: add by m2/dev
Gusztáv Rados PGRQZ6VQ8R
| URI | m2://inv/PGRQZ6VQ8R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#G8N7, Gusztáv Rados (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZWUI, Gusztáv Rados (unknown)
History
- 2026-11-02: add by m2/dev
Dyadic space PGRWCG5Z4X
| URI | m2://inv/PGRWCG5Z4X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dyadic space, Dyadic space (definition). Also Wikidata Q18388824
History
- 2026-11-02: add by m2/dev
division conjecture PGRWKGVV8X
| URI | m2://inv/PGRWKGVV8X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#AKFN, division conjecture (definition)
History
- 2026-11-02: add by m2/dev
Semicentral bigroupoid PGS7H5H7KG
| URI | m2://inv/PGS7H5H7KG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reversible cellular automaton#5P83, Semicentral bigroupoid (unknown)
History
- 2026-11-02: add by m2/dev
PGSAWYJYCM PGSAWYJYCM
| URI | m2://inv/PGSAWYJYCM |
|---|---|
| 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#BHPM (statement)
History
- 2026-11-02: add by m2/v0.6.18
List of United States regional mathematics competitions PGSBSSTJAY
| URI | m2://inv/PGSBSSTJAY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of United States regional mathematics competitions, List of United States regional mathematics competitions (topic). Also Wikidata Q6602917
History
- 2026-11-02: add by m2/dev
Joel C. Kleinman PGSDS3SMH3
| URI | m2://inv/PGSDS3SMH3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#PNAA, Joel C. Kleinman (topic)
History
- 2026-11-02: add by m2/dev
PGSMMZRMDN PGSMMZRMDN
| URI | m2://inv/PGSMMZRMDN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04993#M7KQ (statement). In JQBWZPXKAV/e1, proposition 5.6
History
- 2026-10-29: add by m2/v0.4.12
Theorem of the three geodesics PGT3WEY4RJ
| URI | m2://inv/PGT3WEY4RJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theorem of the three geodesics, Theorem of the three geodesics (statement). Also Wikidata Q25143636
History
- 2026-11-02: add by m2/dev
PGT6JH42Z9 PGT6JH42Z9
| URI | m2://inv/PGT6JH42Z9 |
|---|---|
| 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.11395#DAYU (statement). In T3W7SMWQ73/e1, lemma 15
History
- 2026-10-28: add by m2/v0.4.3
PGTE17NM96 PGTE17NM96
| URI | m2://inv/PGTE17NM96 |
|---|---|
| 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.39103#2U5A (statement). In VGB0N93ES8/e1, lemma 11
History
- 2026-10-30: add by m2/v0.4.12
PGTG5AWE2Z PGTG5AWE2Z
| URI | m2://inv/PGTG5AWE2Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09544#3D68 (statement). In DYBM6Q2K6R/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.10
Symmetric Pareto distribution PGTG88ZWRT
| URI | m2://inv/PGTG88ZWRT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pareto distribution#RH3R, Symmetric Pareto distribution (unknown)
History
- 2026-11-02: add by m2/dev
the middle links PGTK147FS5
| URI | m2://inv/PGTK147FS5 |
|---|---|
| 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.20775#ZGON, the middle links (statement). In XG27B81T0G/e1, corollary 5.8
History
- 2026-10-27: add by m2/v0.4.2
Stability of the state law PGTWKV47Y4
| URI | m2://inv/PGTWKV47Y4 |
|---|---|
| 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.11619#7MT5, Stability of the state law (statement). In HT2K76Y9WS/e1, lemma B.2
History
- 2026-10-28: add by m2/v0.4.3
PGTYY8GNZP PGTYY8GNZP
| URI | m2://inv/PGTYY8GNZP |
|---|---|
| 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#0N02 (statement). In N3Z6JFEPCF/e1, theorem 3.9
History
- 2026-10-27: add by m2/v0.4.2
PGV183R5G1 PGV183R5G1
| URI | m2://inv/PGV183R5G1 |
|---|---|
| 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.23779#OH5P (statement)
History
- 2026-11-02: add by m2/v0.6.17
Carlos Tschudi Simpson PGV4CRGEXE
| URI | m2://inv/PGV4CRGEXE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#4SFG, Carlos Tschudi Simpson (unknown)
History
- 2026-11-02: add by m2/dev
Bhargav Bhatt PGV81197WF
| URI | m2://inv/PGV81197WF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bhargav Bhatt (mathematician), Bhargav Bhatt (topic). Also Wikidata Q99238382
History
- 2026-11-02: add by m2/dev
Range restriction PGVDFZ8850
| URI | m2://inv/PGVDFZ8850 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical conclusion validity#CXKC, Range restriction (unknown)
History
- 2026-11-02: add by m2/dev
PGVF1WV86M PGVF1WV86M
| URI | m2://inv/PGVF1WV86M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.13891#9W3H (definition). In TC91C5DGTG/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
PGVFC3XZ40 PGVFC3XZ40
| URI | m2://inv/PGVFC3XZ40 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32535#7IN4 (definition). In WF27F8CKD2/e1, definition 1.1
History
- 2026-10-31: add by m2/v0.5.6
Polarity (projective geometry) PGVKZ4YBZF
| URI | m2://inv/PGVKZ4YBZF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Duality (projective geometry)#BPWE, Polarity (projective geometry) (unknown)
History
- 2026-11-02: add by m2/dev
PGVM8CT29K PGVM8CT29K
| URI | m2://inv/PGVM8CT29K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#LZMK (statement). In JWNYJVH8XG/e1, corollary 2.36
History
- 2026-10-29: add by m2/v0.4.10
100-year flood PGVPPD2187
| URI | m2://inv/PGVPPD2187 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GF5X, 100-year flood (definition)
History
- 2026-11-02: add by m2/dev
PGVYX3622Y PGVYX3622Y
| URI | m2://inv/PGVYX3622Y |
|---|---|
| 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.39505#WCQV (statement). In WAXS6FS388/e1, proposition 2.3
History
- 2026-10-30: add by m2/v0.4.12
PGW44HDPZY PGW44HDPZY
| URI | m2://inv/PGW44HDPZY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.19528#PC2N (statement). In EM5955MDHN/e1, proposition 2.7
History
- 2026-10-27: add by m2/v0.3.5
PGW5V0ECSK PGW5V0ECSK
| URI | m2://inv/PGW5V0ECSK |
|---|---|
| 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#KDAR (statement). In 3TA3P3CWSJ/e1, proposition 2.2
History
- 2026-10-30: add by m2/v0.4.12
PGWAW3E4JZ PGWAW3E4JZ
| URI | m2://inv/PGWAW3E4JZ |
|---|---|
| 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.20909#30QG (statement). In 7ZBX5WVEZP/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.2
Cavalieri's quadrature formula PGWJXK3QFF
| URI | m2://inv/PGWJXK3QFF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#3SKY, Cavalieri's quadrature formula (statement)
History
- 2026-11-02: add by m2/dev
Different information, different solutions PGWR3ZBG4Z
| URI | m2://inv/PGWR3ZBG4Z |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18180#7N10, Different information, different solutions (example). In NJGS7D1EPH/e1, example 3.4
History
- 2026-10-28: add by m2/v0.4.2
Sinuosity PGWS6J72BD
| URI | m2://inv/PGWS6J72BD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sinuosity, Sinuosity (definition). Also Wikidata Q3485066
History
- 2026-11-02: add by m2/dev
Bates distribution PGWW4W4XCD
| URI | m2://inv/PGWW4W4XCD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bates distribution, Bates distribution (definition). Also Wikidata Q3258154
History
- 2026-11-02: add by m2/dev
PGWYRWV9F1 PGWYRWV9F1
| URI | m2://inv/PGWYRWV9F1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.23797#SK11 (definition). In PZCA01JXVR/e1, definition 7.7
History
- 2026-10-27: add by m2/v0.3.5
propositional, resizing PGX1T2RH0E
| URI | m2://inv/PGX1T2RH0E |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.5/propositional-resizing, propositional, resizing (concept). In N54F33XE07, index, section C.5
History
- 2026-11-01: add by m2/v0.6.13
Ray Kunze PGX5RAXR5B
| URI | m2://inv/PGX5RAXR5B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ray Kunze, Ray Kunze (topic). Also Wikidata Q15433445
History
- 2026-11-02: add by m2/dev
Definition PGX8AVZJ00
| URI | m2://inv/PGX8AVZJ00 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Structural cut-off#NAPW, Definition (definition)
History
- 2026-11-02: add by m2/dev
PGXCTHN3PV PGXCTHN3PV
| URI | m2://inv/PGXCTHN3PV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1808.00180#L6H1 (statement). In XDYCG8DVHE/e1, corollary 6.1
History
- 2026-10-27: add by m2/v0.3.5
Structural Connectivity, Sprenger and Dam PGXWQP6FH9
| URI | m2://inv/PGXWQP6FH9 |
|---|---|
| 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 2609.26337#ZR5Z, Structural Connectivity, Sprenger and Dam (definition)
History
- 2026-11-01: add by m2/v0.6.15
Elongated pentagonal pyramid PGXYM3RAE7
| URI | m2://inv/PGXYM3RAE7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#ACU0, Elongated pentagonal pyramid (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#32AD, Elongated pentagonal pyramid (definition)
History
- 2026-11-02: add by m2/dev
Orders of magnitude PGY0QM0VFA
| URI | m2://inv/PGY0QM0VFA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (length), Orders of magnitude (definition). Also Wikidata Q855630
History
- 2026-11-02: add by m2/dev
PGY551CSH2 PGY551CSH2
| URI | m2://inv/PGY551CSH2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29107#ADO8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
PGY6186H97 PGY6186H97
| URI | m2://inv/PGY6186H97 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05696#H74R (statement). In MG81A9XJTQ/e1, lemma III.3
History
- 2026-10-29: add by m2/v0.4.10
Implementation PGY84YM7YB
| URI | m2://inv/PGY84YM7YB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simplex algorithm#L1CF, Implementation (definition)
History
- 2026-11-02: add by m2/dev
PGY94CAR2S PGY94CAR2S
| URI | m2://inv/PGY94CAR2S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_rubots.ptx#l_half-binomial (statement). In QKM9DD2H56, lemma, section 9.7
History
- 2026-11-01: add by m2/v0.6.13
PGYBH4668J PGYBH4668J
| URI | m2://inv/PGYBH4668J |
|---|---|
| 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 2510.12502#40CF (statement). In 3A4K47Y9F2/e1, theorem 5.9
History
- 2026-10-27: add by m2/v0.4.0
PGYEBDXGVK PGYEBDXGVK
| URI | m2://inv/PGYEBDXGVK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2412.14956#GKIX (statement). In T8BQ6HHZYT/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.3.5
Standard error of the mean PGYNMXGS1F
| URI | m2://inv/PGYNMXGS1F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard error#W7CB, Standard error of the mean (unknown)
History
- 2026-11-02: add by m2/dev
Hard Lefschetz decomposition PGYRGQDTKV
| URI | m2://inv/PGYRGQDTKV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kähler identities#2DZA, Hard Lefschetz decomposition (statement)
History
- 2026-11-02: add by m2/dev
PGYRQ0GAA0 PGYRQ0GAA0
| URI | m2://inv/PGYRQ0GAA0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#LC0E (statement). In A1GWWGRXPA/e1, proposition 6.18
History
- 2026-10-27: add by m2/v0.4.2
PGYWJN4M2G PGYWJN4M2G
| URI | m2://inv/PGYWJN4M2G |
|---|---|
| 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.21981#VOX4 (definition). In H3M2QSKN43/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.4.2
Lidskii inequality PGZ1CHBQ61
| URI | m2://inv/PGZ1CHBQ61 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Min-max theorem#ZGIP, Lidskii inequality (statement)
History
- 2026-11-02: add by m2/dev
V-statistic PGZ3G5BVJ5
| URI | m2://inv/PGZ3G5BVJ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#R20H, V-statistic (definition)
History
- 2026-11-02: add by m2/dev
PGZB8NYKAG PGZB8NYKAG
| URI | m2://inv/PGZB8NYKAG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#FNEF (statement)
History
- 2026-11-02: add by m2/v0.6.17
PGZEZJ46R6 PGZEZJ46R6
| URI | m2://inv/PGZEZJ46R6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2604.23212#JE4P (statement). In 4X12V9RS0D/e1, proposition J.1
History
- 2026-10-27: add by m2/v0.3.5
472 (number) PGZK87ECWS
| URI | m2://inv/PGZK87ECWS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#039I, 472 (number) (unknown)
History
- 2026-11-02: add by m2/dev
PGZM9VG3PJ PGZM9VG3PJ
| URI | m2://inv/PGZM9VG3PJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15720#MZZ3 (statement). In VNN52G3BRE/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
PGZSYBM2PB PGZSYBM2PB
| URI | m2://inv/PGZSYBM2PB |
|---|---|
| Kind | problem |
| 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.06340#T3WV (problem). In PKNZPECH82/e1, problem 11.7
History
- 2026-10-29: add by m2/v0.4.10
standard Borel space PGZTY1XE11
| URI | m2://inv/PGZTY1XE11 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Standard Borel space ABEFWF4JHH |
Mentions
- wikidata: Wikidata Q25378068, standard Borel space (unknown). Also EoM Standard_Borel_space, Mathlib StandardBorelSpace, MathWorld StandardSpace
- wikipedia: Wikipedia Standard Borel space, Standard Borel space (definition). Also Wikidata Q25378068
History
- 2026-10-26: add by m2/dev