Inventory rows FP
The cards of the rows of the inventory whose ids start with FP. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
FP0309KP9H FP0309KP9H
| URI | m2://inv/FP0309KP9H |
|---|---|
| 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.18324#3Y9E (statement). In C0EG2EY0M4/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
FP07E07HM1 FP07E07HM1
| URI | m2://inv/FP07E07HM1 |
|---|---|
| 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.11043#1DI3 (definition). In R3NJYPZH52/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.3
FP0CHFAJ9P FP0CHFAJ9P
| URI | m2://inv/FP0CHFAJ9P |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/characters.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 79.1
History
- 2026-11-01: add by m2/v0.6.13
FP0DA13KR0 FP0DA13KR0
| URI | m2://inv/FP0DA13KR0 |
|---|---|
| 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.15405#IICI (statement). In 9QCYCXVF5W/e1, proposition 4.10
History
- 2026-10-28: add by m2/v0.4.2
FP0DYNG721 FP0DYNG721
| URI | m2://inv/FP0DYNG721 |
|---|---|
| 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 2507.13548#MNXZ (statement). In 4NVVK50D1P/e1, fact 2.2
History
- 2026-10-27: add by m2/v0.3.5
Discrete distribution FP0EF935N1
| URI | m2://inv/FP0EF935N1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZKM3, Discrete distribution (definition)
History
- 2026-11-02: add by m2/dev
FP0GJP3C0F FP0GJP3C0F
| URI | m2://inv/FP0GJP3C0F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03288#U9H6 (statement). In ZHP1MFSACN/e1, proposition 4.14
History
- 2026-10-29: add by m2/v0.4.12
Symmetric probability distribution FP0HADQZ60
| URI | m2://inv/FP0HADQZ60 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric probability distribution, Symmetric probability distribution (definition). Also Wikidata Q16000505
History
- 2026-11-02: add by m2/dev
Fermat's Last Theorem and progress prior to 1980 FP0M2X3N3P
| URI | m2://inv/FP0M2X3N3P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiles's proof of Fermat's Last Theorem#8F2H, Fermat's Last Theorem and progress prior to 1980 (statement)
History
- 2026-11-02: add by m2/dev
$W_{p}$ contraction FP0RR2KWD4
| URI | m2://inv/FP0RR2KWD4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03264#GEAM, $W_{p}$ contraction (definition). In 5TXRSPPTHP/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.12
Lander–Green algorithm FP11TG313Q
| URI | m2://inv/FP11TG313Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#XE1O, Lander–Green algorithm (definition)
History
- 2026-11-02: add by m2/dev
Essential infimum and essential supremum FP1C6JWAPG
| URI | m2://inv/FP1C6JWAPG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Essential infimum and essential supremum, Essential infimum and essential supremum (definition). Also Wikidata Q104804789
History
- 2026-11-02: add by m2/dev
Euclidean group FP1CEJ8FCS
| URI | m2://inv/FP1CEJ8FCS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#SXQ1, Euclidean group (definition)
- wikipedia: Wikipedia List of things named after Euclid#UFLX, Euclidean group (definition)
- wikipedia: Wikipedia List of Lie groups topics#17SY, Euclidean group (definition)
History
- 2026-11-02: add by m2/dev
Generalizations FP1D9N95C7
| URI | m2://inv/FP1D9N95C7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knuth's up-arrow notation#29UX, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Routh–Hurwitz criterion for second, third and fourth-order polynomials FP1SH027CB
| URI | m2://inv/FP1SH027CB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Routh–Hurwitz stability criterion#AE8F, Routh–Hurwitz criterion for second, third and fourth-order polynomials (statement)
History
- 2026-11-02: add by m2/dev
Transitive closure (set) FP1WAF8MBH
| URI | m2://inv/FP1WAF8MBH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transitive set#4QWI, Transitive closure (set) (unknown)
History
- 2026-11-02: add by m2/dev
Examples FP1YAC1V63
| URI | m2://inv/FP1YAC1V63 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sparse ruler#H3PB, Examples (example)
History
- 2026-11-02: add by m2/dev
Pairwise comparison FP260YZ1BE
| URI | m2://inv/FP260YZ1BE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pairwise comparison (psychology), Pairwise comparison (definition). Also Wikidata Q1435712
History
- 2026-11-02: add by m2/dev
Supergolden rectangle FP26PY548S
| URI | m2://inv/FP26PY548S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supergolden ratio#MZ2S, Supergolden rectangle (unknown)
History
- 2026-11-02: add by m2/dev
Snub rhombicuboctahedron FP27PYAAEW
| URI | m2://inv/FP27PYAAEW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snub rhombicuboctahedron, Snub rhombicuboctahedron (definition). Also Wikidata Q18392107
History
- 2026-11-02: add by m2/dev
Extensions FP2JKAMECP
| URI | m2://inv/FP2JKAMECP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yao's principle#0G1A, Extensions (statement)
History
- 2026-11-02: add by m2/dev
As three laws FP2QRHAPZ6
| URI | m2://inv/FP2QRHAPZ6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kepler's laws of planetary motion#OZ1D, As three laws (statement)
History
- 2026-11-02: add by m2/dev
Universally Baire set FP2VRAMY0B
| URI | m2://inv/FP2VRAMY0B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of properties of sets of reals#YM5U, Universally Baire set (definition)
History
- 2026-11-02: add by m2/dev
FP30QYS7HW FP30QYS7HW
| URI | m2://inv/FP30QYS7HW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37761#G7XX (statement). In 4TAQ65KZKN/e1, corollary 5.1
History
- 2026-10-30: add by m2/v0.4.12
FP3582HMJK FP3582HMJK
| URI | m2://inv/FP3582HMJK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25524#3GPX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tame Hilbert schemes FP36Q2RFM6
| URI | m2://inv/FP36Q2RFM6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35467#4F5T, Tame Hilbert schemes (statement). In FK89DQ9J4S/e1, proposition 7.1
History
- 2026-10-30: add by m2/v0.4.12
FP3B2X1CRV FP3B2X1CRV
| URI | m2://inv/FP3B2X1CRV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19945#WF0T (statement)
History
- 2026-11-02: add by m2/v0.6.18
Theorem FP3E1EE614
| URI | m2://inv/FP3E1EE614 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential forms on a Riemann surface#N1GU, Theorem (statement)
History
- 2026-11-02: add by m2/dev
FP3EJQMDCE FP3EJQMDCE
| URI | m2://inv/FP3EJQMDCE |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28848#4265 (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Harmonically persistently exciting FP3GFWK0YR
| URI | m2://inv/FP3GFWK0YR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25431#7VOL, Harmonically persistently exciting (definition)
History
- 2026-11-01: add by m2/v0.6.15
FP3JVKC8RS FP3JVKC8RS
| URI | m2://inv/FP3JVKC8RS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15010#76MU (statement). In K3WJ6ZN184/e1, corollary 7.9
History
- 2026-10-27: add by m2/v0.3.5
FP3NJBR8DE FP3NJBR8DE
| URI | m2://inv/FP3NJBR8DE |
|---|---|
| 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.08052#7P8P (statement). In 672XAVEQ34/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.10
geothermy FP3S6WGTWH
| URI | m2://inv/FP3S6WGTWH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q592185, geothermy (unknown). Also EoM Geothermics,_mathematical_problems_in
History
- 2026-10-26: add by m2/dev
FP3TH8S4H7 FP3TH8S4H7
| URI | m2://inv/FP3TH8S4H7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.15490#IT48 (statement). In AAY60GVERS/e1, theorem 4.6
History
- 2026-10-27: add by m2/v0.3.5
boldface FP3YCD9RHP
| URI | m2://inv/FP3YCD9RHP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#QAFY, boldface (definition)
History
- 2026-11-02: add by m2/dev
Generalizations FP3YRD2X41
| URI | m2://inv/FP3YRD2X41 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dehn function#Y468, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
FP3ZYJ03HJ FP3ZYJ03HJ
| URI | m2://inv/FP3ZYJ03HJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#2PG7 (statement). In 13GSWBXPCM/e1, theorem 2.22
History
- 2026-10-27: add by m2/v0.3.5
FP40QVE94D FP40QVE94D
| URI | m2://inv/FP40QVE94D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14838#V2U2 (statement). In J7ZX3WWRQP/e1, proposition 3.6
History
- 2026-10-28: add by m2/v0.4.2
FP4CTMJFV4 FP4CTMJFV4
| URI | m2://inv/FP4CTMJFV4 |
|---|---|
| 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.11974#DQOX (statement). In AW6S4XZ9ZZ/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.3
Unweighted $C^{(1,3)}$ Penrose singularity theorem FP4FF9X4JA
| URI | m2://inv/FP4FF9X4JA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11911#3XT7, Unweighted $C^{(1,3)}$ Penrose singularity theorem (statement). In 5BYE5NYB89/e1, theorem 1.6
History
- 2026-10-28: add by m2/v0.4.3
cocomplete category FP4FK23STR
| URI | m2://inv/FP4FK23STR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q47007889, cocomplete category (unknown). Also nLab cocomplete category
History
- 2026-10-26: add by m2/dev
FP4KTGCKAD FP4KTGCKAD
| URI | m2://inv/FP4KTGCKAD |
|---|---|
| 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.38772#J6V9 (statement). In 1C3R5NAQAP/e1, lemma 5.4
History
- 2026-10-30: add by m2/v0.4.12
FP4M4DBBFW FP4M4DBBFW
| URI | m2://inv/FP4M4DBBFW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-48 (exercise). In E9HS8K3A52, exercise, section 10.4.4
History
- 2026-11-01: add by m2/v0.6.13
Bitmap FP4V7WQENQ
| URI | m2://inv/FP4V7WQENQ |
|---|---|
| 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#MMNV, Bitmap (unknown)
History
- 2026-11-02: add by m2/dev
FP4VXDBFZX FP4VXDBFZX
| URI | m2://inv/FP4VXDBFZX |
|---|---|
| Kind | definition |
| 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 2205.13464#W35G (definition). In JPYGC2R3FC/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.3.6
FP4WPNK0V8 FP4WPNK0V8
| URI | m2://inv/FP4WPNK0V8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00882#Y5PW (statement). In CDA78ZYNZ0/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.12
Elliptic-curve Diffie–Hellman FP4YG6WV51
| URI | m2://inv/FP4YG6WV51 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic-curve Diffie–Hellman, Elliptic-curve Diffie–Hellman (definition). Also Wikidata Q3512728
History
- 2026-11-02: add by m2/dev
Variational characterisation of R\'enyi divergence FP50ZCWRH3
| URI | m2://inv/FP50ZCWRH3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27765#XMIJ, Variational characterisation of R\'enyi divergence (statement)
History
- 2026-11-01: add by m2/v0.6.15
Principalization FP51M0R65Q
| URI | m2://inv/FP51M0R65Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principalization (algebra), Principalization (definition). Also Wikidata Q17300011
History
- 2026-11-02: add by m2/dev
Charalambos D. Aliprantis FP545APK26
| URI | m2://inv/FP545APK26 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#8OE5, Charalambos D. Aliprantis (topic)
History
- 2026-11-02: add by m2/dev
FP58BK0SR7 FP58BK0SR7
| URI | m2://inv/FP58BK0SR7 |
|---|---|
| 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.10773#O0GE (statement). In 744Y8ZPEV7/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.3
Applications FP5CDYZFBT
| URI | m2://inv/FP5CDYZFBT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optical depth#8J8J, Applications (example)
History
- 2026-11-02: add by m2/dev
Mitsuhiro Shishikura FP5M23TTHN
| URI | m2://inv/FP5M23TTHN |
|---|---|
| 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#GN57, Mitsuhiro Shishikura (topic)
History
- 2026-11-02: add by m2/dev
FP5Q5S500Y FP5Q5S500Y
| URI | m2://inv/FP5Q5S500Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24363#4FTW (definition)
History
- 2026-11-01: add by m2/v0.6.15
FP5VG5QT2M FP5VG5QT2M
| URI | m2://inv/FP5VG5QT2M |
|---|---|
| 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.16060#B030 (statement). In X0BTF9HPGM/e1, fact 3.7
History
- 2026-10-28: add by m2/v0.4.2
Anderson localization FP5WM3C7KM
| URI | m2://inv/FP5WM3C7KM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anderson localization, Anderson localization (definition). Also Wikidata Q491409
History
- 2026-11-02: add by m2/dev
FP5ZEDD51S FP5ZEDD51S
| URI | m2://inv/FP5ZEDD51S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08226#6UPB (statement). In V6EPE8XHAD/e1, lemma 5.9
History
- 2026-10-29: add by m2/v0.4.10
FP5ZQ9J7HW FP5ZQ9J7HW
| URI | m2://inv/FP5ZQ9J7HW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20375#SU5T (statement)
History
- 2026-11-02: add by m2/v0.6.18
FP67RVKMBW FP67RVKMBW
| URI | m2://inv/FP67RVKMBW |
|---|---|
| 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 2607.00323#ASCI (statement). In BPRFEQY7W4/e1, theorem 3.6
History
- 2026-10-27: add by m2/v0.3.6
FP6830D0MF FP6830D0MF
| URI | m2://inv/FP6830D0MF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.01473#ULS2 (statement). In ABS9M47F4K/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.6
social choice theory FP68VADZ1W
| URI | m2://inv/FP68VADZ1W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1971461, social choice theory (unknown). Also MathWorld SocialChoiceTheory
- wikipedia: Wikipedia Social choice theory, Social choice theory (topic). Also Wikidata Q1971461
History
- 2026-10-26: add by m2/dev
propinquity FP6BX29NWR
| URI | m2://inv/FP6BX29NWR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#1E88, propinquity (definition)
History
- 2026-11-02: add by m2/dev
Definition FP6ESDCT9E
| URI | m2://inv/FP6ESDCT9E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Low-rank approximation#MG15, Definition (definition)
History
- 2026-11-02: add by m2/dev
FP6FRCMQYQ FP6FRCMQYQ
| URI | m2://inv/FP6FRCMQYQ |
|---|---|
| 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.04833#K72Y (statement). In AKB3CNDA0F/e1, corollary 3.19
History
- 2026-10-29: add by m2/v0.4.12
combinant FP6GRV71R4
| URI | m2://inv/FP6GRV71R4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#BK00, combinant (definition)
History
- 2026-11-02: add by m2/dev
FP7MAR7P98 FP7MAR7P98
| URI | m2://inv/FP7MAR7P98 |
|---|---|
| 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.21715#VW8R (statement). In QW0SV5D6MQ/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.4.2
FP7QDPWQ31 FP7QDPWQ31
| URI | m2://inv/FP7QDPWQ31 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26162#PWXW (statement)
History
- 2026-11-01: add by m2/v0.6.15
FP7R5PEMKF FP7R5PEMKF
| URI | m2://inv/FP7R5PEMKF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#ex:naive-lem-impl-ac (exercise). In N54F33XE07, ex, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
FP7TW1CCVF FP7TW1CCVF
| URI | m2://inv/FP7TW1CCVF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-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.23527#0FTZ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Absolute continuity of a measure with respect to another measure FP7W9MHE35
| URI | m2://inv/FP7W9MHE35 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of continuity-related mathematical topics#EDSA, Absolute continuity of a measure with respect to another measure (definition)
History
- 2026-11-02: add by m2/dev
FP8BEHXCRC FP8BEHXCRC
| URI | m2://inv/FP8BEHXCRC |
|---|---|
| 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.31044#9AYA (statement). In Z72AEBE4Z6/e1, proposition 4.1
History
- 2026-10-31: add by m2/v0.5.6
FP8BEPSDPJ FP8BEPSDPJ
| URI | m2://inv/FP8BEPSDPJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12576#SZLI (statement). In BVAWVRS3R9/e1, theorem 2.13
History
- 2026-10-28: add by m2/v0.4.2
FP8VC0Y2FC FP8VC0Y2FC
| URI | m2://inv/FP8VC0Y2FC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08010#ZX3P (statement). In 2S89BG5WPH/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
Quot scheme FP8WG13AM5
| URI | m2://inv/FP8WG13AM5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q19960391, Quot scheme (unknown). Also nLab Quot scheme
- wikipedia: Wikipedia Quot scheme, Quot scheme (definition). Also Wikidata Q19960391
History
- 2026-10-26: add by m2/dev
FP940PN69X FP940PN69X
| URI | m2://inv/FP940PN69X |
|---|---|
| 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 2204.13401#ZZHS (statement). In B8MJT0GGW8/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.4.0
FP9AB0X5MH FP9AB0X5MH
| URI | m2://inv/FP9AB0X5MH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.07285#GC3Q (statement). In S284XRA4WK/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
Stokes data FP9H7D9VZ2
| URI | m2://inv/FP9H7D9VZ2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.01874#Y4CO, Stokes data (definition). In A4TR95VGX2/e1, definition 4
History
- 2026-10-27: add by m2/v0.3.5
FP9KCF123P FP9KCF123P
| URI | m2://inv/FP9KCF123P |
|---|---|
| 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.19534#21C3 (statement). In 22G1ATP2RA/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
FP9NQP6191 FP9NQP6191
| URI | m2://inv/FP9NQP6191 |
|---|---|
| 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#97MY (statement). In E7W2HDNEKJ/e1, theorem 7.38
History
- 2026-10-30: add by m2/v0.4.12
A non-random walk hypothesis FP9P7K5493
| URI | m2://inv/FP9P7K5493 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random walk hypothesis#IP4N, A non-random walk hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Breadth-first search FP9QN1EW6K
| URI | m2://inv/FP9QN1EW6K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#4WH1, Breadth-first search (definition)
History
- 2026-11-02: add by m2/dev
Limits of projected Gibbs ensembles FPA8E1V3S6
| URI | m2://inv/FPA8E1V3S6 |
|---|---|
| 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.25915#F1MD, Limits of projected Gibbs ensembles (statement)
History
- 2026-11-01: add by m2/v0.6.15
Wheeler, Donald J. FPAGM026JG
| URI | m2://inv/FPAGM026JG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#ZM2J, Wheeler, Donald J. (unknown)
History
- 2026-11-02: add by m2/dev
curve FPAX0HPTWA
| URI | m2://inv/FPAX0HPTWA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#HCH1, curve (definition)
History
- 2026-11-02: add by m2/dev
FPAXCRW727 FPAXCRW727
| URI | m2://inv/FPAXCRW727 |
|---|---|
| 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.11487#UZDU (statement). In 8S0K3Y25HM/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.3
FPB1YN1DP7 FPB1YN1DP7
| URI | m2://inv/FPB1YN1DP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Counting.tex#definition-1 (definition). In P1C114YBXG, definition, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
$S_2 \le 0$ for $\ell_2$ regularization FPB6CRYVNX
| URI | m2://inv/FPB6CRYVNX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38453#GGBO, $S_2 \le 0$ for $\ell_2$ regularization (statement). In DWKWF242Y0/e1, proposition 8
History
- 2026-10-30: add by m2/v0.4.12
Elonka Dunin FPBC7KTQ0X
| URI | m2://inv/FPBC7KTQ0X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elonka Dunin, Elonka Dunin (topic). Also Wikidata Q766576
History
- 2026-11-02: add by m2/dev
Frobenius matrix FPBK1AE6A1
| URI | m2://inv/FPBK1AE6A1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius matrix, Frobenius matrix (definition). Also Wikidata Q1469444
History
- 2026-11-02: add by m2/dev
Application FPBKMK6PPR
| URI | m2://inv/FPBKMK6PPR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inversive geometry#4RNV, Application (example)
History
- 2026-11-02: add by m2/dev
Symmetric rank-one FPBMVHD06M
| URI | m2://inv/FPBMVHD06M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric rank-one, Symmetric rank-one (definition). Also Wikidata Q7661313
History
- 2026-11-02: add by m2/dev
FPBQENWHSH FPBQENWHSH
| URI | m2://inv/FPBQENWHSH |
|---|---|
| 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.09084#2HEP (statement). In F5VT2K2QYX/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.10
Applications FPBSR76S1Y
| URI | m2://inv/FPBSR76S1Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multimodal learning#PBRI, Applications (example)
History
- 2026-11-02: add by m2/dev
normalizer FPBXK20R88
| URI | m2://inv/FPBXK20R88 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1761121, normalizer (unknown). Also MathWorld Normalizer, nLab normalizer
History
- 2026-10-26: add by m2/dev
FPC2B031CX FPC2B031CX
| URI | m2://inv/FPC2B031CX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30579#3K7Q (definition). In FDYZFDHZH9/e1, definition 4.1
History
- 2026-10-31: add by m2/v0.5.6
Fluctuations of smooth rotation invariant linear statistics for an annular hole FPC8V9VNSD
| URI | m2://inv/FPC8V9VNSD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25307#GSQL, Fluctuations of smooth rotation invariant linear statistics for an annular hole (statement)
History
- 2026-11-01: add by m2/v0.6.15
Plasticity FPCFH0DC0W
| URI | m2://inv/FPCFH0DC0W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plasticity (physics), Plasticity (definition). Also Wikidata Q472074
History
- 2026-11-02: add by m2/dev
Revised Ōno's lexical law by Mizutani FPCFHVSRKN
| URI | m2://inv/FPCFHVSRKN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ōno's lexical law#QWHH, Revised Ōno's lexical law by Mizutani (statement)
History
- 2026-11-02: add by m2/dev
FPCM7WFWFY FPCM7WFWFY
| URI | m2://inv/FPCM7WFWFY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37106#5178 (statement). In XNK04XFP2C/e1, lemma 6.2
History
- 2026-10-30: add by m2/v0.4.12
Valerie Isham FPCMBCPMC5
| URI | m2://inv/FPCMBCPMC5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Royal Statistical Society#2DNQ, Valerie Isham (unknown)
History
- 2026-11-02: add by m2/dev
Mercy Kazima FPCQF615R1
| URI | m2://inv/FPCQF615R1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mercy Kazima, Mercy Kazima (topic). Also Wikidata Q134292829
History
- 2026-11-02: add by m2/dev
Nima Arkani-Hamed FPD3JQX9JA
| URI | m2://inv/FPD3JQX9JA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#4W2N, Nima Arkani-Hamed (unknown)
History
- 2026-11-02: add by m2/dev
FPD88WN10J FPD88WN10J
| URI | m2://inv/FPD88WN10J |
|---|---|
| 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.00909#3T0L (statement). In Z4TD36VFPW/e1, corollary 1.13
History
- 2026-10-29: add by m2/v0.4.12
Teleological argument FPD8EGZR31
| URI | m2://inv/FPD8EGZR31 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Teleological argument, Teleological argument (definition). Also Wikidata Q729193
History
- 2026-11-02: add by m2/dev
H1 norm FPDCJ94WGK
| URI | m2://inv/FPDCJ94WGK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sobolev space#4BUM, H1 norm (unknown)
History
- 2026-11-02: add by m2/dev
FPDEFXP1B5 FPDEFXP1B5
| URI | m2://inv/FPDEFXP1B5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.11301#REAZ (statement). In YH1W5A0JTS/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.3.5
FPDSDKY6K2 FPDSDKY6K2
| URI | m2://inv/FPDSDKY6K2 |
|---|---|
| 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 2204.01073#Y2TF (statement). In W4TYN4PGE8/e1, proposition 3.22
History
- 2026-10-27: add by m2/v0.3.5
FPDSF8PMR1 FPDSF8PMR1
| URI | m2://inv/FPDSF8PMR1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16779#CSRO (example). In 1R7H0ZAHWA/e1, example 1
History
- 2026-10-28: add by m2/v0.4.2
Weighted three-set Gaussian convexity FPDST3RYJD
| URI | m2://inv/FPDST3RYJD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#KJ13, Weighted three-set Gaussian convexity (statement). In 9YAE8FNQST/e1, theorem 15.8
History
- 2026-10-30: add by m2/v0.4.12
Example FPDTD3YYX5
| URI | m2://inv/FPDTD3YYX5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerical differentiation#9LB8, Example (example)
History
- 2026-11-02: add by m2/dev
Polynomial transformation FPDXQNE6GE
| URI | m2://inv/FPDXQNE6GE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial transformation, Polynomial transformation (definition). Also Wikidata Q7834198
History
- 2026-11-02: add by m2/dev
Package-deal fallacy FPEQ04S5B7
| URI | m2://inv/FPEQ04S5B7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Package-deal fallacy, Package-deal fallacy (definition). Also Wikidata Q2911171
History
- 2026-11-02: add by m2/dev
FPESF525EF FPESF525EF
| URI | m2://inv/FPESF525EF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17240#6UMA (example). In 59BZ4V9RQW/e1, example 8.6
History
- 2026-10-28: add by m2/v0.4.2
Henri Brocard FPETF5E3S1
| URI | m2://inv/FPETF5E3S1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#96M9, Henri Brocard (topic)
History
- 2026-11-02: add by m2/dev
Perl Data Language FPEWG8FMC1
| URI | m2://inv/FPEWG8FMC1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#XX1C, Perl Data Language (unknown)
History
- 2026-11-02: add by m2/dev
FPF0EYMZ36 FPF0EYMZ36
| URI | m2://inv/FPF0EYMZ36 |
|---|---|
| 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.36668#47XM (statement). In RD729BY377/e1, theorem 4
History
- 2026-10-30: add by m2/v0.4.12
FPF4PHVNJV FPF4PHVNJV
| URI | m2://inv/FPF4PHVNJV |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-29: add by m2/v0.4.10
Statement of the theorem FPFJQVW6S0
| URI | m2://inv/FPFJQVW6S0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gamas's theorem#SYV1, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
FPFMFV59VQ FPFMFV59VQ
| URI | m2://inv/FPFMFV59VQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-9 (exercise). In E59CDZA4DP, exercise, section 9.1.4
History
- 2026-11-01: add by m2/v0.6.13
FPFXKGYZ8E FPFXKGYZ8E
| URI | m2://inv/FPFXKGYZ8E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#AZUL (statement). In 3A4K47Y9F2/e1, theorem 5.17
History
- 2026-10-27: add by m2/v0.4.0
Heisenberg picture FPFXN98K5G
| URI | m2://inv/FPFXN98K5G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#6MCD, Heisenberg picture (definition)
History
- 2026-11-02: add by m2/dev
Shioda supersingularity FPG4CX08AP
| URI | m2://inv/FPG4CX08AP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01731#F3RP, Shioda supersingularity (definition). In 3TJ2FWXQ0D/e1, definition 7.5
History
- 2026-10-29: add by m2/v0.4.12
Harsanyi's theorem FPG66YSDD1
| URI | m2://inv/FPG66YSDD1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Social welfare function#KMZJ, Harsanyi's theorem (statement)
History
- 2026-11-02: add by m2/dev
elliptic curve FPG8T73W6S
| URI | m2://inv/FPG8T73W6S |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 11G05 |
| Sources | 2 |
| Outcome | open |
| Node | Elliptic curve 427N6S6QQW |
Mentions
- wikidata: Wikidata Q268493, elliptic curve (topic). Also EoM Elliptic_curve, MathWorld EllipticCurve, ProofWiki Definition:Elliptic_Curve
- wikipedia: Wikipedia Elliptic curve, Elliptic curve (definition). Also Wikidata Q268493
History
- 2026-10-26: add by m2/dev
Deterministic-equivalent student error FPGA5G37ZV
| URI | m2://inv/FPGA5G37ZV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09044#HCWU, Deterministic-equivalent student error (definition). In 4KYENHR0J8/e1, definition 4
History
- 2026-10-29: add by m2/v0.4.10
FPGAECXJ8W FPGAECXJ8W
| URI | m2://inv/FPGAECXJ8W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24917#Z1VT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Uriel Frisch FPGAY0CR92
| URI | m2://inv/FPGAY0CR92 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#VF2E, Uriel Frisch (unknown)
History
- 2026-11-02: add by m2/dev
Abrupt permafrost thaw FPGNDPFQJC
| URI | m2://inv/FPGNDPFQJC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tipping points in the climate system#5G5P, Abrupt permafrost thaw (unknown)
History
- 2026-11-02: add by m2/dev
FPGP7CFTZ4 FPGP7CFTZ4
| URI | m2://inv/FPGP7CFTZ4 |
|---|---|
| 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#KFE4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
FPGPBXB54Z FPGPBXB54Z
| URI | m2://inv/FPGPBXB54Z |
|---|---|
| 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 2609.23202#SZUY (statement)
History
- 2026-11-02: add by m2/v0.6.17
Noise FPGQS61ZXZ
| URI | m2://inv/FPGQS61ZXZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noise (spectral phenomenon), Noise (definition). Also Wikidata Q30716978
History
- 2026-11-02: add by m2/dev
FPH0YHGE60 FPH0YHGE60
| URI | m2://inv/FPH0YHGE60 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20128#2XSS (statement)
History
- 2026-11-02: add by m2/v0.6.18
FPH9XXWXP5 FPH9XXWXP5
| URI | m2://inv/FPH9XXWXP5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01653#ZA38 (statement). In WZMHJCQPB2/e1, lemma 5.9
History
- 2026-10-29: add by m2/v0.4.12
Quasi-algebraically closed field FPHAED7RZH
| URI | m2://inv/FPHAED7RZH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-algebraically closed field, Quasi-algebraically closed field (definition). Also Wikidata Q283684
History
- 2026-11-02: add by m2/dev
FPHG2TVAB4 FPHG2TVAB4
| URI | m2://inv/FPHG2TVAB4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31527#60ST (definition). In ZQ2YZ4P6P5/e1, definition 2.1
History
- 2026-10-31: add by m2/v0.5.6
classifying stack FPHH1RGMG8
| URI | m2://inv/FPHH1RGMG8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#X8BI, classifying stack (definition)
History
- 2026-11-02: add by m2/dev
FPHTS1SAB8 FPHTS1SAB8
| URI | m2://inv/FPHTS1SAB8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35625#ZVGZ (statement). In 7N144YJM0R/e1, proposition 1.2
History
- 2026-10-30: add by m2/v0.4.12
Boundary-parallel sheeting FPHVXAVDH2
| URI | m2://inv/FPHVXAVDH2 |
|---|---|
| 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.09596#VNDI, Boundary-parallel sheeting (statement). In HXFA55BREZ/e1, theorem 1.12
History
- 2026-10-29: add by m2/v0.4.10
Strict differentiability FPHYE43WQT
| URI | m2://inv/FPHYE43WQT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strict differentiability, Strict differentiability (definition). Also Wikidata Q7623614
History
- 2026-11-02: add by m2/dev
DPLL(T) FPJ3GTZ9RG
| URI | m2://inv/FPJ3GTZ9RG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DPLL(T), DPLL(T) (definition). Also Wikidata Q65064127
History
- 2026-11-02: add by m2/dev
FPJ44WX0G3 FPJ44WX0G3
| URI | m2://inv/FPJ44WX0G3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-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.27458#HN4C (definition)
History
- 2026-11-01: add by m2/v0.6.15
Partial R-square FPJ55E9HNW
| URI | m2://inv/FPJ55E9HNW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coefficient of determination#7TS6, Partial R-square (unknown)
History
- 2026-11-02: add by m2/dev
Alexander Dinghas FPJA1H1KBZ
| URI | m2://inv/FPJA1H1KBZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Dinghas, Alexander Dinghas (topic). Also Wikidata Q97639
History
- 2026-11-02: add by m2/dev
logic, of mere propositions FPJEXYH3B4
| URI | m2://inv/FPJEXYH3B4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.3/logic-of-mere-propositions, logic, of mere propositions (concept). In N54F33XE07, index, section 9.3
History
- 2026-11-01: add by m2/v0.6.13
Reindexing the triple sum FPJHB7C0MR
| URI | m2://inv/FPJHB7C0MR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07905#95J1, Reindexing the triple sum (statement). In 88GEN3Z5VG/e1, lemma 7.10
History
- 2026-10-29: add by m2/v0.4.10
Malwina Łuczak FPJX3WBY0M
| URI | m2://inv/FPJX3WBY0M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZKAN, Malwina Łuczak (topic)
History
- 2026-11-02: add by m2/dev
Definition FPK3DEY7NB
| URI | m2://inv/FPK3DEY7NB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia H-object#3NP2, Definition (definition)
History
- 2026-11-02: add by m2/dev
Joint consistency FPK53SSDMR
| URI | m2://inv/FPK53SSDMR |
|---|---|
| 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.06873#JOT8, Joint consistency (statement). In R8NHQ41GMX/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
Elastic potential energy FPKCE1GQMV
| URI | m2://inv/FPKCE1GQMV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#SE2D, Elastic potential energy (unknown)
History
- 2026-11-02: add by m2/dev
FPKD9NNZ07 FPKD9NNZ07
| URI | m2://inv/FPKD9NNZ07 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9602216#NTJ1 (statement). In SD43497T8C/e1, lemma 3.10
History
- 2026-10-27: add by m2/v0.3.5
FPKEYMG98C FPKEYMG98C
| URI | m2://inv/FPKEYMG98C |
|---|---|
| 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.10875#UVO3 (statement). In N91F15MHW1/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.3
trainable interface FPKKCRYK4A
| URI | m2://inv/FPKKCRYK4A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08016#NVUM, trainable interface (statement). In YR3CSTYEJW/e1, proposition 4.9
History
- 2026-10-29: add by m2/v0.4.10
Edwards' Speculation for High-Order Sections FPKMM7RCMV
| URI | m2://inv/FPKMM7RCMV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.06548#5UOU, Edwards' Speculation for High-Order Sections (statement). In SCC2N3WNYE/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
FPKVTA7AFN FPKVTA7AFN
| URI | m2://inv/FPKVTA7AFN |
|---|---|
| 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.07673#0DJN (statement). In 37B1MPV8GX/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.10
The von Neumann–Morgenstern axioms FPM18RK2VT
| URI | m2://inv/FPM18RK2VT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expected utility hypothesis#163H, The von Neumann–Morgenstern axioms (statement)
History
- 2026-11-02: add by m2/dev
iterated integral FPM5FSVPQB
| URI | m2://inv/FPM5FSVPQB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Iterated integral 0P4WX7Y502 |
Mentions
- wikidata: Wikidata Q6094400, iterated integral (unknown). Also nLab iterated integral
- wikipedia: Wikipedia Iterated integral, Iterated integral (definition). Also Wikidata Q6094400
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Corollary 3 FPMDS0MAP3
| URI | m2://inv/FPMDS0MAP3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Space hierarchy theorem#SBR7, Corollary 3 (statement)
History
- 2026-11-02: add by m2/dev
Liebmann's theorem FPMDZXVBZS
| URI | m2://inv/FPMDZXVBZS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian curvature#I7KH, Liebmann's theorem (unknown)
History
- 2026-11-02: add by m2/dev
Slice sampling FPMPYP1N11
| URI | m2://inv/FPMPYP1N11 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#OOSW, Slice sampling (definition)
History
- 2026-11-02: add by m2/dev
FPN5PEHM18 FPN5PEHM18
| URI | m2://inv/FPN5PEHM18 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18929#96TQ (statement). In ZRJ2DZT6P1/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
FPN7RSS20V FPN7RSS20V
| URI | m2://inv/FPN7RSS20V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.33590#548X (statement). In WRE0P7V6Z3/e1, theorem 1.25
History
- 2026-10-30: add by m2/v0.4.12
critical FPN937A6AX
| URI | m2://inv/FPN937A6AX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#FJFL, critical (definition)
History
- 2026-11-02: add by m2/dev
Hugh MacColl FPNA60N6S7
| URI | m2://inv/FPNA60N6S7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hugh MacColl, Hugh MacColl (topic). Also Wikidata Q3709817
History
- 2026-11-02: add by m2/dev
Problems in Latin squares FPNB69BYP0
| URI | m2://inv/FPNB69BYP0 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Problems in Latin squares, Problems in Latin squares (conjecture). Also Wikidata Q7246975
History
- 2026-11-02: add by m2/dev
FPNH2A9SA3 FPNH2A9SA3
| URI | m2://inv/FPNH2A9SA3 |
|---|---|
| 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#8G5D (statement). In F3BKXXPR3K/e1, proposition 3.55
History
- 2026-10-27: add by m2/v0.4.2
Ilka Agricola FPNJJY85CZ
| URI | m2://inv/FPNJJY85CZ |
|---|---|
| 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 Q1658686, Ilka Agricola (unknown). Also nLab Ilka Agricola
- wikipedia: Wikipedia Ilka Agricola, Ilka Agricola (topic). Also Wikidata Q1658686
History
- 2026-10-26: add by m2/dev
Noise-free behavior-weighted value convergence FPNKC8901T
| URI | m2://inv/FPNKC8901T |
|---|---|
| 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.39837#79LX, Noise-free behavior-weighted value convergence (statement). In MDQXTBEK0F/e1, corollary 4.1
History
- 2026-10-30: add by m2/v0.4.12
FPNNGSPJYP FPNNGSPJYP
| URI | m2://inv/FPNNGSPJYP |
|---|---|
| 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.33406#Q4C5 (statement). In B23TX8G4E4/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
Samuel L. Greitzer FPNP8GV638
| URI | m2://inv/FPNP8GV638 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Samuel L. Greitzer, Samuel L. Greitzer (topic). Also Wikidata Q7411946
History
- 2026-11-02: add by m2/dev
HRNN FPNSCBZXRR
| URI | m2://inv/FPNSCBZXRR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recurrent neural network#H8JY, HRNN (unknown)
History
- 2026-11-02: add by m2/dev
FPNT1R2S80 FPNT1R2S80
| URI | m2://inv/FPNT1R2S80 |
|---|---|
| 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.07770#7J9P (example). In 6GHT4P7E8X/e1, example 5.3
History
- 2026-10-29: add by m2/v0.4.10
FPNV69KAPK FPNV69KAPK
| URI | m2://inv/FPNV69KAPK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/models.tex#definition-4 (definition). In RZP28ERRZV, definition, section 91.2
History
- 2026-11-01: add by m2/v0.6.13
FPNVPAEWXW FPNVPAEWXW
| URI | m2://inv/FPNVPAEWXW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.01073#TZX7 (definition). In W4TYN4PGE8/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
FPP1B6MXQD FPP1B6MXQD
| URI | m2://inv/FPP1B6MXQD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-2-3-prod-quot.xml#example-4 (example). In 907G4C4EJ1, example, section 2.3.4
History
- 2026-11-01: add by m2/v0.6.13
FPP60AP9FV FPP60AP9FV
| URI | m2://inv/FPP60AP9FV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2408.13548#97F9 (definition). In EQF1ZQ5K1S/e1, definition 3.10
History
- 2026-10-27: add by m2/v0.4.0
equal to by definition FPPC007BB4
| URI | m2://inv/FPPC007BB4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110030674, equal to by definition (unknown). Also MathWorld Defined
History
- 2026-10-26: add by m2/dev
FPPDM7ATBY FPPDM7ATBY
| URI | m2://inv/FPPDM7ATBY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24412#8PLI (statement)
History
- 2026-11-01: add by m2/v0.6.15
FPPZPYSKYJ FPPZPYSKYJ
| URI | m2://inv/FPPZPYSKYJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33679#IERY (statement). In 3N9E9T6AF5/e1, corollary 1.7
History
- 2026-10-30: add by m2/v0.4.12
FPQ88FFAM5 FPQ88FFAM5
| URI | m2://inv/FPQ88FFAM5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#4OM4 (definition). In X38P26DK6S/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.4.0
FPQCFVXNMZ FPQCFVXNMZ
| URI | m2://inv/FPQCFVXNMZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#MCF2 (definition). In Z7E16PFFCP/e1, definition 4.16
History
- 2026-10-30: add by m2/v0.4.12
Construction FPQDX3Q04V
| URI | m2://inv/FPQDX3Q04V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Icosagon#FVYB, Construction (definition)
History
- 2026-11-02: add by m2/dev
FPQMPG7WAE FPQMPG7WAE
| URI | m2://inv/FPQMPG7WAE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.16931#MJXQ (statement). In H7DMRWBBJN/e1, proposition 5.9
History
- 2026-10-28: add by m2/v0.4.2
FPQMSYXS9J FPQMSYXS9J
| URI | m2://inv/FPQMSYXS9J |
|---|---|
| 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 2210.11778#F46U (statement). In PPAJZ2JBCE/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
FPQPBQ94TF FPQPBQ94TF
| URI | m2://inv/FPQPBQ94TF |
|---|---|
| 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#7JH0 (statement). In E7W2HDNEKJ/e1, theorem 4.36
History
- 2026-10-30: add by m2/v0.4.12
FPQVN7YXA2 FPQVN7YXA2
| URI | m2://inv/FPQVN7YXA2 |
|---|---|
| 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.09882#SO8F (statement). In 7XV6T4N79V/e1, lemma 5.6
History
- 2026-10-29: add by m2/v0.4.10
A special case: the Harris inequality FPR237CHNR
| URI | m2://inv/FPR237CHNR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FKG inequality#QEDC, A special case: the Harris inequality (statement)
History
- 2026-11-02: add by m2/dev
FPR8ZTD77B FPR8ZTD77B
| URI | m2://inv/FPR8ZTD77B |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#AGMH (example). In HX63A1PH1W/e1, example 7.11
History
- 2026-10-28: add by m2/v0.4.3
Boundary-layer approximation FPRH54AZYC
| URI | m2://inv/FPRH54AZYC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35548#GAFJ, Boundary-layer approximation (statement). In 12AXZ0DFD9/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
Isomorphism of stacks FPRNCENH4W
| URI | m2://inv/FPRNCENH4W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28514#NI2G, Isomorphism of stacks (definition)
History
- 2026-11-01: add by m2/v0.6.15
FPRP03WNA0 FPRP03WNA0
| URI | m2://inv/FPRP03WNA0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40207#Z89U (statement). In JXTG8KP95P/e1, lemma 5.4
History
- 2026-10-30: add by m2/v0.4.12
Pleszczyńska, Elżbieta FPRPHFH5DH
| URI | m2://inv/FPRPHFH5DH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#7SX1, Pleszczyńska, Elżbieta (topic)
History
- 2026-11-02: add by m2/dev
FPRTVQF4WR FPRTVQF4WR
| URI | m2://inv/FPRTVQF4WR |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13699#3IVX (conjecture). In ZSMAQ666K7/e1, conjecture 1
History
- 2026-10-28: add by m2/v0.4.2
Definitions FPRWWBM1DQ
| URI | m2://inv/FPRWWBM1DQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stokes parameters#A3MU, Definitions (definition)
History
- 2026-11-02: add by m2/dev
FPT2539V3N FPT2539V3N
| URI | m2://inv/FPT2539V3N |
|---|---|
| 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.19988#R28Q (statement)
History
- 2026-11-02: add by m2/v0.6.18
FPT3WBAVAD FPT3WBAVAD
| URI | m2://inv/FPT3WBAVAD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19707#56V5 (statement). In R6SEBXARYC/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Positively invariant set FPT4XAT3P9
| URI | m2://inv/FPT4XAT3P9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positively invariant set, Positively invariant set (definition). Also Wikidata Q7233275
History
- 2026-11-02: add by m2/dev
FPT8PN0MDZ FPT8PN0MDZ
| URI | m2://inv/FPT8PN0MDZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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 2610.09945#B0RZ (example). In V7VCEA0VAA/e1, example 3.6
History
- 2026-10-29: add by m2/v0.4.10
principle of permanence FPTCA339RM
| URI | m2://inv/FPTCA339RM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7245167, principle of permanence (concept). Also MathWorld PrincipleofPermanence
- wikipedia: Wikipedia Principle of permanence, Principle of permanence (statement). Also Wikidata Q7245167
History
- 2026-10-26: add by m2/dev
FPTEP95GPC FPTEP95GPC
| URI | m2://inv/FPTEP95GPC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#AI6A (statement). In VN084GGZGK/e1, proposition 5.8
History
- 2026-10-28: add by m2/v0.4.3
Apple logo FPTGM7MVYP
| URI | m2://inv/FPTGM7MVYP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#W9RH, Apple logo (unknown)
History
- 2026-11-02: add by m2/dev
Richard Melrose FPTJGY6QWA
| URI | m2://inv/FPTJGY6QWA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2150196, Richard Melrose (unknown). Also nLab Richard Melrose
History
- 2026-10-26: add by m2/dev
FPTX52WF06 FPTX52WF06
| URI | m2://inv/FPTX52WF06 |
|---|---|
| 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.01928#SYXL (statement). In BSJRRHKGX0/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.12
Variants FPV015J0RR
| URI | m2://inv/FPV015J0RR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vigenère cipher#L0O5, Variants (statement)
History
- 2026-11-02: add by m2/dev
non-Hausdorff manifold FPV1RK4XWJ
| URI | m2://inv/FPV1RK4XWJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7048762, non-Hausdorff manifold (concept). Also nLab non-Hausdorff manifold
- wikipedia: Wikipedia Non-Hausdorff manifold, Non-Hausdorff manifold (definition). Also Wikidata Q7048762
History
- 2026-10-26: add by m2/dev
FPV1WMNTVB FPV1WMNTVB
| URI | m2://inv/FPV1WMNTVB |
|---|---|
| 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.26074#1HCI (statement)
History
- 2026-11-01: add by m2/v0.6.15
FPV5358EPT FPV5358EPT
| URI | m2://inv/FPV5358EPT |
|---|---|
| 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.34202#031D (statement). In 57CRGWHT13/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
Character blocks FPV6HQDCN4
| URI | m2://inv/FPV6HQDCN4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03520#15V8, Character blocks (statement). In CSRZ9CWK69/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.12
Michael Schemper FPV7YKFW3Y
| URI | m2://inv/FPV7YKFW3Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Schemper, Michael Schemper (topic). Also Wikidata Q89744423
History
- 2026-11-02: add by m2/dev
Uniform finite point gluing FPV8E18AET
| URI | m2://inv/FPV8E18AET |
|---|---|
| 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.21963#YJYK, Uniform finite point gluing (statement). In HR9R8RPKN8/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.4.2
Western Chain FPVCYJPWAX
| URI | m2://inv/FPVCYJPWAX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#6IHB, Western Chain (unknown)
History
- 2026-11-02: add by m2/dev
Mountain pass theorem FPVHTQM98P
| URI | m2://inv/FPVHTQM98P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#4KPP, Mountain pass theorem (statement)
History
- 2026-11-02: add by m2/dev
Lie algebra bundle FPVS130178
| URI | m2://inv/FPVS130178 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie algebra bundle, Lie algebra bundle (definition). Also Wikidata Q6543805
History
- 2026-11-02: add by m2/dev
よ FPVZPBMD32
| URI | m2://inv/FPVZPBMD32 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#KFVO, よ (definition)
History
- 2026-11-02: add by m2/dev
FPW12ES6SM FPW12ES6SM
| URI | m2://inv/FPW12ES6SM |
|---|---|
| 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.17258#AHDC (statement). In F4M67ZVBF2/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
Applications FPW62NHK6J
| URI | m2://inv/FPW62NHK6J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multi-commodity flow problem#NW19, Applications (example)
History
- 2026-11-02: add by m2/dev
Pseudoscalar (Clifford algebra) FPWABZFW3M
| URI | m2://inv/FPWABZFW3M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classification of Clifford algebras#5Y47, Pseudoscalar (Clifford algebra) (unknown)
History
- 2026-11-02: add by m2/dev
FPWBBA5DN6 FPWBBA5DN6
| URI | m2://inv/FPWBBA5DN6 |
|---|---|
| Kind | example |
| 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.13888#KVBU (example). In XJWYBPS14M/e1, example 6.4
History
- 2026-10-28: add by m2/v0.4.2
FPWBC5GF2Q FPWBC5GF2Q
| URI | m2://inv/FPWBC5GF2Q |
|---|---|
| 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.29903#PDRP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Incremental passivity FPWFQJX8RF
| URI | m2://inv/FPWFQJX8RF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Passivity (engineering)#CPH9, Incremental passivity (unknown)
History
- 2026-11-02: add by m2/dev
Momayyez FPWHQ1T1X1
| URI | m2://inv/FPWHQ1T1X1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decimal separator#VK0G, Momayyez (unknown)
History
- 2026-11-02: add by m2/dev
FPWQDQ8QCC FPWQDQ8QCC
| URI | m2://inv/FPWQDQ8QCC |
|---|---|
| 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.21181#5O09 (statement). In 3D0GJXDY11/e1, theorem 6.3
History
- 2026-10-27: add by m2/v0.4.2
FPX6J3197A FPX6J3197A
| URI | m2://inv/FPX6J3197A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08288#FH5W (statement). In CHVWYJM7RM/e1, lemma C.5
History
- 2026-10-29: add by m2/v0.4.10
Gauge theory FPX8ZQQK65
| URI | m2://inv/FPX8ZQQK65 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#JZ9Z, Gauge theory (definition)
History
- 2026-11-02: add by m2/dev
Hartogs' Compactness Theorem FPXJE4WX41
| URI | m2://inv/FPXJE4WX41 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21528#JP9H, Hartogs' Compactness Theorem (statement)
History
- 2026-11-02: add by m2/v0.6.18
Sampling bias FPXQBTN9DW
| URI | m2://inv/FPXQBTN9DW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BWSO, Sampling bias (definition)
History
- 2026-11-02: add by m2/dev
Lefmann + Hardy--Littlewood circle method FPY7DEGSAJ
| URI | m2://inv/FPY7DEGSAJ |
|---|---|
| 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#KF6J, Lefmann + Hardy--Littlewood circle method (statement). In JBAQ7DTW7B/e1, theorem 1.8
History
- 2026-10-27: add by m2/v0.3.5
FPYABSJSND FPYABSJSND
| URI | m2://inv/FPYABSJSND |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30018#ZUNE (definition)
History
- 2026-11-01: add by m2/v0.6.15
Compactness of reduced forms FPYB6X8SYN
| URI | m2://inv/FPYB6X8SYN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37615#0LB3, Compactness of reduced forms (statement). In T2B54J7121/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
FPYFAVZJF2 FPYFAVZJF2
| URI | m2://inv/FPYFAVZJF2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35632#X52J (statement). In Q74G3BVZAQ/e1, corollary D
History
- 2026-10-27: add by m2/v0.3.5
FPYJ7TKQ2K FPYJ7TKQ2K
| URI | m2://inv/FPYJ7TKQ2K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#YB0V (definition)
History
- 2026-11-01: add by m2/v0.6.15
Normal probability plot FPYP4CDS3C
| URI | m2://inv/FPYP4CDS3C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal probability plot, Normal probability plot (definition). Also Wikidata Q432581
History
- 2026-11-02: add by m2/dev
Wolstenholme quotient FPYQWEKP76
| URI | m2://inv/FPYQWEKP76 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wolstenholme prime#BZ8P, Wolstenholme quotient (unknown)
History
- 2026-11-02: add by m2/dev
Interval stability and mass selection FPYYCP24RA
| URI | m2://inv/FPYYCP24RA |
|---|---|
| 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.34202#2L64, Interval stability and mass selection (statement). In 57CRGWHT13/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
FPZ2PBFC5Z FPZ2PBFC5Z
| URI | m2://inv/FPZ2PBFC5Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.17484#B27I (statement). In 5E9GMPKEEP/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.5
Classification of residual limits under $\rho=\delta_1$ FPZ8238A5T
| URI | m2://inv/FPZ8238A5T |
|---|---|
| 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.16680#81PU, Classification of residual limits under $\rho=\delta_1$ (statement). In H29YHXQZV6/e1, theorem 10
History
- 2026-10-28: add by m2/v0.4.2
Characterization FPZAXAF29C
| URI | m2://inv/FPZAXAF29C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nuclear operator#UA9N, Characterization (statement)
History
- 2026-11-02: add by m2/dev
FPZBJFYDE8 FPZBJFYDE8
| URI | m2://inv/FPZBJFYDE8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10860#0U2Z (statement). In PBYNV2WF2H/e1, lemma B.5
History
- 2026-10-28: add by m2/v0.4.3
Computed stabilizer refinement for $q\le49$ FPZDC4RZFP
| URI | m2://inv/FPZDC4RZFP |
|---|---|
| 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#OFKA, Computed stabilizer refinement for $q\le49$ (statement). In 9NVKKW8HDH/e1, proposition 2.43
History
- 2026-10-28: add by m2/v0.4.2
One-way functions against circuits FPZHY0E7C4
| URI | m2://inv/FPZHY0E7C4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14615#XNPC, One-way functions against circuits (definition). In 7D5MMP8XB5/e1, definition 2.18
History
- 2026-10-28: add by m2/v0.4.2
self-contradictory FPZNH39VH2
| URI | m2://inv/FPZNH39VH2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#D5FK, self-contradictory (definition)
History
- 2026-11-02: add by m2/dev
Dominique Haughton FPZR1E1TM0
| URI | m2://inv/FPZR1E1TM0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dominique Haughton, Dominique Haughton (topic). Also Wikidata Q90071194
History
- 2026-11-02: add by m2/dev
Invariants FPZRQENMA5
| URI | m2://inv/FPZRQENMA5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometric topology topics#SO9R, Invariants (definition)
History
- 2026-11-02: add by m2/dev
First fundamental theorem of calculus FPZSSMX5AS
| URI | m2://inv/FPZSSMX5AS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental theorem of calculus#DFFV, First fundamental theorem of calculus (unknown)
History
- 2026-11-02: add by m2/dev
Algebraic K-theory FPZXKF4KJT
| URI | m2://inv/FPZXKF4KJT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#UFJJ, Algebraic K-theory (definition)
History
- 2026-11-02: add by m2/dev
Alexander Witting FPZYP7EHBR
| URI | m2://inv/FPZYP7EHBR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Witting, Alexander Witting (topic). Also Wikidata Q89038
History
- 2026-11-02: add by m2/dev