Inventory rows P4
The cards of the rows of the inventory whose ids start with P4. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Definition P406MBF6N6
| URI | m2://inv/P406MBF6N6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ricci curvature#0HFY, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definition (Conditional welfare of a flow) P407K3Y4HT
| URI | m2://inv/P407K3Y4HT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Price of anarchy#67QI, Definition (Conditional welfare of a flow) (definition)
History
- 2026-11-02: add by m2/dev
birthday problem P4080H7P4A
| URI | m2://inv/P4080H7P4A |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Birthday problem 0NMWG2PHJ0 |
Mentions
- wikidata: Wikidata Q339000, birthday problem (problem). Also MathWorld BirthdayProblem, ProofWiki Birthday_Paradox
- wikipedia: Wikipedia Birthday problem, Birthday problem (problem). Also Wikidata Q339000
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
P40G70A976 P40G70A976
| URI | m2://inv/P40G70A976 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14973#D9BD (statement). In 4AE59NXHC2/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
Thomas Gerald Room P40KSRS4KK
| URI | m2://inv/P40KSRS4KK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Gerald Room, Thomas Gerald Room (topic). Also Wikidata Q5296778
History
- 2026-11-02: add by m2/dev
P40YBECART P40YBECART
| URI | m2://inv/P40YBECART |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-5-3-1.xml#act-5-3-1 (exercise). In 907G4C4EJ1, activity, section 5.3.2
History
- 2026-11-01: add by m2/v0.6.13
P411X3Q8ME P411X3Q8ME
| URI | m2://inv/P411X3Q8ME |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32977#NYGM (statement). In 4KT9TK3MG4/e1, lemma C.2
History
- 2026-10-31: add by m2/v0.5.6
Matt Goodwin P41TRMBBN2
| URI | m2://inv/P41TRMBBN2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matt Goodwin, Matt Goodwin (topic). Also Wikidata Q6790582
History
- 2026-11-02: add by m2/dev
Abstract differential equation P41V0R5E8J
| URI | m2://inv/P41V0R5E8J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract differential equation, Abstract differential equation (definition). Also Wikidata Q55603110
History
- 2026-11-02: add by m2/dev
P41YTGS6DQ P41YTGS6DQ
| URI | m2://inv/P41YTGS6DQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0804.2115#BSYU (statement). In B9XACVAC6X/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
Motzkin–Taussky theorem P4201CB9NK
| URI | m2://inv/P4201CB9NK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Motzkin–Taussky theorem, Motzkin–Taussky theorem (statement). Also Wikidata Q122199167
History
- 2026-11-02: add by m2/dev
Black hole thermodynamics P422A29CGM
| URI | m2://inv/P422A29CGM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#DWT6, Black hole thermodynamics (definition)
History
- 2026-11-02: add by m2/dev
∃! P427KBAWY5
| URI | m2://inv/P427KBAWY5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#9ZRF, ∃! (definition)
History
- 2026-11-02: add by m2/dev
P429F516ME P429F516ME
| URI | m2://inv/P429F516ME |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.22011#3ICZ (statement)
History
- 2026-11-02: add by m2/v0.6.17
P42GJHAJY2 P42GJHAJY2
| URI | m2://inv/P42GJHAJY2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33682#225L (definition). In GN608RC9ES/e1, definition 4.1
History
- 2026-10-30: add by m2/v0.4.12
Great ditrigonal icosidodecahedron P42TRTM6PA
| URI | m2://inv/P42TRTM6PA |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#1LMI, Great ditrigonal icosidodecahedron (object)
History
- 2026-11-02: add by m2/dev
Finite-time bound for epoch planning P430DSMG6H
| URI | m2://inv/P430DSMG6H |
|---|---|
| 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.14988#YQ25, Finite-time bound for epoch planning (statement). In B29M4E6KGC/e1, theorem J.1
History
- 2026-10-28: add by m2/v0.4.2
P438FHDD9S P438FHDD9S
| URI | m2://inv/P438FHDD9S |
|---|---|
| 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.14249#HOCS (statement). In B6P8PG8R8T/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.2
Use P43ACJW1JP
| URI | m2://inv/P43ACJW1JP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interaction picture#LDDM, Use (example)
History
- 2026-11-02: add by m2/dev
Homogeneous test functions for symmetric planar distributions P43CNMW5SD
| URI | m2://inv/P43CNMW5SD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07404#TVO1, Homogeneous test functions for symmetric planar distributions (statement). In VAJ9MBT3SJ/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.10
Applications P43D742GFR
| URI | m2://inv/P43D742GFR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gillespie algorithm#G94S, Applications (example)
History
- 2026-11-02: add by m2/dev
P43JG1Z0FR P43JG1Z0FR
| URI | m2://inv/P43JG1Z0FR |
|---|---|
| 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.05784#3GO7 (statement). In 6NVP3YRWVA/e1, theorem 2.33
History
- 2026-10-29: add by m2/v0.4.10
Properties P43KXNMC73
| URI | m2://inv/P43KXNMC73 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cardinality of the continuum#4IU8, Properties (statement)
History
- 2026-11-02: add by m2/dev
Bott periodicity theorem P43MSSGGQ9
| URI | m2://inv/P43MSSGGQ9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#U5KL, Bott periodicity theorem (statement)
History
- 2026-11-02: add by m2/dev
simplicial vertex P43YR00TQH
| URI | m2://inv/P43YR00TQH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#Z79S, simplicial vertex (definition)
History
- 2026-11-02: add by m2/dev
Cipher Bureau P4419MYFMB
| URI | m2://inv/P4419MYFMB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cipher Bureau (Poland), Cipher Bureau (definition). Also Wikidata Q267599
History
- 2026-11-02: add by m2/dev
Thérèse Stukel P4434HW1HE
| URI | m2://inv/P4434HW1HE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thérèse Stukel, Thérèse Stukel (topic). Also Wikidata Q42349877
History
- 2026-11-02: add by m2/dev
Systematic PID Decoder P4445C1ASE
| URI | m2://inv/P4445C1ASE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37578#DHXV, Systematic PID Decoder (definition). In D7NDCWSDJE/e1, definition 2
History
- 2026-10-30: add by m2/v0.4.12
automorphic form P448B68QKN
| URI | m2://inv/P448B68QKN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#3L85, automorphic form (definition)
History
- 2026-11-02: add by m2/dev
Representations P44BK0KR4E
| URI | m2://inv/P44BK0KR4E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation of a Lie group#U886, Representations (definition)
History
- 2026-11-02: add by m2/dev
P44C5KNWHM P44C5KNWHM
| URI | m2://inv/P44C5KNWHM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15403#9567 (statement). In BSWNH3NW1M/e1, lemma 4.7
History
- 2026-10-27: add by m2/v0.3.5
absolute neighborhood retract P44CJN7Z1J
| URI | m2://inv/P44CJN7Z1J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#V7X5, absolute neighborhood retract (definition)
History
- 2026-11-02: add by m2/dev
P44HYTTAHX P44HYTTAHX
| URI | m2://inv/P44HYTTAHX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.09840#51OP (statement). In Y7TWHSF2HC/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.3.5
Central limit theorem P44Q2KAQ9W
| URI | m2://inv/P44Q2KAQ9W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KF2H, Central limit theorem (statement)
- wikipedia: Wikipedia List of probability topics#MTSR, Central limit theorem (statement)
History
- 2026-11-02: add by m2/dev
P452T5VV0Q P452T5VV0Q
| URI | m2://inv/P452T5VV0Q |
|---|---|
| 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 2405.10747#9RWA (statement). In X0PS03QCG0/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
P458J5KM5E P458J5KM5E
| URI | m2://inv/P458J5KM5E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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 2609.22058#NPDO (statement)
History
- 2026-11-02: add by m2/v0.6.17
P45A4780PF P45A4780PF
| URI | m2://inv/P45A4780PF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05506#A7IA (statement). In FT53PMB1TE/e1, corollary 1.1.10
History
- 2026-10-29: add by m2/v0.4.10
Bauer maximum principle P45C2JCD8E
| URI | m2://inv/P45C2JCD8E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bauer maximum principle, Bauer maximum principle (statement). Also Wikidata Q60792588
History
- 2026-11-02: add by m2/dev
Advanced statistics in basketball P45DMGEXNV
| URI | m2://inv/P45DMGEXNV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Advanced statistics in basketball, Advanced statistics in basketball (definition). Also Wikidata Q4653236
History
- 2026-11-02: add by m2/dev
Leopold Vietoris P45E079TMV
| URI | m2://inv/P45E079TMV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78693, Leopold Vietoris (unknown). Also nLab Leopold Vietoris
- wikipedia: Wikipedia Leopold Vietoris, Leopold Vietoris (topic). Also Wikidata Q78693
History
- 2026-10-26: add by m2/dev
Recursive restriction models P45HV582DC
| URI | m2://inv/P45HV582DC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09295#CPGR, Recursive restriction models (statement). In 29X0B511NF/e1, proposition 8.2
History
- 2026-10-29: add by m2/v0.4.10
Statement of the theorem P45P3HG0S4
| URI | m2://inv/P45P3HG0S4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hirzebruch signature theorem#4O1O, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
P45PJSE4XP P45PJSE4XP
| URI | m2://inv/P45PJSE4XP |
|---|---|
| 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.23279#FPIF (statement)
History
- 2026-11-02: add by m2/v0.6.17
Formal definition P45WSG959X
| URI | m2://inv/P45WSG959X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Train track map#6I5F, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
P467P4RNCD P467P4RNCD
| URI | m2://inv/P467P4RNCD |
|---|---|
| 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 2307.02473#YUTD (statement). In RGXMK94YW1/e1, corollary 4.1
History
- 2026-10-27: add by m2/v0.3.5
Terminology P46BJTTTEE
| URI | m2://inv/P46BJTTTEE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primitive element theorem#095W, Terminology (definition)
History
- 2026-11-02: add by m2/dev
P46ENVY69T P46ENVY69T
| URI | m2://inv/P46ENVY69T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03337#EIJX (statement). In VH7EZDGTNA/e1, proposition 2.14
History
- 2026-10-29: add by m2/v0.4.12
Baker–Campbell–Hausdorff formula P46GF5KS80
| URI | m2://inv/P46GF5KS80 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rotation matrix#VGV8, Baker–Campbell–Hausdorff formula (statement)
History
- 2026-11-02: add by m2/dev
A torus coset of regular unipotent matrices P46KB9MC2R
| URI | m2://inv/P46KB9MC2R |
|---|---|
| Kind | example |
| 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 2609.27204#2J5Q, A torus coset of regular unipotent matrices (example)
History
- 2026-11-01: add by m2/v0.6.15
Applications P46M72NWS5
| URI | m2://inv/P46M72NWS5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Summation by parts#K1IU, Applications (example)
History
- 2026-11-02: add by m2/dev
Robert Blanché P46NK2MQ5V
| URI | m2://inv/P46NK2MQ5V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Blanché, Robert Blanché (topic). Also Wikidata Q3434590
History
- 2026-11-02: add by m2/dev
Counterexample to generalizations of Pick's theorem P46S5E5RGF
| URI | m2://inv/P46S5E5RGF |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reeve tetrahedra#XO1X, Counterexample to generalizations of Pick's theorem (counterexample)
History
- 2026-11-02: add by m2/dev
P46SYS6Z09 P46SYS6Z09
| URI | m2://inv/P46SYS6Z09 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34845#ION6 (statement). In SBZNH932ZV/e1, theorem 10.6
History
- 2026-10-30: add by m2/v0.4.12
P46WK7S8RD P46WK7S8RD
| URI | m2://inv/P46WK7S8RD |
|---|---|
| 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.06419#YL5L (statement). In JSZRXT3W3E/e1, corollary 1.3
History
- 2026-10-29: add by m2/v0.4.10
P46WYRW9XN P46WYRW9XN
| URI | m2://inv/P46WYRW9XN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10928#A5XK (definition). In 8M7BFVQYMM/e1, definition 3.4
History
- 2026-10-28: add by m2/v0.4.3
Definition P46X88TAM6
| URI | m2://inv/P46X88TAM6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coupling (probability)#S5IT, Definition (definition)
History
- 2026-11-02: add by m2/dev
Theorems P46ZSN17S0
| URI | m2://inv/P46ZSN17S0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function of several real variables#DO20, Theorems (statement)
History
- 2026-11-02: add by m2/dev
Dvoretzky–Kiefer–Wolfowitz inequality P47DBNS169
| URI | m2://inv/P47DBNS169 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concentration inequality#FNK9, Dvoretzky–Kiefer–Wolfowitz inequality (statement)
History
- 2026-11-02: add by m2/dev
CpB P47FADV25E
| URI | m2://inv/P47FADV25E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Encryption software#EL8P, CpB (unknown)
History
- 2026-11-02: add by m2/dev
Frederick V. Waugh P47NK5PRS8
| URI | m2://inv/P47NK5PRS8 |
|---|---|
| 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#KNOX, Frederick V. Waugh (unknown)
History
- 2026-11-02: add by m2/dev
Dietz, E. Jacquelin P47QDTSRWJ
| URI | m2://inv/P47QDTSRWJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#HT0J, Dietz, E. Jacquelin (unknown)
History
- 2026-11-02: add by m2/dev
Locally finite P47QSMG6GV
| URI | m2://inv/P47QSMG6GV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#6JEO, Locally finite (definition)
History
- 2026-11-02: add by m2/dev
P4805RYF73 P4805RYF73
| URI | m2://inv/P4805RYF73 |
|---|---|
| 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#2QRF (statement). In GK1V5GEHTK/e1, theorem 5.7
History
- 2026-10-31: add by m2/v0.5.6
P484T7RED6 P484T7RED6
| URI | m2://inv/P484T7RED6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05486#SUPR (statement). In 5Z46AK2XTC/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.10
P48A62MXZ2 P48A62MXZ2
| URI | m2://inv/P48A62MXZ2 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07957#EMEZ (example). In RXFKX8M8P0/e1, example 1
History
- 2026-10-29: add by m2/v0.4.10
Craig retroazimuthal projection P48C0PJFTM
| URI | m2://inv/P48C0PJFTM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#U8EX, Craig retroazimuthal projection (unknown)
History
- 2026-11-02: add by m2/dev
Discrete space P48DFXWYE4
| URI | m2://inv/P48DFXWYE4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#QCR9, Discrete space (definition)
- wikipedia: Wikipedia List of general topology topics#FFE5, Discrete space (definition)
History
- 2026-11-02: add by m2/dev
P48EJ1SEXF P48EJ1SEXF
| URI | m2://inv/P48EJ1SEXF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#XI93 (statement). In 7V2PVZS04C/e1, corollary 5.3
History
- 2026-10-31: add by m2/v0.5.6
Common formulas P48FNB9A0Y
| URI | m2://inv/P48FNB9A0Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electric field#VUB4, Common formulas (statement)
History
- 2026-11-02: add by m2/dev
Uniform scalar estimate P48FQK6QH8
| URI | m2://inv/P48FQK6QH8 |
|---|---|
| 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.18884#6GG2, Uniform scalar estimate (statement). In 8WM10QMA9E/e1, lemma E.2
History
- 2026-10-28: add by m2/v0.4.2
SIAM Journal on Discrete Mathematics P48KA1DZF0
| URI | m2://inv/P48KA1DZF0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SIAM Journal on Discrete Mathematics, SIAM Journal on Discrete Mathematics (definition). Also Wikidata Q7390256
History
- 2026-11-02: add by m2/dev
Product regions and gates P48QWEV232
| URI | m2://inv/P48QWEV232 |
|---|---|
| Kind | definition |
| 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 2610.09162#K23Y, Product regions and gates (definition). In TAPS8P2VYS/e1, definition 1.21
History
- 2026-10-29: add by m2/v0.4.10
P48SYXH4Z6 P48SYXH4Z6
| URI | m2://inv/P48SYXH4Z6 |
|---|---|
| Kind | problem |
| 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.32478#I7A4 (problem). In 5QBSYDC2XH/e1, problem 1
History
- 2026-10-31: add by m2/v0.5.6
P4908AW0CJ P4908AW0CJ
| URI | m2://inv/P4908AW0CJ |
|---|---|
| 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.38838#1E61 (statement). In 3EH8M9GWTX/e1, proposition 2.6
History
- 2026-10-30: add by m2/v0.4.12
Mannheim curve P496AQ5WQQ
| URI | m2://inv/P496AQ5WQQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#F9JG, Mannheim curve (unknown)
History
- 2026-11-02: add by m2/dev
Algorithm P497YQEGKF
| URI | m2://inv/P497YQEGKF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kernel perceptron#RMQ6, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
alpha P49DT20J7S
| URI | m2://inv/P49DT20J7S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#4751, alpha (definition)
History
- 2026-11-02: add by m2/dev
Example P49DW2T3JR
| URI | m2://inv/P49DW2T3JR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rayleigh–Ritz method#0WH4, Example (example)
History
- 2026-11-02: add by m2/dev
Generalized logistic distribution P49E2V836H
| URI | m2://inv/P49E2V836H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#ZSPM, Generalized logistic distribution (definition)
History
- 2026-11-02: add by m2/dev
Optimal retention for the error bound P4A2XR5PWD
| URI | m2://inv/P4A2XR5PWD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36032#1RWP, Optimal retention for the error bound (statement). In QJ66EM4754/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
Ralph Fox P4A416SR8M
| URI | m2://inv/P4A416SR8M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1405367, Ralph Fox (unknown). Also nLab Ralph Fox
- wikipedia: Wikipedia Ralph Fox, Ralph Fox (topic). Also Wikidata Q1405367
History
- 2026-10-26: add by m2/dev
homography P4A4FZ91G6
| URI | m2://inv/P4A4FZ91G6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 16D40 |
| Sources | 2 |
| Outcome | open |
| Node | Projective transformation P1MKTF7MWQ |
Mentions
- wikidata: Wikidata Q2112539, homography (topic)
- wikipedia: Wikipedia Homography, Homography (definition). Also Wikidata Q2112539
History
- 2026-10-26: add by m2/dev
Glossary of field theory P4A4NH6VDT
| URI | m2://inv/P4A4NH6VDT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory, Glossary of field theory (topic). Also Wikidata Q3772492
History
- 2026-11-02: add by m2/dev
P4A94WNGJE P4A94WNGJE
| URI | m2://inv/P4A94WNGJE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26479#PCHL (definition)
History
- 2026-11-01: add by m2/v0.6.15
P4A9G6AMWA P4A9G6AMWA
| URI | m2://inv/P4A9G6AMWA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20522#AICK (statement)
History
- 2026-11-02: add by m2/v0.6.18
Peter G. Moore P4ABX5PK9Y
| URI | m2://inv/P4ABX5PK9Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter G. Moore, Peter G. Moore (topic). Also Wikidata Q15994646
History
- 2026-11-02: add by m2/dev
P4AEQQH79B P4AEQQH79B
| URI | m2://inv/P4AEQQH79B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-66 (exercise). In E9HS8K3A52, exercise, section 6.5.4
History
- 2026-11-01: add by m2/v0.6.13
Verifiable random function P4AHD6JAB5
| URI | m2://inv/P4AHD6JAB5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Verifiable random function, Verifiable random function (definition). Also Wikidata Q7921321
History
- 2026-11-02: add by m2/dev
Asociación Matemática Hondureña P4AKPPK01W
| URI | m2://inv/P4AKPPK01W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#NMIZ, Asociación Matemática Hondureña (unknown)
History
- 2026-11-02: add by m2/dev
David, Florea, and Lal\'in P4B1TZJRK0
| URI | m2://inv/P4B1TZJRK0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15316#K8PG, David, Florea, and Lal\'in (statement). In 3K84E4150C/e1, proposition 6.2
History
- 2026-10-28: add by m2/v0.4.2
P4B7RNTGWE P4B7RNTGWE
| URI | m2://inv/P4B7RNTGWE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/abelian.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 35.2
History
- 2026-11-01: add by m2/v0.6.13
Davis–Putnam algorithm P4BMC67EM2
| URI | m2://inv/P4BMC67EM2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Davis–Putnam algorithm, Davis–Putnam algorithm (definition). Also Wikidata Q1177898
History
- 2026-11-02: add by m2/dev
Applications P4BN85KBT8
| URI | m2://inv/P4BN85KBT8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sample maximum and minimum#G0KE, Applications (example)
History
- 2026-11-02: add by m2/dev
P4BNRA4K54 P4BNRA4K54
| URI | m2://inv/P4BNRA4K54 |
|---|---|
| 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 2508.02432#UKFQ (definition). In B366ACYB37/e1, definition 3.32
History
- 2026-10-27: add by m2/v0.3.5
P4BTNZET2V P4BTNZET2V
| URI | m2://inv/P4BTNZET2V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.01612#3R5K (statement). In A5KESSK05N/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
Group family P4BWN7JZ31
| URI | m2://inv/P4BWN7JZ31 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#PIKE, Group family (definition)
History
- 2026-11-02: add by m2/dev
P4C0P96JPP P4C0P96JPP
| URI | m2://inv/P4C0P96JPP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03175#0H7K (statement). In VMVNYKZ9GG/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.12
Schanuel P4C0X9VFP0
| URI | m2://inv/P4C0X9VFP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#UTA9, Schanuel (definition)
History
- 2026-11-02: add by m2/dev
Optimal sample size P4CNKVPKSD
| URI | m2://inv/P4CNKVPKSD |
|---|---|
| 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.09206#7A50, Optimal sample size (statement). In T7R1Q29DQK/e1, proposition 4
History
- 2026-10-29: add by m2/v0.4.10
P4CPN8QAES P4CPN8QAES
| URI | m2://inv/P4CPN8QAES |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#prop:elemmatrixdecomp (statement). In E59CDZA4DP, prop, section 11.2.3
History
- 2026-11-01: add by m2/v0.6.13
Weil reciprocity law P4CSKDSFDE
| URI | m2://inv/P4CSKDSFDE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#UKYS, Weil reciprocity law (statement)
- wikipedia: Wikipedia List of things named after André Weil#6WPH, Weil reciprocity law (statement)
History
- 2026-11-02: add by m2/dev
Maurice d'Ocagne P4CVJ2VCM9
| URI | m2://inv/P4CVJ2VCM9 |
|---|---|
| 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#BXDH, Maurice d'Ocagne (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WT3K, Maurice d'Ocagne (topic)
History
- 2026-11-02: add by m2/dev
Simulation by \( \CCA \ P4D58Q4P9S
| URI | m2://inv/P4D58Q4P9S |
|---|---|
| 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 math/0003117#QE6I, Simulation by \( \CCA \ (statement). In WD2NCBV9F0/e1, theorem 9
History
- 2026-10-27: add by m2/v0.3.5
P4D6ZPR8C9 P4D6ZPR8C9
| URI | m2://inv/P4D6ZPR8C9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.06762#LO0Y (statement). In J99PFFJXPE/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.6
P4D92S63JV P4D92S63JV
| URI | m2://inv/P4D92S63JV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-156 (exercise). In VNMV985MXX, exercise, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
P4DEY7ZPQZ P4DEY7ZPQZ
| URI | m2://inv/P4DEY7ZPQZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27360#59IM (statement)
History
- 2026-11-01: add by m2/v0.6.15
P4DJ776X9K P4DJ776X9K
| URI | m2://inv/P4DJ776X9K |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05696#NQUF (example). In MG81A9XJTQ/e1, example II.1
History
- 2026-10-29: add by m2/v0.4.10
Mea Shearim P4E5P6J5GG
| URI | m2://inv/P4E5P6J5GG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#5ZUU, Mea Shearim (unknown)
History
- 2026-11-02: add by m2/dev
P4EB2B4Q8A P4EB2B4Q8A
| URI | m2://inv/P4EB2B4Q8A |
|---|---|
| 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.32077#6LAP (statement). In WYXQDSQR9B/e1, proposition 3.1
History
- 2026-10-31: add by m2/v0.5.6
P4EC0CZK33 P4EC0CZK33
| URI | m2://inv/P4EC0CZK33 |
|---|---|
| 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 2610.03661#ZG20 (definition). In ESDKTYDHC8/e1, definition 35
History
- 2026-10-29: add by m2/v0.4.12
P4ED55V8B2 P4ED55V8B2
| URI | m2://inv/P4ED55V8B2 |
|---|---|
| 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 2403.01959#QXBE (statement). In 5YMNGJRC6Y/e1, proposition 4.7
History
- 2026-10-27: add by m2/v0.3.5
P4ERE4WRRS P4ERE4WRRS
| URI | m2://inv/P4ERE4WRRS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21009#MEEJ (statement). In 23G8VNDWDM/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.4.2
André Bloch P4EWGBV30H
| URI | m2://inv/P4EWGBV30H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#80CB, André Bloch (topic)
History
- 2026-11-02: add by m2/dev
Definitions P4EY4ADK5C
| URI | m2://inv/P4EY4ADK5C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Category of representations#LQP5, Definitions (definition)
History
- 2026-11-02: add by m2/dev
P4F1KK32EJ P4F1KK32EJ
| URI | m2://inv/P4F1KK32EJ |
|---|---|
| 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.36717#V4EN (statement). In 69FBWG9P3B/e1, lemma 3.16
History
- 2026-10-30: add by m2/v0.4.12
Disk covering problem P4F2AY4KHZ
| URI | m2://inv/P4F2AY4KHZ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5282308, Disk covering problem (problem). Also MathWorld DiskCoveringProblem
- wikipedia: Wikipedia Disk covering problem, Disk covering problem (problem). Also Wikidata Q5282308
History
- 2026-10-26: add by m2/dev
68–95–99.7 rule P4F86KG9AC
| URI | m2://inv/P4F86KG9AC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VQM6, 68–95–99.7 rule (definition)
History
- 2026-11-02: add by m2/dev
Microscopic conservation law P4FB55FG33
| URI | m2://inv/P4FB55FG33 |
|---|---|
| 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#LDT5, Microscopic conservation law (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hendrik S. Houthakker P4FDZXBASN
| URI | m2://inv/P4FDZXBASN |
|---|---|
| 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#V2CY, Hendrik S. Houthakker (unknown)
History
- 2026-11-02: add by m2/dev
Yukawa–Tsuno equation P4FVG3DSB9
| URI | m2://inv/P4FVG3DSB9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yukawa–Tsuno equation, Yukawa–Tsuno equation (definition). Also Wikidata Q8060603
History
- 2026-11-02: add by m2/dev
Definition P4FYBVR9BJ
| URI | m2://inv/P4FYBVR9BJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dedekind–Hasse norm#A0RS, Definition (definition)
History
- 2026-11-02: add by m2/dev
Expansion, tracking, and escape facts P4G4C85JRX
| URI | m2://inv/P4G4C85JRX |
|---|---|
| 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.39408#IXRP, Expansion, tracking, and escape facts (statement). In T8E6F01RTM/e1, lemma U.5
History
- 2026-10-30: add by m2/v0.4.12
Variations of the computational Diffie–Hellman assumption P4G8WHK6JA
| URI | m2://inv/P4G8WHK6JA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational Diffie–Hellman assumption#1UZ5, Variations of the computational Diffie–Hellman assumption (statement)
History
- 2026-11-02: add by m2/dev
P4GAM9MFD0 P4GAM9MFD0
| URI | m2://inv/P4GAM9MFD0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.05002#3LV5 (statement). In JBAQ7DTW7B/e1, theorem B.1
History
- 2026-10-27: add by m2/v0.3.5
P4GB989PAD P4GB989PAD
| URI | m2://inv/P4GB989PAD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#prop:upperlowerlinineq (statement). In E59CDZA4DP, prop, section 8.2.2
History
- 2026-11-01: add by m2/v0.6.13
P4GFTZ9QBC P4GFTZ9QBC
| URI | m2://inv/P4GFTZ9QBC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22825#QQ84 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Unruh radiation P4GFZW6QNP
| URI | m2://inv/P4GFZW6QNP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unruh effect#GM7A, Unruh radiation (unknown)
History
- 2026-11-02: add by m2/dev
Shading language P4GPHP3ZS7
| URI | m2://inv/P4GPHP3ZS7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#WPR0, Shading language (unknown)
History
- 2026-11-02: add by m2/dev
Properties P4H22H7J85
| URI | m2://inv/P4H22H7J85 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Kac–Moody algebra#0V8S, Properties (statement)
History
- 2026-11-02: add by m2/dev
P4H4990N1P P4H4990N1P
| URI | m2://inv/P4H4990N1P |
|---|---|
| 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 2609.29489#TZNB (statement)
History
- 2026-11-01: add by m2/v0.6.15
P4H4T9HXBM P4H4T9HXBM
| URI | m2://inv/P4H4T9HXBM |
|---|---|
| Kind | definition |
| 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.38567#B09E (definition). In 59AXA7QFTE/e1, definition 5
History
- 2026-10-30: add by m2/v0.4.12
P4H92M67DY P4H92M67DY
| URI | m2://inv/P4H92M67DY |
|---|---|
| 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.12912#715B (statement). In PDKBKKJ4BV/e1, lemma 7.4
History
- 2026-10-28: add by m2/v0.4.2
Ahmet Alkan P4H99ZXRPJ
| URI | m2://inv/P4H99ZXRPJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#S820, Ahmet Alkan (unknown)
History
- 2026-11-02: add by m2/dev
P4HA9YJ96R P4HA9YJ96R
| URI | m2://inv/P4HA9YJ96R |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroFunctions.tex#problem-10 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
Orthogonal direct sum P4HC7SN054
| URI | m2://inv/P4HC7SN054 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct sum of modules#79E6, Orthogonal direct sum (unknown)
History
- 2026-11-02: add by m2/dev
Representations P4HEQ9701P
| URI | m2://inv/P4HEQ9701P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathieu group M23#YKGQ, Representations (definition)
History
- 2026-11-02: add by m2/dev
P4J94JD0HA P4J94JD0HA
| URI | m2://inv/P4J94JD0HA |
|---|---|
| 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.22074#PRA1 (statement). In F3BKXXPR3K/e1, proposition 4.13
History
- 2026-10-27: add by m2/v0.4.2
Rule 188 P4JBKJ7EAP
| URI | m2://inv/P4JBKJ7EAP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary cellular automaton#PWIO, Rule 188 (unknown)
History
- 2026-11-02: add by m2/dev
Results P4JGXD7RYF
| URI | m2://inv/P4JGXD7RYF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Redskins Rule#L0H2, Results (statement)
History
- 2026-11-02: add by m2/dev
Patrick X. Gallagher P4JJZV99Z4
| URI | m2://inv/P4JJZV99Z4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Patrick X. Gallagher, Patrick X. Gallagher (topic). Also Wikidata Q61642840
History
- 2026-11-02: add by m2/dev
Book embedding P4JVSF8H1A
| URI | m2://inv/P4JVSF8H1A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Book embedding, Book embedding (definition). Also Wikidata Q4942980
History
- 2026-11-02: add by m2/dev
P4JXJE1R3T P4JXJE1R3T
| URI | m2://inv/P4JXJE1R3T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34522#1NJ3 (statement). In 1HJGW3Z6Q8/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Discrete logarithm records P4K7YKHXQ2
| URI | m2://inv/P4K7YKHXQ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete logarithm records, Discrete logarithm records (definition). Also Wikidata Q5282051
History
- 2026-11-02: add by m2/dev
Exponentially modified Gaussian distribution P4K9JZW2NN
| URI | m2://inv/P4K9JZW2NN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#L0L0, Exponentially modified Gaussian distribution (definition)
History
- 2026-11-02: add by m2/dev
Formal definition P4K9NBQ00T
| URI | m2://inv/P4K9NBQ00T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nested set collection#SVM1, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Klaus Sutner P4KGDHKC3M
| URI | m2://inv/P4KGDHKC3M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#M4CY, Klaus Sutner (unknown)
History
- 2026-11-02: add by m2/dev
P4KRAZ7B3Y P4KRAZ7B3Y
| URI | m2://inv/P4KRAZ7B3Y |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20306#DXND (example). In YG5EX49042/e1, example 6.4
History
- 2026-10-27: add by m2/v0.4.2
P4KRFB6Z4M P4KRFB6Z4M
| URI | m2://inv/P4KRFB6Z4M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20899#ADR5 (definition). In BSMDFADA39/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.4.2
Construction P4KT4QEM8F
| URI | m2://inv/P4KT4QEM8F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Five-term exact sequence#ZEKA, Construction (definition)
History
- 2026-11-02: add by m2/dev
Bettina Richmond P4KX90AZZ7
| URI | m2://inv/P4KX90AZZ7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bettina Richmond, Bettina Richmond (topic). Also Wikidata Q102139939
History
- 2026-11-02: add by m2/dev
Distributions known to disobey Benford's law P4M1EW84DZ
| URI | m2://inv/P4M1EW84DZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benford's law#X9WK, Distributions known to disobey Benford's law (statement)
History
- 2026-11-02: add by m2/dev
P4M1W22W8T P4M1W22W8T
| URI | m2://inv/P4M1W22W8T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16069#UH4T (statement). In MBJA03ES8N/e1, theorem C
History
- 2026-10-28: add by m2/v0.4.2
P4M22M5PAR P4M22M5PAR
| URI | m2://inv/P4M22M5PAR |
|---|---|
| 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.15037#IFFP (statement). In 9XCA9T80GJ/e1, theorem 4.4.1
History
- 2026-10-28: add by m2/v0.4.2
Order Dropping Map P4MEK9XGA9
| URI | m2://inv/P4MEK9XGA9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-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 1711.00219#W4RT, Order Dropping Map (definition). In 7V3HG30ZGW/e1, definition A.11
History
- 2026-10-27: add by m2/v0.4.0
P4MNWR6191 P4MNWR6191
| URI | m2://inv/P4MNWR6191 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_gt-intro.ptx#example-4 (example). In Y91XFCEVHQ, example, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Variations P4NGB4BZMW
| URI | m2://inv/P4NGB4BZMW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paracompact space#RNPQ, Variations (statement)
History
- 2026-11-02: add by m2/dev
P4NGK6505K P4NGK6505K
| URI | m2://inv/P4NGK6505K |
|---|---|
| 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.06340#LEL1 (statement). In PKNZPECH82/e1, theorem 10.2
History
- 2026-10-29: add by m2/v0.4.10
P4NK29QYJJ P4NK29QYJJ
| URI | m2://inv/P4NK29QYJJ |
|---|---|
| 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 2006.12475#9HBI (definition). In 8YWBGQQGA3/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
P4NKXJMXMN P4NKXJMXMN
| URI | m2://inv/P4NKXJMXMN |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#XTUH (unknown). In QNBFHFZ3H0/e1, unknown 100
History
- 2026-10-28: add by m2/v0.4.2
P4NSHGFHM0 P4NSHGFHM0
| URI | m2://inv/P4NSHGFHM0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35844#FGFS (statement). In V33HFE8TZT/e1, fact 3
History
- 2026-10-30: add by m2/v0.4.12
natural P4NVZQR91Q
| URI | m2://inv/P4NVZQR91Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#92LI, natural (definition)
History
- 2026-11-02: add by m2/dev
P4NWJSF0ZD P4NWJSF0ZD
| URI | m2://inv/P4NWJSF0ZD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21121#SRIU (statement)
History
- 2026-11-02: add by m2/v0.6.18
Truncated Gaussian averaging operator P4NXJZXFGR
| URI | m2://inv/P4NXJZXFGR |
|---|---|
| Kind | definition |
| 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.10875#S3A4, Truncated Gaussian averaging operator (definition). In N91F15MHW1/e1, definition 9
History
- 2026-10-28: add by m2/v0.4.3
Escape and the unique first winner P4NZSZY292
| URI | m2://inv/P4NZSZY292 |
|---|---|
| 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.39408#ZX3V, Escape and the unique first winner (statement). In T8E6F01RTM/e1, lemma U.1
History
- 2026-10-30: add by m2/v0.4.12
Alan E. Gelfand P4NZY3JMDJ
| URI | m2://inv/P4NZY3JMDJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alan E. Gelfand, Alan E. Gelfand (topic). Also Wikidata Q29447235
History
- 2026-11-02: add by m2/dev
Remez-type inequality P4P2GWZBS6
| URI | m2://inv/P4P2GWZBS6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17276#4RRY, Remez-type inequality (statement). In GG14QF0JKJ/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
P4P8QS7XBH P4P8QS7XBH
| URI | m2://inv/P4P8QS7XBH |
|---|---|
| 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.09341#2MO1 (statement). In DSXBMRYE0V/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.10
Wieferich pair P4PD5Y6VNV
| URI | m2://inv/P4PD5Y6VNV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wieferich pair, Wieferich pair (definition). Also Wikidata Q4344774
History
- 2026-11-02: add by m2/dev
Hans Lindblad P4PD9VP81H
| URI | m2://inv/P4PD9VP81H |
|---|---|
| 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#WLYQ, Hans Lindblad (unknown)
History
- 2026-11-02: add by m2/dev
P4PKS5FMZ6 P4PKS5FMZ6
| URI | m2://inv/P4PKS5FMZ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30482#UJAX (statement). In KWB9M5YH9G/e1, theorem 2.15
History
- 2026-10-31: add by m2/v0.5.6
Generalizations P4PZM0QB2W
| URI | m2://inv/P4PZM0QB2W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Mises–Fisher distribution#3TWO, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
P4PZVVGKW4 P4PZVVGKW4
| URI | m2://inv/P4PZVVGKW4 |
|---|---|
| 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 2610.14502#ISC8 (definition). In 6BVBMTYXNZ/e1, definition 2.5
History
- 2026-10-28: add by m2/v0.4.2
P4Q1CCTPK9 P4Q1CCTPK9
| URI | m2://inv/P4Q1CCTPK9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25353#RJNS (statement)
History
- 2026-11-01: add by m2/v0.6.15
P4Q60DMNAV P4Q60DMNAV
| URI | m2://inv/P4Q60DMNAV |
|---|---|
| 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 2605.24355#TLZQ (statement). In VV3AJMWWCR/e1, lemma 7
History
- 2026-10-27: add by m2/v0.3.6
Main algorithmic result P4Q82GZTJ6
| URI | m2://inv/P4Q82GZTJ6 |
|---|---|
| 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.16514#KXCH, Main algorithmic result (statement). In 7RSA1AZ4XK/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
List of data mining software P4QB9YJH0F
| URI | m2://inv/P4QB9YJH0F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data mining#OY59, List of data mining software (unknown)
History
- 2026-11-02: add by m2/dev
Formal definition P4QBF352K1
| URI | m2://inv/P4QBF352K1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dagger category#V47S, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
P4QDSNNAKF P4QDSNNAKF
| URI | m2://inv/P4QDSNNAKF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#8OQT (statement). In BDN507RN7J/e1, lemma 3.6.23
History
- 2026-10-30: add by m2/v0.4.12
Milne model P4QG0CE4Y7
| URI | m2://inv/P4QG0CE4Y7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Milne model, Milne model (definition). Also Wikidata Q1635593
History
- 2026-11-02: add by m2/dev
mathematical abstractionism P4QG690HZB
| URI | m2://inv/P4QG690HZB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#GGK4, mathematical abstractionism (definition)
History
- 2026-11-02: add by m2/dev
Characterizations P4QMNT5J7X
| URI | m2://inv/P4QMNT5J7X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthodiagonal quadrilateral#FKX8, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
Decimal place value P4QVBB750H
| URI | m2://inv/P4QVBB750H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positional notation#JIFM, Decimal place value (unknown)
History
- 2026-11-02: add by m2/dev
Selected cyclic products P4R4DTPG8S
| URI | m2://inv/P4R4DTPG8S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#DWFA, Selected cyclic products (definition)
History
- 2026-11-01: add by m2/v0.6.15
P4R7AVMEEN P4R7AVMEEN
| URI | m2://inv/P4R7AVMEEN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 18-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.21507#XUT2 (definition). In 879ZDHVK7N/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.4.2
P4RAFHGT0A P4RAFHGT0A
| URI | m2://inv/P4RAFHGT0A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-23 (exercise). In E59CDZA4DP, exercise, section 2.2.4
History
- 2026-11-01: add by m2/v0.6.13
Continuous function P4RBYA1FHR
| URI | m2://inv/P4RBYA1FHR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of continuity-related mathematical topics#D8W1, Continuous function (definition)
- wikipedia: Wikipedia List of calculus topics#KGF2, Continuous function (definition)
- wikipedia: Wikipedia List of real analysis topics#9C3K, Continuous function (definition)
History
- 2026-11-02: add by m2/dev
Manuel Blum P4RFDCFYVP
| URI | m2://inv/P4RFDCFYVP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8MYG, Manuel Blum (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#C7F1, Manuel Blum (unknown)
History
- 2026-11-02: add by m2/dev
Ludwig Immanuel Magnus P4RFVZ2556
| URI | m2://inv/P4RFVZ2556 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ludwig Immanuel Magnus, Ludwig Immanuel Magnus (topic). Also Wikidata Q631168
History
- 2026-11-02: add by m2/dev
Examples P4RH5F448R
| URI | m2://inv/P4RH5F448R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Envelope (category theory)#KT5X, Examples (example)
History
- 2026-11-02: add by m2/dev
Asymptotic formula for $\Pi u(t,vt+x_0)$ P4RJHQFWJK
| URI | m2://inv/P4RJHQFWJK |
|---|---|
| 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.00770#3I6N, Asymptotic formula for $\Pi u(t,vt+x_0)$ (statement). In AYGRJSRG1M/e1, proposition
History
- 2026-10-29: add by m2/v0.4.12
458 (number) P4RY9Q82PR
| URI | m2://inv/P4RY9Q82PR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#SJ2A, 458 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Definitions and properties P4S22EF65T
| URI | m2://inv/P4S22EF65T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scalar (mathematics)#WMZO, Definitions and properties (definition)
History
- 2026-11-02: add by m2/dev
Dynamic Programming P4SCHYNWCG
| URI | m2://inv/P4SCHYNWCG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#2X21, Dynamic Programming (definition)
History
- 2026-11-02: add by m2/dev
Burke–Schumann flame P4SETXFX1Z
| URI | m2://inv/P4SETXFX1Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burke–Schumann flame, Burke–Schumann flame (definition). Also Wikidata Q30674079
History
- 2026-11-02: add by m2/dev
Robert Tijdeman P4SMR3N7Y5
| URI | m2://inv/P4SMR3N7Y5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#C0EH, Robert Tijdeman (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZXF7, Robert Tijdeman (topic)
History
- 2026-11-02: add by m2/dev
P4SXN5BDCM P4SXN5BDCM
| URI | m2://inv/P4SXN5BDCM |
|---|---|
| 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.25390#5VMW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Field (mathematics) P4T02BMJ9Y
| URI | m2://inv/P4T02BMJ9Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#3X47, Field (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
Mazur's conjecture B P4T3ZXK69W
| URI | m2://inv/P4T3ZXK69W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#W56P, Mazur's conjecture B (statement)
History
- 2026-11-02: add by m2/dev
P4T7XF5FM7 P4T7XF5FM7
| URI | m2://inv/P4T7XF5FM7 |
|---|---|
| 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.03628#850J (statement). In P8KT6JV9N1/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
P4T87N0Z56 P4T87N0Z56
| URI | m2://inv/P4T87N0Z56 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#N8D0 (statement). In E7W2HDNEKJ/e1, lemma 10.32
History
- 2026-10-30: add by m2/v0.4.12
No fiber component P4TDPV4BXQ
| URI | m2://inv/P4TDPV4BXQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19273#U3G3, No fiber component (statement). In T3BY4TXYT4/e1, theorem 7.3
History
- 2026-10-28: add by m2/v0.4.2
P4TDVYNDE4 P4TDVYNDE4
| URI | m2://inv/P4TDVYNDE4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-flavors.tex#example-13 (example). In RZP28ERRZV, example, section 4.7
History
- 2026-11-01: add by m2/v0.6.13
P4TGZE6Q4J P4TGZE6Q4J
| URI | m2://inv/P4TGZE6Q4J |
|---|---|
| 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.02790#2Q6A (statement). In NB7HZ8W2K2/e1, lemma 32
History
- 2026-10-29: add by m2/v0.4.12
P4THHBXS9N P4THHBXS9N
| URI | m2://inv/P4THHBXS9N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29918#CW8Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
The first possible coefficient under inclusion P4TK4YNWGS
| URI | m2://inv/P4TK4YNWGS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07528#8YKQ, The first possible coefficient under inclusion (statement). In WVX0T502A1/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.10
P4TRBD64XM P4TRBD64XM
| URI | m2://inv/P4TRBD64XM |
|---|---|
| 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.00343#1GT4 (statement). In G4MKECQ1DD/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Ellice Horsburgh P4TTB3BG4S
| URI | m2://inv/P4TTB3BG4S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellice Horsburgh, Ellice Horsburgh (topic). Also Wikidata Q27827708
History
- 2026-11-02: add by m2/dev
P4TWB81FCQ P4TWB81FCQ
| URI | m2://inv/P4TWB81FCQ |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.15365#7USG (unknown). In R2XC1SC9NZ/e1, unknown 2
History
- 2026-10-27: add by m2/v0.3.5
P4TYH8A2A7 P4TYH8A2A7
| URI | m2://inv/P4TYH8A2A7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08638#EP2B (definition). In 113VZ5XX7J/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
P4V2PFWADX P4V2PFWADX
| URI | m2://inv/P4V2PFWADX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-22 (exercise). In E9HS8K3A52, exercise, section 5.2.4
History
- 2026-11-01: add by m2/v0.6.13
bargaining P4V2QNTJH8
| URI | m2://inv/P4V2QNTJH8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.3/bargaining, bargaining (concept). In N54F33XE07, index, section B.3
History
- 2026-11-01: add by m2/v0.6.13
Andrey Tikhonov P4V54WF1EM
| URI | m2://inv/P4V54WF1EM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#9PTK, Andrey Tikhonov (topic)
History
- 2026-11-02: add by m2/dev
Bochner–Martinelli formula P4VBP6EJTQ
| URI | m2://inv/P4VBP6EJTQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function of several complex variables#V9ZH, Bochner–Martinelli formula (statement)
History
- 2026-11-02: add by m2/dev
Weber function P4VH4T7DBM
| URI | m2://inv/P4VH4T7DBM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#VUEO, Weber function (unknown)
History
- 2026-11-02: add by m2/dev
conjunction introduction P4VJK1GA0K
| URI | m2://inv/P4VJK1GA0K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#HHR7, conjunction introduction (definition)
History
- 2026-11-02: add by m2/dev
P4VJKYT7XA P4VJKYT7XA
| URI | m2://inv/P4VJKYT7XA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.00596#W735 (statement). In F8RC6AENB0/e1, proposition 7.1
History
- 2026-10-27: add by m2/v0.3.5
Stratified formula P4VN1BZMX8
| URI | m2://inv/P4VN1BZMX8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stratification (mathematics)#3O04, Stratified formula (unknown)
History
- 2026-11-02: add by m2/dev
Operator theory P4VR2C6PFG
| URI | m2://inv/P4VR2C6PFG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#WYJZ, Operator theory (definition)
History
- 2026-11-02: add by m2/dev
Hille–Yosida theorem P4VR6C96BT
| URI | m2://inv/P4VR6C96BT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#S5KA, Hille–Yosida theorem (statement)
History
- 2026-11-02: add by m2/dev
World Bank historical list of 10 largest countries by GDP P4VRAWVSPK
| URI | m2://inv/P4VRAWVSPK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of countries by largest historical GDP#SAA2, World Bank historical list of 10 largest countries by GDP (unknown)
History
- 2026-11-02: add by m2/dev
P4W19PGZYG P4W19PGZYG
| URI | m2://inv/P4W19PGZYG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-71 (exercise). In E59CDZA4DP, exercise, section 11.6.1
History
- 2026-11-01: add by m2/v0.6.13
Harnack's inequality P4W1WW222P
| URI | m2://inv/P4W1WW222P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Harnack's inequality YNH832D50W |
Mentions
- wikidata: Wikidata Q868279, Harnack's inequality (statement). Also MathWorld HarnacksInequality
- wikipedia: Wikipedia Harnack's inequality, Harnack's inequality (statement). Also Wikidata Q868279
History
- 2026-10-26: add by m2/dev
Examples P4W23GYXCC
| URI | m2://inv/P4W23GYXCC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiset#CMYS, Examples (example)
History
- 2026-11-02: add by m2/dev
P4W3GB71KH P4W3GB71KH
| URI | m2://inv/P4W3GB71KH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-zariski.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 28.3
History
- 2026-11-01: add by m2/v0.6.13
Brownian motion and Riemann zeta function P4W92JPF4K
| URI | m2://inv/P4W92JPF4K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brownian motion and Riemann zeta function, Brownian motion and Riemann zeta function (definition). Also Wikidata Q134622539
History
- 2026-11-02: add by m2/dev
P4WCGXP8YT P4WCGXP8YT
| URI | m2://inv/P4WCGXP8YT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#0FM3 (statement). In 7V2PVZS04C/e1, corollary 4.11
History
- 2026-10-31: add by m2/v0.5.6
P4WEPHQAP4 P4WEPHQAP4
| URI | m2://inv/P4WEPHQAP4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09900#QC5M (definition). In ATSYBWEMMP/e1, definition 5.5
History
- 2026-10-29: add by m2/v0.4.10
Ordinary terminal bases and the cell cap P4WFDRZPTB
| URI | m2://inv/P4WFDRZPTB |
|---|---|
| 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.05442#XURZ, Ordinary terminal bases and the cell cap (statement). In WEPE51JCHZ/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Interchange lemma P4WHZ2RAYC
| URI | m2://inv/P4WHZ2RAYC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#MYTF, Interchange lemma (statement)
History
- 2026-11-02: add by m2/dev
P4WNFE95HV P4WNFE95HV
| URI | m2://inv/P4WNFE95HV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#prop:closureofalgebra (statement). In E59CDZA4DP, prop, section 1.7.2
History
- 2026-11-01: add by m2/v0.6.13
Arend Heyting P4WPRYAQQQ
| URI | m2://inv/P4WPRYAQQQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#N93W, Arend Heyting (topic)
History
- 2026-11-02: add by m2/dev
P4WT3MB2M1 P4WT3MB2M1
| URI | m2://inv/P4WT3MB2M1 |
|---|---|
| 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.17720#YBXP (statement). In QPM0GQYNZ9/e1, corollary 7.5
History
- 2026-10-28: add by m2/v0.4.2
Energy-preserving positive filter P4X14B5QB9
| URI | m2://inv/P4X14B5QB9 |
|---|---|
| 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.22308#1BXS, Energy-preserving positive filter (statement). In 4QN87R0P1G/e1, lemma 13
History
- 2026-10-27: add by m2/v0.4.0
P4X1VSXZ5Z P4X1VSXZ5Z
| URI | m2://inv/P4X1VSXZ5Z |
|---|---|
| Kind | example |
| 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.36423#SLKT (example). In Q5Z178SAHP/e1, example 5.5
History
- 2026-10-30: add by m2/v0.4.12
Chevalley scheme P4X2D8CWT7
| URI | m2://inv/P4X2D8CWT7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chevalley scheme, Chevalley scheme (definition). Also Wikidata Q5094299
History
- 2026-11-02: add by m2/dev
Allen Cunningham P4XANBJMGT
| URI | m2://inv/P4XANBJMGT |
|---|---|
| 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#CPB6, Allen Cunningham (unknown)
History
- 2026-11-02: add by m2/dev
P4XC19DE3F P4XC19DE3F
| URI | m2://inv/P4XC19DE3F |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/arithmetization-syntax/proofs-in-ax.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 27.5
History
- 2026-11-01: add by m2/v0.6.13
Bass-Serre theorem P4XJ2ED2JF
| URI | m2://inv/P4XJ2ED2JF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#OH10, Bass-Serre theorem (definition)
History
- 2026-11-02: add by m2/dev
Shifting baseline P4XP6WMT2F
| URI | m2://inv/P4XP6WMT2F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shifting baseline, Shifting baseline (definition). Also Wikidata Q7496274
History
- 2026-11-02: add by m2/dev
Block graph: general and Steiner cases P4XVVAV9JK
| URI | m2://inv/P4XVVAV9JK |
|---|---|
| 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.15340#MEBN, Block graph: general and Steiner cases (statement). In 9NVKKW8HDH/e1, theorem 3.13
History
- 2026-10-28: add by m2/v0.4.2
Anderson impurity model P4XXRXN20W
| URI | m2://inv/P4XXRXN20W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anderson impurity model, Anderson impurity model (definition). Also Wikidata Q4754237
History
- 2026-11-02: add by m2/dev
Theorem (Kantorovich-Rubenstein duality) P4Y33W5NBR
| URI | m2://inv/P4Y33W5NBR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wasserstein metric#DRL9, Theorem (Kantorovich-Rubenstein duality) (statement)
History
- 2026-11-02: add by m2/dev
P4Y684J6AS P4Y684J6AS
| URI | m2://inv/P4Y684J6AS |
|---|---|
| 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#8EJ5 (statement). In DR7BK4CQ0V/e1, lemma 7.2
History
- 2026-10-28: add by m2/v0.4.3
P4YAX5NHSS P4YAX5NHSS
| URI | m2://inv/P4YAX5NHSS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_euler-phi.ptx#example-1 (example). In QKM9DD2H56, example, section 7.5
History
- 2026-11-01: add by m2/v0.6.13
Hodge type below the middle degree; Lefschetz decomposition P4YEXMM1CK
| URI | m2://inv/P4YEXMM1CK |
|---|---|
| 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.01731#48NO, Hodge type below the middle degree; Lefschetz decomposition (statement). In 3TJ2FWXQ0D/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.12
P4YSAA8SFM P4YSAA8SFM
| URI | m2://inv/P4YSAA8SFM |
|---|---|
| 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.25094#MFL8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
P4Z5TEPTVA P4Z5TEPTVA
| URI | m2://inv/P4Z5TEPTVA |
|---|---|
| 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 2301.04933#MD68 (statement). In Q70CTMCJTP/e1, corollary 5.9
History
- 2026-10-27: add by m2/v0.3.5
Parity function P4Z7E508GZ
| URI | m2://inv/P4Z7E508GZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parity function, Parity function (definition). Also Wikidata Q2898309
History
- 2026-11-02: add by m2/dev
Residual Holant input P4Z7TN7Y83
| URI | m2://inv/P4Z7TN7Y83 |
|---|---|
| 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.12456#C5JK, Residual Holant input (statement). In 5XPM4E03W6/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.2
Orientation theorem P4ZFPEDZ29
| URI | m2://inv/P4ZFPEDZ29 |
|---|---|
| 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.04027#0L8W, Orientation theorem (statement). In DQB4YR2DFH/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.12
Viveka Erlandsson P4ZGNYV41T
| URI | m2://inv/P4ZGNYV41T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Viveka Erlandsson, Viveka Erlandsson (topic). Also Wikidata Q102419471
History
- 2026-11-02: add by m2/dev
Connection to Noether's Theorem P4ZVHEYKJF
| URI | m2://inv/P4ZVHEYKJF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Momentum map#QUMT, Connection to Noether's Theorem (statement)
History
- 2026-11-02: add by m2/dev
Dictionary between the two parametrizations P4ZWKR9B96
| URI | m2://inv/P4ZWKR9B96 |
|---|---|
| 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.18350#9B64, Dictionary between the two parametrizations (statement). In A20E8FZS21/e1, lemma 6.5
History
- 2026-10-28: add by m2/v0.4.2
P4ZXBWZ5PG P4ZXBWZ5PG
| URI | m2://inv/P4ZXBWZ5PG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18219#27QM (statement). In X1AGBB90EH/e1, lemma 7.6
History
- 2026-10-28: add by m2/v0.4.2