Inventory rows PS
The cards of the rows of the inventory whose ids start with PS. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
PS00KNT801 PS00KNT801
| URI | m2://inv/PS00KNT801 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 11-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.16605#H7JX (problem). In KZ175036B5/e1, problem 2.1
History
- 2026-10-28: add by m2/v0.4.2
PS052NNA7S PS052NNA7S
| URI | m2://inv/PS052NNA7S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#D8HK (statement). In CY1FE8W1ZW/e1, corollary 0.2
History
- 2026-10-27: add by m2/v0.4.0
Discrete existence, uniqueness and optimality PS069029WW
| URI | m2://inv/PS069029WW |
|---|---|
| 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.05313#O507, Discrete existence, uniqueness and optimality (statement). In 8XPN1A2GR0/e1, lemma 5.10
History
- 2026-10-29: add by m2/v0.4.10
Autocorrelation representation PS09GVC2GT
| URI | m2://inv/PS09GVC2GT |
|---|---|
| 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.16351#6CO4, Autocorrelation representation (statement). In 1QSV7EQE3T/e1, lemma S20
History
- 2026-10-28: add by m2/v0.4.2
Definition PS0BWVCWMY
| URI | m2://inv/PS0BWVCWMY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Néron–Severi group#IVWO, Definition (definition)
History
- 2026-11-02: add by m2/dev
PS0DA18GPB PS0DA18GPB
| URI | m2://inv/PS0DA18GPB |
|---|---|
| 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 2305.13184#796W (statement). In SKYG9GMA96/e1, lemma C.1
History
- 2026-10-27: add by m2/v0.3.6
PS0DB9XASP PS0DB9XASP
| URI | m2://inv/PS0DB9XASP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_basics_exercises.ptx#exercise-1 (exercise). In QKM9DD2H56, exercise, section 4
History
- 2026-11-01: add by m2/v0.6.13
removable singularity PS0E79MM4G
| URI | m2://inv/PS0E79MM4G |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/B/removable-singularity, removable singularity (concept). In VNMV985MXX, index, section B
History
- 2026-11-01: add by m2/v0.6.13
Ludwig Bieberbach PS0JMT1AJM
| URI | m2://inv/PS0JMT1AJM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#HYM8, Ludwig Bieberbach (topic)
History
- 2026-11-02: add by m2/dev
The socle through the aliases PS0R20SERC
| URI | m2://inv/PS0R20SERC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31689#VHQO, The socle through the aliases (statement). In Z7M2JSF6HA/e1, proposition 8.8
History
- 2026-10-31: add by m2/v0.5.6
PS0VS29YNF PS0VS29YNF
| URI | m2://inv/PS0VS29YNF |
|---|---|
| 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#OWYJ (statement). In 4SZNPS3Z00/e1, lemma B.6
History
- 2026-10-27: add by m2/v0.3.6
Small icosihemidodecahedron PS0WNS9N59
| URI | m2://inv/PS0WNS9N59 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#OKSV, Small icosihemidodecahedron (object)
History
- 2026-11-02: add by m2/dev
PS1472GT25 PS1472GT25
| URI | m2://inv/PS1472GT25 |
|---|---|
| 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 2609.21116#7VET (definition)
History
- 2026-11-02: add by m2/v0.6.18
Chebyshev iteration PS1D6W5YNG
| URI | m2://inv/PS1D6W5YNG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Chebyshev iteration PE5H892XVS |
Mentions
- wikidata: Wikidata Q2457511, Chebyshev iteration (concept). Also MathWorld ChebyshevIteration
- wikipedia: Wikipedia Chebyshev iteration, Chebyshev iteration (definition). Also Wikidata Q2457511
History
- 2026-10-26: add by m2/dev
PS1K2BM9QN PS1K2BM9QN
| URI | m2://inv/PS1K2BM9QN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-recurrence.ptx#exercise-5 (exercise). In Y91XFCEVHQ, exercise, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
Counting on Frameworks PS1W3943VB
| URI | m2://inv/PS1W3943VB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Counting on Frameworks, Counting on Frameworks (definition). Also Wikidata Q105123854
History
- 2026-11-02: add by m2/dev
proper divisor PS28FE0C78
| URI | m2://inv/PS28FE0C78 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3032319, proper divisor (unknown). Also MathWorld ProperDivisor
History
- 2026-10-26: add by m2/dev
PS2CWTTDJG PS2CWTTDJG
| URI | m2://inv/PS2CWTTDJG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/theories-computability/interpretability.tex#cor-2 (statement). In PKGMM3P5QY, cor, section 30.11
History
- 2026-11-01: add by m2/v0.6.13
Maze PS2F2859NX
| URI | m2://inv/PS2F2859NX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graph theory topics#FXYS, Maze (unknown)
History
- 2026-11-02: add by m2/dev
Examples PS2FYCT8E5
| URI | m2://inv/PS2FYCT8E5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neighbourhood (mathematics)#4GWX, Examples (example)
History
- 2026-11-02: add by m2/dev
Gibbs paradox PS2HH4TJPA
| URI | m2://inv/PS2HH4TJPA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gibbs paradox, Gibbs paradox (statement). Also Wikidata Q691387
History
- 2026-11-02: add by m2/dev
PS2KKKNWQK PS2KKKNWQK
| URI | m2://inv/PS2KKKNWQK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-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.14060#HD3J (statement). In X47RYAZF8P/e1, lemma 8.10
History
- 2026-10-28: add by m2/v0.4.2
Euler's Method PS2PP07BKK
| URI | m2://inv/PS2PP07BKK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/7.3.2/euler-s-method, Euler's Method (concept). In 907G4C4EJ1, index, section 7.3.2
History
- 2026-11-01: add by m2/v0.6.13
PS2Q8WVE9W PS2Q8WVE9W
| URI | m2://inv/PS2Q8WVE9W |
|---|---|
| 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.23238#FYAF (statement)
History
- 2026-11-02: add by m2/v0.6.17
Riemann–Silberstein vector PS34DRNRB5
| URI | m2://inv/PS34DRNRB5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#SOMV, Riemann–Silberstein vector (definition)
History
- 2026-11-02: add by m2/dev
PS378RFF6C PS378RFF6C
| URI | m2://inv/PS378RFF6C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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.22642#KA5V (statement)
History
- 2026-11-02: add by m2/v0.6.17
Sieve G PS37HY7ZPJ
| URI | m2://inv/PS37HY7ZPJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16962#J9HU, Sieve G (statement). In KJC9FRS3C2/e1, theorem 10.5
History
- 2026-10-28: add by m2/v0.4.2
PS3F6W1E9V PS3F6W1E9V
| URI | m2://inv/PS3F6W1E9V |
|---|---|
| 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.10819#BOP4 (statement). In M96CSJBYGW/e1, proposition 4
History
- 2026-10-28: add by m2/v0.4.3
PS3GCQAW3Z PS3GCQAW3Z
| URI | m2://inv/PS3GCQAW3Z |
|---|---|
| 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.04772#5MB4 (statement). In WW08CYN4D4/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.12
vector PS3MH0QB2Z
| URI | m2://inv/PS3MH0QB2Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#NWZD, vector (definition)
History
- 2026-11-02: add by m2/dev
Christopher Beem PS3S9PGT7A
| URI | m2://inv/PS3S9PGT7A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q87336264, Christopher Beem (unknown). Also nLab Christopher Beem
History
- 2026-10-26: add by m2/dev
PS3X7CR2J5 PS3X7CR2J5
| URI | m2://inv/PS3X7CR2J5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22002#116M (statement). In JTND2BM263/e1, fact 4.2
History
- 2026-10-27: add by m2/v0.4.2
PS3YAPTC35 PS3YAPTC35
| URI | m2://inv/PS3YAPTC35 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#problem-8 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
Definition PS4GRM4N9E
| URI | m2://inv/PS4GRM4N9E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seminorm#434B, Definition (definition)
History
- 2026-11-02: add by m2/dev
Censored policy lower bound with integer counts PS4KSG2QG0
| URI | m2://inv/PS4KSG2QG0 |
|---|---|
| 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.37380#7HYR, Censored policy lower bound with integer counts (statement). In 14Y4SA4SX0/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
Definition PS4NA2C633
| URI | m2://inv/PS4NA2C633 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-curvature#XQO4, Definition (definition)
History
- 2026-11-02: add by m2/dev
Birkhoff's variety theorem PS4T9SABWN
| URI | m2://inv/PS4T9SABWN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variety (universal algebra)#RW1K, Birkhoff's variety theorem (statement)
History
- 2026-11-02: add by m2/dev
Hall deficiency with prescribed coverage PS4XGW8VYG
| URI | m2://inv/PS4XGW8VYG |
|---|---|
| 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.15024#6787, Hall deficiency with prescribed coverage (statement). In GTZZ9BMWE9/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
PS56DDRZDS PS56DDRZDS
| URI | m2://inv/PS56DDRZDS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03559#8DJY (statement). In R68THJCHX6/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
PS5AAMD4SD PS5AAMD4SD
| URI | m2://inv/PS5AAMD4SD |
|---|---|
| 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.32338#W9TA (definition). In HVY45JQRNK/e1, definition 2.24
History
- 2026-10-31: add by m2/v0.5.6
PS5PXZ08EW PS5PXZ08EW
| URI | m2://inv/PS5PXZ08EW |
|---|---|
| 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.14076#UY28 (statement). In HE0AHBPDFZ/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
PS5X2XTSWB PS5X2XTSWB
| URI | m2://inv/PS5X2XTSWB |
|---|---|
| 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#VEHV (statement). In X765ZXXVC3/e1, proposition 6.20
History
- 2026-10-29: add by m2/v0.4.12
Symbol ring PS65XDGZZ2
| URI | m2://inv/PS65XDGZZ2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Witt group#65WR, Symbol ring (unknown)
History
- 2026-11-02: add by m2/dev
Hermitian $d$-Codes PS6DH466XD
| URI | m2://inv/PS6DH466XD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2202.03009#EF9X, Hermitian $d$-Codes (example). In GYEQJ534W1/e1, example 3
History
- 2026-10-27: add by m2/v0.3.5
Trilinear polarity PS6DTDB0G8
| URI | m2://inv/PS6DTDB0G8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#GRWV, Trilinear polarity (unknown)
History
- 2026-11-02: add by m2/dev
PS6MAMWMH2 PS6MAMWMH2
| URI | m2://inv/PS6MAMWMH2 |
|---|---|
| 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.25301#AGBA (statement)
History
- 2026-11-01: add by m2/v0.6.15
PS6Q9YCKS9 PS6Q9YCKS9
| URI | m2://inv/PS6Q9YCKS9 |
|---|---|
| Kind | definition |
| 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.31783#Y9YS (definition). In CGNVT4C47F/e1, definition 1.3
History
- 2026-10-31: add by m2/v0.5.6
Applications PS6SKTW875
| URI | m2://inv/PS6SKTW875 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beltrami identity#9XXU, Applications (example)
History
- 2026-11-02: add by m2/dev
Longman, Phillip PS6VPSMB2N
| URI | m2://inv/PS6VPSMB2N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#TDLM, Longman, Phillip (unknown)
History
- 2026-11-02: add by m2/dev
Statement PS6XNNMS63
| URI | m2://inv/PS6XNNMS63 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toda's theorem#L4TN, Statement (statement)
History
- 2026-11-02: add by m2/dev
PS72XWVNH4 PS72XWVNH4
| URI | m2://inv/PS72XWVNH4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#2IV5 (statement). In JW8HH6EPG2/e1, lemma 4.15
History
- 2026-10-29: add by m2/v0.4.10
PS77E9G2RC PS77E9G2RC
| URI | m2://inv/PS77E9G2RC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36389#JMBM (statement). In N1S169J2MV/e1, proposition 3
History
- 2026-10-30: add by m2/v0.4.12
PS7G8GNXCW PS7G8GNXCW
| URI | m2://inv/PS7G8GNXCW |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 20-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.18070#78SQ (problem). In RASQS0FG8A/e1, problem 1.5
History
- 2026-10-28: add by m2/v0.4.2
PS7M0V3DBM PS7M0V3DBM
| URI | m2://inv/PS7M0V3DBM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33775#6EAD (statement). In VVQ1FMTHXB/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
constructible PS7RH2S28A
| URI | m2://inv/PS7RH2S28A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#VKCD, constructible (definition)
History
- 2026-11-02: add by m2/dev
PS817BX4R0 PS817BX4R0
| URI | m2://inv/PS817BX4R0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-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.13100#7X5W (statement). In CC6S1HVK0T/e1, theorem 3.9
History
- 2026-10-28: add by m2/v0.4.2
Marie Wann PS85F9JNCC
| URI | m2://inv/PS85F9JNCC |
|---|---|
| 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#HPPJ, Marie Wann (topic)
History
- 2026-11-02: add by m2/dev
PS8A1C4MQ7 PS8A1C4MQ7
| URI | m2://inv/PS8A1C4MQ7 |
|---|---|
| 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 2207.11097#KBAX (definition). In 13H5BTAXHF/e1, definition 24
History
- 2026-10-27: add by m2/v0.3.5
PS8BVEBDDX PS8BVEBDDX
| URI | m2://inv/PS8BVEBDDX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35320#Z6PU (statement). In QJ6AEW93RB/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
internal set PS8KWB6P9Z
| URI | m2://inv/PS8KWB6P9Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6047933, internal set (unknown). Also nLab internal set
- wikipedia: Wikipedia Internal set, Internal set (definition). Also Wikidata Q6047933
History
- 2026-10-26: add by m2/dev
PS8NAZAAPQ PS8NAZAAPQ
| URI | m2://inv/PS8NAZAAPQ |
|---|---|
| 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#PA33 (statement). In JWNYJVH8XG/e1, proposition 3.27
History
- 2026-10-29: add by m2/v0.4.10
PS8TP2ARYR PS8TP2ARYR
| URI | m2://inv/PS8TP2ARYR |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#HBSZ (statement). In CY1FE8W1ZW/e1, corollary 0.209
History
- 2026-10-27: add by m2/v0.3.5
PS90CYNWH8 PS90CYNWH8
| URI | m2://inv/PS90CYNWH8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37897#T3K4 (statement). In RBQ5FNCVNZ/e1, proposition 9.4
History
- 2026-10-30: add by m2/v0.4.12
Applications PS93TMNSFT
| URI | m2://inv/PS93TMNSFT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line integral convolution#YJUK, Applications (example)
History
- 2026-11-02: add by m2/dev
Intuitionistic logic PS9BKWV4W6
| URI | m2://inv/PS9BKWV4W6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#ED4N, Intuitionistic logic (definition)
History
- 2026-11-02: add by m2/dev
$d$\textbf{-Dirichlet convolution PS9CM7C6FG
| URI | m2://inv/PS9CM7C6FG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14266#G8EY, $d$\textbf{-Dirichlet convolution (definition). In 7R33E8515R/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
PS9DM6M0SG PS9DM6M0SG
| URI | m2://inv/PS9DM6M0SG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23884#5BJ9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Hofstadter's butterfly PS9EEK0XCP
| URI | m2://inv/PS9EEK0XCP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hofstadter's butterfly, Hofstadter's butterfly (definition). Also Wikidata Q2913166
History
- 2026-11-02: add by m2/dev
Enrico Arbarello PS9KEFM3V7
| URI | m2://inv/PS9KEFM3V7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enrico Arbarello, Enrico Arbarello (topic). Also Wikidata Q372263
History
- 2026-11-02: add by m2/dev
Richard Beez PS9TBGRZEW
| URI | m2://inv/PS9TBGRZEW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Beez, Richard Beez (topic). Also Wikidata Q7324070
History
- 2026-11-02: add by m2/dev
Vijay Kumar Patodi PS9VRWS65X
| URI | m2://inv/PS9VRWS65X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vijay Kumar Patodi, Vijay Kumar Patodi (topic). Also Wikidata Q2524119
History
- 2026-11-02: add by m2/dev
PS9WNBATXD PS9WNBATXD
| URI | m2://inv/PS9WNBATXD |
|---|---|
| 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.33238#JN93 (statement). In MVWXMDFP3P/e1, lemma A.3
History
- 2026-10-30: add by m2/v0.4.12
PSABNBW3G8 PSABNBW3G8
| URI | m2://inv/PSABNBW3G8 |
|---|---|
| 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 0905.2248#7EJ4 (statement). In 7EWB9ZRD9Z/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
Charles Rezk PSAE0C9Y1T
| URI | m2://inv/PSAE0C9Y1T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78084337 (unknown). Also nLab Charles Rezk
- wikipedia: Wikipedia Charles Rezk, Charles Rezk (topic). Also Wikidata Q78084337
History
- 2026-10-26: add by m2/dev
Atomic swap PSAHHGA38V
| URI | m2://inv/PSAHHGA38V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptocurrency#SWDM, Atomic swap (unknown)
History
- 2026-11-02: add by m2/dev
Limitations of Weber's law in visual regularity perception PSAJB4D2ZZ
| URI | m2://inv/PSAJB4D2ZZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weber–Fechner law#JRUG, Limitations of Weber's law in visual regularity perception (statement)
History
- 2026-11-02: add by m2/dev
Giulio Vivanti PSAJEYZ3V1
| URI | m2://inv/PSAJEYZ3V1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#F3T1, Giulio Vivanti (topic)
- wikipedia: Wikipedia List of Italian mathematicians#R22N, Giulio Vivanti (topic)
History
- 2026-11-02: add by m2/dev
Mitsuhiro Shishikura PSAJW7CR04
| URI | m2://inv/PSAJW7CR04 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mitsuhiro Shishikura, Mitsuhiro Shishikura (topic). Also Wikidata Q6883228
History
- 2026-11-02: add by m2/dev
Kenneth Arrow PSAWKNCACM
| URI | m2://inv/PSAWKNCACM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#8V0V, Kenneth Arrow (topic)
History
- 2026-11-02: add by m2/dev
eigenvector decomposition PSAZWPJ9DG
| URI | m2://inv/PSAZWPJ9DG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/10.9.1/eigenvector-decomposition, eigenvector decomposition (concept). In E9HS8K3A52, index, section 10.9.1
History
- 2026-11-01: add by m2/v0.6.13
Jai Singh II PSB5GR53HP
| URI | m2://inv/PSB5GR53HP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#4CUZ, Jai Singh II (unknown)
History
- 2026-11-02: add by m2/dev
PSB84Q6ADD PSB84Q6ADD
| URI | m2://inv/PSB84Q6ADD |
|---|---|
| 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 2305.08210#NY7B (statement). In D4VDVX74FT/e1, theorem 0.4
History
- 2026-10-27: add by m2/v0.3.6
Localization Lemma PSB8SGQPXS
| URI | m2://inv/PSB8SGQPXS |
|---|---|
| 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 2407.20385#3S0Y, Localization Lemma (statement). In PZRSZ19KAH/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
The definition PSBB961JVP
| URI | m2://inv/PSBB961JVP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie bialgebroid#YPQC, The definition (definition)
History
- 2026-11-02: add by m2/dev
AP Statistics PSBYTG4STB
| URI | m2://inv/PSBYTG4STB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AP Statistics, AP Statistics (definition). Also Wikidata Q13415707
History
- 2026-11-02: add by m2/dev
Pierre Ossian Bonnet PSC03JFHFX
| URI | m2://inv/PSC03JFHFX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pierre Ossian Bonnet, Pierre Ossian Bonnet (topic). Also Wikidata Q1250766
History
- 2026-11-02: add by m2/dev
James Gillogly PSC4ZS1P8Y
| URI | m2://inv/PSC4ZS1P8Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Gillogly, James Gillogly (topic). Also Wikidata Q16729292
History
- 2026-11-02: add by m2/dev
PSC50REMZP PSC50REMZP
| URI | m2://inv/PSC50REMZP |
|---|---|
| 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.35766#HPKX (statement). In 6638EFW1NG/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
Definitions PSCANMMQPC
| URI | m2://inv/PSCANMMQPC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cayley configuration space#3YGV, Definitions (definition)
History
- 2026-11-02: add by m2/dev
George O. May PSCDQC4NT8
| URI | m2://inv/PSCDQC4NT8 |
|---|---|
| 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#HJMB, George O. May (unknown)
History
- 2026-11-02: add by m2/dev
PSCQB8CWC1 PSCQB8CWC1
| URI | m2://inv/PSCQB8CWC1 |
|---|---|
| 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 1103.1038#3SB8 (statement). In T9VMNNPS0H/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.6
Single-resolvent deterministic equivalent PSCVF6TCY5
| URI | m2://inv/PSCVF6TCY5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09044#F2G4, Single-resolvent deterministic equivalent (statement). In 4KYENHR0J8/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
modulus PSCXA9RCEF
| URI | m2://inv/PSCXA9RCEF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/4.1/modulus, modulus (concept). In E59CDZA4DP, index, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Diffeomorphism, conditioning, and stability PSCY8Q1JQT
| URI | m2://inv/PSCY8Q1JQT |
|---|---|
| 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.02637#2X3D, Diffeomorphism, conditioning, and stability (statement). In 5Z2H5XJ6EM/e1, proposition S3.3
History
- 2026-10-29: add by m2/v0.4.12
PSCY9ZCTPM PSCY9ZCTPM
| URI | m2://inv/PSCY9ZCTPM |
|---|---|
| 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 0904.3493#UG31 (statement). In 1ARY7220P4/e1, fact 3.8
History
- 2026-10-27: add by m2/v0.3.5
Symmetric rearrangement PSD69XCTQA
| URI | m2://inv/PSD69XCTQA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric decreasing rearrangement#C8PQ, Symmetric rearrangement (unknown)
History
- 2026-11-02: add by m2/dev
Regularity and critical behavior PSDCQYX8SH
| URI | m2://inv/PSDCQYX8SH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#UXQW, Regularity and critical behavior (statement). In 65TJENWK7X/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.10
Large-position-scale certificate asymptotics PSDT61DMFD
| URI | m2://inv/PSDT61DMFD |
|---|---|
| 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.09356#QV29, Large-position-scale certificate asymptotics (statement). In 3VVGPXWH6R/e1, proposition C.31
History
- 2026-10-29: add by m2/v0.4.10
Formal definition PSE14HQ6VR
| URI | m2://inv/PSE14HQ6VR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decision rule#UZ27, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Christian Pommerenke PSE437X3Q0
| URI | m2://inv/PSE437X3Q0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZU6H, Christian Pommerenke (topic)
History
- 2026-11-02: add by m2/dev
PSE9HAHNQ1 PSE9HAHNQ1
| URI | m2://inv/PSE9HAHNQ1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04124#TDFC (definition). In DB9WCCW840/e1, definition 0.5
History
- 2026-10-29: add by m2/v0.4.12
Mass on a spring PSET657WED
| URI | m2://inv/PSET657WED |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple harmonic motion#I1IC, Mass on a spring (unknown)
History
- 2026-11-02: add by m2/dev
PSEZF83XQ7 PSEZF83XQ7
| URI | m2://inv/PSEZF83XQ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.20998#DRJT (statement)
History
- 2026-11-02: add by m2/v0.6.18
gcd PSF2G5RBS5
| URI | m2://inv/PSF2G5RBS5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/6.2.3/gcd, gcd (concept). In Y91XFCEVHQ, index, section 6.2.3
History
- 2026-11-01: add by m2/v0.6.13
PSF553P9TZ PSF553P9TZ
| URI | m2://inv/PSF553P9TZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#XJ6L (definition)
History
- 2026-11-01: add by m2/v0.6.15
PSF8CMZDNH PSF8CMZDNH
| URI | m2://inv/PSF8CMZDNH |
|---|---|
| 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.09989#0QC6 (statement). In 4KZA07H3GE/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
PSF8S75P0T PSF8S75P0T
| URI | m2://inv/PSF8S75P0T |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#RN6L (example)
History
- 2026-11-01: add by m2/v0.6.15
Spectral estimate in three dimensions PSFF65NFBC
| URI | m2://inv/PSFF65NFBC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17815#WAF3, Spectral estimate in three dimensions (statement). In GJ7N2EWACX/e1, theorem 1.7
History
- 2026-10-28: add by m2/v0.4.2
Opinion polling for the May 2023 Greek parliamentary election PSFHV1DW6H
| URI | m2://inv/PSFHV1DW6H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opinion polling for the May 2023 Greek parliamentary election, Opinion polling for the May 2023 Greek parliamentary election (definition). Also Wikidata Q85791047
History
- 2026-11-02: add by m2/dev
Nagel line PSFK2Z57ZP
| URI | m2://inv/PSFK2Z57ZP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2467706, Nagel line (concept). Also MathWorld NagelLine
History
- 2026-10-26: add by m2/dev
PSFKNNDDZ3 PSFKNNDDZ3
| URI | m2://inv/PSFKNNDDZ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23098#EIRW (statement)
History
- 2026-11-02: add by m2/v0.6.17
Roy, Bimal Kumar PSG29FWVZ3
| URI | m2://inv/PSG29FWVZ3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#XVK2, Roy, Bimal Kumar (unknown)
History
- 2026-11-02: add by m2/dev
PSG41168B8 PSG41168B8
| URI | m2://inv/PSG41168B8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00312#RQBJ (statement). In 41NFABHFXH/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
PSG7EEXWHE PSG7EEXWHE
| URI | m2://inv/PSG7EEXWHE |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cluster prime#F3FH (problem)
History
- 2026-11-02: add by m2/dev
PSGAWHKYAC PSGAWHKYAC
| URI | m2://inv/PSGAWHKYAC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22759#Z0FQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
PSGCA5MBGZ PSGCA5MBGZ
| URI | m2://inv/PSGCA5MBGZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02628#GS9F (statement). In G4S9C5M1A4/e1, corollary 6.8
History
- 2026-10-29: add by m2/v0.4.12
PSGD9F2RN4 PSGD9F2RN4
| URI | m2://inv/PSGD9F2RN4 |
|---|---|
| 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 2508.07340#NN7N (statement). In 2HSB99DW4M/e1, proposition 4.15
History
- 2026-10-27: add by m2/v0.3.6
Heinrich Adolph Behnke PSGHJK9HP0
| URI | m2://inv/PSGHJK9HP0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ON2A, Heinrich Adolph Behnke (topic)
History
- 2026-11-02: add by m2/dev
PSGK7DM6KN PSGK7DM6KN
| URI | m2://inv/PSGK7DM6KN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#3ROT (statement). In B9EX6K51RD/e1, proposition 2.11
History
- 2026-10-28: add by m2/v0.4.2
Fractional factorial design PSGKPRKV6K
| URI | m2://inv/PSGKPRKV6K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractional factorial design, Fractional factorial design (definition). Also Wikidata Q2400745
History
- 2026-11-02: add by m2/dev
Projective determinacy PSGTDKEWNF
| URI | m2://inv/PSGTDKEWNF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statements independent of ZFC#12VB, Projective determinacy (definition)
History
- 2026-11-02: add by m2/dev
mathematical Platonism PSGVAV1KHQ
| URI | m2://inv/PSGVAV1KHQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3392001, mathematical Platonism (definition). Also ProofWiki Definition:Platonic_Realism
- wikipedia: Wikipedia Mathematical Platonism, Mathematical Platonism (definition). Also Wikidata Q3392001
History
- 2026-10-26: add by m2/dev
Definition PSGXWDP82X
| URI | m2://inv/PSGXWDP82X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-locally simply connected#B59J, Definition (definition)
History
- 2026-11-02: add by m2/dev
PSH5RM32SJ PSH5RM32SJ
| URI | m2://inv/PSH5RM32SJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06556#EL7M (definition). In KW8C7VE9XR/e1, definition 8
History
- 2026-10-29: add by m2/v0.4.10
Connected-component formulation PSH93B2W7F
| URI | m2://inv/PSH93B2W7F |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 14-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10147#2Z0F, Connected-component formulation (conjecture). In WZWGAG2FSN/e1, conjecture 4.2
History
- 2026-10-29: add by m2/v0.4.10
Sidney Coleman PSHDF1RBJA
| URI | m2://inv/PSHDF1RBJA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2SDL, Sidney Coleman (unknown)
History
- 2026-11-02: add by m2/dev
submodule PSHMM6FTRB
| URI | m2://inv/PSHMM6FTRB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2498094, submodule (definition). Also EoM Submodule, MathWorld Submodule, nLab submodule, ProofWiki Definition:Submodule
History
- 2026-10-26: add by m2/dev
Babinet's principle in elastodynamics PSHQ109EKQ
| URI | m2://inv/PSHQ109EKQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Babinet's principle#PL0X, Babinet's principle in elastodynamics (statement)
History
- 2026-11-02: add by m2/dev
Levy–Mises equations PSHYAGQDGR
| URI | m2://inv/PSHYAGQDGR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Levy–Mises equations, Levy–Mises equations (definition). Also Wikidata Q6586992
History
- 2026-11-02: add by m2/dev
Gila Sher PSJ2QE7K85
| URI | m2://inv/PSJ2QE7K85 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#A1C5, Gila Sher (topic)
History
- 2026-11-02: add by m2/dev
Definition PSJ9D5KSGC
| URI | m2://inv/PSJ9D5KSGC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fiber product of schemes#T10P, Definition (definition)
History
- 2026-11-02: add by m2/dev
Clone PSJGH2E1MT
| URI | m2://inv/PSJGH2E1MT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clone (algebra), Clone (definition). Also Wikidata Q838048
History
- 2026-11-02: add by m2/dev
PSJH1M4JYQ PSJH1M4JYQ
| URI | m2://inv/PSJH1M4JYQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IrrationalityRoot2.tex#thm:sqrt(pq) (statement). In P1C114YBXG, theorem, section F
History
- 2026-11-01: add by m2/v0.6.13
PSJJBGTAJS PSJJBGTAJS
| URI | m2://inv/PSJJBGTAJS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#FGI0 (statement). In GW23NX78SB/e1, lemma 2.24
History
- 2026-10-28: add by m2/v0.4.2
Seeley extension theorem PSJKNYQ7G2
| URI | m2://inv/PSJKNYQ7G2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whitney extension theorem#7UK1, Seeley extension theorem (unknown)
History
- 2026-11-02: add by m2/dev
Daniel Wise PSJNSCVQKC
| URI | m2://inv/PSJNSCVQKC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniel Wise (mathematician), Daniel Wise (topic). Also Wikidata Q5219113
History
- 2026-11-02: add by m2/dev
PSK0S2X8MJ PSK0S2X8MJ
| URI | m2://inv/PSK0S2X8MJ |
|---|---|
| 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.33932#VYCZ (statement). In YPVF3ET43M/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Heuristic Consequences PSK982HV2P
| URI | m2://inv/PSK982HV2P |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10452#JBWL, Heuristic Consequences (unknown). In 2F4PNP1V3B/e1, unknown 1
History
- 2026-10-29: add by m2/v0.4.10
flop PSKBP6WH27
| URI | m2://inv/PSKBP6WH27 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singular value decomposition#B2GD, flop (definition)
History
- 2026-11-02: add by m2/dev
Other theorems about Fermat numbers PSKDZQEQ3Q
| URI | m2://inv/PSKDZQEQ3Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermat number#8PZN, Other theorems about Fermat numbers (statement)
History
- 2026-11-02: add by m2/dev
Harnack's curve theorem PSKQ09V5S4
| URI | m2://inv/PSKQ09V5S4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5659675, Harnack's curve theorem (statement). Also Wikidata Q5659675
- thousand_plus: thousand_plus Q5659675, Harnack's curve theorem (statement). Also Wikidata Q5659675, Wikipedia Harnack's curve theorem
- wikidata: Wikidata Q5659675, Harnack's curve theorem (statement). Also MathWorld HarnacksTheorems
- wikipedia: Wikipedia Harnack's curve theorem, Harnack's curve theorem (statement). Also Wikidata Q5659675
History
- 2026-10-26: add by m2/dev
Birkhoff's representation theorem PSKRZTDZCH
| URI | m2://inv/PSKRZTDZCH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#NURH, Birkhoff's representation theorem (statement)
History
- 2026-11-02: add by m2/dev
PSKTWY4JG7 PSKTWY4JG7
| URI | m2://inv/PSKTWY4JG7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26745#RASK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example PSKVHXPD9C
| URI | m2://inv/PSKVHXPD9C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parabidiminished rhombicosidodecahedron#QQH1, Example (example)
History
- 2026-11-02: add by m2/dev
PSKVMMSC3P PSKVMMSC3P
| URI | m2://inv/PSKVMMSC3P |
|---|---|
| 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 1803.10042#7JK6 (example). In 718SP8YERQ/e1, example A9
History
- 2026-10-27: add by m2/v0.3.5
PSKZATNR5S PSKZATNR5S
| URI | m2://inv/PSKZATNR5S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37026#TFCM (statement). In QGZPH9W8GY/e1, lemma 2.11
History
- 2026-10-30: add by m2/v0.4.12
Definition PSM2909C1X
| URI | m2://inv/PSM2909C1X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear approximation#MFPX, Definition (definition)
History
- 2026-11-02: add by m2/dev
Properties PSM7M19RYS
| URI | m2://inv/PSM7M19RYS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Augmented hexagonal prism#GNEN, Properties (statement)
History
- 2026-11-02: add by m2/dev
Shell characteristic function and its width error PSM8DBQHG3
| URI | m2://inv/PSM8DBQHG3 |
|---|---|
| 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.00453#KOA9, Shell characteristic function and its width error (statement). In ESPJMBH2R2/e1, lemma A.2
History
- 2026-10-30: add by m2/v0.4.12
PSMA9K66VS PSMA9K66VS
| URI | m2://inv/PSMA9K66VS |
|---|---|
| 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.16386#UG3U (statement). In RAF0BFY3Z3/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
PSMGT3QGNZ PSMGT3QGNZ
| URI | m2://inv/PSMGT3QGNZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01802#BDBG (definition). In XGPZ0G9E1Q/e1, definition 3.3
History
- 2026-10-29: add by m2/v0.4.12
PSMMVERM4B PSMMVERM4B
| URI | m2://inv/PSMMVERM4B |
|---|---|
| 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#MI3X (statement). In E7W2HDNEKJ/e1, theorem 4.9
History
- 2026-10-30: add by m2/v0.4.12
PSMPXZSQ6B PSMPXZSQ6B
| URI | m2://inv/PSMPXZSQ6B |
|---|---|
| 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.21305#KB4X (definition)
History
- 2026-11-02: add by m2/v0.6.18
PSN4FF2FSR PSN4FF2FSR
| URI | m2://inv/PSN4FF2FSR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20531#SN9B (statement)
History
- 2026-11-02: add by m2/v0.6.18
Non-empty interior difficulty for the level set equation (from PSNDGE9EHG
| URI | m2://inv/PSNDGE9EHG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37803#RYPC, Non-empty interior difficulty for the level set equation (from (statement). In 2RN6YVQD0Z/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
George Bohrnstedt PSNMMSWSZ8
| URI | m2://inv/PSNMMSWSZ8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Bohrnstedt, George Bohrnstedt (topic). Also Wikidata Q113742599
History
- 2026-11-02: add by m2/dev
PSNQMP958J PSNQMP958J
| URI | m2://inv/PSNQMP958J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-46 (exercise). In E59CDZA4DP, exercise, section 8.5.2
History
- 2026-11-01: add by m2/v0.6.13
biggest little polygon PSNSQTGYP1
| URI | m2://inv/PSNSQTGYP1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q501972, biggest little polygon (unknown). Also MathWorld BiggestLittlePolygon
- wikipedia: Wikipedia Biggest little polygon, Biggest little polygon (definition). Also Wikidata Q501972
History
- 2026-10-26: add by m2/dev
PSNT6SRS9M PSNT6SRS9M
| URI | m2://inv/PSNT6SRS9M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33771#UPY2 (statement). In ZXQA7QH0H0/e1, proposition 4.17
History
- 2026-10-30: add by m2/v0.4.12
PSNY1XDQ1Z PSNY1XDQ1Z
| URI | m2://inv/PSNY1XDQ1Z |
|---|---|
| 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#4UU7 (statement). In QPJ6FWG5HD/e1, lemma 2.20
History
- 2026-10-29: add by m2/v0.4.12
PSP2YE9327 PSP2YE9327
| URI | m2://inv/PSP2YE9327 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38742#B2ID (statement). In TSXBJB0EXK/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
PSP4CFSQZS PSP4CFSQZS
| URI | m2://inv/PSP4CFSQZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28323#B6U4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
PSP9WTVCRX PSP9WTVCRX
| URI | m2://inv/PSP9WTVCRX |
|---|---|
| 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.38436#0PTM (statement). In 702AF3E4AF/e1, theorem 4.5
History
- 2026-10-30: add by m2/v0.4.12
PSPAQ8KENC PSPAQ8KENC
| URI | m2://inv/PSPAQ8KENC |
|---|---|
| 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.04466#PU2C (statement). In EHW82CK883/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
PSPB0FQEZQ PSPB0FQEZQ
| URI | m2://inv/PSPB0FQEZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16339#ZCZH (statement). In ER5EH4W919/e1, corollary 1.9
History
- 2026-10-28: add by m2/v0.4.2
random close pack PSPG9B9C6P
| URI | m2://inv/PSPG9B9C6P |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3796745, random close pack (concept). Also MathWorld RandomClosePacking
History
- 2026-10-26: add by m2/dev
Tetrachoric correlation PSPGMQ0VZ3
| URI | m2://inv/PSPGMQ0VZ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#WN7R, Tetrachoric correlation (definition)
- wikipedia: Wikipedia List of statistics articles#IULF, Tetrachoric correlation (definition)
History
- 2026-11-02: add by m2/dev
PV invertibility principle PSPHJXWWE9
| URI | m2://inv/PSPHJXWWE9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Potential vorticity#352F, PV invertibility principle (statement)
History
- 2026-11-02: add by m2/dev
PSPREGREXF PSPREGREXF
| URI | m2://inv/PSPREGREXF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01247#F1DB (statement). In 6EVNCRZ118/e1, proposition 18
History
- 2026-10-29: add by m2/v0.4.12
PSPVXMVWGF PSPVXMVWGF
| URI | m2://inv/PSPVXMVWGF |
|---|---|
| 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.07049#XSY4 (statement). In GMF552ESG6/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.10
Universal approximation theorem (Uniform non-affine activation, arbitrary depth, constrained width). PSQ0XVSSK2
| URI | m2://inv/PSQ0XVSSK2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal approximation theorem#M52P, Universal approximation theorem (Uniform non-affine activation, arbitrary depth, constrained width). (statement)
History
- 2026-11-02: add by m2/dev
Decision margin PSQ2811E6W
| URI | m2://inv/PSQ2811E6W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01937#27BE, Decision margin (definition). In BAEDMM7YM5/e1, definition 5
History
- 2026-10-29: add by m2/v0.4.12
Rollet stability factor PSQ6V4WZBW
| URI | m2://inv/PSQ6V4WZBW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scattering parameters#D3IO, Rollet stability factor (unknown)
History
- 2026-11-02: add by m2/dev
Fuzzy differential inclusion PSQ8G2YRRT
| URI | m2://inv/PSQ8G2YRRT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuzzy differential inclusion, Fuzzy differential inclusion (definition). Also Wikidata Q39128997
History
- 2026-11-02: add by m2/dev
Balancing domain decomposition method PSQAX92RAD
| URI | m2://inv/PSQAX92RAD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Balancing domain decomposition method, Balancing domain decomposition method (definition). Also Wikidata Q4850008
History
- 2026-11-02: add by m2/dev
Möbius–Kantor graph PSQJW1YT32
| URI | m2://inv/PSQJW1YT32 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115519, Möbius–Kantor graph (unknown). Also House of Graphs 1229, MathWorld Moebius-KantorGraph
- wikipedia: Wikipedia Möbius–Kantor graph, Möbius–Kantor graph (definition). Also Wikidata Q3115519
History
- 2026-10-26: add by m2/dev
Arcaea PSQVZF0AB2
| URI | m2://inv/PSQVZF0AB2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#KF1Y, Arcaea (unknown)
History
- 2026-11-02: add by m2/dev
Faithful representation dimension PSR1HBJN1Y
| URI | m2://inv/PSR1HBJN1Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40054#UKF2, Faithful representation dimension (statement). In CA4C9PFM1E/e1, lemma 2.1.2
History
- 2026-10-30: add by m2/v0.4.12
PSR2JZYXAN PSR2JZYXAN
| URI | m2://inv/PSR2JZYXAN |
|---|---|
| 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 2607.01109#FHIG (statement). In V35F0T5RQ2/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Narutaka Ozawa PSR2MN86VW
| URI | m2://inv/PSR2MN86VW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#D215, Narutaka Ozawa (topic)
History
- 2026-11-02: add by m2/dev
strong mathematical induction PSR4Y3834A
| URI | m2://inv/PSR4Y3834A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#0OAT, strong mathematical induction (definition)
History
- 2026-11-02: add by m2/dev
Examples PSR80TSE8P
| URI | m2://inv/PSR80TSE8P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forcing (mathematics)#XKEW, Examples (example)
History
- 2026-11-02: add by m2/dev
Example PSR8WZQE28
| URI | m2://inv/PSR8WZQE28 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NC (complexity)#46KW, Example (example)
History
- 2026-11-02: add by m2/dev
Normalized squared-distance algebra PSR8XTX1WQ
| URI | m2://inv/PSR8XTX1WQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05388#KZVG, Normalized squared-distance algebra (statement). In 4HJK1986EJ/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.10
PSRBF5ASQZ PSRBF5ASQZ
| URI | m2://inv/PSRBF5ASQZ |
|---|---|
| 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.17553#NJQE (statement). In ETMBHKF5A9/e1, theorem 5.13
History
- 2026-10-28: add by m2/v0.4.2
PSREHGKVPS PSREHGKVPS
| URI | m2://inv/PSREHGKVPS |
|---|---|
| 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 2406.19866#YD79 (statement). In 9F94CEQ1ZM/e1, lemma 2.32
History
- 2026-10-27: add by m2/v0.3.5
PSRGWXXNBX PSRGWXXNBX
| URI | m2://inv/PSRGWXXNBX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15010#JQFJ (statement). In K3WJ6ZN184/e1, lemma 7.8
History
- 2026-10-27: add by m2/v0.3.5
PSSCWGCZ0V PSSCWGCZ0V
| URI | m2://inv/PSSCWGCZ0V |
|---|---|
| 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.05146#9KWA (statement). In 63MJS935N4/e1, corollary 1.3
History
- 2026-10-29: add by m2/v0.4.10
PSSDBWTT3K PSSDBWTT3K
| URI | m2://inv/PSSDBWTT3K |
|---|---|
| Kind | definition |
| 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#TB0B (definition). In A1GWWGRXPA/e1, definition 2.10
History
- 2026-10-27: add by m2/v0.4.2
X+Y PSSGSWH7GX
| URI | m2://inv/PSSGSWH7GX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of films about mathematicians#T23R, X+Y (unknown)
History
- 2026-11-02: add by m2/dev
Microfit PSSM0CEGZW
| URI | m2://inv/PSSM0CEGZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Microfit, Microfit (definition). Also Wikidata Q22087437
History
- 2026-11-02: add by m2/dev
PST36YGPZ2 PST36YGPZ2
| URI | m2://inv/PST36YGPZ2 |
|---|---|
| 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.02870#DODA (statement). In JJQQJ4KX94/e1, proposition 3.19
History
- 2026-10-29: add by m2/v0.4.12
Ancient Greek logic PSTZ0K03K9
| URI | m2://inv/PSTZ0K03K9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of logic#BMD6, Ancient Greek logic (unknown)
History
- 2026-11-02: add by m2/dev
small object argument PSV4AMWRAJ
| URI | m2://inv/PSV4AMWRAJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#MKXL, small object argument (definition)
History
- 2026-11-02: add by m2/dev
biaugmented triangular prism PSV6DHCP7P
| URI | m2://inv/PSV6DHCP7P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1660639, biaugmented triangular prism (object). Also MathWorld BiaugmentedTriangularPrism
- wikipedia: Wikipedia Biaugmented triangular prism, Biaugmented triangular prism (definition). Also Wikidata Q1660639
History
- 2026-10-26: add by m2/dev
Set of hypothesis PSW65KYKBR
| URI | m2://inv/PSW65KYKBR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inductive probability#ZX31, Set of hypothesis (statement)
History
- 2026-11-02: add by m2/dev
G-test PSW8D3XK0E
| URI | m2://inv/PSW8D3XK0E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia G-test, G-test (definition). Also Wikidata Q5511960
History
- 2026-11-02: add by m2/dev
Edmond Halley PSX1X35KJY
| URI | m2://inv/PSX1X35KJY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#29S5, Edmond Halley (topic)
History
- 2026-11-02: add by m2/dev
PSX2Y1S9KW PSX2Y1S9KW
| URI | m2://inv/PSX2Y1S9KW |
|---|---|
| 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 2111.01197#VVVM (statement). In Z36XFKVTS0/e1, lemma 3.10
History
- 2026-10-27: add by m2/v0.3.5
PSX5ESNTZ1 PSX5ESNTZ1
| URI | m2://inv/PSX5ESNTZ1 |
|---|---|
| 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.36181#X5A3 (statement). In 1KSE33PVS6/e1, theorem 71
History
- 2026-10-30: add by m2/v0.4.12
Loop and Sphere theorems PSX8E7D9N6
| URI | m2://inv/PSX8E7D9N6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3-manifold#NOTN, Loop and Sphere theorems (statement)
History
- 2026-11-02: add by m2/dev
PSXCC1DVRM PSXCC1DVRM
| URI | m2://inv/PSXCC1DVRM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-17 (proof). In N54F33XE07, proof, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
Martin's axiom PSXFVQ28HK
| URI | m2://inv/PSXFVQ28HK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#8W6F, Martin's axiom (statement)
History
- 2026-11-02: add by m2/dev
PSXM5MEH3T PSXM5MEH3T
| URI | m2://inv/PSXM5MEH3T |
|---|---|
| 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.20740#D4OS (statement)
History
- 2026-11-02: add by m2/v0.6.18
PSXXE5XK83 PSXXE5XK83
| URI | m2://inv/PSXXE5XK83 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 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.22288#0QLR (statement). In X38P26DK6S/e1, proposition 2.9
History
- 2026-10-27: add by m2/v0.4.0
Mieczysław Omyła PSXXY073GK
| URI | m2://inv/PSXXY073GK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mieczysław Omyła, Mieczysław Omyła (topic). Also Wikidata Q102368252
History
- 2026-11-02: add by m2/dev
PSY1GP3G1D PSY1GP3G1D
| URI | m2://inv/PSY1GP3G1D |
|---|---|
| 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 2310.14879#UEW1 (statement). In 3VZ55B2N0D/e1, theorem 6.15
History
- 2026-10-27: add by m2/v0.4.0
Definition PSY50PV5G5
| URI | m2://inv/PSY50PV5G5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic Gauss sum#XGRC, Definition (definition)
History
- 2026-11-02: add by m2/dev
division theorem PSYDRFCXB5
| URI | m2://inv/PSYDRFCXB5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/3.5.1/division-theorem, division theorem (concept). In QKM9DD2H56, index, section 3.5.1
History
- 2026-11-01: add by m2/v0.6.13
mathematical coincidence PSYFE32C8F
| URI | m2://inv/PSYFE32C8F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3001919, mathematical coincidence (unknown). Also MathWorld AlmostInteger
- wikipedia: Wikipedia Mathematical coincidence, Mathematical coincidence (definition). Also Wikidata Q3001919
History
- 2026-10-26: add by m2/dev
Ramsey theory PSYJQZX7NG
| URI | m2://inv/PSYJQZX7NG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.4.2/ramsey-theory, Ramsey theory (concept). In Y91XFCEVHQ, index, section 5.4.2
History
- 2026-11-01: add by m2/v0.6.13
The reduction to twenty-three contacts PSYQ4KK1QM
| URI | m2://inv/PSYQ4KK1QM |
|---|---|
| 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.25120#OHOM, The reduction to twenty-three contacts (statement)
History
- 2026-11-01: add by m2/v0.6.15
PSZ0BY6RBD PSZ0BY6RBD
| URI | m2://inv/PSZ0BY6RBD |
|---|---|
| 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.12357#3EUR (statement). In 1F26AF81XP/e1, corollary 4.3
History
- 2026-10-28: add by m2/v0.4.2
Examples PSZ0EV0PBR
| URI | m2://inv/PSZ0EV0PBR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypercomplex manifold#55HO, Examples (example)
History
- 2026-11-02: add by m2/dev
PSZ55A97VJ PSZ55A97VJ
| URI | m2://inv/PSZ55A97VJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21098#4OJ3 (statement)
History
- 2026-11-02: add by m2/v0.6.18
PSZ8R1S2PZ PSZ8R1S2PZ
| URI | m2://inv/PSZ8R1S2PZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#Q5K0 (statement). In CY1FE8W1ZW/e1, lemma 0.187
History
- 2026-10-27: add by m2/v0.3.5
PSZ936SV88 PSZ936SV88
| URI | m2://inv/PSZ936SV88 |
|---|---|
| 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.12810#Q904 (statement). In DR35633CPN/e1, lemma 4.11
History
- 2026-10-28: add by m2/v0.4.2
A Million Random Digits with 100,000 Normal Deviates PSZDNNPAHM
| URI | m2://inv/PSZDNNPAHM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A Million Random Digits with 100,000 Normal Deviates, A Million Random Digits with 100,000 Normal Deviates (definition). Also Wikidata Q4658263
History
- 2026-11-02: add by m2/dev
Limiting implication PSZHPMR6HF
| URI | m2://inv/PSZHPMR6HF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00076#NI6T, Limiting implication (statement). In 2VQ90WEZKB/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
PSZK0CDX3Z PSZK0CDX3Z
| URI | m2://inv/PSZK0CDX3Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23237#S7L2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Adolf Lindenbaum PSZMP7CJNY
| URI | m2://inv/PSZMP7CJNY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#8VTC, Adolf Lindenbaum (topic)
History
- 2026-11-02: add by m2/dev
PSZQEMF9N2 PSZQEMF9N2
| URI | m2://inv/PSZQEMF9N2 |
|---|---|
| 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#N8B4 (statement)
History
- 2026-11-01: add by m2/v0.6.15