Inventory rows JK
The cards of the rows of the inventory whose ids start with JK. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Rayleigh-Bénard instability JK0053M9ED
| URI | m2://inv/JK0053M9ED |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rayleigh–Bénard convection#9U7P, Rayleigh-Bénard instability (unknown)
History
- 2026-11-02: add by m2/dev
Bernard Maskit JK04GZJSNV
| URI | m2://inv/JK04GZJSNV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernard Maskit, Bernard Maskit (topic). Also Wikidata Q822595
History
- 2026-11-02: add by m2/dev
JK07HM4RCJ JK07HM4RCJ
| URI | m2://inv/JK07HM4RCJ |
|---|---|
| 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.20050#Q0RN (definition). In T41GD0Y0GX/e1, definition A.3
History
- 2026-10-27: add by m2/v0.4.2
Examples JK08Z8HVB5
| URI | m2://inv/JK08Z8HVB5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fréchet space#1E78, Examples (example)
History
- 2026-11-02: add by m2/dev
JK0Q1NTY15 JK0Q1NTY15
| URI | m2://inv/JK0Q1NTY15 |
|---|---|
| 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#USKD (statement). In W4TYN4PGE8/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
Richard Courant JK0R6V5HYH
| URI | m2://inv/JK0R6V5HYH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Courant, Richard Courant (topic). Also Wikidata Q61046
History
- 2026-11-02: add by m2/dev
Data classification (business intelligence) JK0WHJCPCH
| URI | m2://inv/JK0WHJCPCH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4VIY, Data classification (business intelligence) (definition)
History
- 2026-11-02: add by m2/dev
Robust statistics JK10CHK5CS
| URI | m2://inv/JK10CHK5CS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#NXWN, Robust statistics (definition)
History
- 2026-11-02: add by m2/dev
QR symmetries for gasket limit sets JK11DD7NNG
| URI | m2://inv/JK11DD7NNG |
|---|---|
| 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 2411.17227#H8HO, QR symmetries for gasket limit sets (statement). In DDNP38CHQJ/e1, corollary 1.6
History
- 2026-10-27: add by m2/v0.3.5
Definition JK16VEQ9Y6
| URI | m2://inv/JK16VEQ9Y6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polygonalization#TEFB, Definition (definition)
History
- 2026-11-02: add by m2/dev
Fitch paradox JK16Y7KSE0
| URI | m2://inv/JK16Y7KSE0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#JHAO, Fitch paradox (definition)
History
- 2026-11-02: add by m2/dev
JK179BKK5Y JK179BKK5Y
| URI | m2://inv/JK179BKK5Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-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.17045#4327 (statement). In PA6JQDSKQT/e1, proposition 3.24
History
- 2026-10-28: add by m2/v0.4.2
Example JK1B4049Y5
| URI | m2://inv/JK1B4049Y5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partition of unity#I381, Example (example)
History
- 2026-11-02: add by m2/dev
Generalizations of the Riemann–Roch theorem JK1DJD6KPV
| URI | m2://inv/JK1DJD6KPV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann–Roch theorem#OVL6, Generalizations of the Riemann–Roch theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition JK1G4WECAP
| URI | m2://inv/JK1G4WECAP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transpose of a linear map#Z719, Definition (definition)
History
- 2026-11-02: add by m2/dev
JK1JCHBQ7G JK1JCHBQ7G
| URI | m2://inv/JK1JCHBQ7G |
|---|---|
| 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.16700#QH6S (statement). In 3JPKD7NBEN/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.2
Complex infinity JK1P0C1AZS
| URI | m2://inv/JK1P0C1AZS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinity#Z6RT, Complex infinity (unknown)
History
- 2026-11-02: add by m2/dev
Definition JK1PW4FW3K
| URI | m2://inv/JK1PW4FW3K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Godement resolution#LW30, Definition (definition)
History
- 2026-11-02: add by m2/dev
Black string JK1R564D8S
| URI | m2://inv/JK1R564D8S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#ON1K, Black string (unknown)
History
- 2026-11-02: add by m2/dev
JK1SN4HWF1 JK1SN4HWF1
| URI | m2://inv/JK1SN4HWF1 |
|---|---|
| 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.21692#NA7V (statement). In CT4N0JGDP4/e1, corollary 4.6
History
- 2026-10-27: add by m2/v0.4.2
q-Dyson conjecture JK1SQ5BDJH
| URI | m2://inv/JK1SQ5BDJH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dyson conjecture#AKH8, q-Dyson conjecture (statement)
History
- 2026-11-02: add by m2/dev
recurrence equation, homogeneous JK217V7BSE
| URI | m2://inv/JK217V7BSE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/9.2/recurrence-equation-homogeneous, recurrence equation, homogeneous (concept). In QKM9DD2H56, index, section 9.2
History
- 2026-11-01: add by m2/v0.6.13
Non-spherical examples for \(q=3\ JK22GW8WR8
| URI | m2://inv/JK22GW8WR8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27192#VBWC, Non-spherical examples for \(q=3\ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Perspective on Statistical Inference and Hypothesis Testing JK25EN69KJ
| URI | m2://inv/JK25EN69KJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrew Gelman#O3BO, Perspective on Statistical Inference and Hypothesis Testing (statement)
History
- 2026-11-02: add by m2/dev
Generalized JK27GFAT7H
| URI | m2://inv/JK27GFAT7H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#58AI, Generalized (definition)
History
- 2026-11-02: add by m2/dev
Czech Mathematical Society JK2AND3NRP
| URI | m2://inv/JK2AND3NRP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#O7I4, Czech Mathematical Society (definition)
History
- 2026-11-02: add by m2/dev
Frobenius statistic under a super-critical spike JK2C3C17D3
| URI | m2://inv/JK2C3C17D3 |
|---|---|
| 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.27200#KPLJ, Frobenius statistic under a super-critical spike (statement)
History
- 2026-11-01: add by m2/v0.6.15
Finite-state transducer JK2SCMV9GY
| URI | m2://inv/JK2SCMV9GY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite-state transducer, Finite-state transducer (definition). Also Wikidata Q2166395
History
- 2026-11-02: add by m2/dev
Valid DAE-aware CBF JK2XPXVTCM
| URI | m2://inv/JK2XPXVTCM |
|---|---|
| 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.09634#MUQ3, Valid DAE-aware CBF (definition). In FH42QK814C/e1, definition 4
History
- 2026-10-29: add by m2/v0.4.10
JK2YJK8YNN JK2YJK8YNN
| URI | m2://inv/JK2YJK8YNN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21632#RDPS (statement). In Q4RZTN2EX6/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.4.2
JK37YDF3ZH JK37YDF3ZH
| URI | m2://inv/JK37YDF3ZH |
|---|---|
| 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#W56R (statement). In 4TAQ65KZKN/e1, corollary D
History
- 2026-10-30: add by m2/v0.4.12
Definition JK3EQYK55H
| URI | m2://inv/JK3EQYK55H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Life-time of correlation#VCZ0, Definition (definition)
History
- 2026-11-02: add by m2/dev
Properties JK3PDHMMCC
| URI | m2://inv/JK3PDHMMCC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Γ-space#N53C, Properties (statement)
History
- 2026-11-02: add by m2/dev
Spectral density JK3QYXGJ2T
| URI | m2://inv/JK3QYXGJ2T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UBVZ, Spectral density (definition)
History
- 2026-11-02: add by m2/dev
Maximum-cardinality matching JK41H6TCMC
| URI | m2://inv/JK41H6TCMC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum-cardinality matching, Maximum-cardinality matching (definition). Also Wikidata Q65088751
History
- 2026-11-02: add by m2/dev
JK452XYAAZ JK452XYAAZ
| URI | m2://inv/JK452XYAAZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30821#CL22 (definition). In 1MZ9XBPTFQ/e1, definition 4
History
- 2026-10-31: add by m2/v0.5.6
JK4C1RY2V4 JK4C1RY2V4
| URI | m2://inv/JK4C1RY2V4 |
|---|---|
| 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#L54F (statement). In CEKW9CNVVW/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.10
Reynolds stress JK4EWY540D
| URI | m2://inv/JK4EWY540D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reynolds stress, Reynolds stress (definition). Also Wikidata Q7319685
History
- 2026-11-02: add by m2/dev
JK4KE16SWJ JK4KE16SWJ
| URI | m2://inv/JK4KE16SWJ |
|---|---|
| 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.21655#DM24 (statement). In 3Q0387SH7Q/e1, lemma 8
History
- 2026-10-27: add by m2/v0.4.2
Matthias Schonlau JK4KEGC8F3
| URI | m2://inv/JK4KEGC8F3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#GTMS, Matthias Schonlau (topic)
History
- 2026-11-02: add by m2/dev
Split quaternion algebra JK4Q17FEN9
| URI | m2://inv/JK4Q17FEN9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quaternion algebra#065Y, Split quaternion algebra (unknown)
History
- 2026-11-02: add by m2/dev
JK4QH4BV3B JK4QH4BV3B
| URI | m2://inv/JK4QH4BV3B |
|---|---|
| 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.15460#8P4J (statement). In T2Z3D2VQ9B/e1, theorem 8.5
History
- 2026-10-28: add by m2/v0.4.2
JK4RZ0M60T JK4RZ0M60T
| URI | m2://inv/JK4RZ0M60T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09162#Q40I (statement). In TAPS8P2VYS/e1, theorem B
History
- 2026-10-29: add by m2/v0.4.10
Symmetry JK4S8HT560
| URI | m2://inv/JK4S8HT560 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated infinite-order triangular tiling#YDXO, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
JK4SG7QTKF JK4SG7QTKF
| URI | m2://inv/JK4SG7QTKF |
|---|---|
| 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.13723#DR0T (statement). In HPBCRT0Z0V/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.2
JK4SWR61ZA JK4SWR61ZA
| URI | m2://inv/JK4SWR61ZA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22847#WROC (statement)
History
- 2026-11-02: add by m2/v0.6.17
Jacobian conjecture counterexample JK50PC3A3F
| URI | m2://inv/JK50PC3A3F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobian conjecture#C321, Jacobian conjecture counterexample (unknown)
History
- 2026-11-02: add by m2/dev
discrete category JK55TQAN20
| URI | m2://inv/JK55TQAN20 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1228851, discrete category (definition). Also nLab discrete category, ProofWiki Definition:Discrete_Category
- wikipedia: Wikipedia Discrete category, Discrete category (definition). Also Wikidata Q1228851
History
- 2026-10-26: add by m2/dev
JK5A0EPZA6 JK5A0EPZA6
| URI | m2://inv/JK5A0EPZA6 |
|---|---|
| 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.18777#N2KW (statement). In TFZDPHDF7V/e1, proposition A.7
History
- 2026-10-27: add by m2/v0.3.6
JK5PMZ4GVH JK5PMZ4GVH
| URI | m2://inv/JK5PMZ4GVH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book induction.tex#defn:nhom (definition). In N54F33XE07, defn, section 8.4
History
- 2026-11-01: add by m2/v0.6.13
Applications JK5PPXT24Z
| URI | m2://inv/JK5PPXT24Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Addition principle#JHH0, Applications (example)
History
- 2026-11-02: add by m2/dev
JK5PZQFWQ9 JK5PZQFWQ9
| URI | m2://inv/JK5PZQFWQ9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 55-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.21365#6LX5 (definition). In FCMMB2EVAP/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.2
statohm JK5TG34X0V
| URI | m2://inv/JK5TG34X0V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25303759, statohm (definition). Also ProofWiki Definition:Statohm
History
- 2026-10-26: add by m2/dev
Dobiński's formula JK606KZ9JG
| URI | m2://inv/JK606KZ9JG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dobiński's formula, Dobiński's formula (statement). Also Wikidata Q5286623
History
- 2026-11-02: add by m2/dev
Kirchhoff's voltage law JK65A81DSS
| URI | m2://inv/JK65A81DSS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kirchhoff's circuit laws#TC61, Kirchhoff's voltage law (statement)
History
- 2026-11-02: add by m2/dev
JK677XNNSQ JK677XNNSQ
| URI | m2://inv/JK677XNNSQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/tableaux/soundness.tex#cor:weak-soundness (statement). In PKGMM3P5QY, cor, section 34.6
History
- 2026-11-01: add by m2/v0.6.13
JK6C01K3RM JK6C01K3RM
| URI | m2://inv/JK6C01K3RM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:symmetricseries (exercise). In VNMV985MXX, exercise, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
Geometric semisimplicity of a pure lisse sheaf JK6DC9FC9J
| URI | m2://inv/JK6DC9FC9J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#E95W, Geometric semisimplicity of a pure lisse sheaf (statement). In QPJ6FWG5HD/e1, lemma 2.29
History
- 2026-10-29: add by m2/v0.4.12
Riesel number JK6DQHFR5F
| URI | m2://inv/JK6DQHFR5F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q301128, Riesel number (definition). Also MathWorld RieselNumber, OEIS A101036, ProofWiki Definition:Riesel_Number
- wikipedia: Wikipedia Riesel number, Riesel number (conjecture). Also Wikidata Q301128
History
- 2026-10-26: add by m2/dev
The purely negative primary image JK6DWSMA26
| URI | m2://inv/JK6DWSMA26 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20649#84P4, The purely negative primary image (statement). In XDTM624YPE/e1, theorem 17.3
History
- 2026-10-27: add by m2/v0.4.2
Type-\(A\) companion formula JK6FG5WRNB
| URI | m2://inv/JK6FG5WRNB |
|---|---|
| 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.24541#E27Z, Type-\(A\) companion formula (statement)
History
- 2026-11-01: add by m2/v0.6.15
Compound of ten hexagonal prisms JK6JB4J6QP
| URI | m2://inv/JK6JB4J6QP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#MGHR, Compound of ten hexagonal prisms (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#LX7D, Compound of ten hexagonal prisms (definition)
History
- 2026-11-02: add by m2/dev
Edge JK6JPXN1DT
| URI | m2://inv/JK6JPXN1DT |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#W3K7, Edge (object)
History
- 2026-11-02: add by m2/dev
JK6N2N2C2T JK6N2N2C2T
| URI | m2://inv/JK6N2N2C2T |
|---|---|
| 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 1903.07030#FQFF (definition). In 9H45HQE7AZ/e1, definition 6.4
History
- 2026-10-27: add by m2/v0.3.5
Alan Weiss JK6VKDV0FR
| URI | m2://inv/JK6VKDV0FR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alan Weiss (mathematician), Alan Weiss (topic). Also Wikidata Q4708024
History
- 2026-11-02: add by m2/dev
JK773D2A58 JK773D2A58
| URI | m2://inv/JK773D2A58 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03208#40YT (statement). In A3CMP0TJK2/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.12
JK794KSA7B JK794KSA7B
| URI | m2://inv/JK794KSA7B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.28295#EU1F (statement)
History
- 2026-11-01: add by m2/v0.6.15
JK7PTKETG5 JK7PTKETG5
| URI | m2://inv/JK7PTKETG5 |
|---|---|
| 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 2201.03058#QI60 (statement). In STV2W9WA1K/e1, corollary 0.5
History
- 2026-10-27: add by m2/v0.4.0
Polar angle JK7YNDRSYX
| URI | m2://inv/JK7YNDRSYX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16863210, Polar angle (unknown). Also MathWorld PolarAngle
History
- 2026-10-26: add by m2/dev
discrete valuation ring JK81D2D36J
| URI | m2://inv/JK81D2D36J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Discrete valuation ring MGM3CNJW9V |
Mentions
- wikidata: Wikidata Q986694, discrete valuation ring (unknown). Also EoM Discretely-normed_ring
- wikipedia: Wikipedia Discrete valuation ring, Discrete valuation ring (definition). Also Wikidata Q986694
History
- 2026-10-26: add by m2/dev
JK829KZY92 JK829KZY92
| URI | m2://inv/JK829KZY92 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28374#SJXG (statement)
History
- 2026-11-01: add by m2/v0.6.15
JK86YSRSFM JK86YSRSFM
| URI | m2://inv/JK86YSRSFM |
|---|---|
| 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.16178#1E3G (example). In 698X5RE1AB/e1, example 2.9
History
- 2026-10-28: add by m2/v0.4.2
JK877D7X8V JK877D7X8V
| URI | m2://inv/JK877D7X8V |
|---|---|
| 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.05268#20PZ (statement). In GWB9Z7Y25N/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
logarithmic gradient estimate JK8D6QMTJ0
| URI | m2://inv/JK8D6QMTJ0 |
|---|---|
| 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.28518#ETF7, logarithmic gradient estimate (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formulation JK8D7YDHS1
| URI | m2://inv/JK8D7YDHS1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kappa curve#GRDY, Formulation (definition)
History
- 2026-11-02: add by m2/dev
557 (number) JK8Y8WXVR7
| URI | m2://inv/JK8Y8WXVR7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#IHAC, 557 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Smoothly varying multimodal mixtures JK8ZNW0H2X
| URI | m2://inv/JK8ZNW0H2X |
|---|---|
| Kind | example |
| 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.05333#AIJY, Smoothly varying multimodal mixtures (example). In N37WKFTR7Q/e1, example I.4
History
- 2026-10-29: add by m2/v0.4.10
Ore algebra JK90KKS6F5
| URI | m2://inv/JK90KKS6F5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q19598249, Ore algebra (unknown). Also MathWorld OreAlgebra
- wikipedia: Wikipedia Ore algebra, Ore algebra (definition). Also Wikidata Q19598249
History
- 2026-10-26: add by m2/dev
JK9CZQPE2N JK9CZQPE2N
| URI | m2://inv/JK9CZQPE2N |
|---|---|
| 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 2610.01888#8PKZ (statement). In A89G9GMPC9/e1, theorem 4.9
History
- 2026-10-29: add by m2/v0.4.12
Geometry and the Imagination JK9E3VKJTS
| URI | m2://inv/JK9E3VKJTS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometry and the Imagination, Geometry and the Imagination (definition). Also Wikidata Q44275646
History
- 2026-11-02: add by m2/dev
JK9KMW2EWK JK9KMW2EWK
| URI | m2://inv/JK9KMW2EWK |
|---|---|
| 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.21975#JCXC (statement)
History
- 2026-11-02: add by m2/v0.6.17
JK9N7SM825 JK9N7SM825
| URI | m2://inv/JK9N7SM825 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-267 (exercise). In VNMV985MXX, exercise, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
JK9VD2SPDW JK9VD2SPDW
| URI | m2://inv/JK9VD2SPDW |
|---|---|
| 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.11965#6OHB (statement). In 48QX0QD0XR/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.3
Theorem (Minkowski's bound on the shortest vector) JKA47047JE
| URI | m2://inv/JKA47047JE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski's theorem#FSLX, Theorem (Minkowski's bound on the shortest vector) (statement)
History
- 2026-11-02: add by m2/dev
Formulas involving the medians' lengths JKA4WJR1N8
| URI | m2://inv/JKA4WJR1N8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Median (geometry)#QYC3, Formulas involving the medians' lengths (statement)
History
- 2026-11-02: add by m2/dev
M9-brane JKA5HNB22V
| URI | m2://inv/JKA5HNB22V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q135484876, M9-brane (unknown). Also nLab M9-brane
History
- 2026-10-26: add by m2/dev
CLT of the smoothed adversarial risk JKA7BNJYMP
| URI | m2://inv/JKA7BNJYMP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22240#ZXTZ, CLT of the smoothed adversarial risk (statement)
History
- 2026-11-02: add by m2/v0.6.17
Diamond-over 2-category \(\mathcal{A}_{◆\mathcal{B}}\ JKADKR9QB9
| URI | m2://inv/JKADKR9QB9 |
|---|---|
| Kind | definition |
| 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#HPSA, Diamond-over 2-category \(\mathcal{A}_{◆\mathcal{B}}\ (definition). In HX63A1PH1W/e1, definition 8.27
History
- 2026-10-28: add by m2/v0.4.3
Malin JKAF9E5HYD
| URI | m2://inv/JKAF9E5HYD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#7LXK, Malin (unknown)
History
- 2026-11-02: add by m2/dev
A general driving reference for the entire signing law JKAJ9T29ED
| URI | m2://inv/JKAJ9T29ED |
|---|---|
| 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#0OUM, A general driving reference for the entire signing law (statement). In 9YAE8FNQST/e1, corollary 17.26
History
- 2026-10-30: add by m2/v0.4.12
JKAQ7HHSQK JKAQ7HHSQK
| URI | m2://inv/JKAQ7HHSQK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16081#7QVS (statement). In RS6WWZKMT6/e1, lemma 6.5
History
- 2026-10-28: add by m2/v0.4.2
JKAVNBB6XC JKAVNBB6XC
| URI | m2://inv/JKAVNBB6XC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#YKRY (statement). In JW8HH6EPG2/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.10
JKAX1DT9M1 JKAX1DT9M1
| URI | m2://inv/JKAX1DT9M1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/bezout.tex#example-3 (example). In RZP28ERRZV, example, section 20.3
History
- 2026-11-01: add by m2/v0.6.13
Boy's surface JKB4ZMQA3W
| URI | m2://inv/JKB4ZMQA3W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Boy's surface C7WPR8W54K |
Mentions
- wikidata: Wikidata Q896057, Boy's surface (unknown). Also MathWorld BoySurface
- wikipedia: Wikipedia Boy's surface, Boy's surface (definition). Also Wikidata Q896057
History
- 2026-10-26: add by m2/dev
JKB5CAQEWN JKB5CAQEWN
| URI | m2://inv/JKB5CAQEWN |
|---|---|
| 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.06544#W14U (statement). In VCRB27RMN6/e1, corollary 6.3
History
- 2026-10-29: add by m2/v0.4.10
JKBHQ5XP2R JKBHQ5XP2R
| URI | m2://inv/JKBHQ5XP2R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.08738#GHHV (definition). In 9GMTVSTAVN/e1, definition 5.6
History
- 2026-10-27: add by m2/v0.3.5
JKBMADHPX9 JKBMADHPX9
| URI | m2://inv/JKBMADHPX9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-3-1-rel-rates.xml#example-1 (example). In 907G4C4EJ1, example, section 3.1.2
History
- 2026-11-01: add by m2/v0.6.13
Proposition 44 JKBP4QQ1WM
| URI | m2://inv/JKBP4QQ1WM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton's theorem of revolving orbits#EAI0, Proposition 44 (statement)
History
- 2026-11-02: add by m2/dev
JKBPR4SDCF JKBPR4SDCF
| URI | m2://inv/JKBPR4SDCF |
|---|---|
| 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 2604.10080#0TRY (statement). In KM2FWKP93A/e1, lemma 5.7
History
- 2026-10-27: add by m2/v0.4.0
Johan Frederik Steffensen JKBX5WVDH8
| URI | m2://inv/JKBX5WVDH8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#OLCH, Johan Frederik Steffensen (topic)
History
- 2026-11-02: add by m2/dev
Bi-parametric operator preconditioning JKC3355492
| URI | m2://inv/JKC3355492 |
|---|---|
| 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.30559#6LJF, Bi-parametric operator preconditioning (statement). In 5A9CKXWT3H/e1, theorem 2
History
- 2026-10-31: add by m2/v0.5.6
Rational sequence topology JKC370WM74
| URI | m2://inv/JKC370WM74 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#KY08, Rational sequence topology (unknown)
History
- 2026-11-02: add by m2/dev
Frances Cope JKC5BEWCG1
| URI | m2://inv/JKC5BEWCG1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frances Cope, Frances Cope (topic). Also Wikidata Q1331196
History
- 2026-11-02: add by m2/dev
24998 Hermite JKCB6V234F
| URI | m2://inv/JKCB6V234F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Charles Hermite#4L3G, 24998 Hermite (unknown)
History
- 2026-11-02: add by m2/dev
Properties JKCH6R2PTC
| URI | m2://inv/JKCH6R2PTC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological group#5U6V, Properties (statement)
History
- 2026-11-02: add by m2/dev
Sam Weerahandi JKCTP3SQ4M
| URI | m2://inv/JKCTP3SQ4M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#80LI, Sam Weerahandi (topic)
History
- 2026-11-02: add by m2/dev
Definition JKCYH70JQ7
| URI | m2://inv/JKCYH70JQ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gateaux derivative#YVWW, Definition (definition)
History
- 2026-11-02: add by m2/dev
descriptive statistics JKD0TF1107
| URI | m2://inv/JKD0TF1107 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q380344, descriptive statistics (definition). Also ProofWiki Definition:Descriptive_Statistics
- wikipedia: Wikipedia Descriptive statistics, Descriptive statistics (definition). Also Wikidata Q380344
History
- 2026-10-26: add by m2/dev
JKD17A3QS5 JKD17A3QS5
| URI | m2://inv/JKD17A3QS5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24845#6NDM (definition)
History
- 2026-11-01: add by m2/v0.6.15
JKD1FT81NS JKD1FT81NS
| URI | m2://inv/JKD1FT81NS |
|---|---|
| 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.36204#28X8 (statement). In ZEHQDJTEDG/e1, proposition 1.5
History
- 2026-10-30: add by m2/v0.4.12
JKD7E400F9 JKD7E400F9
| URI | m2://inv/JKD7E400F9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2209.00811#6B02 (statement). In 9T4X83HHQS/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.5
JKDAZ6D5KS JKDAZ6D5KS
| URI | m2://inv/JKDAZ6D5KS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28265#B3S9 (example)
History
- 2026-11-01: add by m2/v0.6.15
JKDNVKNNSW JKDNVKNNSW
| URI | m2://inv/JKDNVKNNSW |
|---|---|
| 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.36456#7KAY (statement). In E3MBNAPCQG/e1, proposition B.1
History
- 2026-10-30: add by m2/v0.4.12
Wacław Sierpiński JKDS547JH4
| URI | m2://inv/JKDS547JH4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#OE1U, Wacław Sierpiński (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MPDZ, Wacław Sierpiński (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QGHL, Wacław Sierpiński (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UX39, Wacław Sierpiński (topic)
History
- 2026-11-02: add by m2/dev
Example JKDW2VX1DX
| URI | m2://inv/JKDW2VX1DX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weak convergence (Hilbert space)#ERJS, Example (example)
History
- 2026-11-02: add by m2/dev
Arend Heyting JKDWVSFT26
| URI | m2://inv/JKDWVSFT26 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#UNAC, Arend Heyting (topic)
History
- 2026-11-02: add by m2/dev
Millian theory of proper names JKDYXXWFWQ
| URI | m2://inv/JKDYXXWFWQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proper name (philosophy)#QWFU, Millian theory of proper names (unknown)
History
- 2026-11-02: add by m2/dev
Robert H. Shumway JKE1409S7A
| URI | m2://inv/JKE1409S7A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#H4KZ, Robert H. Shumway (topic)
History
- 2026-11-02: add by m2/dev
JKEM21A3MK JKEM21A3MK
| URI | m2://inv/JKEM21A3MK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.04502#WTIB (definition). In BT6E9BXXF3/e1, definition 1.3
History
- 2026-10-27: add by m2/v0.3.5
JKEMP3BMHV JKEMP3BMHV
| URI | m2://inv/JKEMP3BMHV |
|---|---|
| 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 2009.11127#GHCW (statement). In QEFS0Y021A/e1, lemma 6.8
History
- 2026-10-27: add by m2/v0.3.5
JKEVTXDDT3 JKEVTXDDT3
| URI | m2://inv/JKEVTXDDT3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2411.00562#W2GB (statement). In 99CQPHSSYF/e1, lemma \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
Global bisections JKEY6CJ1DP
| URI | m2://inv/JKEY6CJ1DP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25987#30VU, Global bisections (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples JKF0AW89VA
| URI | m2://inv/JKF0AW89VA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hardy–Littlewood Tauberian theorem#OC0X, Examples (example)
History
- 2026-11-02: add by m2/dev
Applications JKF26Z9PZP
| URI | m2://inv/JKF26Z9PZP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eigenvalues and eigenvectors#DUUU, Applications (example)
History
- 2026-11-02: add by m2/dev
Claim JKFAHH8DJA
| URI | m2://inv/JKFAHH8DJA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Claim (philosophy), Claim (definition). Also Wikidata Q95972591
History
- 2026-11-02: add by m2/dev
JKFAW8JGDG JKFAW8JGDG
| URI | m2://inv/JKFAW8JGDG |
|---|---|
| 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.25524#GIV9 (definition)
History
- 2026-11-01: add by m2/v0.6.15
JKFHD4VWQS JKFHD4VWQS
| URI | m2://inv/JKFHD4VWQS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13964#3T0T (statement). In 7Q47472TKR/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
Scilab JKFKHZTDJE
| URI | m2://inv/JKFKHZTDJE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#RRTU, Scilab (unknown)
History
- 2026-11-02: add by m2/dev
ordered set JKG4YQ57KQ
| URI | m2://inv/JKG4YQ57KQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7994926, ordered set (unknown). Also MathWorld OrderedSet
History
- 2026-10-26: add by m2/dev
JKG856EPPG JKG856EPPG
| URI | m2://inv/JKG856EPPG |
|---|---|
| Kind | definition |
| 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.31274#Z4UU (definition). In RK0ZMDJ23T/e1, definition 2.1.7
History
- 2026-10-31: add by m2/v0.5.6
A Treatise on the Circle and the Sphere JKGAKRS7CC
| URI | m2://inv/JKGAKRS7CC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A Treatise on the Circle and the Sphere, A Treatise on the Circle and the Sphere (definition). Also Wikidata Q96792367
History
- 2026-11-02: add by m2/dev
comparison of a series and an integral JKGC09137Z
| URI | m2://inv/JKGC09137Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Comparison of a series and an integral 069HKV4X1E |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Numerical series > comparison of a series and an integral, comparison of a series and an integral (unknown). Also Mathlib AntitoneOn.tsum_le_integral
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
JKGFPKSGBZ JKGFPKSGBZ
| URI | m2://inv/JKGFPKSGBZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/henkin-expansions.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 11.3
History
- 2026-11-01: add by m2/v0.6.13
Dirac delta function JKGKYYXY00
| URI | m2://inv/JKGKYYXY00 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Dirac delta function 0KPHENZ5S7 |
Mentions
- wikidata: Wikidata Q209675, Dirac delta function (unknown). Also Mathlib Distribution.delta, MathWorld DeltaFunction
- wikipedia: Wikipedia Dirac delta function, Dirac delta function (definition). Also Wikidata Q209675
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Properties JKGQJHWFYN
| URI | m2://inv/JKGQJHWFYN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantor space#OZY4, Properties (statement)
History
- 2026-11-02: add by m2/dev
JKGTCYZVHT JKGTCYZVHT
| URI | m2://inv/JKGTCYZVHT |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-12 (proof). In N54F33XE07, proof, section 7.2
History
- 2026-11-01: add by m2/v0.6.13
Example of Cayley-Hamilton using determinant definition JKGV50C72Z
| URI | m2://inv/JKGV50C72Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/dets.tex#example-4, Example of Cayley-Hamilton using determinant definition (example). In RZP28ERRZV, example, section 56.3
History
- 2026-11-01: add by m2/v0.6.13
proximate JKGW6CZRQD
| URI | m2://inv/JKGW6CZRQD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#5S5I, proximate (definition)
History
- 2026-11-02: add by m2/dev
JKGY9BJ6E5 JKGY9BJ6E5
| URI | m2://inv/JKGY9BJ6E5 |
|---|---|
| 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#SF3C (statement). In 3A4K47Y9F2/e1, theorem 2.38
History
- 2026-10-27: add by m2/v0.4.0
JKGYJXBTB1 JKGYJXBTB1
| URI | m2://inv/JKGYJXBTB1 |
|---|---|
| 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#HFQF (statement). In CC6S1HVK0T/e1, lemma 5.25
History
- 2026-10-28: add by m2/v0.4.2
equalizer JKH4MZCH2C
| URI | m2://inv/JKH4MZCH2C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#RMQO, equalizer (definition)
History
- 2026-11-02: add by m2/dev
JKHCHQ19DT JKHCHQ19DT
| URI | m2://inv/JKHCHQ19DT |
|---|---|
| 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.11043#XE0V (statement). In R3NJYPZH52/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.3
JKHRP3ZK8V JKHRP3ZK8V
| URI | m2://inv/JKHRP3ZK8V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.20385#84EZ (statement). In PZRSZ19KAH/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Example JKHSZJAG6B
| URI | m2://inv/JKHSZJAG6B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baum–Welch algorithm#KE9X, Example (example)
History
- 2026-11-02: add by m2/dev
JKHY20Y311 JKHY20Y311
| URI | m2://inv/JKHY20Y311 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02961#7DJ8 (statement). In 986DENWM1D/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.12
Clean-ancilla reverse-magic entropy JKJ22PGQDN
| URI | m2://inv/JKJ22PGQDN |
|---|---|
| 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.02166#HQLK, Clean-ancilla reverse-magic entropy (statement). In R6RF3P6D5A/e1, lemma 4.15
History
- 2026-10-29: add by m2/v0.4.12
Wave equation JKJ4A65EM4
| URI | m2://inv/JKJ4A65EM4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partial differential equation topics#OL2P, Wave equation (definition)
History
- 2026-11-02: add by m2/dev
JKJAN6EYEJ JKJAN6EYEJ
| URI | m2://inv/JKJAN6EYEJ |
|---|---|
| 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 2609.33283#P40X (statement). In CXPFSDMEPB/e1, corollary 5.2
History
- 2026-10-30: add by m2/v0.4.12
Stationary local state JKJAZNRWQ9
| URI | m2://inv/JKJAZNRWQ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16351#X09B, Stationary local state (statement). In 1QSV7EQE3T/e1, corollary S52
History
- 2026-10-28: add by m2/v0.4.2
Mahjong solitaire JKJBNQF6R1
| URI | m2://inv/JKJBNQF6R1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#CENL, Mahjong solitaire (unknown)
History
- 2026-11-02: add by m2/dev
JKJDFE3DWY JKJDFE3DWY
| URI | m2://inv/JKJDFE3DWY |
|---|---|
| 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.11757#NL9D (statement). In VSJRVTHWWA/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.3
Local representation JKJFGFZJXR
| URI | m2://inv/JKJFGFZJXR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12014#4ESC, Local representation (statement). In DR7BK4CQ0V/e1, lemma 3.10
History
- 2026-10-28: add by m2/v0.4.3
Special case of a more general theorem JKJGAA8E87
| URI | m2://inv/JKJGAA8E87 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stokes' theorem#II16, Special case of a more general theorem (statement)
History
- 2026-11-02: add by m2/dev
JKJKTVGNG9 JKJKTVGNG9
| URI | m2://inv/JKJKTVGNG9 |
|---|---|
| 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 2009.11127#82U7 (statement). In QEFS0Y021A/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
John H. Smith JKJRVD6F1A
| URI | m2://inv/JKJRVD6F1A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John H. Smith (mathematician), John H. Smith (topic). Also Wikidata Q6237087
History
- 2026-11-02: add by m2/dev
JKK8TFEC37 JKK8TFEC37
| URI | m2://inv/JKK8TFEC37 |
|---|---|
| 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 2609.32300#905O (statement). In VNE8N0D2FB/e1, proposition 3.8
History
- 2026-10-31: add by m2/v0.5.6
transformation matrix, Bernstein JKKKQH60BC
| URI | m2://inv/JKKKQH60BC |
|---|---|
| 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.39511#4G6G, transformation matrix, Bernstein (statement). In 6W9H24A378/e1, corollary 11
History
- 2026-10-30: add by m2/v0.4.12
JKKPGYM6Y0 JKKPGYM6Y0
| URI | m2://inv/JKKPGYM6Y0 |
|---|---|
| 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.04165#2B0A (statement). In PKN283MHF8/e1, proposition 5.4
History
- 2026-10-29: add by m2/v0.4.12
Properties JKKSN2A9QF
| URI | m2://inv/JKKSN2A9QF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetical set#5JE2, Properties (statement)
History
- 2026-11-02: add by m2/dev
JKM67Q7220 JKM67Q7220
| URI | m2://inv/JKM67Q7220 |
|---|---|
| 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 2512.16003#7CKK (statement). In BJGS6ZCQ12/e1, theorem 4.4
History
- 2026-10-27: add by m2/v0.3.6
Thom space JKM6JBHJFP
| URI | m2://inv/JKM6JBHJFP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#29Z4, Thom space (definition)
History
- 2026-11-02: add by m2/dev
JKMDG7SW2Q JKMDG7SW2Q
| URI | m2://inv/JKMDG7SW2Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02628#21ND (statement). In G4S9C5M1A4/e1, theorem 6.4
History
- 2026-10-29: add by m2/v0.4.12
Continuity equation JKMGPVM31S
| URI | m2://inv/JKMGPVM31S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuity equation, Continuity equation (definition). Also Wikidata Q217219
History
- 2026-11-02: add by m2/dev
JKN4TEY82D JKN4TEY82D
| URI | m2://inv/JKN4TEY82D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17863#A06L (statement). In Y8XQT02BBF/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Extended Backus–Naur form JKN8DBBRD8
| URI | m2://inv/JKN8DBBRD8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extended Backus–Naur form, Extended Backus–Naur form (definition). Also Wikidata Q1165219
History
- 2026-11-02: add by m2/dev
perfect closure JKNDW12TQ9
| URI | m2://inv/JKNDW12TQ9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Field theory > perfect closure, perfect closure (unknown). Also Mathlib PerfectClosure
History
- 2026-10-26: add by m2/dev
JKNJCZ8FGM JKNJCZ8FGM
| URI | m2://inv/JKNJCZ8FGM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37897#NQTW (statement). In RBQ5FNCVNZ/e1, lemma 10.12
History
- 2026-10-30: add by m2/v0.4.12
Definition JKNKZS3RR3
| URI | m2://inv/JKNKZS3RR3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive-real function#NNVW, Definition (definition)
History
- 2026-11-02: add by m2/dev
Joseph A. Wolf JKNNZKQK68
| URI | m2://inv/JKNNZKQK68 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WILS, Joseph A. Wolf (topic)
History
- 2026-11-02: add by m2/dev
Statement JKNPPA0NPE
| URI | m2://inv/JKNPPA0NPE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carathéodory's criterion#T5BO, Statement (statement)
History
- 2026-11-02: add by m2/dev
JKNZW05JCH JKNZW05JCH
| URI | m2://inv/JKNZW05JCH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18468#C0FE (statement). In VP29RN7ZMA/e1, proposition 5.4
History
- 2026-10-28: add by m2/v0.4.2
orthogonal Lie algebra JKP3Q5CQT0
| URI | m2://inv/JKP3Q5CQT0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q52088805, orthogonal Lie algebra (unknown). Also nLab orthogonal Lie algebra
History
- 2026-10-26: add by m2/dev
Two all-order descriptions JKP8WFGDKP
| URI | m2://inv/JKP8WFGDKP |
|---|---|
| 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.14373#CMF6, Two all-order descriptions (statement). In 77TK7M3B9Y/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
Examples JKP91EN2DV
| URI | m2://inv/JKP91EN2DV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erlangen program#GHLL, Examples (example)
History
- 2026-11-02: add by m2/dev
JKPDHB1AMB JKPDHB1AMB
| URI | m2://inv/JKPDHB1AMB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise:taggedpartition (exercise). In E59CDZA4DP, exercise, section 8.1.4
History
- 2026-11-01: add by m2/v0.6.13
Estimating equation JKPG1HJW4F
| URI | m2://inv/JKPG1HJW4F |
|---|---|
| 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#YIB8, Estimating equation (statement). In 9EMNMAW8YH/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
apartness relation JKPNA9VTND
| URI | m2://inv/JKPNA9VTND |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4779193, apartness relation (unknown). Also nLab apartness relation
- wikipedia: Wikipedia Apartness relation, Apartness relation (definition). Also Wikidata Q4779193
History
- 2026-10-26: add by m2/dev
JKPS20ZK1A JKPS20ZK1A
| URI | m2://inv/JKPS20ZK1A |
|---|---|
| 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.11377#K17D (statement). In YCV4YA6FC2/e1, proposition
History
- 2026-10-28: add by m2/v0.4.3
Closedness JKPW4VNS0R
| URI | m2://inv/JKPW4VNS0R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#5H6Y, Closedness (statement). In KM3Q791JY0/e1, corollary 2.17
History
- 2026-10-27: add by m2/v0.4.2
JKQ01BX263 JKQ01BX263
| URI | m2://inv/JKQ01BX263 |
|---|---|
| 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.05327#JU4R (statement). In ZD7BWDKT84/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.10
JKQ6G13DHV JKQ6G13DHV
| URI | m2://inv/JKQ6G13DHV |
|---|---|
| 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.11047#GTV8 (statement). In MNQAZ70XTH/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.3
Explicit formula JKQA9P2CT2
| URI | m2://inv/JKQA9P2CT2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00770#7LIB, Explicit formula (statement). In AYGRJSRG1M/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
The canonical certificate can hide structure JKQB4AH1YV
| URI | m2://inv/JKQB4AH1YV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-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.40290#GK2B, The canonical certificate can hide structure (example). In 4K1CNBYJHF/e1, example 9.5
History
- 2026-10-30: add by m2/v0.4.12
Definition JKQDBTXHGF
| URI | m2://inv/JKQDBTXHGF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotient of an abelian category#FQ99, Definition (definition)
History
- 2026-11-02: add by m2/dev
JKQEE319AD JKQEE319AD
| URI | m2://inv/JKQEE319AD |
|---|---|
| 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 2610.21578#0XZ1 (statement). In 6M96RM3T7N/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.4.2
Eternal dominating set JKQYNQ5FBA
| URI | m2://inv/JKQYNQ5FBA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eternal dominating set, Eternal dominating set (definition). Also Wikidata Q25303810
History
- 2026-11-02: add by m2/dev
Population-size and coalescence calibration JKQZRPPAYZ
| URI | m2://inv/JKQZRPPAYZ |
|---|---|
| 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.02669#AQ49, Population-size and coalescence calibration (statement). In NSBSWH6XB4/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.12
A theorem of Lang JKR561X5NT
| URI | m2://inv/JKR561X5NT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Auxiliary function#2JD6, A theorem of Lang (statement)
History
- 2026-11-02: add by m2/dev
JKR9NPMC2M JKR9NPMC2M
| URI | m2://inv/JKR9NPMC2M |
|---|---|
| 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.01828#YLCT (statement). In RQMJY73C8Q/e1, theorem II.1
History
- 2026-10-29: add by m2/v0.4.12
Tinne Hoff Kjeldsen JKRB0GJ0YT
| URI | m2://inv/JKRB0GJ0YT |
|---|---|
| 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#PWCF, Tinne Hoff Kjeldsen (topic)
History
- 2026-11-02: add by m2/dev
Marilyn Burns JKRGK9XYJS
| URI | m2://inv/JKRGK9XYJS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marilyn Burns (mathematics educator), Marilyn Burns (topic). Also Wikidata Q61819212
History
- 2026-11-02: add by m2/dev
JKRQ1Y29YP JKRQ1Y29YP
| URI | m2://inv/JKRQ1Y29YP |
|---|---|
| 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.14979#28Q7 (statement). In 6NH1VVZK1N/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Small degree over every finite field JKRRCS1MS5
| URI | m2://inv/JKRRCS1MS5 |
|---|---|
| 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.05652#QMJW, Small degree over every finite field (statement). In 8BNPFYQDQX/e1, corollary 16.3
History
- 2026-10-29: add by m2/v0.4.10
An abstract entropy sufficient condition for general metric responses JKRW7W30M2
| URI | m2://inv/JKRW7W30M2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05388#F86E, An abstract entropy sufficient condition for general metric responses (statement). In 4HJK1986EJ/e1, proposition C.2
History
- 2026-10-29: add by m2/v0.4.10
JKRY2PCGT2 JKRY2PCGT2
| URI | m2://inv/JKRY2PCGT2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/ch_sequences.ptx#investigation-1 (exercise). In Y91XFCEVHQ, investigation, section 3
History
- 2026-11-01: add by m2/v0.6.13
Triangular two-point reconstruction JKS1XT9KR9
| URI | m2://inv/JKS1XT9KR9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.10821#M6DS, Triangular two-point reconstruction (statement). In RWNP4FEE65/e1, theorem 6.3
History
- 2026-10-28: add by m2/v0.4.3
JKS4HWVJ09 JKS4HWVJ09
| URI | m2://inv/JKS4HWVJ09 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13670#6EC7 (statement). In 4PGTZ19B26/e1, lemma 3.16
History
- 2026-10-28: add by m2/v0.4.2
JKS5V28HDW JKS5V28HDW
| URI | m2://inv/JKS5V28HDW |
|---|---|
| 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.12165#IOS3 (statement). In 3JSE8A9CFH/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.2
Fisher transformation JKSTAKZB0A
| URI | m2://inv/JKSTAKZB0A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GLQ8, Fisher transformation (definition)
History
- 2026-11-02: add by m2/dev
JKSZ9AZR7N JKSZ9AZR7N
| URI | m2://inv/JKSZ9AZR7N |
|---|---|
| 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.07508#P9L2 (statement). In TPA3E67MKK/e1, theorem C
History
- 2026-10-29: add by m2/v0.4.10
JKSZWV0X8N JKSZWV0X8N
| URI | m2://inv/JKSZWV0X8N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-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.17045#XZ0H (statement). In PA6JQDSKQT/e1, lemma 6.7
History
- 2026-10-28: add by m2/v0.4.2
Phase locking JKTCWMMQPD
| URI | m2://inv/JKTCWMMQPD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#LO16, Phase locking (statement). In 65TJENWK7X/e1, theorem 17
History
- 2026-10-29: add by m2/v0.4.10
JKTFPVM2SY JKTFPVM2SY
| URI | m2://inv/JKTFPVM2SY |
|---|---|
| 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.40023#VSJY (statement). In JW9ARS9AQE/e1, theorem 4.6
History
- 2026-10-30: add by m2/v0.4.12
Annaṁbhaṭṭa JKTHDBHNKY
| URI | m2://inv/JKTHDBHNKY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of teachers of Nyaya#6PKX, Annaṁbhaṭṭa (unknown)
History
- 2026-11-02: add by m2/dev
JKTJ1C0ZYQ JKTJ1C0ZYQ
| URI | m2://inv/JKTJ1C0ZYQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#example-17 (example). In E59CDZA4DP, example, section 2.4.3
History
- 2026-11-01: add by m2/v0.6.13
JKTKT6FMP6 JKTKT6FMP6
| URI | m2://inv/JKTKT6FMP6 |
|---|---|
| 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 2609.25472#Z694 (statement)
History
- 2026-11-01: add by m2/v0.6.15
JKTVA704NE JKTVA704NE
| URI | m2://inv/JKTVA704NE |
|---|---|
| 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.27270#7DD9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Entropy-extremizing laws with slow linear-block dynamics JKTVPAP7BQ
| URI | m2://inv/JKTVPAP7BQ |
|---|---|
| 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#YFJV, Entropy-extremizing laws with slow linear-block dynamics (statement). In 9YAE8FNQST/e1, theorem 25.5
History
- 2026-10-30: add by m2/v0.4.12
JKV6ZQ8R0D JKV6ZQ8R0D
| URI | m2://inv/JKV6ZQ8R0D |
|---|---|
| Kind | example |
| 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 0910.5574#82IC (example). In 2TJRBRKYAY/e1, example 11.6
History
- 2026-10-27: add by m2/v0.3.5
Notation JKV74XJSCF
| URI | m2://inv/JKV74XJSCF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix multiplication#YO04, Notation (definition)
History
- 2026-11-02: add by m2/dev
Paul Benacerraf JKV9A4DWMH
| URI | m2://inv/JKV9A4DWMH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#WAK5, Paul Benacerraf (topic)
History
- 2026-11-02: add by m2/dev
point reflection JKVBYEF4XY
| URI | m2://inv/JKVBYEF4XY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1203075, point reflection (unknown). Also MathWorld InversionOperation
- wikipedia: Wikipedia Point reflection, Point reflection (definition). Also Wikidata Q1203075
History
- 2026-10-26: add by m2/dev
Alfred W. Hales JKVJ0NX9F8
| URI | m2://inv/JKVJ0NX9F8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5GGT, Alfred W. Hales (topic)
History
- 2026-11-02: add by m2/dev
Definition 2.1. JKVQAKRE2G
| URI | m2://inv/JKVQAKRE2G |
|---|---|
| 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 2503.16884#RTZH, Definition 2.1. (definition). In B984KNW591/e1, definition 1.2
History
- 2026-10-27: add by m2/v0.3.5
JKVZ5RRMAQ JKVZ5RRMAQ
| URI | m2://inv/JKVZ5RRMAQ |
|---|---|
| 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.22040#IWWE (statement). In 2QP93JHYNB/e1, theorem 5.8
History
- 2026-10-27: add by m2/v0.4.2
Weber–Fechner law JKW03CFW11
| URI | m2://inv/JKW03CFW11 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#IJ29, Weber–Fechner law (statement)
History
- 2026-11-02: add by m2/dev
Fixed-index membership experiment JKW8H5Y6NH
| URI | m2://inv/JKW8H5Y6NH |
|---|---|
| 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.38668#P360, Fixed-index membership experiment (statement). In VB1EZ9K6YW/e1, proposition 9.3
History
- 2026-10-30: add by m2/v0.4.12
Continuous morphism JKX082VZ21
| URI | m2://inv/JKX082VZ21 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free monoid#BV4Y, Continuous morphism (unknown)
History
- 2026-11-02: add by m2/dev
Properties JKX7GYW79N
| URI | m2://inv/JKX7GYW79N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniell integral#GJBE, Properties (statement)
History
- 2026-11-02: add by m2/dev
Transpose graph JKXNGRGJ52
| URI | m2://inv/JKXNGRGJ52 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transpose graph, Transpose graph (definition). Also Wikidata Q3491411
History
- 2026-11-02: add by m2/dev
JKXPN4H302 JKXPN4H302
| URI | m2://inv/JKXPN4H302 |
|---|---|
| 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.01998#034B (statement). In 71YD1PGG8E/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
Theorem JKXVHE0B3G
| URI | m2://inv/JKXVHE0B3G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Green's theorem#EYR0, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Deviance (statistics) JKY031ZRN2
| URI | m2://inv/JKY031ZRN2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#35HN, Deviance (statistics) (definition)
History
- 2026-11-02: add by m2/dev
JKY2GT2WQZ JKY2GT2WQZ
| URI | m2://inv/JKY2GT2WQZ |
|---|---|
| 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.27168#3BRF (statement)
History
- 2026-11-01: add by m2/v0.6.15
The jet identifiability at any sampling rate JKY5G1A4J7
| URI | m2://inv/JKY5G1A4J7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02637#K8QQ, The jet identifiability at any sampling rate (statement). In 5Z2H5XJ6EM/e1, proposition S3.1
History
- 2026-10-29: add by m2/v0.4.12
JKYBJ3H6BS JKYBJ3H6BS
| URI | m2://inv/JKYBJ3H6BS |
|---|---|
| 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.21274#4PUU (statement)
History
- 2026-11-02: add by m2/v0.6.18
Primitive recursive function JKYM3AHWFA
| URI | m2://inv/JKYM3AHWFA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primitive recursive function, Primitive recursive function (definition). Also Wikidata Q1570472
History
- 2026-11-02: add by m2/dev
Statement JKYNY6PD0S
| URI | m2://inv/JKYNY6PD0S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert–Burch theorem#7KU1, Statement (statement)
History
- 2026-11-02: add by m2/dev
Fiber product of schemes JKYRSJBGZ9
| URI | m2://inv/JKYRSJBGZ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#QW4P, Fiber product of schemes (definition)
History
- 2026-11-02: add by m2/dev
Definition JKYSSTW01A
| URI | m2://inv/JKYSSTW01A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schrödinger picture#J02W, Definition (definition)
History
- 2026-11-02: add by m2/dev
Hermite ring JKYZ2BR74X
| URI | m2://inv/JKYZ2BR74X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Charles Hermite#IJW4, Hermite ring (definition)
History
- 2026-11-02: add by m2/dev
JKZ74KVQ1Q JKZ74KVQ1Q
| URI | m2://inv/JKZ74KVQ1Q |
|---|---|
| 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 2610.18016#9GCJ (statement). In V5PVKDKGGG/e1, theorem 5.6
History
- 2026-10-28: add by m2/v0.4.2
Explicit Quantum List Decodable Codes, Informal JKZ85X0QBD
| URI | m2://inv/JKZ85X0QBD |
|---|---|
| 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.40252#6MTI, Explicit Quantum List Decodable Codes, Informal (statement). In 7MVPNFPRKB/e1, theorem 1.11
History
- 2026-10-30: add by m2/v0.4.12
Many-hash code JKZEQ3PX1X
| URI | m2://inv/JKZEQ3PX1X |
|---|---|
| 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.15631#A4RQ, Many-hash code (definition). In AF465QFRGQ/e1, definition IV.4
History
- 2026-10-28: add by m2/v0.4.2
JKZQN4FAS8 JKZQN4FAS8
| URI | m2://inv/JKZQN4FAS8 |
|---|---|
| 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 2502.09442#HYKU (statement). In DNT32YYDM4/e1, lemma 4
History
- 2026-10-27: add by m2/v0.4.0
Ignacas Stasys Uždavinys JKZR6T7WPM
| URI | m2://inv/JKZR6T7WPM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ignacas Stasys Uždavinys, Ignacas Stasys Uždavinys (topic). Also Wikidata Q1657201
History
- 2026-11-02: add by m2/dev
JKZRNMYSHS JKZRNMYSHS
| URI | m2://inv/JKZRNMYSHS |
|---|---|
| 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.29679#XCQO (statement)
History
- 2026-11-01: add by m2/v0.6.15
JKZTPYZ5RF JKZTPYZ5RF
| URI | m2://inv/JKZTPYZ5RF |
|---|---|
| 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 2312.14319#FQ7T (statement). In V0S2EZ53GB/e1, proposition 2.15
History
- 2026-10-27: add by m2/v0.3.5
JKZTVP7D7S JKZTVP7D7S
| URI | m2://inv/JKZTVP7D7S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 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.07695#0MDL (definition). In 8Z47D12KSX/e1, definition 9.5
History
- 2026-10-29: add by m2/v0.4.10