Inventory rows PX
The cards of the rows of the inventory whose ids start with PX. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Obstructions to diameter-only bounds and at the threshold PX0283STWV
| URI | m2://inv/PX0283STWV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00501#J7RC, Obstructions to diameter-only bounds and at the threshold (statement). In FTPW1SZ8D3/e1, proposition A.17
History
- 2026-10-30: add by m2/v0.4.12
Lag identities on the spiral PX04N9HQQN
| URI | m2://inv/PX04N9HQQN |
|---|---|
| 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#4SKF, Lag identities on the spiral (statement). In 65TJENWK7X/e1, lemma 38
History
- 2026-10-29: add by m2/v0.4.10
Bounds on empirical second moments PX09G7ZYWF
| URI | m2://inv/PX09G7ZYWF |
|---|---|
| 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.12271#0YVU, Bounds on empirical second moments (statement). In WGCET6KSQ7/e1, lemma 36
History
- 2026-10-27: add by m2/v0.3.6
PX0KYQ2E5K PX0KYQ2E5K
| URI | m2://inv/PX0KYQ2E5K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#example-5 (example). In E59CDZA4DP, example, section 11.9.4
History
- 2026-11-01: add by m2/v0.6.13
univalence axiom PX0N4C3Z5Y
| URI | m2://inv/PX0N4C3Z5Y |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.15/univalence-axiom, univalence axiom (concept). In N54F33XE07, index, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
Basis-invariant stochastic semantic filter PX180506Z2
| URI | m2://inv/PX180506Z2 |
|---|---|
| Kind | statement |
| 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 2609.20207#25K5, Basis-invariant stochastic semantic filter (statement)
History
- 2026-11-02: add by m2/v0.6.18
Theorem PX1F8EG69E
| URI | m2://inv/PX1F8EG69E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylvester's triangle problem#J06Z, Theorem (statement)
History
- 2026-11-02: add by m2/dev
PX1HF9M6K6 PX1HF9M6K6
| URI | m2://inv/PX1HF9M6K6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_kitchensink_markov-chains.ptx#example-1 (example). In QKM9DD2H56, example, section 16.3.1
History
- 2026-11-01: add by m2/v0.6.13
Nanny Wermuth PX1JAYM8SC
| URI | m2://inv/PX1JAYM8SC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#3JQT, Nanny Wermuth (topic)
History
- 2026-11-02: add by m2/dev
PX1KVBBS72 PX1KVBBS72
| URI | m2://inv/PX1KVBBS72 |
|---|---|
| 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.21475#KP1V (statement). In TTRSZVT4VX/e1, proposition 2.9
History
- 2026-10-27: add by m2/v0.4.2
PX1Q01J98Y PX1Q01J98Y
| URI | m2://inv/PX1Q01J98Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17752#P54J (statement). In 13N3N5WZWC/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Definition PX1R0RN17A
| URI | m2://inv/PX1R0RN17A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nil-Coxeter algebra#D9X0, Definition (definition)
History
- 2026-11-02: add by m2/dev
PX1W3G9K5K PX1W3G9K5K
| URI | m2://inv/PX1W3G9K5K |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#ex:acnm-surjset (exercise). In N54F33XE07, ex, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
PX22JS7CQ9 PX22JS7CQ9
| URI | m2://inv/PX22JS7CQ9 |
|---|---|
| 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#FUFY (statement). In CY1FE8W1ZW/e1, lemma 0.41
History
- 2026-10-27: add by m2/v0.4.0
PX22SMQZ8B PX22SMQZ8B
| URI | m2://inv/PX22SMQZ8B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/introduction/bhk-interpretation.tex#ex-4 (example). In PKGMM3P5QY, ex, section 31.2
History
- 2026-11-01: add by m2/v0.6.13
PX26EBF7D6 PX26EBF7D6
| URI | m2://inv/PX26EBF7D6 |
|---|---|
| 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.21454#Y051 (definition). In ZP2RJFZ3V2/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.4.2
PX2AR4V8N9 PX2AR4V8N9
| URI | m2://inv/PX2AR4V8N9 |
|---|---|
| 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.37466#03Y9 (statement). In KA3KMJQMDY/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
PX2E29FP11 PX2E29FP11
| URI | m2://inv/PX2E29FP11 |
|---|---|
| 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 2311.01874#Y8MO (statement). In A4TR95VGX2/e1, theorem 5.3.4
History
- 2026-10-27: add by m2/v0.3.5
Recamán's sequence PX2KSFSJ1P
| URI | m2://inv/PX2KSFSJ1P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#KUBZ, Recamán's sequence (definition)
History
- 2026-11-02: add by m2/dev
Gerardus Mercator PX2Q3Q11QC
| URI | m2://inv/PX2Q3Q11QC |
|---|---|
| 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 Q6353, Gerardus Mercator (unknown). Also ProofWiki Mathematician:Gerardus_Mercator
History
- 2026-10-26: add by m2/dev
PX2QA7SRKE PX2QA7SRKE
| URI | m2://inv/PX2QA7SRKE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-proofs.ptx#example-4 (example). In Y91XFCEVHQ, example, section 2.4.2
History
- 2026-11-01: add by m2/v0.6.13
PX2W0WWS9P PX2W0WWS9P
| URI | m2://inv/PX2W0WWS9P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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 2311.00918#NW8R (statement). In 2SMJ5V7FZ7/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
PX32TV7S2K PX32TV7S2K
| URI | m2://inv/PX32TV7S2K |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#proof-17 (proof). In N54F33XE07, proof, section 5.9
History
- 2026-11-01: add by m2/v0.6.13
PX34MDTC5B PX34MDTC5B
| URI | m2://inv/PX34MDTC5B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16123#12TM (statement). In 6VR4TY5BGV/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
PX37RW4951 PX37RW4951
| URI | m2://inv/PX37RW4951 |
|---|---|
| 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.18562#59OZ (statement). In 793KXAR957/e1, proposition 4.8
History
- 2026-10-28: add by m2/v0.4.2
PX3BVVBD3A PX3BVVBD3A
| URI | m2://inv/PX3BVVBD3A |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/cardinals/classing.tex#proof-8 (proof). In PKGMM3P5QY, proof, section 70.2
History
- 2026-11-01: add by m2/v0.6.13
PX3DZK4WZE PX3DZK4WZE
| URI | m2://inv/PX3DZK4WZE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-64 (exercise). In VNMV985MXX, exercise, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
PX3F2YG6DY PX3F2YG6DY
| URI | m2://inv/PX3F2YG6DY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#prop-7 (statement). In PKGMM3P5QY, prop, section 49.1
History
- 2026-11-01: add by m2/v0.6.13
Herbrand's theorem PX3JR3GMKE
| URI | m2://inv/PX3JR3GMKE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramification group#1KP3, Herbrand's theorem (statement)
History
- 2026-11-02: add by m2/dev
Application PX3P69252R
| URI | m2://inv/PX3P69252R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia G-test#48FO, Application (example)
History
- 2026-11-02: add by m2/dev
Temple Rice Hollcroft PX3QK560VA
| URI | m2://inv/PX3QK560VA |
|---|---|
| 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#THH3, Temple Rice Hollcroft (unknown)
History
- 2026-11-02: add by m2/dev
PX3RVQRH8R PX3RVQRH8R
| URI | m2://inv/PX3RVQRH8R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36321#4QES (definition). In 3KTZ6Z615H/e1, definition 4.3
History
- 2026-10-30: add by m2/v0.4.12
Definition PX3ZRG2Q3F
| URI | m2://inv/PX3ZRG2Q3F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evidence lower bound#LHT8, Definition (definition)
History
- 2026-11-02: add by m2/dev
3-opt PX43RVGV5S
| URI | m2://inv/PX43RVGV5S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3-opt, 3-opt (definition). Also Wikidata Q4634247
History
- 2026-11-02: add by m2/dev
PX4HK796KG PX4HK796KG
| URI | m2://inv/PX4HK796KG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.06581#XOD0 (definition). In WXJ2V3HA2R/e1, definition E.2
History
- 2026-10-27: add by m2/v0.3.5
PX4Q708AVR PX4Q708AVR
| URI | m2://inv/PX4Q708AVR |
|---|---|
| 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#YZ56 (statement). In DZA5P853H9/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
PX4WQ2BH98 PX4WQ2BH98
| URI | m2://inv/PX4WQ2BH98 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07292#IRZJ (statement). In PZ17NHGAKX/e1, proposition 8
History
- 2026-10-29: add by m2/v0.4.10
One-shot multilayer update PX52GKMZEJ
| URI | m2://inv/PX52GKMZEJ |
|---|---|
| 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.05520#5ARA, One-shot multilayer update (statement). In WM1JMPW48K/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.10
Index-one MRV PX53SYVPTP
| URI | m2://inv/PX53SYVPTP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29658#6GS9, Index-one MRV (definition)
History
- 2026-11-01: add by m2/v0.6.15
Proposition PX5B45BT12
| URI | m2://inv/PX5B45BT12 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spaces of test functions and distributions#BQVX, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Station CAST PX5HWMVECH
| URI | m2://inv/PX5HWMVECH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Station CAST, Station CAST (definition). Also Wikidata Q7604222
History
- 2026-11-02: add by m2/dev
PX5KD0NT1R PX5KD0NT1R
| URI | m2://inv/PX5KD0NT1R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29712#8LAX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Characterization of $e_{\infty,r}(P;S)$ by the projection map PX5KH5EB6Y
| URI | m2://inv/PX5KH5EB6Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 49-XX, 51-XX, 52-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.10801#TM57, Characterization of $e_{\infty,r}(P;S)$ by the projection map (statement). In BWJS3H55WH/e1, lemma 19
History
- 2026-10-27: add by m2/v0.3.5
PX5SE1XS6P PX5SE1XS6P
| URI | m2://inv/PX5SE1XS6P |
|---|---|
| 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.04516#O8OY (statement). In GZZBR0FX50/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
Małgorzata Peszyńska PX5VD9BA54
| URI | m2://inv/PX5VD9BA54 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Małgorzata Peszyńska, Małgorzata Peszyńska (topic). Also Wikidata Q102236134
History
- 2026-11-02: add by m2/dev
PX5XT9FAK2 PX5XT9FAK2
| URI | m2://inv/PX5XT9FAK2 |
|---|---|
| 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#B5F6 (statement). In 74RNQVBM2G/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Ellen Kirkman PX5YMB3646
| URI | m2://inv/PX5YMB3646 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellen Kirkman, Ellen Kirkman (topic). Also Wikidata Q18719188
History
- 2026-11-02: add by m2/dev
Extensions PX626A45F7
| URI | m2://inv/PX626A45F7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonal basis#WNMO, Extensions (statement)
History
- 2026-11-02: add by m2/dev
PX65V4HP57 PX65V4HP57
| URI | m2://inv/PX65V4HP57 |
|---|---|
| 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#A7VH (statement). In S26QVW5613/e1, proposition 4.3.3
History
- 2026-10-30: add by m2/v0.4.12
Classification and anti-classification theorems PX67HYS1K7
| URI | m2://inv/PX67HYS1K7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Measure-preserving dynamical system#3LF8, Classification and anti-classification theorems (statement)
History
- 2026-11-02: add by m2/dev
PX67MR8537 PX67MR8537
| URI | m2://inv/PX67MR8537 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22514#LVYC (statement)
History
- 2026-11-02: add by m2/v0.6.17
trihedral PX6CA2Q5N9
| URI | m2://inv/PX6CA2Q5N9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#IMTM, trihedral (definition)
History
- 2026-11-02: add by m2/dev
Identity and generalisation PX6DBHS50Y
| URI | m2://inv/PX6DBHS50Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morrie's law#RCL9, Identity and generalisation (statement)
History
- 2026-11-02: add by m2/dev
The ``let'' construct PX6FQG4SD1
| URI | m2://inv/PX6FQG4SD1 |
|---|---|
| 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 math/0003117#VF9J, The ``let'' construct (definition). In WD2NCBV9F0/e1, definition 9.9
History
- 2026-10-27: add by m2/v0.3.5
PX6JCMN4KP PX6JCMN4KP
| URI | m2://inv/PX6JCMN4KP |
|---|---|
| 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.26366#53KS (statement)
History
- 2026-11-01: add by m2/v0.6.15
PX6PEWGEST PX6PEWGEST
| URI | m2://inv/PX6PEWGEST |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.08251#OG9G (statement). In YRJKC9DJEA/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
PX6RZMBCSA PX6RZMBCSA
| URI | m2://inv/PX6RZMBCSA |
|---|---|
| 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.28251#ZBR5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
PX6S6VJSGB PX6S6VJSGB
| URI | m2://inv/PX6S6VJSGB |
|---|---|
| Kind | example |
| 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#FJ1N (example)
History
- 2026-11-02: add by m2/v0.6.18
PX6X3YWS87 PX6X3YWS87
| URI | m2://inv/PX6X3YWS87 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20606#BMV9 (definition)
History
- 2026-11-02: add by m2/v0.6.18
PX70P12D09 PX70P12D09
| URI | m2://inv/PX70P12D09 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14502#TA49 (statement). In 6BVBMTYXNZ/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
Pure first Bianchi PX7ACS5QYF
| URI | m2://inv/PX7ACS5QYF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#89PK, Pure first Bianchi (statement)
History
- 2026-11-01: add by m2/v0.6.15
PX7PDD652P PX7PDD652P
| URI | m2://inv/PX7PDD652P |
|---|---|
| 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 2210.04075#HX00 (statement). In C5DZR0TC5E/e1, corollary 2.11
History
- 2026-10-27: add by m2/v0.3.5
perfect group PX7S8723DQ
| URI | m2://inv/PX7S8723DQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 585271) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#9MGA, perfect group (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Applications PX7VAXV4VA
| URI | m2://inv/PX7VAXV4VA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semiclassical gravity#9NKY, Applications (example)
History
- 2026-11-02: add by m2/dev
PX841WDGJN PX841WDGJN
| URI | m2://inv/PX841WDGJN |
|---|---|
| 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 2610.14914#882Z (statement). In CHC3T113Y4/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.2
Betty Webb (code breaker) PX8EG92ZJ6
| URI | m2://inv/PX8EG92ZJ6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#YDY3, Betty Webb (code breaker) (unknown)
History
- 2026-11-02: add by m2/dev
PX8FJ894GK PX8FJ894GK
| URI | m2://inv/PX8FJ894GK |
|---|---|
| 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.10233#22R3 (statement). In QR9WE79ERQ/e1, fact 4.9
History
- 2026-10-29: add by m2/v0.4.10
PX8G1V5MGT PX8G1V5MGT
| URI | m2://inv/PX8G1V5MGT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/quintic.tex#exercise-3 (exercise). In RZP28ERRZV, exercise, section 42.4
History
- 2026-11-01: add by m2/v0.6.13
Examples PX8KDV1785
| URI | m2://inv/PX8KDV1785 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangular decomposition#MKMY, Examples (example)
History
- 2026-11-02: add by m2/dev
$SO_1$ Index PX8MJAG4Y1
| URI | m2://inv/PX8MJAG4Y1 |
|---|---|
| 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.20364#7UUH, $SO_1$ Index (statement). In 433NXYKPG3/e1, corollary 2
History
- 2026-10-27: add by m2/v0.4.2
Reptiliomorph PX8RWC1QK9
| URI | m2://inv/PX8RWC1QK9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#AI31, Reptiliomorph (unknown)
History
- 2026-11-02: add by m2/dev
PX907WEAXS PX907WEAXS
| URI | m2://inv/PX907WEAXS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/fourier.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 59.3.3
History
- 2026-11-01: add by m2/v0.6.13
PX90MJHG5C PX90MJHG5C
| URI | m2://inv/PX90MJHG5C |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 37-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.20131#OHHU (problem). In 29D4TTE3J2/e1, problem 2.8
History
- 2026-10-27: add by m2/v0.4.2
Properties PX99WXPSE3
| URI | m2://inv/PX99WXPSE3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schottky group#CJL7, Properties (statement)
History
- 2026-11-02: add by m2/dev
PX9AN68ABS PX9AN68ABS
| URI | m2://inv/PX9AN68ABS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/models-of-arithmetic/standard-models.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 49.4
History
- 2026-11-01: add by m2/v0.6.13
PX9BJHKW3T PX9BJHKW3T
| URI | m2://inv/PX9BJHKW3T |
|---|---|
| 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.06461#4115 (statement). In QXY3W2JV2N/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
Spillover PX9D7RY919
| URI | m2://inv/PX9D7RY919 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spillover (experiment), Spillover (definition). Also Wikidata Q60747925
History
- 2026-11-02: add by m2/dev
Fermat curve PX9GWMMQZ8
| URI | m2://inv/PX9GWMMQZ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2612406, Fermat curve (unknown). Also nLab Fermat curve
- wikipedia: Wikipedia Fermat curve, Fermat curve (definition). Also Wikidata Q2612406
History
- 2026-10-26: add by m2/dev
George Papanicolaou PXA1PXM75X
| URI | m2://inv/PXA1PXM75X |
|---|---|
| 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#S3RM, George Papanicolaou (topic)
History
- 2026-11-02: add by m2/dev
PXA4Q2NGDR PXA4Q2NGDR
| URI | m2://inv/PXA4Q2NGDR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2008.10035#D88S (statement). In 29EH04FH4B/e1, theorem 5.5
History
- 2026-10-27: add by m2/v0.3.5
Barton Zwiebach PXA5ZPYK6C
| URI | m2://inv/PXA5ZPYK6C |
|---|---|
| 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 Q809560, Barton Zwiebach (unknown). Also nLab Barton Zwiebach
History
- 2026-10-26: add by m2/dev
Energy cascade PXA8C3XGZN
| URI | m2://inv/PXA8C3XGZN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Energy cascade, Energy cascade (definition). Also Wikidata Q20020306
History
- 2026-11-02: add by m2/dev
fibres and dimension PXAJWSTMA1
| URI | m2://inv/PXAJWSTMA1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.04000#O1YL, fibres and dimension (statement). In CBCCH5VTMQ/e1, lemma 2.8
History
- 2026-10-29: add by m2/v0.4.12
Terminal sandwich PXAPQSNRE5
| URI | m2://inv/PXAPQSNRE5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#MS8L, Terminal sandwich (statement). In NKXTXH59P1/e1, lemma A.4
History
- 2026-10-29: add by m2/v0.4.10
PXATBT2448 PXATBT2448
| URI | m2://inv/PXATBT2448 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.27125#JI9U (statement)
History
- 2026-11-01: add by m2/v0.6.15
392 (number) PXAV81B0F2
| URI | m2://inv/PXAV81B0F2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#M1Q6, 392 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Zigzags resist every reparameterisation PXAYX5ZVQV
| URI | m2://inv/PXAYX5ZVQV |
|---|---|
| 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 2609.26129#3DYZ, Zigzags resist every reparameterisation (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kari Vilonen PXB387XMKG
| URI | m2://inv/PXB387XMKG |
|---|---|
| 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#RS9M, Kari Vilonen (topic)
History
- 2026-11-02: add by m2/dev
Implementations PXB810XY3Q
| URI | m2://inv/PXB810XY3Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilkinson's Grammar of Graphics#NG3E, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Interpretation of approximate feasibility PXBHAF73ZW
| URI | m2://inv/PXBHAF73ZW |
|---|---|
| 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.39736#4U50, Interpretation of approximate feasibility (statement). In BB1XJ47PVW/e1, corollary 13
History
- 2026-10-30: add by m2/v0.4.12
An exact disjunctive basis PXBJE59Y1V
| URI | m2://inv/PXBJE59Y1V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#0SUQ, An exact disjunctive basis (statement). In 5E9G06XJKC/e1, theorem 6.3
History
- 2026-10-28: add by m2/v0.4.2
PXBJT927BF PXBJT927BF
| URI | m2://inv/PXBJT927BF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08196#VB4C (example). In 8QVWZ23N42/e1, example 3.6
History
- 2026-10-29: add by m2/v0.4.10
Definition PXBQMCWD62
| URI | m2://inv/PXBQMCWD62 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal semantics (natural language)#C4ZN, Definition (definition)
History
- 2026-11-02: add by m2/dev
Lester's theorem PXBVVKEAJG
| URI | m2://inv/PXBVVKEAJG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#Q32X, Lester's theorem (statement)
History
- 2026-11-02: add by m2/dev
Arthur Rosenthal PXBYBSSHDN
| URI | m2://inv/PXBYBSSHDN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arthur Rosenthal, Arthur Rosenthal (topic). Also Wikidata Q105005
History
- 2026-11-02: add by m2/dev
PXC3CPF930 PXC3CPF930
| URI | m2://inv/PXC3CPF930 |
|---|---|
| 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.17541#977U (statement). In 9PHDBFMHH6/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
PXC3Z403A1 PXC3Z403A1
| URI | m2://inv/PXC3Z403A1 |
|---|---|
| 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.28489#SFDR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ingram Olkin PXC4XYY103
| URI | m2://inv/PXC4XYY103 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#0MLM, Ingram Olkin (topic)
History
- 2026-11-02: add by m2/dev
Hausdorff space PXC5Y7X585
| URI | m2://inv/PXC5Y7X585 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#Y349, Hausdorff space (definition)
- wikipedia: Wikipedia List of things named after Felix Hausdorff#2G1O, Hausdorff space (definition)
History
- 2026-11-02: add by m2/dev
inner automorphism group PXC9JRCKFF
| URI | m2://inv/PXC9JRCKFF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q77980592, inner automorphism group (definition). Also MathWorld InnerAutomorphismGroup, ProofWiki Definition:Inner_Automorphism_Group
History
- 2026-10-26: add by m2/dev
PXCBMNMC8G PXCBMNMC8G
| URI | m2://inv/PXCBMNMC8G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.12931#49SQ (statement). In PQHTR84RAJ/e1, proposition 3.8
History
- 2026-10-27: add by m2/v0.4.0
PXCD3YP5HR PXCD3YP5HR
| URI | m2://inv/PXCD3YP5HR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 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 2609.27192#K2FE (statement)
History
- 2026-11-01: add by m2/v0.6.15
PXCR2FZ97X PXCR2FZ97X
| URI | m2://inv/PXCR2FZ97X |
|---|---|
| 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.22272#YHYF (statement). In 4VZV5V0YD6/e1, lemma 11
History
- 2026-10-27: add by m2/v0.4.0
Inverse Gaussian distribution PXCSAKBEPD
| URI | m2://inv/PXCSAKBEPD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#OGUJ, Inverse Gaussian distribution (definition)
History
- 2026-11-02: add by m2/dev
Rape in Qatar PXD050Y8WM
| URI | m2://inv/PXD050Y8WM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rape statistics#GD1D, Rape in Qatar (unknown)
History
- 2026-11-02: add by m2/dev
Theorem 2 PXD9PQZ96V
| URI | m2://inv/PXD9PQZ96V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coiflet#TMGC, Theorem 2 (statement)
History
- 2026-11-02: add by m2/dev
PXDB33QNNS PXDB33QNNS
| URI | m2://inv/PXDB33QNNS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.38970#JF9D (statement). In VE6WBAMDSA/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
PXDC9VD2SM PXDC9VD2SM
| URI | m2://inv/PXDC9VD2SM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06108#P441 (statement). In D3WKY1PW64/e1, lemma 3.13
History
- 2026-10-29: add by m2/v0.4.10
Results PXDCJN9ZG4
| URI | m2://inv/PXDCJN9ZG4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abhyankar's conjecture#V3RC, Results (statement)
History
- 2026-11-02: add by m2/dev
PXDHFKXKXH PXDHFKXKXH
| URI | m2://inv/PXDHFKXKXH |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.15365#OO3S (unknown). In R2XC1SC9NZ/e1, unknown 30
History
- 2026-10-27: add by m2/v0.3.5
PXDSR8N84F PXDSR8N84F
| URI | m2://inv/PXDSR8N84F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.02672#T6IM (statement). In ETRT1R1CQ8/e1, corollary 8.2
History
- 2026-10-27: add by m2/v0.4.0
Boundary metric under direction-set convergence PXE217S1RA
| URI | m2://inv/PXE217S1RA |
|---|---|
| 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.11309#VRDE, Boundary metric under direction-set convergence (statement). In TTEAQA1XXR/e1, lemma C.22
History
- 2026-10-28: add by m2/v0.4.3
PXE45D6570 PXE45D6570
| URI | m2://inv/PXE45D6570 |
|---|---|
| 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 0807.1620#NHWS (statement). In 2AREGC7WB6/e1, theorem B
History
- 2026-10-27: add by m2/v0.3.5
Leprosy PXE5VPK0QJ
| URI | m2://inv/PXE5VPK0QJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#9VEE, Leprosy (unknown)
History
- 2026-11-02: add by m2/dev
PXEB5G4QJH PXEB5G4QJH
| URI | m2://inv/PXEB5G4QJH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.19729#6EFE (statement). In 40YZ43TS8K/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
PXEPBH03HQ PXEPBH03HQ
| URI | m2://inv/PXEPBH03HQ |
|---|---|
| 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#83ON (statement). In 63MJS935N4/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
Algebraic geometry PXEXM830J1
| URI | m2://inv/PXEXM830J1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#V6OY, Algebraic geometry (topic)
- wikipedia: Wikipedia List of abstract algebra topics#9I23, Algebraic geometry (topic)
- wikipedia: Wikipedia List of commutative algebra topics#KOVG, Algebraic geometry (topic)
History
- 2026-11-02: add by m2/dev
PXEZPRCQG6 PXEZPRCQG6
| URI | m2://inv/PXEZPRCQG6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.20798#QDTB (statement)
History
- 2026-11-02: add by m2/v0.6.18
PXF1JWSK1E PXF1JWSK1E
| URI | m2://inv/PXF1JWSK1E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-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.00869#TPNF (statement). In 63JMKC4GZE/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
\textbf, Theorem 2.2 PXF2VWK7FQ
| URI | m2://inv/PXF2VWK7FQ |
|---|---|
| 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.30086#CREA, \textbf, Theorem 2.2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
PXF34A91JB PXF34A91JB
| URI | m2://inv/PXF34A91JB |
|---|---|
| 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.35421#56WH (statement). In KE8B8KMDJJ/e1, theorem 0.5
History
- 2026-10-30: add by m2/v0.4.12
Female education in Denmark PXF5CNC96S
| URI | m2://inv/PXF5CNC96S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Female education#REJJ, Female education in Denmark (unknown)
History
- 2026-11-02: add by m2/dev
Semantics of autoepistemic logic PXF6MFBNTT
| URI | m2://inv/PXF6MFBNTT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Autoepistemic logic#I3MN, Semantics of autoepistemic logic (unknown)
History
- 2026-11-02: add by m2/dev
Uniform analytic propagation in the parabolic case PXFG5DB4ME
| URI | m2://inv/PXFG5DB4ME |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16094#3JYS, Uniform analytic propagation in the parabolic case (statement). In RHBS9QDHC3/e1, proposition 5.10
History
- 2026-10-28: add by m2/v0.4.2
PXFHPKDJV4 PXFHPKDJV4
| URI | m2://inv/PXFHPKDJV4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.18239#RF1T (statement). In C60WZ6WQSY/e1, proposition 3.5
History
- 2026-10-28: add by m2/v0.4.2
PXFHS3H4CJ PXFHS3H4CJ
| URI | m2://inv/PXFHS3H4CJ |
|---|---|
| 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 2210.16706#UG8G (statement). In JSRVKPT87E/e1, theorem
History
- 2026-10-27: add by m2/v0.4.0
Günter Tamme PXFKPT5761
| URI | m2://inv/PXFKPT5761 |
|---|---|
| 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 Q1561125, Günter Tamme (unknown). Also nLab Günter Tamme
History
- 2026-10-26: add by m2/dev
PXFVNE8X6B PXFVNE8X6B
| URI | m2://inv/PXFVNE8X6B |
|---|---|
| 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 2311.01874#CI3L (statement). In A4TR95VGX2/e1, theorem 5.4.3
History
- 2026-10-27: add by m2/v0.3.5
Variations PXGCEWCTE3
| URI | m2://inv/PXGCEWCTE3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Layered graph drawing#CIVW, Variations (statement)
History
- 2026-11-02: add by m2/dev
Point-Line-Point Transfer PXGD5RM2MJ
| URI | m2://inv/PXGD5RM2MJ |
|---|---|
| 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.24314#05QP, Point-Line-Point Transfer (statement)
History
- 2026-11-01: add by m2/v0.6.15
PXGE41J9CR PXGE41J9CR
| URI | m2://inv/PXGE41J9CR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#example-5 (example). In E59CDZA4DP, example, section 3.4.1
History
- 2026-11-01: add by m2/v0.6.13
PXGZJY0MHW PXGZJY0MHW
| URI | m2://inv/PXGZJY0MHW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.02634#D4NX (statement). In EZ6PAF0MXH/e1, corollary 3.4
History
- 2026-10-27: add by m2/v0.3.5
betrothed numbers PXH2QAVM45
| URI | m2://inv/PXH2QAVM45 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q846701, betrothed numbers (concept). Also MathWorld QuasiamicablePair, OEIS A003502, OEIS A003503
- wikipedia: Wikipedia Betrothed numbers, Betrothed numbers (definition). Also Wikidata Q846701
History
- 2026-10-26: add by m2/dev
Examples PXH2WTFVKY
| URI | m2://inv/PXH2WTFVKY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohomological dimension#7ZWN, Examples (example)
History
- 2026-11-02: add by m2/dev
Terminology PXH3NNBADP
| URI | m2://inv/PXH3NNBADP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fluid dynamics#62MC, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Halsey Royden PXH71N6V54
| URI | m2://inv/PXH71N6V54 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Halsey Royden, Halsey Royden (topic). Also Wikidata Q1572252
History
- 2026-11-02: add by m2/dev
PXH87WC9D6 PXH87WC9D6
| URI | m2://inv/PXH87WC9D6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 1204.5958#O1KM (statement). In XYCBKM4WKY/e1, theorem 37
History
- 2026-10-27: add by m2/v0.3.5
Dunkl-polynomial duality PXHJABQ9AP
| URI | m2://inv/PXHJABQ9AP |
|---|---|
| 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.34260#CE4N, Dunkl-polynomial duality (statement). In BBE69ZPVTF/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
Gauss rifle PXHWPJRJFQ
| URI | m2://inv/PXHWPJRJFQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#HBJB, Gauss rifle (unknown)
History
- 2026-11-02: add by m2/dev
Holomorphic multiplier removal PXJ1C30BYD
| URI | m2://inv/PXJ1C30BYD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.27774#VMEZ, Holomorphic multiplier removal (statement)
History
- 2026-11-01: add by m2/v0.6.15
Large moments PXJ2K6BF0X
| URI | m2://inv/PXJ2K6BF0X |
|---|---|
| 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.02436#WQ7G, Large moments (statement). In J9WZBK6KAY/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.12
Applications PXJK3QESTQ
| URI | m2://inv/PXJK3QESTQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Applied epistemology#CWX3, Applications (example)
History
- 2026-11-02: add by m2/dev
Maurício Peixoto PXJQHDGSSX
| URI | m2://inv/PXJQHDGSSX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maurício Peixoto, Maurício Peixoto (topic). Also Wikidata Q3957076
History
- 2026-11-02: add by m2/dev
PXJXBHRTF4 PXJXBHRTF4
| URI | m2://inv/PXJXBHRTF4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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.20153#3JNJ (example)
History
- 2026-11-02: add by m2/v0.6.18
PXK3ZXEQFZ PXK3ZXEQFZ
| URI | m2://inv/PXK3ZXEQFZ |
|---|---|
| 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.16583#G9GZ (statement). In 4RPXT0YCS5/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
Positive completion dimension PXK4NY336D
| URI | m2://inv/PXK4NY336D |
|---|---|
| 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.13951#WMSR, Positive completion dimension (definition). In BDV8G2CV16/e1, definition 14
History
- 2026-10-28: add by m2/v0.4.2
Definition PXK5XMT8HV
| URI | m2://inv/PXK5XMT8HV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Datagram Transport Layer Security#G6GC, Definition (definition)
History
- 2026-11-02: add by m2/dev
PXK660AQBW PXK660AQBW
| URI | m2://inv/PXK660AQBW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#thm:unique multiplicative identity (statement). In P1C114YBXG, theorem, section u1
History
- 2026-11-01: add by m2/v0.6.13
Uniform polyhedron compound PXK9P9287P
| URI | m2://inv/PXK9P9287P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform polyhedron compound, Uniform polyhedron compound (definition). Also Wikidata Q3890160
History
- 2026-11-02: add by m2/dev
PXKBKD74KQ PXKBKD74KQ
| URI | m2://inv/PXKBKD74KQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09201#X2DT (statement). In JQFPH09JG8/e1, proposition 6.7
History
- 2026-10-29: add by m2/v0.4.10
PXKC3W8WYR PXKC3W8WYR
| URI | m2://inv/PXKC3W8WYR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09390#RNHY (statement). In 7SSKW778T8/e1, theorem 8
History
- 2026-10-29: add by m2/v0.4.10
PXKH0VJSG4 PXKH0VJSG4
| URI | m2://inv/PXKH0VJSG4 |
|---|---|
| Kind | definition |
| 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.33643#FQHC (definition). In G8Y8XD02EC/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Second variation along a metric path PXKKW6993W
| URI | m2://inv/PXKKW6993W |
|---|---|
| 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 2610.12351#L9SB, Second variation along a metric path (statement). In G1S5YM8TSR/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
PXKTQT45JT PXKTQT45JT
| URI | m2://inv/PXKTQT45JT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21622#F8B6 (statement). In H21X3FHNYJ/e1, proposition 7.9
History
- 2026-10-27: add by m2/v0.4.2
Ideal polyhedron PXM0YP1B61
| URI | m2://inv/PXM0YP1B61 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ideal polyhedron, Ideal polyhedron (definition). Also Wikidata Q97190573
History
- 2026-11-02: add by m2/dev
Incompressibility method PXM5GYS7ZG
| URI | m2://inv/PXM5GYS7ZG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incompressibility method, Incompressibility method (definition). Also Wikidata Q25304532
History
- 2026-11-02: add by m2/dev
PXM7MVSGKR PXM7MVSGKR
| URI | m2://inv/PXM7MVSGKR |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-29: add by m2/v0.4.10
The Creativity Code PXMB940B8H
| URI | m2://inv/PXMB940B8H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q105225947, The Creativity Code (unknown). Also ProofWiki Book:Marcus_du_Sautoy/The_Creativity_Code
History
- 2026-10-26: add by m2/dev
*{Lemma 2.7 PXMH5HY0KX
| URI | m2://inv/PXMH5HY0KX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.15255#498A, *{Lemma 2.7 (statement). In G691MXMYW0/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.4.0
PXMMJ9S1DX PXMMJ9S1DX
| URI | m2://inv/PXMMJ9S1DX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#defn-23 (definition). In VNMV985MXX, defn, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Prime Obsession PXMVTZMG4X
| URI | m2://inv/PXMVTZMG4X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#7ZFH, Prime Obsession (unknown)
History
- 2026-11-02: add by m2/dev
Mac Lane set theory PXMWQX69VS
| URI | m2://inv/PXMWQX69VS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of alternative set theories#T4LW, Mac Lane set theory (definition)
History
- 2026-11-02: add by m2/dev
Godunov's theorem PXN47H0X43
| URI | m2://inv/PXN47H0X43 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#TAP1, Godunov's theorem (statement)
History
- 2026-11-02: add by m2/dev
Essential component PXN4HV5YZ2
| URI | m2://inv/PXN4HV5YZ2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schnirelmann density#BZDJ, Essential component (unknown)
History
- 2026-11-02: add by m2/dev
Nemytskii operator PXNFBMJ251
| URI | m2://inv/PXNFBMJ251 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nemytskii operator, Nemytskii operator (definition). Also Wikidata Q6991377
History
- 2026-11-02: add by m2/dev
Minimal ideal PXNGHCMD5C
| URI | m2://inv/PXNGHCMD5C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimal ideal, Minimal ideal (definition). Also Wikidata Q17098947
History
- 2026-11-02: add by m2/dev
Erdős–Straus conjecture PXNR4SX8M6
| URI | m2://inv/PXNR4SX8M6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1349651, Erdős–Straus conjecture (concept). Also MathWorld Erdos-StrausConjecture, ProofWiki Erdős-Straus_Conjecture
- wikipedia: Wikipedia Erdős–Straus conjecture, Erdős–Straus conjecture (conjecture). Also Wikidata Q1349651
History
- 2026-10-26: add by m2/dev
Claus Moser, Baron Moser PXP3Y4RX79
| URI | m2://inv/PXP3Y4RX79 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Claus Moser, Baron Moser, Claus Moser, Baron Moser (topic). Also Wikidata Q1098410
History
- 2026-11-02: add by m2/dev
PXP4K01JQV PXP4K01JQV
| URI | m2://inv/PXP4K01JQV |
|---|---|
| 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.05216#OOV6 (definition). In J1VCHM6V0S/e1, definition 2.11
History
- 2026-10-29: add by m2/v0.4.10
James Arthur Harris PXP6RMRQ4E
| URI | m2://inv/PXP6RMRQ4E |
|---|---|
| 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#UA1V, James Arthur Harris (unknown)
History
- 2026-11-02: add by m2/dev
PXP6ZH4JYW PXP6ZH4JYW
| URI | m2://inv/PXP6ZH4JYW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-flavors.tex#definition-1 (definition). In RZP28ERRZV, definition, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
Breusch–Pagan test PXP7C67KBD
| URI | m2://inv/PXP7C67KBD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Breusch–Pagan test, Breusch–Pagan test (definition). Also Wikidata Q1961273
History
- 2026-11-02: add by m2/dev
PXPF96E15V PXPF96E15V
| URI | m2://inv/PXPF96E15V |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q135421143 (object). Also OEIS A384306
History
- 2026-10-26: add by m2/dev
Converse PXPFNRJKNM
| URI | m2://inv/PXPFNRJKNM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pythagorean theorem#Y2S7, Converse (statement)
History
- 2026-11-02: add by m2/dev
PXPMR49ZM6 PXPMR49ZM6
| URI | m2://inv/PXPMR49ZM6 |
|---|---|
| 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.13618#9PSG (statement). In XDQAEGH345/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
Song Khwae District PXPPJ0T64B
| URI | m2://inv/PXPPJ0T64B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#A39L, Song Khwae District (unknown)
History
- 2026-11-02: add by m2/dev
Applications PXPR3B246C
| URI | m2://inv/PXPR3B246C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Studentized range distribution#SKI9, Applications (example)
History
- 2026-11-02: add by m2/dev
Bock, Mary Ellen PXPXXQ29QY
| URI | m2://inv/PXPXXQ29QY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#9HLB, Bock, Mary Ellen (topic)
History
- 2026-11-02: add by m2/dev
PXQ01JJZ55 PXQ01JJZ55
| URI | m2://inv/PXQ01JJZ55 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02111#OK42 (statement). In NC5ZRF6F8N/e1, theorem 3.6
History
- 2026-10-29: add by m2/v0.4.12
PXQ36D12AK PXQ36D12AK
| URI | m2://inv/PXQ36D12AK |
|---|---|
| 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.08288#TI0U (statement). In CHVWYJM7RM/e1, corollary 1.7
History
- 2026-10-29: add by m2/v0.4.10
Independence of the closing family PXQJY0ND5P
| URI | m2://inv/PXQJY0ND5P |
|---|---|
| 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 2609.27851#Q8Z1, Independence of the closing family (statement)
History
- 2026-11-01: add by m2/v0.6.15
PXQKF35FYX PXQKF35FYX
| URI | m2://inv/PXQKF35FYX |
|---|---|
| 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 2509.05577#UZMX (statement). In EFWBREMZAP/e1, lemma 3.9
History
- 2026-10-27: add by m2/v0.3.5
PXQQ81Y24R PXQQ81Y24R
| URI | m2://inv/PXQQ81Y24R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/constructions.tex#definition-6 (definition). In RZP28ERRZV, definition, section 96.5
History
- 2026-11-01: add by m2/v0.6.13
PXQX75SE2J PXQX75SE2J
| URI | m2://inv/PXQX75SE2J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12014#ZE9R (statement). In DR7BK4CQ0V/e1, corollary 7.3
History
- 2026-10-28: add by m2/v0.4.3
Nathan PXR00AKB5Z
| URI | m2://inv/PXR00AKB5Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of twin teammates in sports#QDFO, Nathan (unknown)
History
- 2026-11-02: add by m2/dev
Amhes PXR7NVASSR
| URI | m2://inv/PXR7NVASSR |
|---|---|
| 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 Q5672579, Amhes (unknown). Also MathWorld RhindPapyrus
History
- 2026-10-26: add by m2/dev
Complete-transposition smoothing of indicators PXRC6DC412
| URI | m2://inv/PXRC6DC412 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00137#UKNW, Complete-transposition smoothing of indicators (statement). In NKW6YQ04QW/e1, lemma 2.6
History
- 2026-10-30: add by m2/v0.4.12
Tate curve PXRKPBXQCG
| URI | m2://inv/PXRKPBXQCG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#7581, Tate curve (definition)
History
- 2026-11-02: add by m2/dev
Bernard Parker Haigh PXRM9ZFA3J
| URI | m2://inv/PXRM9ZFA3J |
|---|---|
| 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#CMOL, Bernard Parker Haigh (unknown)
History
- 2026-11-02: add by m2/dev
Alpha Sigma Kappa PXRQ6D01KD
| URI | m2://inv/PXRQ6D01KD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alpha Sigma Kappa, Alpha Sigma Kappa (definition). Also Wikidata Q4735125
History
- 2026-11-02: add by m2/dev
Reversible gates PXRQM5W0H4
| URI | m2://inv/PXRQM5W0H4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/quantum/circuits.tex#example-1, Reversible gates (example). In RZP28ERRZV, example, section 75.2
History
- 2026-11-01: add by m2/v0.6.13
PXS2GBSQWJ PXS2GBSQWJ
| URI | m2://inv/PXS2GBSQWJ |
|---|---|
| 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.35642#RWRH (statement). In D905BX98TP/e1, corollary 4.4
History
- 2026-10-30: add by m2/v0.4.12
Chasles's theorem (disambiguation) PXSA5B3VRJ
| URI | m2://inv/PXSA5B3VRJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3424029, Chasles's theorem (disambiguation) (statement). Also Wikidata Q3424029
- thousand_plus: thousand_plus Q3424029, Chasles's theorems (statement). Also Wikidata Q3424029
History
- 2026-10-26: add by m2/dev
toilet waste vehicles PXSAD52Q3S
| URI | m2://inv/PXSAD52Q3S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#LRHC, toilet waste vehicles (unknown)
History
- 2026-11-02: add by m2/dev
PXSBDSCR0N PXSBDSCR0N
| URI | m2://inv/PXSBDSCR0N |
|---|---|
| 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 2405.05684#H5H7 (statement). In 1PR73ECTZB/e1, lemma 15
History
- 2026-10-27: add by m2/v0.3.5
George Pólya Award PXSQK7Y5T7
| URI | m2://inv/PXSQK7Y5T7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Pólya Award, George Pólya Award (definition). Also Wikidata Q1508099
History
- 2026-11-02: add by m2/dev
Joos Ulrich Heintz PXSSX6SGCE
| URI | m2://inv/PXSSX6SGCE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joos Ulrich Heintz, Joos Ulrich Heintz (topic). Also Wikidata Q79888550
History
- 2026-11-02: add by m2/dev
Klein four-group PXT19RN2NY
| URI | m2://inv/PXT19RN2NY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Klein four-group 0PMRQJVTME |
Mentions
- wikidata: Wikidata Q550593, Klein four-group (concept). Also MathWorld FiniteGroupC2xC2, MathWorld KleinFour-Group, MathWorld Vierergruppe, nLab Klein four-group, ProofWiki Definition:Klein_Four-Group
- wikipedia: Wikipedia Klein four-group, Klein four-group (definition). Also Wikidata Q550593
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Singleton bound PXT2FRJ6HV
| URI | m2://inv/PXT2FRJ6HV |
|---|---|
| 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.32906#TQ8V, Singleton bound (statement). In R589MXXHX4/e1, proposition 5.8
History
- 2026-10-31: add by m2/v0.5.6
PXT3H97ZSJ PXT3H97ZSJ
| URI | m2://inv/PXT3H97ZSJ |
|---|---|
| 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.16768#8XDA (statement). In 8FWK676AQX/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.2
Electron Angular Momentum PXTKHVW0DX
| URI | m2://inv/PXTKHVW0DX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spin (physics)#A8L8, Electron Angular Momentum (unknown)
History
- 2026-11-02: add by m2/dev
PXTVP9N1KX PXTVP9N1KX
| URI | m2://inv/PXTVP9N1KX |
|---|---|
| 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 2406.07116#T06T (statement). In 5B030CB2RK/e1, proposition 8.3
History
- 2026-10-27: add by m2/v0.3.6
PXTW5VCENF PXTW5VCENF
| URI | m2://inv/PXTW5VCENF |
|---|---|
| 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.17547#X4YP (statement). In XJ59TDP4HA/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
Philomena Nyarko PXV5C4M738
| URI | m2://inv/PXV5C4M738 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philomena Nyarko, Philomena Nyarko (topic). Also Wikidata Q87718373
History
- 2026-11-02: add by m2/dev
Examples PXV77286TX
| URI | m2://inv/PXV77286TX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Star of David theorem#K348, Examples (example)
History
- 2026-11-02: add by m2/dev
Moti Gitik PXVKZNENZ8
| URI | m2://inv/PXVKZNENZ8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moti Gitik, Moti Gitik (topic). Also Wikidata Q2385702
History
- 2026-11-02: add by m2/dev
PXVY98TPA8 PXVY98TPA8
| URI | m2://inv/PXVY98TPA8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19357#459R (statement). In RGXQ50RWXV/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
Ehsan Zaffar PXW0XFZH8K
| URI | m2://inv/PXW0XFZH8K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#QL2K, Ehsan Zaffar (unknown)
History
- 2026-11-02: add by m2/dev
Quine–McCluskey algorithm PXW40FA5XP
| URI | m2://inv/PXW40FA5XP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quine–McCluskey algorithm, Quine–McCluskey algorithm (definition). Also Wikidata Q621409
History
- 2026-11-02: add by m2/dev
Uniform corank-one obstruction PXW4QSD3R3
| URI | m2://inv/PXW4QSD3R3 |
|---|---|
| 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#7M2Q, Uniform corank-one obstruction (statement). In Z7M2JSF6HA/e1, theorem 7.5
History
- 2026-10-31: add by m2/v0.5.6
PXWFGNZ43F PXWFGNZ43F
| URI | m2://inv/PXWFGNZ43F |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.01237#G1RE (example). In M9VHCG48HB/e1, example 4.1
History
- 2026-10-27: add by m2/v0.3.5
PXWFNKEC5Y PXWFNKEC5Y
| URI | m2://inv/PXWFNKEC5Y |
|---|---|
| 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 2509.21121#HGQR (statement). In MTDABJF9AP/e1, lemma 7
History
- 2026-10-27: add by m2/v0.3.5
Eugene Dynkin PXWG8CKSN6
| URI | m2://inv/PXWG8CKSN6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#O68L, Eugene Dynkin (topic)
History
- 2026-11-02: add by m2/dev
PXWJZD47XN PXWJZD47XN
| URI | m2://inv/PXWJZD47XN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.21627#LJ9W (statement). In 4Z44S003HM/e1, lemma 1
History
- 2026-10-27: add by m2/v0.4.2
PXWPMG6XF7 PXWPMG6XF7
| URI | m2://inv/PXWPMG6XF7 |
|---|---|
| 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.25431#2OF0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
flat PXWRTZA28B
| URI | m2://inv/PXWRTZA28B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#28WZ, flat (definition)
History
- 2026-11-02: add by m2/dev
PXWSD5G4Z1 PXWSD5G4Z1
| URI | m2://inv/PXWSD5G4Z1 |
|---|---|
| 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.10365#6YUU (statement). In PRVQPSBVHK/e1, proposition 8
History
- 2026-10-29: add by m2/v0.4.10
Truncated normal distribution PXWYHSTR2J
| URI | m2://inv/PXWYHSTR2J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#VT6C, Truncated normal distribution (definition)
History
- 2026-11-02: add by m2/dev
PXWYRPDBFN PXWYRPDBFN
| URI | m2://inv/PXWYRPDBFN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36818#OLSW (example). In SK6AP2B9JH/e1, example 6.4
History
- 2026-10-30: add by m2/v0.4.12
PXX046ENNH PXX046ENNH
| URI | m2://inv/PXX046ENNH |
|---|---|
| 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#HZIS (statement). In WAXS6FS388/e1, lemma 2.8
History
- 2026-10-30: add by m2/v0.4.12
PXX3EBFCRP PXX3EBFCRP
| URI | m2://inv/PXX3EBFCRP |
|---|---|
| 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.05611#U1XM (statement). In QDTX6NXFEB/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
PXXFTPJ9DS PXXFTPJ9DS
| URI | m2://inv/PXXFTPJ9DS |
|---|---|
| Kind | definition |
| 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#9F3Q (definition)
History
- 2026-11-02: add by m2/v0.6.17
PXXQ8JPR0X PXXQ8JPR0X
| URI | m2://inv/PXXQ8JPR0X |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33162#8BY4 (example). In RPC7VG3KHQ/e1, example 4.1
History
- 2026-10-30: add by m2/v0.4.12
Francesco Cetti PXXTZ1AJYY
| URI | m2://inv/PXXTZ1AJYY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#RLLP, Francesco Cetti (unknown)
History
- 2026-11-02: add by m2/dev
Complex $n$-manifold PXXXXA5RB1
| URI | m2://inv/PXXXXA5RB1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/complex-structure.tex#definition-3, Complex $n$-manifold (definition). In RZP28ERRZV, definition, section 83.3
History
- 2026-11-01: add by m2/v0.6.13
PXY1FTJM7S PXY1FTJM7S
| URI | m2://inv/PXY1FTJM7S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08253#M7RO (definition). In 6AD2CTF0QF/e1, definition 2.6
History
- 2026-10-29: add by m2/v0.4.10
Seven Mile, Arizona PXY5EWJ01N
| URI | m2://inv/PXY5EWJ01N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#O27V, Seven Mile, Arizona (unknown)
History
- 2026-11-02: add by m2/dev
PXYDKSGEHT PXYDKSGEHT
| URI | m2://inv/PXYDKSGEHT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-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.05259#MELI (statement). In X1J5HKPS3R/e1, lemma 3.14
History
- 2026-10-29: add by m2/v0.4.10
Monotonicity PXYFP06G8H
| URI | m2://inv/PXYFP06G8H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/proof-theoretic-notions.tex#prop:monotonicity, Monotonicity (statement). In PKGMM3P5QY, prop, section 15.1
History
- 2026-11-01: add by m2/v0.6.13
PXYMF57Y6A PXYMF57Y6A
| URI | m2://inv/PXYMF57Y6A |
|---|---|
| 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.26769#U7R8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Finite-frequency approximation PXYPST09VP
| URI | m2://inv/PXYPST09VP |
|---|---|
| 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.29147#J92B, Finite-frequency approximation (statement)
History
- 2026-11-01: add by m2/v0.6.15
PXYQM3A4X3 PXYQM3A4X3
| URI | m2://inv/PXYQM3A4X3 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/pr-functions.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 3.30
History
- 2026-11-01: add by m2/v0.6.13
Ebenezer Cunningham PXYTF0ZXY8
| URI | m2://inv/PXYTF0ZXY8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ebenezer Cunningham, Ebenezer Cunningham (topic). Also Wikidata Q951453
History
- 2026-11-02: add by m2/dev
PXYVV26TZ0 PXYVV26TZ0
| URI | m2://inv/PXYVV26TZ0 |
|---|---|
| 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.26357#JJXB (statement)
History
- 2026-11-01: add by m2/v0.6.15
PXZ3VC7Y3Z PXZ3VC7Y3Z
| URI | m2://inv/PXZ3VC7Y3Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06206#OF93 (statement). In A7611PTXVQ/e1, theorem 5.2
History
- 2026-10-29: add by m2/v0.4.10
Tidal deceleration PXZ8MK59F2
| URI | m2://inv/PXZ8MK59F2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tidal acceleration#321T, Tidal deceleration (unknown)
History
- 2026-11-02: add by m2/dev
Ring of symmetric functions PXZB19B324
| URI | m2://inv/PXZB19B324 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring of symmetric functions, Ring of symmetric functions (definition). Also Wikidata Q17102788
History
- 2026-11-02: add by m2/dev
Formulation PXZRVC9MZQ
| URI | m2://inv/PXZRVC9MZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orr–Sommerfeld equation#GBJ4, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Downward entailing PXZSPD8N9D
| URI | m2://inv/PXZSPD8N9D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Downward entailing, Downward entailing (definition). Also Wikidata Q5303629
History
- 2026-11-02: add by m2/dev
PXZYK9QRHZ PXZYK9QRHZ
| URI | m2://inv/PXZYK9QRHZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31126#SV55 (statement). In GK1V5GEHTK/e1, corollary 4.6
History
- 2026-10-31: add by m2/v0.5.6