Inventory rows 84
The cards of the rows of the inventory whose ids start with 84. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
8409PMRDX9 8409PMRDX9
| URI | m2://inv/8409PMRDX9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05602#QP01 (statement). In W88890HB4Z/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.10
840AY1WTKA 840AY1WTKA
| URI | m2://inv/840AY1WTKA |
|---|---|
| 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 2502.08738#3R7E (statement). In 9GMTVSTAVN/e1, theorem 4.15
History
- 2026-10-27: add by m2/v0.3.5
840J56S7FJ 840J56S7FJ
| URI | m2://inv/840J56S7FJ |
|---|---|
| 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.24584#7MNF (definition)
History
- 2026-11-01: add by m2/v0.6.15
Valles (Villaviciosa) 840YGBQPPG
| URI | m2://inv/840YGBQPPG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#IF0N, Valles (Villaviciosa) (unknown)
History
- 2026-11-02: add by m2/dev
8410AXF31P 8410AXF31P
| URI | m2://inv/8410AXF31P |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/theories-computability/first-incompleteness.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 30.9
History
- 2026-11-01: add by m2/v0.6.13
Colour refinement algorithm 84119V2ZW0
| URI | m2://inv/84119V2ZW0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Colour refinement algorithm, Colour refinement algorithm (definition). Also Wikidata Q114243341
History
- 2026-11-02: add by m2/dev
Bipartite dimension formulas for some graphs 84144YT09S
| URI | m2://inv/84144YT09S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bipartite dimension#T7T0, Bipartite dimension formulas for some graphs (statement)
History
- 2026-11-02: add by m2/dev
841EAH0E6X 841EAH0E6X
| URI | m2://inv/841EAH0E6X |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/compactness-direct.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 9.8
History
- 2026-11-01: add by m2/v0.6.13
Mean and variance of the shifted estimating function 841GYBPCV2
| URI | m2://inv/841GYBPCV2 |
|---|---|
| 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.17403#ONFF, Mean and variance of the shifted estimating function (statement). In 9EMNMAW8YH/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
Optimal count-conditional frontier 841JSHJF9E
| URI | m2://inv/841JSHJF9E |
|---|---|
| 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.31607#NKHQ, Optimal count-conditional frontier (statement). In H9X9WZ17TT/e1, theorem 17
History
- 2026-10-31: add by m2/v0.5.6
841PW169VE 841PW169VE
| URI | m2://inv/841PW169VE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21090#4R6F (statement)
History
- 2026-11-02: add by m2/v0.6.18
Robert Frucht 841W0F9XN5
| URI | m2://inv/841W0F9XN5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#9IRB, Robert Frucht (topic)
History
- 2026-11-02: add by m2/dev
Jean-Luc Dorier 841Z8NEW8Y
| URI | m2://inv/841Z8NEW8Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#BH3Q, Jean-Luc Dorier (unknown)
History
- 2026-11-02: add by m2/dev
842P2JZDZH 842P2JZDZH
| URI | m2://inv/842P2JZDZH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10558#B7U1 (statement). In GYSF9JXQCH/e1, lemma 5.8
History
- 2026-10-29: add by m2/v0.4.10
blow up 842V8D1C3W
| URI | m2://inv/842V8D1C3W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.07718#1YX9, blow up (statement). In CEKW9CNVVW/e1, lemma 7.8
History
- 2026-10-29: add by m2/v0.4.10
Soundness 8430YBKAWM
| URI | m2://inv/8430YBKAWM |
|---|---|
| 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 2207.11097#0QY5, Soundness (statement). In 13H5BTAXHF/e1, theorem 10
History
- 2026-10-27: add by m2/v0.3.5
Introducing formula 8434M048BK
| URI | m2://inv/8434M048BK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tomographic reconstruction#T9TA, Introducing formula (statement)
History
- 2026-11-02: add by m2/dev
Complete criterion for $d_{\max}\leq3$ 843CQFB13Z
| URI | m2://inv/843CQFB13Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40054#X2PN, Complete criterion for $d_{\max}\leq3$ (statement). In CA4C9PFM1E/e1, corollary 4.1.10
History
- 2026-10-30: add by m2/v0.4.12
843V4QCBM0 843V4QCBM0
| URI | m2://inv/843V4QCBM0 |
|---|---|
| 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 1912.13357#MZRO (statement). In K8CQDCYBR3/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
843X4163VT 843X4163VT
| URI | m2://inv/843X4163VT |
|---|---|
| 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#9E67 (statement)
History
- 2026-11-01: add by m2/v0.6.15
84412A6ET6 84412A6ET6
| URI | m2://inv/84412A6ET6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30675#P72K (statement). In RQ0K0A6PQA/e1, lemma 2.4
History
- 2026-10-31: add by m2/v0.5.6
844C20NXTQ 844C20NXTQ
| URI | m2://inv/844C20NXTQ |
|---|---|
| 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.22667#8GB7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Ibragimov–Iosifescu conjecture for φ-mixing sequences 844KSKRY6G
| URI | m2://inv/844KSKRY6G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#PWCN, Ibragimov–Iosifescu conjecture for φ-mixing sequences (statement)
History
- 2026-11-02: add by m2/dev
Alexander Kiselev 844XBN90NZ
| URI | m2://inv/844XBN90NZ |
|---|---|
| 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#N7HU, Alexander Kiselev (topic)
History
- 2026-11-02: add by m2/dev
844XX9D5WB 844XX9D5WB
| URI | m2://inv/844XX9D5WB |
|---|---|
| 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.36412#EDEZ (statement). In 6HKGGCMBCK/e1, lemma 7.1
History
- 2026-10-30: add by m2/v0.4.12
EGS 844ZR60XBV
| URI | m2://inv/844ZR60XBV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#JH0M, EGS (unknown)
History
- 2026-11-02: add by m2/dev
Special cases 8454ZVEHNC
| URI | m2://inv/8454ZVEHNC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Focal surface#QDQG, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Redundancy (robotics) 845705JTME
| URI | m2://inv/845705JTME |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Degrees of freedom (mechanics)#EPHZ, Redundancy (robotics) (unknown)
History
- 2026-11-02: add by m2/dev
8457HK4TZ4 8457HK4TZ4
| URI | m2://inv/8457HK4TZ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#cor-1 (statement). In N54F33XE07, cor, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
Newton's third law of motion 845D800HJF
| URI | m2://inv/845D800HJF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3235565, Newton's third law of motion (statement). Also ProofWiki Newton's_Laws_of_Motion/Third_Law
History
- 2026-10-26: add by m2/dev
induction principle, for identity type, based 845EKXS1NH
| URI | m2://inv/845EKXS1NH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.12.1/induction-principle-for-identity-type-based, induction principle, for identity type, based (concept). In N54F33XE07, index, section A.12.1
History
- 2026-11-01: add by m2/v0.6.13
845G2SJVYR 845G2SJVYR
| URI | m2://inv/845G2SJVYR |
|---|---|
| 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.06556#YI91 (statement). In KW8C7VE9XR/e1, theorem 20
History
- 2026-10-29: add by m2/v0.4.10
845GFFKVQM 845GFFKVQM
| URI | m2://inv/845GFFKVQM |
|---|---|
| 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-5 (example). In 907G4C4EJ1, example, section 2.3.4
History
- 2026-11-01: add by m2/v0.6.13
845GHN3GPQ 845GHN3GPQ
| URI | m2://inv/845GHN3GPQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#XMX1 (statement). In Z7E16PFFCP/e1, corollary 4.25
History
- 2026-10-30: add by m2/v0.4.12
Lipschitz estimates for $G$ 845RXW2CJY
| URI | m2://inv/845RXW2CJY |
|---|---|
| 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.24789#GT0R, Lipschitz estimates for $G$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
8462MZQR63 8462MZQR63
| URI | m2://inv/8462MZQR63 |
|---|---|
| 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.20656#717F (statement)
History
- 2026-11-02: add by m2/v0.6.18
Forward induction 84662EB7DH
| URI | m2://inv/84662EB7DH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solution concept#QLO5, Forward induction (unknown)
History
- 2026-11-02: add by m2/dev
Criticism of SQL 84688GZFM1
| URI | m2://inv/84688GZFM1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SQL#D3X3, Criticism of SQL (unknown)
History
- 2026-11-02: add by m2/dev
Real-root isolation 84694A24GW
| URI | m2://inv/84694A24GW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real-root isolation, Real-root isolation (definition). Also Wikidata Q60790239
History
- 2026-11-02: add by m2/dev
Grünbaum–Rigby configuration 846KW7JAF0
| URI | m2://inv/846KW7JAF0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grünbaum–Rigby configuration, Grünbaum–Rigby configuration (definition). Also Wikidata Q63993355
History
- 2026-11-02: add by m2/dev
Properties 846PT6QSEB
| URI | m2://inv/846PT6QSEB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilks's lambda distribution#27XF, Properties (statement)
History
- 2026-11-02: add by m2/dev
846Q48WE66 846Q48WE66
| URI | m2://inv/846Q48WE66 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop:whereTgoeshol (statement). In VNMV985MXX, prop, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
846VTG3QPP 846VTG3QPP
| URI | m2://inv/846VTG3QPP |
|---|---|
| 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.25038#LHP0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Plug-in principle 8473SDPPGQ
| URI | m2://inv/8473SDPPGQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Resampling (statistics)#E6NU, Plug-in principle (unknown)
History
- 2026-11-02: add by m2/dev
84754FKMYA 84754FKMYA
| URI | m2://inv/84754FKMYA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36321#R655 (statement). In 3KTZ6Z615H/e1, theorem 4.10
History
- 2026-10-30: add by m2/v0.4.12
Hal Abelson 8477V3D2QJ
| URI | m2://inv/8477V3D2QJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#F00H, Hal Abelson (topic)
History
- 2026-11-02: add by m2/dev
Rothstein's theorem 8479F38AC2
| URI | m2://inv/8479F38AC2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/1.4/rothstein-s-theorem, Rothstein's theorem (concept). In VNMV985MXX, index, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
847JCTQYDK 847JCTQYDK
| URI | m2://inv/847JCTQYDK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2609.30200#ND7I (statement)
History
- 2026-11-01: add by m2/v0.6.15
Beth one 847TEHGRZZ
| URI | m2://inv/847TEHGRZZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cardinality of the continuum#GHI3, Beth one (unknown)
History
- 2026-11-02: add by m2/dev
Proposition one 847VK33SYX
| URI | m2://inv/847VK33SYX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Measurement of a Circle#5GZ8, Proposition one (statement)
History
- 2026-11-02: add by m2/dev
847Y9PCYKV 847Y9PCYKV
| URI | m2://inv/847Y9PCYKV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/affine-var.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 19.4
History
- 2026-11-01: add by m2/v0.6.13
orthogonal factorization system 8484441PS1
| URI | m2://inv/8484441PS1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.6/orthogonal-factorization-system, orthogonal factorization system (concept). In N54F33XE07, index, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
Represented hyperdescent 8484GQ0BNA
| URI | m2://inv/8484GQ0BNA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28220#V3IU, Represented hyperdescent (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties 84856C2Z1T
| URI | m2://inv/84856C2Z1T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Essential range#ISQ6, Properties (statement)
History
- 2026-11-02: add by m2/dev
Pythagorean system 8485WFJ9MR
| URI | m2://inv/8485WFJ9MR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Pythagoras#3Z51, Pythagorean system (definition)
History
- 2026-11-02: add by m2/dev
Lawson topology 848E1WJ9G1
| URI | m2://inv/848E1WJ9G1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#BD5D, Lawson topology (definition)
- wikipedia: Wikipedia List of general topology topics#J5CQ, Lawson topology (definition)
History
- 2026-11-02: add by m2/dev
Hypothesis testing 848KBWYCGD
| URI | m2://inv/848KBWYCGD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudoreplication#X6IS, Hypothesis testing (statement)
History
- 2026-11-02: add by m2/dev
848V8QB47J 848V8QB47J
| URI | m2://inv/848V8QB47J |
|---|---|
| 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#07GV (statement). In S284XRA4WK/e1, lemma H.2
History
- 2026-10-29: add by m2/v0.4.10
Tres Cerros 848YMFGM81
| URI | m2://inv/848YMFGM81 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#Q475, Tres Cerros (unknown)
History
- 2026-11-02: add by m2/dev
Definition 848YXK4CHS
| URI | m2://inv/848YXK4CHS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Control-Lyapunov function#PBK1, Definition (definition)
History
- 2026-11-02: add by m2/dev
complex-valued function 849425TE8T
| URI | m2://inv/849425TE8T |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 74K10 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q64952105, complex-valued function (topic). Also MathWorld ComplexFunction
History
- 2026-10-26: add by m2/dev
849AFEND52 849AFEND52
| URI | m2://inv/849AFEND52 |
|---|---|
| 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 2303.00676#AUA8 (statement). In 5351H04TJY/e1, proposition 4.13
History
- 2026-10-27: add by m2/v0.4.0
Anchor test 849D3BR340
| URI | m2://inv/849D3BR340 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#AFLZ, Anchor test (definition)
History
- 2026-11-02: add by m2/dev
Sherman-Morrison-Woodbury formula 849G51N943
| URI | m2://inv/849G51N943 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2604.23212#3DIB, Sherman-Morrison-Woodbury formula (statement). In 4X12V9RS0D/e1, proposition K.4
History
- 2026-10-27: add by m2/v0.3.5
849GDKFHWN 849GDKFHWN
| URI | m2://inv/849GDKFHWN |
|---|---|
| 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 2301.04933#6B2U (definition). In Q70CTMCJTP/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
849JNNQHWF 849JNNQHWF
| URI | m2://inv/849JNNQHWF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2609.33856#XC4L (statement). In 47WN78VDDF/e1, corollary 3.24
History
- 2026-10-30: add by m2/v0.4.12
849PZ9XVCE 849PZ9XVCE
| URI | m2://inv/849PZ9XVCE |
|---|---|
| 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.12295#O5JX (statement). In 6DZPR52HRP/e1, lemma 4.11
History
- 2026-10-28: add by m2/v0.4.2
Definition 849Q0HZSFW
| URI | m2://inv/849Q0HZSFW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximal compact subgroup#CMSA, Definition (definition)
History
- 2026-11-02: add by m2/dev
Jang-Mei Wu 849WEYKYSC
| URI | m2://inv/849WEYKYSC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#C6NL, Jang-Mei Wu (unknown)
History
- 2026-11-02: add by m2/dev
Representation theory of the Lorentz group 849X61BKJ2
| URI | m2://inv/849X61BKJ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation theory of the Lorentz group, Representation theory of the Lorentz group (definition). Also Wikidata Q7314228
History
- 2026-11-02: add by m2/dev
Specular highlight 849ZN8PDGD
| URI | m2://inv/849ZN8PDGD |
|---|---|
| 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#GK83, Specular highlight (unknown)
History
- 2026-11-02: add by m2/dev
84A8QJXSX0 84A8QJXSX0
| URI | m2://inv/84A8QJXSX0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15744#9P5H (statement). In NV3PBZGBB7/e1, theorem 5.9
History
- 2026-10-28: add by m2/v0.4.2
84A9TC4MYN 84A9TC4MYN
| URI | m2://inv/84A9TC4MYN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11145#I9Z4 (statement). In 2KME4YY99M/e1, lemma 15
History
- 2026-10-28: add by m2/v0.4.3
Econometric Reviews 84AKMR3WRH
| URI | m2://inv/84AKMR3WRH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#4UP7, Econometric Reviews (unknown)
History
- 2026-11-02: add by m2/dev
84AM8X09RX 84AM8X09RX
| URI | m2://inv/84AM8X09RX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08196#YN0C (definition). In 8QVWZ23N42/e1, definition 5.11
History
- 2026-10-29: add by m2/v0.4.10
Tychonoff cube 84AMVQM144
| URI | m2://inv/84AMVQM144 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-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.33841#VKKO, Tychonoff cube (example). In 3CVQHT206K/e1, example 2.5
History
- 2026-10-30: add by m2/v0.4.12
Well-posedness 84AN53J4EH
| URI | m2://inv/84AN53J4EH |
|---|---|
| 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.01391#TL0V, Well-posedness (statement). In MAZNVJX5YK/e1, proposition 6
History
- 2026-10-29: add by m2/v0.4.12
84BAY5GQDR 84BAY5GQDR
| URI | m2://inv/84BAY5GQDR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26337#RY04 (definition)
History
- 2026-11-01: add by m2/v0.6.15
transitive group action 84BD99Z5M1
| URI | m2://inv/84BD99Z5M1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121074938, transitive group action (statement). Also EoM Transitive_group, MathWorld TransitiveGroupAction, nLab transitive action, ProofWiki Transitive_group_action
History
- 2026-10-26: add by m2/dev
84BNFF3A12 84BNFF3A12
| URI | m2://inv/84BNFF3A12 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36389#1L50 (statement). In N1S169J2MV/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
Yehuda Afek 84BXMXQN0F
| URI | m2://inv/84BXMXQN0F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#IMT7, Yehuda Afek (unknown)
History
- 2026-11-02: add by m2/dev
definiendum 84BY8VZ3VM
| URI | m2://inv/84BY8VZ3VM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#P7ZJ, definiendum (definition)
History
- 2026-11-02: add by m2/dev
84C8MWAVWZ 84C8MWAVWZ
| URI | m2://inv/84C8MWAVWZ |
|---|---|
| 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.04172#1NTQ (statement). In 9Q1D1NMTTS/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
Uniform field, loss, and AGOP expansions 84CBABF1PY
| URI | m2://inv/84CBABF1PY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39408#310Z, Uniform field, loss, and AGOP expansions (statement). In T8E6F01RTM/e1, lemma U.2
History
- 2026-10-30: add by m2/v0.4.12
84CBPM1RXK 84CBPM1RXK
| URI | m2://inv/84CBPM1RXK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1310.6698#D5ZV (statement). In 7AQ7DMNZEY/e1, theorem 3.6
History
- 2026-10-27: add by m2/v0.3.5
Raymond Paley 84CE3FH87R
| URI | m2://inv/84CE3FH87R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#4LED, Raymond Paley (topic)
History
- 2026-11-02: add by m2/dev
84CH3WP9EF 84CH3WP9EF
| URI | m2://inv/84CH3WP9EF |
|---|---|
| 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.13869#9EF4 (statement). In AM0K62YRZ3/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
84CJV3Q592 84CJV3Q592
| URI | m2://inv/84CJV3Q592 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-coloring.ptx#exercise-4 (exercise). In Y91XFCEVHQ, exercise, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
Garrett Birkhoff 84CN211F7V
| URI | m2://inv/84CN211F7V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#A7JR, Garrett Birkhoff (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#AN20, Garrett Birkhoff (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VXWZ, Garrett Birkhoff (topic)
History
- 2026-11-02: add by m2/dev
Generalizations 84CNNCANF1
| URI | m2://inv/84CNNCANF1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extended Kalman filter#SYA8, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Definition 84CXY90528
| URI | m2://inv/84CXY90528 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz mean#TOE1, Definition (definition)
History
- 2026-11-02: add by m2/dev
Pierre Colmez 84D1K1P08C
| URI | m2://inv/84D1K1P08C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pierre Colmez, Pierre Colmez (topic). Also Wikidata Q466774
History
- 2026-11-02: add by m2/dev
84D4EH1N34 84D4EH1N34
| URI | m2://inv/84D4EH1N34 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21622#O7X6 (statement). In H21X3FHNYJ/e1, proposition 5.4
History
- 2026-10-27: add by m2/v0.4.2
Wei-Liang Chow 84D7RBT4A2
| URI | m2://inv/84D7RBT4A2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#R7GO, Wei-Liang Chow (unknown)
History
- 2026-11-02: add by m2/dev
84DA95T94B 84DA95T94B
| URI | m2://inv/84DA95T94B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_gt-intro.ptx#prop-evensum (statement). In Y91XFCEVHQ, proposition, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
84DC6P2PCJ 84DC6P2PCJ
| URI | m2://inv/84DC6P2PCJ |
|---|---|
| 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.32903#E2P4 (statement). In S8NB83KQX3/e1, lemma 21
History
- 2026-10-31: add by m2/v0.5.6
Theorem (NBG's axiom of separation) 84DCC0XKV9
| URI | m2://inv/84DCC0XKV9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann–Bernays–Gödel set theory#F1WR, Theorem (NBG's axiom of separation) (statement)
History
- 2026-11-02: add by m2/dev
84DNG7Z664 84DNG7Z664
| URI | m2://inv/84DNG7Z664 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40251#HDFX (statement). In 9J7TJYKGYX/e1, corollary 4.9
History
- 2026-10-30: add by m2/v0.4.12
84DT4KSZ9S 84DT4KSZ9S
| URI | m2://inv/84DT4KSZ9S |
|---|---|
| Kind | definition |
| 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 1009.2047#BXCF (definition). In F3MWRNBNED/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.5
deductive consequence 84E3K7FCP8
| URI | m2://inv/84E3K7FCP8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#8G0W, deductive consequence (definition)
History
- 2026-11-02: add by m2/dev
84E8C7WEZ3 84E8C7WEZ3
| URI | m2://inv/84E8C7WEZ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10567#DCUN (statement). In Q7TTRJ20KD/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
Mina Aganagić 84EBGYBV85
| URI | m2://inv/84EBGYBV85 |
|---|---|
| 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#GXO1, Mina Aganagić (topic)
- wikipedia: Wikipedia List of string theory topics#6LO4, Mina Aganagić (topic)
History
- 2026-11-02: add by m2/dev
Karsten Grove 84EFX1WVXP
| URI | m2://inv/84EFX1WVXP |
|---|---|
| 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#Z3NU, Karsten Grove (topic)
History
- 2026-11-02: add by m2/dev
84EHG04AM3 84EHG04AM3
| URI | m2://inv/84EHG04AM3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31276#O1EW (statement). In WYDHWYFRFK/e1, theorem 6.4
History
- 2026-10-31: add by m2/v0.5.6
84EJVCY50S 84EJVCY50S
| URI | m2://inv/84EJVCY50S |
|---|---|
| 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.20679#VCQC (statement)
History
- 2026-11-02: add by m2/v0.6.18
84EN0S23A7 84EN0S23A7
| URI | m2://inv/84EN0S23A7 |
|---|---|
| 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.08599#7PPF (statement). In DST9FWMHT6/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
Foias constant 84EN7GR135
| URI | m2://inv/84EN7GR135 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15634948, Foias constant (object). Also MathWorld FoiasConstant, OEIS A085848, ProofWiki Definition:Foiaș_Constant/Second
- wikipedia: Wikipedia Foias constant, Foias constant (object). Also Wikidata Q15634948
History
- 2026-10-26: add by m2/dev
Big O in probability notation 84ETSZE1NW
| URI | m2://inv/84ETSZE1NW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Big O in probability notation, Big O in probability notation (definition). Also Wikidata Q4906086
History
- 2026-11-02: add by m2/dev
Rendering (computer graphics) 84EVZ23BZ4
| URI | m2://inv/84EVZ23BZ4 |
|---|---|
| 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#0BUZ, Rendering (computer graphics) (unknown)
History
- 2026-11-02: add by m2/dev
84EZYKKWV7 84EZYKKWV7
| URI | m2://inv/84EZYKKWV7 |
|---|---|
| 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.16429#RGQT (statement). In AGT1KD3WZH/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
Helmholtz decomposition 84F1A7XB36
| URI | m2://inv/84F1A7XB36 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of multivariable calculus topics#ICAJ, Helmholtz decomposition (definition)
History
- 2026-11-02: add by m2/dev
84F2DNV6KS 84F2DNV6KS
| URI | m2://inv/84F2DNV6KS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31278#RMBD (statement). In KEP21CZFV9/e1, proposition #1
History
- 2026-10-31: add by m2/v0.5.6
group, abelian 84F2TGZNR2
| URI | m2://inv/84F2TGZNR2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2.1/group-abelian, group, abelian (concept). In N54F33XE07, index, section B.2.1
History
- 2026-11-01: add by m2/v0.6.13
Steklov Institute of Mathematics 84F4WC1Q52
| URI | m2://inv/84F4WC1Q52 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steklov Institute of Mathematics, Steklov Institute of Mathematics (definition). Also Wikidata Q611420
History
- 2026-11-02: add by m2/dev
pentagonal bipyramid 84FAJPFCMP
| URI | m2://inv/84FAJPFCMP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q193597, pentagonal bipyramid (object). Also MathWorld PentagonalDipyramid
- wikipedia: Wikipedia Pentagonal bipyramid, Pentagonal bipyramid (definition). Also Wikidata Q193597
History
- 2026-10-26: add by m2/dev
84FM4HYSRT 84FM4HYSRT
| URI | m2://inv/84FM4HYSRT |
|---|---|
| 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.03497#6XUN (statement). In RRNHC0CAC9/e1, proposition
History
- 2026-10-29: add by m2/v0.4.12
84FXEGER1F 84FXEGER1F
| URI | m2://inv/84FXEGER1F |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20306#JC7D (example). In YG5EX49042/e1, example 2.6
History
- 2026-10-27: add by m2/v0.4.2
Convex basis 84FYYKZ0PM
| URI | m2://inv/84FYYKZ0PM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basis (linear algebra)#8J19, Convex basis (unknown)
History
- 2026-11-02: add by m2/dev
Examples 84G2M85YRZ
| URI | m2://inv/84G2M85YRZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integration using Euler's formula#OUVF, Examples (example)
History
- 2026-11-02: add by m2/dev
Eilenberg–Steenrod axioms 84GBQ635PK
| URI | m2://inv/84GBQ635PK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#E54Y, Eilenberg–Steenrod axioms (definition)
History
- 2026-11-02: add by m2/dev
Stagnation pressure 84GJ4233BG
| URI | m2://inv/84GJ4233BG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stagnation pressure, Stagnation pressure (definition). Also Wikidata Q1043944
History
- 2026-11-02: add by m2/dev
84GKGH9E30 84GKGH9E30
| URI | m2://inv/84GKGH9E30 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15217#L6MS (statement). In G70Q2FB591/e1, theorem 4.25
History
- 2026-10-28: add by m2/v0.4.2
volume 84GQGB7V4Q
| URI | m2://inv/84GQGB7V4Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q39297, volume (unknown). Also MathWorld Volume
- wikipedia: Wikipedia Volume, Volume (definition). Also Wikidata Q39297
History
- 2026-10-26: add by m2/dev
National Institute of Statistical Sciences 84GRG9A12G
| URI | m2://inv/84GRG9A12G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Institute of Statistical Sciences, National Institute of Statistical Sciences (definition). Also Wikidata Q30253593
History
- 2026-11-02: add by m2/dev
Statue of Alan Turing 84GYJ8PSJN
| URI | m2://inv/84GYJ8PSJN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#S2I9, Statue of Alan Turing (unknown)
History
- 2026-11-02: add by m2/dev
84HB1A9SWE 84HB1A9SWE
| URI | m2://inv/84HB1A9SWE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/structure.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
84HB42TP6X 84HB42TP6X
| URI | m2://inv/84HB42TP6X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16294#2725 (statement). In N7HRE31BBH/e1, corollary 1.6
History
- 2026-10-28: add by m2/v0.4.2
Robert McEliece 84HBEG7Y30
| URI | m2://inv/84HBEG7Y30 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#1Q9U, Robert McEliece (unknown)
History
- 2026-11-02: add by m2/dev
Anthemius of Tralles 84HF1VE08H
| URI | m2://inv/84HF1VE08H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#DTFV, Anthemius of Tralles (topic)
- wikipedia: Wikipedia List of Greek mathematicians#YS6N, Anthemius of Tralles (topic)
History
- 2026-11-02: add by m2/dev
Example 84HPFXZ3A2
| URI | m2://inv/84HPFXZ3A2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exact differential equation#04EK, Example (example)
History
- 2026-11-02: add by m2/dev
Formulation 84HS7QYY64
| URI | m2://inv/84HS7QYY64 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Single-index model#BNIZ, Formulation (definition)
History
- 2026-11-02: add by m2/dev
complementary 84J0YFAXWH
| URI | m2://inv/84J0YFAXWH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#9E2O, complementary (definition)
History
- 2026-11-02: add by m2/dev
Properties 84J5HS5SG2
| URI | m2://inv/84J5HS5SG2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Purely inseparable extension#E9QL, Properties (statement)
History
- 2026-11-02: add by m2/dev
Stencil jumping 84JD5MC7D3
| URI | m2://inv/84JD5MC7D3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stencil jumping, Stencil jumping (definition). Also Wikidata Q7607502
History
- 2026-11-02: add by m2/dev
Horst Feistel 84JGVP53ZY
| URI | m2://inv/84JGVP53ZY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Horst Feistel, Horst Feistel (topic). Also Wikidata Q62164
History
- 2026-11-02: add by m2/dev
Implementations 84JRTE3XVJ
| URI | m2://inv/84JRTE3XVJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BLS digital signature#HE94, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Robert Groves 84JS5ZES3A
| URI | m2://inv/84JS5ZES3A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Groves, Robert Groves (topic). Also Wikidata Q962030
History
- 2026-11-02: add by m2/dev
84K3QFRHKV 84K3QFRHKV
| URI | m2://inv/84K3QFRHKV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#thm:isprop-forall (example). In N54F33XE07, eg, section 9.6
History
- 2026-11-01: add by m2/v0.6.13
84KECWAYKA 84KECWAYKA
| URI | m2://inv/84KECWAYKA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17769#P297 (statement). In 8GHQYNQW9Q/e1, proposition 1.2
History
- 2026-10-28: add by m2/v0.4.2
84MAKX000N 84MAKX000N
| URI | m2://inv/84MAKX000N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.01860#QEOA (statement). In 8HYS0MFE25/e1, proposition 4.6
History
- 2026-10-27: add by m2/v0.3.5
84ME28Z26W 84ME28Z26W
| URI | m2://inv/84ME28Z26W |
|---|---|
| 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.05193#MJRP (statement). In XDMM0KNNZ9/e1, lemma 41
History
- 2026-10-29: add by m2/v0.4.10
subtrahend 84MKB4A6KN
| URI | m2://inv/84MKB4A6KN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14803656, subtrahend (unknown). Also MathWorld Subtrahend
History
- 2026-10-26: add by m2/dev
CAESAR Competition 84MSHZFA8G
| URI | m2://inv/84MSHZFA8G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CAESAR Competition, CAESAR Competition (definition). Also Wikidata Q111170391
History
- 2026-11-02: add by m2/dev
84N4QAJ5T5 84N4QAJ5T5
| URI | m2://inv/84N4QAJ5T5 |
|---|---|
| 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.22345#8GRE (statement). In 7JATJ4VG9G/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.4.0
Compact elliptic diffusions from deterministic stationary maps 84N5X44C8S
| URI | m2://inv/84N5X44C8S |
|---|---|
| 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#ERHZ, Compact elliptic diffusions from deterministic stationary maps (statement). In 9YAE8FNQST/e1, theorem 13.15
History
- 2026-10-30: add by m2/v0.4.12
Bloom, David E. 84N7NEAV2E
| URI | m2://inv/84N7NEAV2E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#Y8UT, Bloom, David E. (unknown)
History
- 2026-11-02: add by m2/dev
84N8C43Q7J 84N8C43Q7J
| URI | m2://inv/84N8C43Q7J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/alpha.tex#thm-1 (statement). In PKGMM3P5QY, thm, section 38.9
History
- 2026-11-01: add by m2/v0.6.13
Raya Dunayevskaya 84NDKV6J92
| URI | m2://inv/84NDKV6J92 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#S3BB, Raya Dunayevskaya (unknown)
History
- 2026-11-02: add by m2/dev
Definition 84NEVD3D4M
| URI | m2://inv/84NEVD3D4M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laurent series#4HYM, Definition (definition)
History
- 2026-11-02: add by m2/dev
Delete concentrated coordinates after the queries 84NVV0HC4R
| URI | m2://inv/84NVV0HC4R |
|---|---|
| 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.05498#C7SH, Delete concentrated coordinates after the queries (definition). In TJT32RQ9GC/e1, definition 6.6
History
- 2026-10-29: add by m2/v0.4.10
Examples 84P6MAY1VH
| URI | m2://inv/84P6MAY1VH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partition regularity#TOOE, Examples (example)
History
- 2026-11-02: add by m2/dev
Decentralized finance 84PM687T1D
| URI | m2://inv/84PM687T1D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decentralized finance, Decentralized finance (definition). Also Wikidata Q4159573
History
- 2026-11-02: add by m2/dev
Fσ set 84PQVZPSM3
| URI | m2://inv/84PQVZPSM3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of sets#Y8VL, Fσ set (definition)
History
- 2026-11-02: add by m2/dev
Standard deviation 84PSXK5KA7
| URI | m2://inv/84PSXK5KA7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#F0PU, Standard deviation (definition)
History
- 2026-11-02: add by m2/dev
Ethelbert Stewart 84PWJFWAXH
| URI | m2://inv/84PWJFWAXH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#BWMJ, Ethelbert Stewart (unknown)
History
- 2026-11-02: add by m2/dev
In shuffle 84PXQ1HX2E
| URI | m2://inv/84PXQ1HX2E |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17116081, In shuffle (concept). Also MathWorld In-Shuffle
History
- 2026-10-26: add by m2/dev
WENO methods 84Q9QZDNNC
| URI | m2://inv/84Q9QZDNNC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia WENO methods, WENO methods (definition). Also Wikidata Q58901220
History
- 2026-11-02: add by m2/dev
Examples 84QERG6ZG2
| URI | m2://inv/84QERG6ZG2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local field#XKXP, Examples (example)
History
- 2026-11-02: add by m2/dev
84QMP1X18F 84QMP1X18F
| URI | m2://inv/84QMP1X18F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26382#ATXJ (definition)
History
- 2026-11-01: add by m2/v0.6.15
84QNMZKXV5 84QNMZKXV5
| URI | m2://inv/84QNMZKXV5 |
|---|---|
| Kind | statement |
| 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 2609.32650#PM8Z (statement). In PHXJ87HKYB/e1, lemma 4.5
History
- 2026-10-31: add by m2/v0.5.6
84QQ7VSWN3 84QQ7VSWN3
| URI | m2://inv/84QQ7VSWN3 |
|---|---|
| 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.14217#RR2V (statement). In K0DHYQC5B7/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.2
84QTN70GG0 84QTN70GG0
| URI | m2://inv/84QTN70GG0 |
|---|---|
| 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.13295#TEI5 (example). In 8Q7QXTWD0S/e1, example 5.5
History
- 2026-10-28: add by m2/v0.4.2
84QVJXDG0P 84QVJXDG0P
| URI | m2://inv/84QVJXDG0P |
|---|---|
| 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.19861#VKPY (statement). In 5ZPQ60TM6J/e1, proposition 32
History
- 2026-10-28: add by m2/v0.4.2
TC0 84QWKMKZZ1
| URI | m2://inv/84QWKMKZZ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia TC0, TC0 (definition). Also Wikidata Q7669602
History
- 2026-11-02: add by m2/dev
Dolbeault cohomology 84QZ43TK35
| URI | m2://inv/84QZ43TK35 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Dolbeault cohomology Y3900T2EY5 |
Mentions
- wikidata: Wikidata Q1235317, Dolbeault cohomology (unknown). Also nLab Dolbeault cohomology
- wikipedia: Wikipedia Dolbeault cohomology, Dolbeault cohomology (definition). Also Wikidata Q1235317
History
- 2026-10-26: add by m2/dev
Elicitation technique 84QZPWSVXC
| URI | m2://inv/84QZPWSVXC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elicitation technique, Elicitation technique (definition). Also Wikidata Q17012010
History
- 2026-11-02: add by m2/dev
Basic affine jump diffusion 84R0EGGHHT
| URI | m2://inv/84R0EGGHHT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basic affine jump diffusion, Basic affine jump diffusion (definition). Also Wikidata Q4867017
History
- 2026-11-02: add by m2/dev
Statement of the theorem 84R1KHDTP1
| URI | m2://inv/84R1KHDTP1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gell-Mann and Low theorem#85QH, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Power set 84RDHY1SAY
| URI | m2://inv/84RDHY1SAY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power set#NPFG, Power set (statement)
History
- 2026-11-02: add by m2/dev
Augmented filtration 84REC5NJQ4
| URI | m2://inv/84REC5NJQ4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Filtration (probability theory)#HOS6, Augmented filtration (unknown)
History
- 2026-11-02: add by m2/dev
84RM6VQED9 84RM6VQED9
| URI | m2://inv/84RM6VQED9 |
|---|---|
| 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 2011.06637#FW4D (statement). In KFCJ5CFP3G/e1, theorem 3.9
History
- 2026-10-27: add by m2/v0.3.5
Pointwise convergence 84RNSPQJ0W
| URI | m2://inv/84RNSPQJ0W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#F8BB, Pointwise convergence (definition)
History
- 2026-11-02: add by m2/dev
square number 84RPW9MJMZ
| URI | m2://inv/84RPW9MJMZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#LPHY, square number (definition)
History
- 2026-11-02: add by m2/dev
Multiple-conclusion logic 84RVJ504GH
| URI | m2://inv/84RVJ504GH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple-conclusion logic, Multiple-conclusion logic (definition). Also Wikidata Q6934867
History
- 2026-11-02: add by m2/dev
D'Agapeyeff cipher 84RZSCFZ8G
| URI | m2://inv/84RZSCFZ8G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia D'Agapeyeff cipher, D'Agapeyeff cipher (definition). Also Wikidata Q735055
History
- 2026-11-02: add by m2/dev
Properties 84S3PZ5N8V
| URI | m2://inv/84S3PZ5N8V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mycielskian#AEO3, Properties (statement)
History
- 2026-11-02: add by m2/dev
84S4YEDY0J 84S4YEDY0J
| URI | m2://inv/84S4YEDY0J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31858#K9ZM (definition). In QV16PHDXKJ/e1, definition 2.2
History
- 2026-10-31: add by m2/v0.5.6
free end of beam 84SAJK2S4J
| URI | m2://inv/84SAJK2S4J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/3.2/free-end-of-beam, free end of beam (concept). In E9HS8K3A52, index, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Quantile regression 84SMZP3Z0B
| URI | m2://inv/84SMZP3Z0B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantile regression, Quantile regression (definition). Also Wikidata Q3455889
History
- 2026-11-02: add by m2/dev
FGM at \(x_N\); Conjecture 5 84SR7A3EES
| URI | m2://inv/84SR7A3EES |
|---|---|
| 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.35762#BCBR, FGM at \(x_N\); Conjecture 5 (statement). In C9QEPN1E56/e1, theorem 5.2
History
- 2026-10-30: add by m2/v0.4.12
Example 84SRHVJHN2
| URI | m2://inv/84SRHVJHN2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial test#UBVT, Example (example)
History
- 2026-11-02: add by m2/dev
84ST61TKVK 84ST61TKVK
| URI | m2://inv/84ST61TKVK |
|---|---|
| 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.01899#4D9S (statement). In 638TEFBFGP/e1, theorem A.1
History
- 2026-10-29: add by m2/v0.4.12
84SVMCW8FA 84SVMCW8FA
| URI | m2://inv/84SVMCW8FA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38243#LEU7 (statement). In R03K2N7FRF/e1, theorem 5.1
History
- 2026-10-30: add by m2/v0.4.12
84SXJ5XKZ5 84SXJ5XKZ5
| URI | m2://inv/84SXJ5XKZ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.19954#GWRD (statement). In AXPPYWYJZ5/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
84SZ0Z3HBE 84SZ0Z3HBE
| URI | m2://inv/84SZ0Z3HBE |
|---|---|
| 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.08633#RUOA (statement). In 7MV7RGDVXF/e1, lemma 3.4.2
History
- 2026-10-29: add by m2/v0.4.10
Hanna Neumann 84T3HBRART
| URI | m2://inv/84T3HBRART |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#3WNK, Hanna Neumann (topic)
History
- 2026-11-02: add by m2/dev
Dynkin system 84TDMSNTY6
| URI | m2://inv/84TDMSNTY6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynkin system, Dynkin system (definition). Also Wikidata Q1935689
History
- 2026-11-02: add by m2/dev
84TFKQ3WNX 84TFKQ3WNX
| URI | m2://inv/84TFKQ3WNX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.06699#74BC (statement). In GXHKRV5BPY/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.10
84TGA7W2VT 84TGA7W2VT
| URI | m2://inv/84TGA7W2VT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/cardinals/classing.tex#finitecardisoequal (statement). In PKGMM3P5QY, prop, section 70.2
History
- 2026-11-01: add by m2/v0.6.13
Prime k-tuple 84TM3DRZV9
| URI | m2://inv/84TM3DRZV9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime k-tuple, Prime k-tuple (definition). Also Wikidata Q7243373
History
- 2026-11-02: add by m2/dev
84TNJ25V0P 84TNJ25V0P
| URI | m2://inv/84TNJ25V0P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#SQAB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Topological graph theory 84TQ6V6RA1
| URI | m2://inv/84TQ6V6RA1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#6QYM, Topological graph theory (definition)
History
- 2026-11-02: add by m2/dev
84TW2N3PG5 84TW2N3PG5
| URI | m2://inv/84TW2N3PG5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#thm:RCsim-symmetric (statement). In N54F33XE07, lem, section B.3.2
History
- 2026-11-01: add by m2/v0.6.13
84TZ3R47PY 84TZ3R47PY
| URI | m2://inv/84TZ3R47PY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33775#HCBI (statement). In VVQ1FMTHXB/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
Morningside Medal 84V5MCY8WX
| URI | m2://inv/84V5MCY8WX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morningside Medal, Morningside Medal (definition). Also Wikidata Q17081864
History
- 2026-11-02: add by m2/dev
Fallacy of composition 84VACAYHEZ
| URI | m2://inv/84VACAYHEZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fallacy of composition, Fallacy of composition (definition). Also Wikidata Q531873
History
- 2026-11-02: add by m2/dev
Dan Abramovich 84VC090NSR
| URI | m2://inv/84VC090NSR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dan Abramovich, Dan Abramovich (topic). Also Wikidata Q15433396
History
- 2026-11-02: add by m2/dev
(Tuleta #1) 84VE9T6ANT
| URI | m2://inv/84VE9T6ANT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#RFAG, (Tuleta #1) (unknown)
History
- 2026-11-02: add by m2/dev
84VVW60K08 84VVW60K08
| URI | m2://inv/84VVW60K08 |
|---|---|
| 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#TUTI (statement). In 13GSWBXPCM/e1, corollary 3.6
History
- 2026-10-27: add by m2/v0.3.5
84W0W96CNE 84W0W96CNE
| URI | m2://inv/84W0W96CNE |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-7 (proof). In N54F33XE07, proof, section 7.1.5
History
- 2026-11-01: add by m2/v0.6.13
84W4ZF61MB 84W4ZF61MB
| URI | m2://inv/84W4ZF61MB |
|---|---|
| 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#1VKO (statement). In 13GSWBXPCM/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
Nathan Milstein 84W8N1G0NK
| URI | m2://inv/84W8N1G0NK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#4A56, Nathan Milstein (unknown)
History
- 2026-11-02: add by m2/dev
quantum group 84WAYRJXP5
| URI | m2://inv/84WAYRJXP5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Quantum group AP2ZDXANKC |
Mentions
- wikidata: Wikidata Q2122223, quantum group (unknown). Also EoM Quantum_groups, nLab quantum group
- wikipedia: Wikipedia Quantum group, Quantum group (definition). Also Wikidata Q2122223
History
- 2026-10-26: add by m2/dev
Yuri A. Kuznetsov 84WSPE9MPC
| URI | m2://inv/84WSPE9MPC |
|---|---|
| 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#3KJ5, Yuri A. Kuznetsov (topic)
History
- 2026-11-02: add by m2/dev
Optimal apportionment 84WSTQNTDF
| URI | m2://inv/84WSTQNTDF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimal apportionment, Optimal apportionment (definition). Also Wikidata Q108730491
History
- 2026-11-02: add by m2/dev
Algorithm 84WT65TGKW
| URI | m2://inv/84WT65TGKW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Merge sort#WJ6A, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Felix Pollaczek 84WZ6M0HTE
| URI | m2://inv/84WZ6M0HTE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#KLOD, Felix Pollaczek (topic)
History
- 2026-11-02: add by m2/dev
Scipione del Ferro 84X4XQWNGC
| URI | m2://inv/84X4XQWNGC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#6BBX, Scipione del Ferro (topic)
- wikipedia: Wikipedia List of Italian mathematicians#PFQU, Scipione del Ferro (topic)
History
- 2026-11-02: add by m2/dev
Carlo Beenakker 84XFPZ2RV3
| URI | m2://inv/84XFPZ2RV3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LH22, Carlo Beenakker (unknown)
History
- 2026-11-02: add by m2/dev
84XMRH3MX6 84XMRH3MX6
| URI | m2://inv/84XMRH3MX6 |
|---|---|
| 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.20153#ADYR (statement)
History
- 2026-11-02: add by m2/v0.6.18
Group-based cryptography 84XNT3W7CC
| URI | m2://inv/84XNT3W7CC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group-based cryptography, Group-based cryptography (definition). Also Wikidata Q5611045
History
- 2026-11-02: add by m2/dev
Variations 84XR9D4G3W
| URI | m2://inv/84XR9D4G3W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicholson–Bailey model#PEXF, Variations (statement)
History
- 2026-11-02: add by m2/dev
simplicial map 84XSFBA5ET
| URI | m2://inv/84XSFBA5ET |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17057096, simplicial map (concept). Also MathWorld SimplicialMap, nLab simplicial map
- wikipedia: Wikipedia Simplicial map, Simplicial map (definition). Also Wikidata Q17057096
History
- 2026-10-26: add by m2/dev
84XYH221SP 84XYH221SP
| URI | m2://inv/84XYH221SP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/cardinals/classing.tex#unioncardinalscardinal (statement). In PKGMM3P5QY, prop, section 70.2
History
- 2026-11-01: add by m2/v0.6.13
quotient group 84Y7B80G0T
| URI | m2://inv/84Y7B80G0T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Group theory > quotient group, quotient group (unknown). Also Mathlib QuotientGroup.Quotient.group
- mathlib_undergrad: mathlib_undergrad Group Theory > Basic definitions > quotient group, quotient group (unknown). Also Mathlib QuotientGroup.Quotient.group
History
- 2026-10-26: add by m2/dev
Specification relation between strings 84YDCCHYJR
| URI | m2://inv/84YDCCHYJR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#CTD0, Specification relation between strings (definition). In WD2NCBV9F0/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.3.5
Giordano Riccati 84YFY7FFK8
| URI | m2://inv/84YFY7FFK8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giordano Riccati, Giordano Riccati (topic). Also Wikidata Q3106878
History
- 2026-11-02: add by m2/dev
84YGCDPRGM 84YGCDPRGM
| URI | m2://inv/84YGCDPRGM |
|---|---|
| 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.16883#518W (statement). In TYS9N30M63/e1, lemma A.10
History
- 2026-10-28: add by m2/v0.4.2
Aslak Tveito 84YHMWX9NA
| URI | m2://inv/84YHMWX9NA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aslak Tveito, Aslak Tveito (topic). Also Wikidata Q23908856
History
- 2026-11-02: add by m2/dev
84YJBX56S7 84YJBX56S7
| URI | m2://inv/84YJBX56S7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-172 (exercise). In VNMV985MXX, exercise, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
† 84YJYQF78M
| URI | m2://inv/84YJYQF78M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q282364, † (unknown). Also MathWorld Dagger
History
- 2026-10-26: add by m2/dev
84YKDN7J45 84YKDN7J45
| URI | m2://inv/84YKDN7J45 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32181#U7VR (statement). In 8FKEQSPN7M/e1, lemma 3.5
History
- 2026-10-31: add by m2/v0.5.6
84YMSR28SH 84YMSR28SH
| URI | m2://inv/84YMSR28SH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#exercise-28 (exercise). In Y91XFCEVHQ, exercise, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
84YP5AMTHZ 84YP5AMTHZ
| URI | m2://inv/84YP5AMTHZ |
|---|---|
| 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 2109.12716#0G6E (statement). In 6X76XBE3HV/e1, theorem 1.8
History
- 2026-10-27: add by m2/v0.3.5
Teletransportation paradox 84YQJJR78S
| URI | m2://inv/84YQJJR78S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Teletransportation paradox, Teletransportation paradox (statement). Also Wikidata Q21198419
History
- 2026-11-02: add by m2/dev
\myindex{Poincar\'e lemma} 84YRVGYQGV
| URI | m2://inv/84YRVGYQGV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#thm-2, \myindex{Poincar\'e lemma} (statement). In E59CDZA4DP, thm, section 6.3.1
History
- 2026-11-01: add by m2/v0.6.13
84YVCM4PVK 84YVCM4PVK
| URI | m2://inv/84YVCM4PVK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29008#KFB1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Coalgebraic recovery; standard Moore behavior theorem 84YVPW703Q
| URI | m2://inv/84YVPW703Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20207#8BTU, Coalgebraic recovery; standard Moore behavior theorem (statement)
History
- 2026-11-02: add by m2/v0.6.18
Trendalyzer 84YZGBSQEY
| URI | m2://inv/84YZGBSQEY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trendalyzer, Trendalyzer (definition). Also Wikidata Q637990
History
- 2026-11-02: add by m2/dev
84Z1S16DMP 84Z1S16DMP
| URI | m2://inv/84Z1S16DMP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#5HT0 (statement). In CC6S1HVK0T/e1, lemma E.2
History
- 2026-10-28: add by m2/v0.4.2
84Z6ACBK6J 84Z6ACBK6J
| URI | m2://inv/84Z6ACBK6J |
|---|---|
| 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.20469#UFX0 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Konstantin Ardakov 84ZAJKSS1X
| URI | m2://inv/84ZAJKSS1X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#D4DZ, Konstantin Ardakov (unknown)
History
- 2026-11-02: add by m2/dev
Separating insertional from next-block pseudoentropy gaps 84ZKTWB570
| URI | m2://inv/84ZKTWB570 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14615#CCYL, Separating insertional from next-block pseudoentropy gaps (statement). In 7D5MMP8XB5/e1, corollary 7.3
History
- 2026-10-28: add by m2/v0.4.2
84ZMYWQN5J 84ZMYWQN5J
| URI | m2://inv/84ZMYWQN5J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.19023#YHIH (statement). In QFA8TMJPHZ/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.2
relative product 84ZRMD8QC0
| URI | m2://inv/84ZRMD8QC0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#1C46, relative product (definition)
History
- 2026-11-02: add by m2/dev
84ZSKGZ5FV 84ZSKGZ5FV
| URI | m2://inv/84ZSKGZ5FV |
|---|---|
| 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#Q83R (statement). In ABS9M47F4K/e1, corollary 3.32
History
- 2026-10-27: add by m2/v0.3.6
84ZVCGKKBT 84ZVCGKKBT
| URI | m2://inv/84ZVCGKKBT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16388#85MY (definition). In Q62MDENP26/e1, definition 2.6
History
- 2026-10-28: add by m2/v0.4.2
84ZY8G32XC 84ZY8G32XC
| URI | m2://inv/84ZY8G32XC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34813#HQTK (statement). In P3V3ZGCHV7/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
Discrete metric 84ZZ5MPFXS
| URI | m2://inv/84ZZ5MPFXS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#VYZQ, Discrete metric (definition)
History
- 2026-11-02: add by m2/dev