Inventory rows QV
The cards of the rows of the inventory whose ids start with QV. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Paradox of Löwenheim and Skolem QV003GE1SG
| URI | m2://inv/QV003GE1SG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paradoxes of set theory#EY2I, Paradox of Löwenheim and Skolem (statement)
History
- 2026-11-02: add by m2/dev
QV0BVR2S4Q QV0BVR2S4Q
| URI | m2://inv/QV0BVR2S4Q |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#proof-10 (proof). In E59CDZA4DP, proof, section 11.2.1
History
- 2026-11-01: add by m2/v0.6.13
QV0T2G1HDV QV0T2G1HDV
| URI | m2://inv/QV0T2G1HDV |
|---|---|
| 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.15313#XN0U (statement). In KWKY1CWG1Z/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Extended Norm-Trace Codes versus One-Point Hermitian Codes QV15QP55D1
| URI | m2://inv/QV15QP55D1 |
|---|---|
| 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.31484#FVOX, Extended Norm-Trace Codes versus One-Point Hermitian Codes (statement). In 1RDQ10G87W/e1, proposition 4.1
History
- 2026-10-31: add by m2/v0.5.6
lattice QV18K8GWBA
| URI | m2://inv/QV18K8GWBA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/6.5/lattice, lattice (concept). In QKM9DD2H56, index, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
IEEE P1363 QV1JKFND84
| URI | m2://inv/QV1JKFND84 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia IEEE P1363, IEEE P1363 (definition). Also Wikidata Q4041019
History
- 2026-11-02: add by m2/dev
Degeneracy threshold QV1METJJZM
| URI | m2://inv/QV1METJJZM |
|---|---|
| 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.11917#33RV, Degeneracy threshold (statement). In 7BB6PY94G9/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.3
QV1MSVHD4T QV1MSVHD4T
| URI | m2://inv/QV1MSVHD4T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#CZ4Q (statement). In RYWAX33Z51/e1, proposition 4.24
History
- 2026-10-31: add by m2/v0.5.6
QV1R9Q55BE QV1R9Q55BE
| URI | m2://inv/QV1R9Q55BE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/cover-project.tex#proposition-2 (statement). In RZP28ERRZV, proposition, section 97.5
History
- 2026-11-01: add by m2/v0.6.13
Kenji Fukaya QV1RRYC1DT
| URI | m2://inv/QV1RRYC1DT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3182153, Kenji Fukaya (unknown). Also nLab Kenji Fukaya
- wikipedia: Wikipedia Kenji Fukaya, Kenji Fukaya (topic). Also Wikidata Q3182153
History
- 2026-10-26: add by m2/dev
Elisenda Grigsby QV1VP7V7K0
| URI | m2://inv/QV1VP7V7K0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elisenda Grigsby, Elisenda Grigsby (topic). Also Wikidata Q30150955
History
- 2026-11-02: add by m2/dev
eigenfunctions QV214QSRF9
| URI | m2://inv/QV214QSRF9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eigenvalues and eigenvectors#AKV7, eigenfunctions (definition)
History
- 2026-11-02: add by m2/dev
Theorem: congruences for series generated by expansions of continued fractions QV219BKSVX
| URI | m2://inv/QV219BKSVX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generating function#BD7J, Theorem: congruences for series generated by expansions of continued fractions (statement)
History
- 2026-11-02: add by m2/dev
Cross R-S code QV22JT3R59
| URI | m2://inv/QV22JT3R59 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#4CRY, Cross R-S code (definition)
History
- 2026-11-02: add by m2/dev
Examples QV23YXY294
| URI | m2://inv/QV23YXY294 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FriCAS#P8R2, Examples (example)
History
- 2026-11-02: add by m2/dev
QV259VGQPV QV259VGQPV
| URI | m2://inv/QV259VGQPV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.04075#9O1B (statement). In C5DZR0TC5E/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.3.5
RSA-220 QV266TK0MP
| URI | m2://inv/QV266TK0MP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#SXZS, RSA-220 (unknown)
History
- 2026-11-02: add by m2/dev
Closed and exact differential forms QV26FYD6HD
| URI | m2://inv/QV26FYD6HD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed and exact differential forms, Closed and exact differential forms (definition). Also Wikidata Q2100733
History
- 2026-11-02: add by m2/dev
Arctangent addition formula QV27HYXRCZ
| URI | m2://inv/QV27HYXRCZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse trigonometric functions#0BMS, Arctangent addition formula (statement)
History
- 2026-11-02: add by m2/dev
Exterior derivative vanishes QV27K1ZHN8
| URI | m2://inv/QV27K1ZHN8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/forms.tex#thm:dd_zero, Exterior derivative vanishes (statement). In RZP28ERRZV, theorem, section 43.4
History
- 2026-11-01: add by m2/v0.6.13
QV2A4K66FX QV2A4K66FX
| URI | m2://inv/QV2A4K66FX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/zfc.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 93.6
History
- 2026-11-01: add by m2/v0.6.13
Definition QV2D35XPZA
| URI | m2://inv/QV2D35XPZA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherent topology#HV4W, Definition (definition)
History
- 2026-11-02: add by m2/dev
Figurate numbers QV2JJ3PR59
| URI | m2://inv/QV2JJ3PR59 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#KEXB, Figurate numbers (definition)
History
- 2026-11-02: add by m2/dev
Seriation (archaeology) QV2JVT9H8W
| URI | m2://inv/QV2JVT9H8W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#OTNL, Seriation (archaeology) (definition)
History
- 2026-11-02: add by m2/dev
Honey encryption QV2N6DTSS3
| URI | m2://inv/QV2N6DTSS3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Honey encryption, Honey encryption (definition). Also Wikidata Q16927978
History
- 2026-11-02: add by m2/dev
Applications QV2QXDDCGC
| URI | m2://inv/QV2QXDDCGC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edge coloring#H1OA, Applications (example)
History
- 2026-11-02: add by m2/dev
QV2YNBH4B1 QV2YNBH4B1
| URI | m2://inv/QV2YNBH4B1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/spine/recursion.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 74.5
History
- 2026-11-01: add by m2/v0.6.13
D. Gorenstein QV30C7N1QP
| URI | m2://inv/QV30C7N1QP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#RWMP, D. Gorenstein (topic)
History
- 2026-11-02: add by m2/dev
Properties QV32G3FN6B
| URI | m2://inv/QV32G3FN6B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equilateral triangle#6XHI, Properties (statement)
History
- 2026-11-02: add by m2/dev
Erdős sumset conjecture QV39RHNEBP
| URI | m2://inv/QV39RHNEBP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős sumset conjecture, Erdős sumset conjecture (statement). Also Wikidata Q104844985
History
- 2026-11-02: add by m2/dev
Finite compact localization QV3B98C3N5
| URI | m2://inv/QV3B98C3N5 |
|---|---|
| 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.14446#GKQ7, Finite compact localization (statement). In AWRXXZR673/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
Mary Pugh QV3CHGGMX1
| URI | m2://inv/QV3CHGGMX1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary Pugh, Mary Pugh (topic). Also Wikidata Q67222763
History
- 2026-11-02: add by m2/dev
QV3YDHWX3B QV3YDHWX3B
| URI | m2://inv/QV3YDHWX3B |
|---|---|
| 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.01912#VUN4 (statement). In CTE1C9KYPY/e1, theorem 2.8
History
- 2026-10-29: add by m2/v0.4.12
QV47MJ5DKE QV47MJ5DKE
| URI | m2://inv/QV47MJ5DKE |
|---|---|
| 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.34923#F9XE (statement). In 7WKVFJEZQT/e1, proposition 6
History
- 2026-10-30: add by m2/v0.4.12
QV4PHAJAX1 QV4PHAJAX1
| URI | m2://inv/QV4PHAJAX1 |
|---|---|
| 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#XEXV (statement). In HPBCRT0Z0V/e1, theorem 7
History
- 2026-10-28: add by m2/v0.4.2
QV5091204D QV5091204D
| URI | m2://inv/QV5091204D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.01073#ILG4 (definition). In W4TYN4PGE8/e1, definition 6.7
History
- 2026-10-27: add by m2/v0.3.5
QV51840RB9 QV51840RB9
| URI | m2://inv/QV51840RB9 |
|---|---|
| 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.14555#BE2Y (statement). In NHW0VEJ09F/e1, theorem 2.4
History
- 2026-10-28: add by m2/v0.4.2
QV5BHG7BS2 QV5BHG7BS2
| URI | m2://inv/QV5BHG7BS2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.06581#ZEIX (statement). In WXJ2V3HA2R/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
Finite-horizon convergence for SE guidance QV5G3F4DWS
| URI | m2://inv/QV5G3F4DWS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38133#ZHZ1, Finite-horizon convergence for SE guidance (statement). In RHRA5FMMYG/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
QV5MCBJ2P1 QV5MCBJ2P1
| URI | m2://inv/QV5MCBJ2P1 |
|---|---|
| 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 2608.24599#M5OP (statement). In VG8QFWTT8S/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.6
Gallup, George QV5P5PA34Q
| URI | m2://inv/QV5P5PA34Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#HOGA, Gallup, George (topic)
History
- 2026-11-02: add by m2/dev
QV5WWV431F QV5WWV431F
| URI | m2://inv/QV5WWV431F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32903#0G1Y (statement). In S8NB83KQX3/e1, lemma 16
History
- 2026-10-31: add by m2/v0.5.6
Deborah J. Rumsey QV5YBT322J
| URI | m2://inv/QV5YBT322J |
|---|---|
| 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#O3SV, Deborah J. Rumsey (topic)
History
- 2026-11-02: add by m2/dev
Theorem QV64BZD6SY
| URI | m2://inv/QV64BZD6SY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral theorem#PS5D, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Wedderburn principal theorem QV68QESEBE
| URI | m2://inv/QV68QESEBE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jordan–Chevalley decomposition#055Z, Wedderburn principal theorem (statement)
History
- 2026-11-02: add by m2/dev
Exponential decay of truncated correlations QV68ZBXXJV
| URI | m2://inv/QV68ZBXXJV |
|---|---|
| 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.20583#YIWJ, Exponential decay of truncated correlations (statement). In 5YEEPDPAQE/e1, corollary 1.3
History
- 2026-10-27: add by m2/v0.4.2
QV6JK7T2Q4 QV6JK7T2Q4
| URI | m2://inv/QV6JK7T2Q4 |
|---|---|
| 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.02570#PUJD (statement). In 6JK30RQ1SX/e1, corollary 6.3
History
- 2026-10-29: add by m2/v0.4.12
Hermann Weyl QV6KKPCWAJ
| URI | m2://inv/QV6KKPCWAJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#OAGN, Hermann Weyl (topic)
History
- 2026-11-02: add by m2/dev
Definition QV6NGMKE9S
| URI | m2://inv/QV6NGMKE9S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polar sine#IMO2, Definition (definition)
History
- 2026-11-02: add by m2/dev
Deep link expansion QV6Q0H1BCX
| URI | m2://inv/QV6Q0H1BCX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09506#6L35, Deep link expansion (statement). In AQC7E6RAT4/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
QV6SPNEB08 QV6SPNEB08
| URI | m2://inv/QV6SPNEB08 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.35577#M2WS (statement). In 4F8QRV05BV/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
QV6T4SR4D0 QV6T4SR4D0
| URI | m2://inv/QV6T4SR4D0 |
|---|---|
| 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.10796#P6J3 (statement). In 9YDW0QJZ6K/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.3
QV6WCXNZFH QV6WCXNZFH
| URI | m2://inv/QV6WCXNZFH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06152#GCTC (statement). In HH35K7S17H/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
Fourth-Moment Certificate QV6X6B1ZVY
| URI | m2://inv/QV6X6B1ZVY |
|---|---|
| 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.30105#QFKK, Fourth-Moment Certificate (statement)
History
- 2026-11-01: add by m2/v0.6.15
QV6ZM09SPA QV6ZM09SPA
| URI | m2://inv/QV6ZM09SPA |
|---|---|
| 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 2610.21080#F118 (statement). In DGE917KQSQ/e1, theorem 7.1
History
- 2026-10-27: add by m2/v0.4.2
Theorem QV705FTR10
| URI | m2://inv/QV705FTR10 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rokhlin lemma#BS00, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Denise Kirschner QV768CC6DE
| URI | m2://inv/QV768CC6DE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Denise Kirschner, Denise Kirschner (topic). Also Wikidata Q88797604
History
- 2026-11-02: add by m2/dev
Representation QV77BWTX7F
| URI | m2://inv/QV77BWTX7F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean function#5U8X, Representation (definition)
History
- 2026-11-02: add by m2/dev
QV79MT946T QV79MT946T
| URI | m2://inv/QV79MT946T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17737#RWO6 (definition). In 8SXY7Y68HV/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Equivalent block formulation QV7CVJ6ZG7
| URI | m2://inv/QV7CVJ6ZG7 |
|---|---|
| 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#Z28S, Equivalent block formulation (statement). In 8BNPFYQDQX/e1, proposition 2.20
History
- 2026-10-29: add by m2/v0.4.10
Cauchy sequence QV7DV9N22A
| URI | m2://inv/QV7DV9N22A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > Uniform notions > Cauchy sequence, Cauchy sequence (unknown). Also Mathlib CauchySeq
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Sequences of real numbers > Cauchy sequences, Cauchy sequences (unknown). Also Mathlib CauchySeq
History
- 2026-10-26: add by m2/dev
QV7G8M5XAS QV7G8M5XAS
| URI | m2://inv/QV7G8M5XAS |
|---|---|
| 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.23562#JZ33 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition QV7HD24CG6
| URI | m2://inv/QV7HD24CG6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial number#6ZER, Definition (definition)
History
- 2026-11-02: add by m2/dev
The Effros-Handelman-Shen theorem QV7JK2PYBC
| URI | m2://inv/QV7JK2PYBC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Approximately finite-dimensional C*-algebra#VN12, The Effros-Handelman-Shen theorem (statement)
History
- 2026-11-02: add by m2/dev
endomorphism ring QV7NH5F8WC
| URI | m2://inv/QV7NH5F8WC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Endomorphism ring AWSBZWWMG9 |
Mentions
- wikidata: Wikidata Q2896709, endomorphism ring (unknown). Also MathWorld EndomorphismRing
- wikipedia: Wikipedia Endomorphism ring, Endomorphism ring (definition). Also Wikidata Q2896709
History
- 2026-10-26: add by m2/dev
QV7T7KHZXG QV7T7KHZXG
| URI | m2://inv/QV7T7KHZXG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06152#EN09 (statement). In HH35K7S17H/e1, lemma 4.17
History
- 2026-10-29: add by m2/v0.4.10
QV81Z2GZCC QV81Z2GZCC
| URI | m2://inv/QV81Z2GZCC |
|---|---|
| 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.13260#5JK9 (statement). In ZBQX9341RV/e1, proposition 6.3
History
- 2026-10-28: add by m2/v0.4.2
SAT Math QV83WC2FH8
| URI | m2://inv/QV83WC2FH8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SAT#2V9S, SAT Math (unknown)
History
- 2026-11-02: add by m2/dev
Gravitational constant QV85JJVCWE
| URI | m2://inv/QV85JJVCWE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#M2NU, Gravitational constant (unknown)
History
- 2026-11-02: add by m2/dev
Juan Felipe Herrera QV8A9XG5AK
| URI | m2://inv/QV8A9XG5AK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#SX88, Juan Felipe Herrera (unknown)
History
- 2026-11-02: add by m2/dev
QV8PW40E7Q QV8PW40E7Q
| URI | m2://inv/QV8PW40E7Q |
|---|---|
| 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 2601.10958#7YK8 (statement). In 4W55AH5T6R/e1, proposition 4
History
- 2026-10-27: add by m2/v0.3.5
QV8ZA5YFCA QV8ZA5YFCA
| URI | m2://inv/QV8ZA5YFCA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#ms:seqflimit:lemma (statement). In E59CDZA4DP, lemma, section 4.5.5
History
- 2026-11-01: add by m2/v0.6.13
QV91CE945X QV91CE945X
| URI | m2://inv/QV91CE945X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#prop:powerserrealradius (statement). In E59CDZA4DP, prop, section 10.6.5
History
- 2026-11-01: add by m2/v0.6.13
Pandrosion QV95C7QS3J
| URI | m2://inv/QV95C7QS3J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pandrosion, Pandrosion (topic). Also Wikidata Q63456919
History
- 2026-11-02: add by m2/dev
QV984NNYFR QV984NNYFR
| URI | m2://inv/QV984NNYFR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#thm:prop-set (statement). In N54F33XE07, lem, section 9.3
History
- 2026-11-01: add by m2/v0.6.13
D. Raghavarao QV99YD30FD
| URI | m2://inv/QV99YD30FD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#09KK, D. Raghavarao (unknown)
History
- 2026-11-02: add by m2/dev
QV9AVDT4ZY QV9AVDT4ZY
| URI | m2://inv/QV9AVDT4ZY |
|---|---|
| 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.25457#CMVA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Difunctional QV9BRSHTGH
| URI | m2://inv/QV9BRSHTGH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary relation#UH2L, Difunctional (unknown)
History
- 2026-11-02: add by m2/dev
Nim QV9E50FD01
| URI | m2://inv/QV9E50FD01 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q724409, Nim (unknown). Also MathWorld Nim
- wikipedia: Wikipedia Nim, Nim (definition). Also Wikidata Q724409
History
- 2026-10-26: add by m2/dev
QV9J8EXS3T QV9J8EXS3T
| URI | m2://inv/QV9J8EXS3T |
|---|---|
| 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.20801#H744 (statement). In A1GWWGRXPA/e1, lemma 3.44
History
- 2026-10-27: add by m2/v0.4.2
double groupoid QV9JKCGF71
| URI | m2://inv/QV9JKCGF71 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17008126, double groupoid (unknown). Also nLab double groupoid
- wikipedia: Wikipedia Double groupoid, Double groupoid (definition). Also Wikidata Q17008126
History
- 2026-10-26: add by m2/dev
Takeo Wada QV9KRDP5QJ
| URI | m2://inv/QV9KRDP5QJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q723171, Takeo Wada (unknown). Also ProofWiki Mathematician:Takeo_Wada
- wikipedia: Wikipedia Takeo Wada, Takeo Wada (topic). Also Wikidata Q723171
History
- 2026-10-26: add by m2/dev
QV9MFACA8P QV9MFACA8P
| URI | m2://inv/QV9MFACA8P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37313#VWQL (definition). In Z1F6SXQ6XW/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
QV9MWJGVQT QV9MWJGVQT
| URI | m2://inv/QV9MWJGVQT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03814#1UDR (statement). In STPNP83RJS/e1, theorem 1.7
History
- 2026-10-29: add by m2/v0.4.12
QVA52DZS68 QVA52DZS68
| URI | m2://inv/QVA52DZS68 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.01916#AJTL (statement). In XTGB5Z08YH/e1, lemma 3.22
History
- 2026-10-27: add by m2/v0.4.0
QVAG7W0E3M QVAG7W0E3M
| URI | m2://inv/QVAG7W0E3M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#def:real number notation (definition). In P1C114YBXG, definition, section u1
History
- 2026-11-01: add by m2/v0.6.13
free, algebraic structure QVAN02ES3G
| URI | m2://inv/QVAN02ES3G |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.11/free-algebraic-structure, free, algebraic structure (concept). In N54F33XE07, index, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
Fractional stable paths problems QVAR9ZAA1S
| URI | m2://inv/QVAR9ZAA1S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PPAD-complete problems#QSYX, Fractional stable paths problems (unknown)
History
- 2026-11-02: add by m2/dev
Variants QVAXP8SCR0
| URI | m2://inv/QVAXP8SCR0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matching pennies#FAM6, Variants (statement)
History
- 2026-11-02: add by m2/dev
QVB437YZMA QVB437YZMA
| URI | m2://inv/QVB437YZMA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14837#0ILF (statement). In J4P6HXMJCH/e1, proposition 5.5
History
- 2026-10-28: add by m2/v0.4.2
QVB58JK2HD QVB58JK2HD
| URI | m2://inv/QVB58JK2HD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.00412#B48G (statement). In APD8GE0E4F/e1, proposition 2.11
History
- 2026-10-27: add by m2/v0.3.5
Tutte graph QVB6E8HNT9
| URI | m2://inv/QVB6E8HNT9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115541, Tutte graph (unknown). Also House of Graphs 1399, MathWorld TuttesGraph
- wikipedia: Wikipedia Tutte graph, Tutte graph (definition). Also Wikidata Q3115541
History
- 2026-10-26: add by m2/dev
Two Taverns, Pennsylvania QVBHK0Q5CW
| URI | m2://inv/QVBHK0Q5CW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#H1T4, Two Taverns, Pennsylvania (unknown)
History
- 2026-11-02: add by m2/dev
QVBK10EGY2 QVBK10EGY2
| URI | m2://inv/QVBK10EGY2 |
|---|---|
| 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 2502.04323#9YB7 (statement). In MK60S6RKJP/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
QVBK313TY9 QVBK313TY9
| URI | m2://inv/QVBK313TY9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20798#THCF (statement)
History
- 2026-11-02: add by m2/v0.6.18
Precision limit of a single pass QVBNA73BY2
| URI | m2://inv/QVBNA73BY2 |
|---|---|
| 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.29554#W5KQ, Precision limit of a single pass (statement)
History
- 2026-11-01: add by m2/v0.6.15
Substitution Equivalence QVBNRQ8D5W
| URI | m2://inv/QVBNRQ8D5W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#YUT0, Substitution Equivalence (definition). In CPYWHRTPKC/e1, definition 4.11
History
- 2026-10-27: add by m2/v0.4.2
Ivan Zhegalkin QVBY8EC622
| URI | m2://inv/QVBY8EC622 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ivan Zhegalkin, Ivan Zhegalkin (topic). Also Wikidata Q1384978
History
- 2026-11-02: add by m2/dev
QVBZAN1V0V QVBZAN1V0V
| URI | m2://inv/QVBZAN1V0V |
|---|---|
| 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.30663#K4H6 (statement). In 3JZDKWS8NK/e1, corollary 10.4
History
- 2026-10-31: add by m2/v0.5.6
QVC96GGPD8 QVC96GGPD8
| URI | m2://inv/QVC96GGPD8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28780#YKH6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Forward decoupling QVCB8TH6NN
| URI | m2://inv/QVCB8TH6NN |
|---|---|
| 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.27250#MC9Y, Forward decoupling (statement)
History
- 2026-11-01: add by m2/v0.6.15
QVCHVGRA19 QVCHVGRA19
| URI | m2://inv/QVCHVGRA19 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/transpose.tex#proof-6 (proof). In RZP28ERRZV, proof, section 61.5
History
- 2026-11-01: add by m2/v0.6.13
Barbier's theorem QVD3M8M697
| URI | m2://inv/QVD3M8M697 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#Z1IZ, Barbier's theorem (statement)
History
- 2026-11-02: add by m2/dev
Compatibility with Bayes' theorem QVD61TCGM9
| URI | m2://inv/QVD61TCGM9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principle of maximum entropy#O390, Compatibility with Bayes' theorem (statement)
History
- 2026-11-02: add by m2/dev
QVD683P5Q2 QVD683P5Q2
| URI | m2://inv/QVD683P5Q2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00323#L3SH (statement). In BPRFEQY7W4/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.6
Applications QVD6BWCR3E
| URI | m2://inv/QVD6BWCR3E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List coloring#GCHV, Applications (example)
History
- 2026-11-02: add by m2/dev
Example QVD8WCNP62
| URI | m2://inv/QVD8WCNP62 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prüfer sequence#B4R3, Example (example)
History
- 2026-11-02: add by m2/dev
Generic-center reduction QVDC5AK8P0
| URI | m2://inv/QVDC5AK8P0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.27798#M6S2, Generic-center reduction (statement)
History
- 2026-11-01: add by m2/v0.6.15
A. Ross Eckler Jr. QVDDK7QKNM
| URI | m2://inv/QVDDK7QKNM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CH0N, A. Ross Eckler Jr. (unknown)
History
- 2026-11-02: add by m2/dev
QVDH9QS7G7 QVDH9QS7G7
| URI | m2://inv/QVDH9QS7G7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-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.35543#B4QF (statement). In WSG1ZW956E/e1, lemma 5.5
History
- 2026-10-30: add by m2/v0.4.12
QVDNBWQZ4Z QVDNBWQZ4Z
| URI | m2://inv/QVDNBWQZ4Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34193#FALK (statement). In 9XMZTTSF5E/e1, proposition 1.6
History
- 2026-10-30: add by m2/v0.4.12
Formulation QVE6MBJM31
| URI | m2://inv/QVE6MBJM31 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia No–no paradox#2YLS, Formulation (definition)
History
- 2026-11-02: add by m2/dev
QVE851NEXK QVE851NEXK
| URI | m2://inv/QVE851NEXK |
|---|---|
| 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.14154#QJRH (definition). In 8X6PXX2TRA/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Deal chance node QVE9RB8K74
| URI | m2://inv/QVE9RB8K74 |
|---|---|
| Kind | definition |
| 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.26265#JL40, Deal chance node (definition)
History
- 2026-11-01: add by m2/v0.6.15
Keri Sather-Wagstaff QVEKHMTWPJ
| URI | m2://inv/QVEKHMTWPJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Keri Sather-Wagstaff, Keri Sather-Wagstaff (topic). Also Wikidata Q102201416
History
- 2026-11-02: add by m2/dev
QVF42P13XT QVF42P13XT
| URI | m2://inv/QVF42P13XT |
|---|---|
| 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.35030#YRDY (statement). In DPT4P2BTEW/e1, lemma 9.3
History
- 2026-10-30: add by m2/v0.4.12
Lars Edvard Phragmén QVF4TJ69C0
| URI | m2://inv/QVF4TJ69C0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lars Edvard Phragmén, Lars Edvard Phragmén (topic). Also Wikidata Q1430959
History
- 2026-11-02: add by m2/dev
Semiclassical unit-area disk QVF65FM9RP
| URI | m2://inv/QVF65FM9RP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02436#Z9S7, Semiclassical unit-area disk (statement). In J9WZBK6KAY/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.12
Periodic boundary conditions QVF7C1JSEY
| URI | m2://inv/QVF7C1JSEY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Periodic boundary conditions, Periodic boundary conditions (definition). Also Wikidata Q2992284
History
- 2026-11-02: add by m2/dev
QVF7GEVEHT QVF7GEVEHT
| URI | m2://inv/QVF7GEVEHT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0902.4012#YLUK (statement). In 6FH16YESRH/e1, lemma 2.10
History
- 2026-10-27: add by m2/v0.3.5
Microstates and free entropy dimension QVFAGE7E8K
| URI | m2://inv/QVFAGE7E8K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-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.22109#BNHY, Microstates and free entropy dimension (statement). In MZ60NP20BH/e1, corollary 4.3
History
- 2026-10-27: add by m2/v0.4.0
Properties QVFG8RE1CB
| URI | m2://inv/QVFG8RE1CB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian function#SS3T, Properties (statement)
History
- 2026-11-02: add by m2/dev
Unrestricted algorithm QVFJWQJZCT
| URI | m2://inv/QVFJWQJZCT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#TC75, Unrestricted algorithm (definition)
- wikipedia: Wikipedia List of numerical analysis topics#306P, Unrestricted algorithm (definition)
History
- 2026-11-02: add by m2/dev
Method QVG1YBP83H
| URI | m2://inv/QVG1YBP83H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twisting properties#PMOI, Method (definition)
History
- 2026-11-02: add by m2/dev
David Berenstein QVG5S1BQ55
| URI | m2://inv/QVG5S1BQ55 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5231332, David Berenstein (unknown). Also nLab David Berenstein
History
- 2026-10-26: add by m2/dev
Ternary plot QVGCDZGXGH
| URI | m2://inv/QVGCDZGXGH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#JXU6, Ternary plot (definition)
- wikipedia: Wikipedia List of graphical methods#MHAH, Ternary plot (definition)
History
- 2026-11-02: add by m2/dev
QVGH5R48BW QVGH5R48BW
| URI | m2://inv/QVGH5R48BW |
|---|---|
| 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.19882#C808 (statement)
History
- 2026-11-02: add by m2/v0.6.18
QVGQVHAC0P QVGQVHAC0P
| URI | m2://inv/QVGQVHAC0P |
|---|---|
| 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.07890#VC6Z (statement). In 6F3GSDT2V1/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Statement QVH7CRXS6W
| URI | m2://inv/QVH7CRXS6W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Motzkin–Taussky theorem#5OGB, Statement (statement)
History
- 2026-11-02: add by m2/dev
QVHD9J02HX QVHD9J02HX
| URI | m2://inv/QVHD9J02HX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_genfunction_exercises.ptx#exercise-7 (exercise). In QKM9DD2H56, exercise, section 8
History
- 2026-11-01: add by m2/v0.6.13
phase portraits QVHE37BPTQ
| URI | m2://inv/QVHE37BPTQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential equations > phase portraits, phase portraits (unknown)
History
- 2026-10-26: add by m2/dev
QVHFRB2X7S QVHFRB2X7S
| URI | m2://inv/QVHFRB2X7S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08039#4MB8 (statement). In Y1K8WE4MDP/e1, proposition 3.7
History
- 2026-10-29: add by m2/v0.4.10
Newton line QVHKWSGCNP
| URI | m2://inv/QVHKWSGCNP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton line, Newton line (definition). Also Wikidata Q4382744
History
- 2026-11-02: add by m2/dev
QVHMVH3BVF QVHMVH3BVF
| URI | m2://inv/QVHMVH3BVF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20599#62TL (statement)
History
- 2026-11-02: add by m2/v0.6.18
QVHN7BAEE7 QVHN7BAEE7
| URI | m2://inv/QVHN7BAEE7 |
|---|---|
| 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#VDFP (statement). In W4TYN4PGE8/e1, proposition 5.7
History
- 2026-10-27: add by m2/v0.3.5
Besov spaces QVHPPSW4C2
| URI | m2://inv/QVHPPSW4C2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17815#0JZY, Besov spaces (definition). In GJ7N2EWACX/e1, definition A.1
History
- 2026-10-28: add by m2/v0.4.2
Descent and invertibility QVHVWTK8R5
| URI | m2://inv/QVHVWTK8R5 |
|---|---|
| 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.10993#XNDA, Descent and invertibility (statement). In 1JCPN0K7DB/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.3
QVHW5617HV QVHW5617HV
| URI | m2://inv/QVHW5617HV |
|---|---|
| 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.27114#IHTS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Algebraic properties QVJ0VVKKBF
| URI | m2://inv/QVJ0VVKKBF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hahn series#HCSO, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
John Wishart QVJ3DJ8280
| URI | m2://inv/QVJ3DJ8280 |
|---|---|
| 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#TCVR, John Wishart (topic)
History
- 2026-11-02: add by m2/dev
Gilbert Ames Bliss QVJ47ZEZ13
| URI | m2://inv/QVJ47ZEZ13 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gilbert Ames Bliss, Gilbert Ames Bliss (topic). Also Wikidata Q441539
History
- 2026-11-02: add by m2/dev
QVJBWD0PM1 QVJBWD0PM1
| URI | m2://inv/QVJBWD0PM1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37706#QYSK (statement). In 6YY27KRJFN/e1, lemma 4.39
History
- 2026-10-30: add by m2/v0.4.12
QVJCBQR4Z4 QVJCBQR4Z4
| URI | m2://inv/QVJCBQR4Z4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/stokes.tex#example-2 (example). In RZP28ERRZV, example, section 46.3
History
- 2026-11-01: add by m2/v0.6.13
QVJECQ3JFY QVJECQ3JFY
| URI | m2://inv/QVJECQ3JFY |
|---|---|
| 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 2108.09796#HIJG (statement). In NAA7WFQN20/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
Examples QVJGQA8JEA
| URI | m2://inv/QVJGQA8JEA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-separable wavelet#C667, Examples (example)
History
- 2026-11-02: add by m2/dev
one-way function QVJNRHPVFM
| URI | m2://inv/QVJNRHPVFM |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q720931, one-way function (unknown). Also MathWorld One-WayFunction
- wikipedia: Wikipedia One-way function, One-way function (conjecture). Also Wikidata Q720931
History
- 2026-10-26: add by m2/dev
Julius Richard Büchi QVJP3S025G
| URI | m2://inv/QVJP3S025G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Julius Richard Büchi, Julius Richard Büchi (topic). Also Wikidata Q92672
History
- 2026-11-02: add by m2/dev
Generalizations QVJPAYVN5K
| URI | m2://inv/QVJPAYVN5K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard matrix#VOVT, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
QVJYP5DNHF QVJYP5DNHF
| URI | m2://inv/QVJYP5DNHF |
|---|---|
| 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.34283#QL6O (statement). In DF1S2FHKJE/e1, lemma 13
History
- 2026-10-30: add by m2/v0.4.12
Method QVK16THAV4
| URI | m2://inv/QVK16THAV4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Akima spline#6SBZ, Method (definition)
History
- 2026-11-02: add by m2/dev
QVK63K79DZ QVK63K79DZ
| URI | m2://inv/QVK63K79DZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20207#HIRJ (statement). In 1MPH7GCFJ2/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.4.2
Complete-fiber mean compatibility QVK782DKNY
| URI | m2://inv/QVK782DKNY |
|---|---|
| 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.09472#T361, Complete-fiber mean compatibility (statement). In 35925M9GJW/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.10
Permanently coupled increasing sequence QVK8SS9PWT
| URI | m2://inv/QVK8SS9PWT |
|---|---|
| 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.30585#41EO, Permanently coupled increasing sequence (statement). In 15CVBWJDNQ/e1, lemma 3.4
History
- 2026-10-31: add by m2/v0.5.6
30 60 90 QVKBVSGR8B
| URI | m2://inv/QVKBVSGR8B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Special right triangle#M320, 30 60 90 (unknown)
History
- 2026-11-02: add by m2/dev
QVKG5MY84M QVKG5MY84M
| URI | m2://inv/QVKG5MY84M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14240#VA4S (definition). In HGQCBDDMQJ/e1, definition 2.8
History
- 2026-10-28: add by m2/v0.4.2
QVKPJYZAZE QVKPJYZAZE
| URI | m2://inv/QVKPJYZAZE |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15869#7AU8 (problem). In 5VRP29WZEK/e1, problem 6.4
History
- 2026-10-28: add by m2/v0.4.2
Julia Robinson QVKQ70Y6G6
| URI | m2://inv/QVKQ70Y6G6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#WAH8, Julia Robinson (topic)
- wikipedia: Wikipedia List of women logicians#1PIB, Julia Robinson (topic)
History
- 2026-11-02: add by m2/dev
Examples of analytic continuation QVKW1F35WY
| URI | m2://inv/QVKW1F35WY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytic continuation#6MX5, Examples of analytic continuation (example)
History
- 2026-11-02: add by m2/dev
Properties QVM48J8YXY
| URI | m2://inv/QVM48J8YXY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FinVect#Z9AW, Properties (statement)
History
- 2026-11-02: add by m2/dev
Formal logic QVM6VTH3EM
| URI | m2://inv/QVM6VTH3EM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logic#ZB2A, Formal logic (unknown)
History
- 2026-11-02: add by m2/dev
Frostman energy bounds QVMDY90SBB
| URI | m2://inv/QVMDY90SBB |
|---|---|
| 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.20643#8HM7, Frostman energy bounds (statement)
History
- 2026-11-02: add by m2/v0.6.18
Applications QVME06D895
| URI | m2://inv/QVME06D895 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet boundary condition#8JE9, Applications (example)
History
- 2026-11-02: add by m2/dev
QVMF4GSG2Z QVMF4GSG2Z
| URI | m2://inv/QVMF4GSG2Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-4-3-1.xml#act-4-3-1 (exercise). In 907G4C4EJ1, activity, section 4.3.2
History
- 2026-11-01: add by m2/v0.6.13
QVMFHC2PES QVMFHC2PES
| URI | m2://inv/QVMFHC2PES |
|---|---|
| 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.24878#ERH5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Matroid embedding QVMN4R159Z
| URI | m2://inv/QVMN4R159Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matroid embedding, Matroid embedding (definition). Also Wikidata Q6787902
History
- 2026-11-02: add by m2/dev
One-sided argument QVMPKDC0AQ
| URI | m2://inv/QVMPKDC0AQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cherry picking#1CUU, One-sided argument (unknown)
History
- 2026-11-02: add by m2/dev
QVMRZ7M3E7 QVMRZ7M3E7
| URI | m2://inv/QVMRZ7M3E7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20522#EKJ5 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Richard S. Ellis QVN8MJ6WGZ
| URI | m2://inv/QVN8MJ6WGZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard S. Ellis, Richard S. Ellis (topic). Also Wikidata Q36883343
History
- 2026-11-02: add by m2/dev
Statement of the theorem for the case QVNA1ZG8GP
| URI | m2://inv/QVNA1ZG8GP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stolz–Cesàro theorem#WADX, Statement of the theorem for the case (statement)
History
- 2026-11-02: add by m2/dev
QVNK9Q32NW QVNK9Q32NW
| URI | m2://inv/QVNK9Q32NW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-31 (exercise). In E59CDZA4DP, exercise, section 11.2.4
History
- 2026-11-01: add by m2/v0.6.13
Integral test for convergence QVNKA00X8Q
| URI | m2://inv/QVNKA00X8Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral test for convergence, Integral test for convergence (definition). Also Wikidata Q1155313
History
- 2026-11-02: add by m2/dev
Enriched split-open localization QVNTHT4M6C
| URI | m2://inv/QVNTHT4M6C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28220#65YM, Enriched split-open localization (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example QVNWA7JN7C
| URI | m2://inv/QVNWA7JN7C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trachtenberg system#RQVD, Example (example)
History
- 2026-11-02: add by m2/dev
QVNZ5HVP5T QVNZ5HVP5T
| URI | m2://inv/QVNZ5HVP5T |
|---|---|
| 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.21534#JQPX (definition)
History
- 2026-11-02: add by m2/v0.6.18
QVP2TK6R99 QVP2TK6R99
| URI | m2://inv/QVP2TK6R99 |
|---|---|
| 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.22311#UG8B (statement)
History
- 2026-11-02: add by m2/v0.6.17
QVP505JYC4 QVP505JYC4
| URI | m2://inv/QVP505JYC4 |
|---|---|
| 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.23390#MHSL (statement)
History
- 2026-11-02: add by m2/v0.6.17
Existence and uniqueness in law of additive process QVPCPVTZ8H
| URI | m2://inv/QVPCPVTZ8H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Additive process#AYPL, Existence and uniqueness in law of additive process (statement)
History
- 2026-11-02: add by m2/dev
QVPEQASE6N QVPEQASE6N
| URI | m2://inv/QVPEQASE6N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06340#TVOR (statement). In PKNZPECH82/e1, lemma 7.3
History
- 2026-10-29: add by m2/v0.4.10
QVPGNFA63Z QVPGNFA63Z
| URI | m2://inv/QVPGNFA63Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/infinite/dedekind-induction.tex#natinductionschema (statement). In PKGMM3P5QY, cor, section 79.7
History
- 2026-11-01: add by m2/v0.6.13
Nagambal Shah QVPJYWABD5
| URI | m2://inv/QVPJYWABD5 |
|---|---|
| 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#KNNJ, Nagambal Shah (topic)
History
- 2026-11-02: add by m2/dev
Conditional-density dichotomy QVQ00N07RT
| URI | m2://inv/QVQ00N07RT |
|---|---|
| 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.26576#RWQG, Conditional-density dichotomy (statement)
History
- 2026-11-01: add by m2/v0.6.15
QVQ0WVPFJJ QVQ0WVPFJJ
| URI | m2://inv/QVQ0WVPFJJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.16241#N9Q5 (statement). In WNDHZVY4WK/e1, lemma A.16
History
- 2026-10-28: add by m2/v0.4.2
QVQ0YA90GD QVQ0YA90GD
| URI | m2://inv/QVQ0YA90GD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-41 (exercise). In E59CDZA4DP, exercise, section 2.3.3
History
- 2026-11-01: add by m2/v0.6.13
QVQ2N5VWW9 QVQ2N5VWW9
| URI | m2://inv/QVQ2N5VWW9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37893#MEU8 (statement). In 8H0KHK7AMN/e1, lemma 4.14
History
- 2026-10-30: add by m2/v0.4.12
Mixed identities in the annihilator direction QVQ4MYWJ65
| URI | m2://inv/QVQ4MYWJ65 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#6O22, Mixed identities in the annihilator direction (statement)
History
- 2026-11-01: add by m2/v0.6.15
Every orbit is a triple system QVQ5618GZP
| URI | m2://inv/QVQ5618GZP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15340#YG4S, Every orbit is a triple system (statement). In 9NVKKW8HDH/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
QVQ5EHWADR QVQ5EHWADR
| URI | m2://inv/QVQ5EHWADR |
|---|---|
| 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 2011.07352#7YWV (statement). In 3VPC1GGZ3E/e1, proposition 7.5
History
- 2026-10-27: add by m2/v0.3.5
QVQ621TREK QVQ621TREK
| URI | m2://inv/QVQ621TREK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.03601#QZ9S (statement). In F7TDYCHCSE/e1, theorem 2.14
History
- 2026-10-27: add by m2/v0.3.5
Imaginary error function QVQ7QJC3BE
| URI | m2://inv/QVQ7QJC3BE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Error function#PXMB, Imaginary error function (unknown)
History
- 2026-11-02: add by m2/dev
Admissible algebra QVQCRD5YCX
| URI | m2://inv/QVQCRD5YCX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Admissible algebra, Admissible algebra (definition). Also Wikidata Q16928426
History
- 2026-11-02: add by m2/dev
Fixed-objective trajectory potential QVQEYQWT66
| URI | m2://inv/QVQEYQWT66 |
|---|---|
| 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.15202#9THH, Fixed-objective trajectory potential (statement). In X1FPG0KYBM/e1, theorem D.1
History
- 2026-10-28: add by m2/v0.4.2
Properties QVQF7BNKKT
| URI | m2://inv/QVQF7BNKKT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superabundant number#JDWY, Properties (statement)
History
- 2026-11-02: add by m2/dev
Pride in STEM QVQFF9V1EX
| URI | m2://inv/QVQFF9V1EX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pride in STEM, Pride in STEM (definition). Also Wikidata Q86754850
History
- 2026-11-02: add by m2/dev
Lemma 2 QVQGNQNSM8
| URI | m2://inv/QVQGNQNSM8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur–Weyl duality#QA9A, Lemma 2 (statement)
History
- 2026-11-02: add by m2/dev
Axiom of real determinacy QVQRWJJ2E1
| URI | m2://inv/QVQRWJJ2E1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of real determinacy, Axiom of real determinacy (statement). Also Wikidata Q4830559
History
- 2026-11-02: add by m2/dev
short exact sequence QVQTKJSPBN
| URI | m2://inv/QVQTKJSPBN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121145075, short exact sequence (definition). Also MathWorld ShortExactSequence, ProofWiki Definition:Short_Exact_Sequence_of_Modules
History
- 2026-10-26: add by m2/dev
QVR0MPC0SV QVR0MPC0SV
| URI | m2://inv/QVR0MPC0SV |
|---|---|
| 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 2608.24190#1XZY (statement). In DW7FVA587C/e1, lemma 3.16
History
- 2026-10-27: add by m2/v0.3.5
Principle of minimum discrimination information QVR3EJ3D4S
| URI | m2://inv/QVR3EJ3D4S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kullback–Leibler divergence#5UQ6, Principle of minimum discrimination information (statement)
History
- 2026-11-02: add by m2/dev
QVR9KA6MVM QVR9KA6MVM
| URI | m2://inv/QVR9KA6MVM |
|---|---|
| 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.00584#QZAV (statement). In 3CRSR95BNA/e1, theorem 4.9
History
- 2026-10-30: add by m2/v0.4.12
Divisibility properties QVRDKFYRCN
| URI | m2://inv/QVRDKFYRCN |
|---|---|
| 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.18281#06AL, Divisibility properties (statement). In QYD0EJM85G/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.2
Representation on coordinate rings QVRFHK93BN
| URI | m2://inv/QVRFHK93BN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation on coordinate rings, Representation on coordinate rings (definition). Also Wikidata Q18394057
History
- 2026-11-02: add by m2/dev
QVRR9QSJB9 QVRR9QSJB9
| URI | m2://inv/QVRR9QSJB9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.06637#6I1Y (statement). In KFCJ5CFP3G/e1, theorem 1.6
History
- 2026-10-27: add by m2/v0.3.5
Köthe QVRRVSAS9Y
| URI | m2://inv/QVRRVSAS9Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#JON0, Köthe (definition)
History
- 2026-11-02: add by m2/dev
intersection homology QVRVPH0HGT
| URI | m2://inv/QVRVPH0HGT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6056721, intersection homology (unknown). Also nLab intersection cohomology
- wikipedia: Wikipedia Intersection homology, Intersection homology (definition). Also Wikidata Q6056721
History
- 2026-10-26: add by m2/dev
cone QVS2Q21252
| URI | m2://inv/QVS2Q21252 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#VOO2, cone (definition)
History
- 2026-11-02: add by m2/dev
QVS2ZQH4CC QVS2ZQH4CC
| URI | m2://inv/QVS2ZQH4CC |
|---|---|
| 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.21399#923K (statement)
History
- 2026-11-02: add by m2/v0.6.18
QVS4M0KTP8 QVS4M0KTP8
| URI | m2://inv/QVS4M0KTP8 |
|---|---|
| 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 2605.16669#XJLF (statement). In 1463YCCRP5/e1, corollary 3.7
History
- 2026-10-27: add by m2/v0.4.0
Pao-Lu Hsu QVS58Z4HNB
| URI | m2://inv/QVS58Z4HNB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#QTEL, Pao-Lu Hsu (topic)
History
- 2026-11-02: add by m2/dev
Kepler–Bouwkamp constant QVSB8HJ7FD
| URI | m2://inv/QVSB8HJ7FD |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Johannes Kepler#ZV2E, Kepler–Bouwkamp constant (object)
History
- 2026-11-02: add by m2/dev
Mathematical nominalism QVSHFEF55S
| URI | m2://inv/QVSHFEF55S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nominalism#VS6Y, Mathematical nominalism (unknown)
History
- 2026-11-02: add by m2/dev
Gould's sequence QVSXQHZWN0
| URI | m2://inv/QVSXQHZWN0 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#H3CS, Gould's sequence (object)
History
- 2026-11-02: add by m2/dev
QVSZEDGQSG QVSZEDGQSG
| URI | m2://inv/QVSZEDGQSG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#BIXE (statement). In CY1FE8W1ZW/e1, proposition 0.237
History
- 2026-10-27: add by m2/v0.3.5
Modified Morlet wavelet QVT324303A
| URI | m2://inv/QVT324303A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modified Morlet wavelet, Modified Morlet wavelet (definition). Also Wikidata Q6889379
History
- 2026-11-02: add by m2/dev
Definition QVTC3H10X1
| URI | m2://inv/QVTC3H10X1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantifier shift#LJSO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Moritz Kerz QVTRFE43ZK
| URI | m2://inv/QVTRFE43ZK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1947971, Moritz Kerz (unknown). Also nLab Moritz Kerz
History
- 2026-10-26: add by m2/dev
Scott Sheffield QVTTP7VRF6
| URI | m2://inv/QVTTP7VRF6 |
|---|---|
| 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#INWA, Scott Sheffield (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OWTZ, Scott Sheffield (topic)
History
- 2026-11-02: add by m2/dev
Okamoto–Uchiyama cryptosystem QVTZ4XY6JN
| URI | m2://inv/QVTZ4XY6JN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Okamoto–Uchiyama cryptosystem, Okamoto–Uchiyama cryptosystem (definition). Also Wikidata Q2017076
History
- 2026-11-02: add by m2/dev
QVTZZ1ENFK QVTZZ1ENFK
| URI | m2://inv/QVTZZ1ENFK |
|---|---|
| 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.22374#OULG (statement)
History
- 2026-11-02: add by m2/v0.6.17
QVV1T4TM4M QVV1T4TM4M
| URI | m2://inv/QVV1T4TM4M |
|---|---|
| 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.02570#ETQP (statement). In 6JK30RQ1SX/e1, proposition 4.5
History
- 2026-10-29: add by m2/v0.4.12
QVV4H9ME1P QVV4H9ME1P
| URI | m2://inv/QVV4H9ME1P |
|---|---|
| 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.15831#W7PH (statement). In CVESAPNMCQ/e1, corollary 3.6
History
- 2026-10-28: add by m2/v0.4.2
anger QVV6VSWX3D
| URI | m2://inv/QVV6VSWX3D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.2/anger, anger (concept). In N54F33XE07, index, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
Fluency heuristic QVVS1N2T57
| URI | m2://inv/QVVS1N2T57 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#GBQE, Fluency heuristic (unknown)
History
- 2026-11-02: add by m2/dev
^ QVVSVGQ2HB
| URI | m2://inv/QVVSVGQ2HB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#8162, ^ (definition)
History
- 2026-11-02: add by m2/dev
QVW3TZQ7YK QVW3TZQ7YK
| URI | m2://inv/QVW3TZQ7YK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#defn:total-map (definition). In N54F33XE07, defn, section 3.7
History
- 2026-11-01: add by m2/v0.6.13
Clement W. H. Lam QVWYGDTB9Z
| URI | m2://inv/QVWYGDTB9Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clement W. H. Lam, Clement W. H. Lam (topic). Also Wikidata Q1100286
History
- 2026-11-02: add by m2/dev
Georgiy Shilov QVXCMTX9EC
| URI | m2://inv/QVXCMTX9EC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1509195, Georgiy Shilov (unknown). Also ProofWiki Mathematician:Georgi_Evgen'evich_Shilov
History
- 2026-10-26: add by m2/dev
Unions of orbits are triple systems QVXCT3TGHF
| URI | m2://inv/QVXCT3TGHF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15340#XTDN, Unions of orbits are triple systems (statement). In 9NVKKW8HDH/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Reference QVXJ8APYPQ
| URI | m2://inv/QVXJ8APYPQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reference, Reference (definition). Also Wikidata Q121769
History
- 2026-11-02: add by m2/dev
Fielden Professor of Pure Mathematics QVXTWEEH0D
| URI | m2://inv/QVXTWEEH0D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fielden Professor of Pure Mathematics, Fielden Professor of Pure Mathematics (definition). Also Wikidata Q5447151
History
- 2026-11-02: add by m2/dev
Extragradient identity QVXV6N2ZT7
| URI | m2://inv/QVXV6N2ZT7 |
|---|---|
| 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.12641#HO98, Extragradient identity (statement). In X5BYGZZHPF/e1, lemma D.1
History
- 2026-10-28: add by m2/v0.4.2
Tidyverse QVXYC20KXN
| URI | m2://inv/QVXYC20KXN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tidyverse, Tidyverse (definition). Also Wikidata Q60755534
History
- 2026-11-02: add by m2/dev
Definition and properties QVY162P30T
| URI | m2://inv/QVY162P30T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation theory of finite groups#FGE1, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
Dan Segal QVY5Z3E62C
| URI | m2://inv/QVY5Z3E62C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dan Segal, Dan Segal (topic). Also Wikidata Q536428
History
- 2026-11-02: add by m2/dev
QVY6FQVVSS QVY6FQVVSS
| URI | m2://inv/QVY6FQVVSS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38772#XUN2 (statement). In 1C3R5NAQAP/e1, theorem 3.13
History
- 2026-10-30: add by m2/v0.4.12
SQ-universal group QVY8KCAHYW
| URI | m2://inv/QVY8KCAHYW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SQ-universal group, SQ-universal group (definition). Also Wikidata Q7392719
History
- 2026-11-02: add by m2/dev
Gaussian ensemble QVYBFG8SDX
| URI | m2://inv/QVYBFG8SDX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian ensemble, Gaussian ensemble (definition). Also Wikidata Q135920384
History
- 2026-11-02: add by m2/dev
Alejandro Jodorowsky QVYCRTY62V
| URI | m2://inv/QVYCRTY62V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#S0ZJ, Alejandro Jodorowsky (unknown)
History
- 2026-11-02: add by m2/dev
QVYDSXEWDA QVYDSXEWDA
| URI | m2://inv/QVYDSXEWDA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29898#RMN6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
QVYNCXPGJD QVYNCXPGJD
| URI | m2://inv/QVYNCXPGJD |
|---|---|
| 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.21017#1O5E (statement)
History
- 2026-11-02: add by m2/v0.6.18
Equidissection QVYRC28K8M
| URI | m2://inv/QVYRC28K8M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equidissection, Equidissection (definition). Also Wikidata Q3589442
History
- 2026-11-02: add by m2/dev
Examples QVZCSSV6HZ
| URI | m2://inv/QVZCSSV6HZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartan subalgebra#Z0IT, Examples (example)
History
- 2026-11-02: add by m2/dev
QVZJJWBT84 QVZJJWBT84
| URI | m2://inv/QVZJJWBT84 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.17060#NWPW (definition). In 5KR3MHYVV6/e1, definition 3.6
History
- 2026-10-28: add by m2/v0.4.2
$\lambda$-calculus QVZQNCPH51
| URI | m2://inv/QVZQNCPH51 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u1/lambda-calculus, $\lambda$-calculus (concept). In N54F33XE07, index, section u1.u1
History
- 2026-11-01: add by m2/v0.6.13
Quasi-realtime automata QVZQXA3S0W
| URI | m2://inv/QVZQXA3S0W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#Q44R, Quasi-realtime automata (unknown)
History
- 2026-11-02: add by m2/dev
QVZY0H41F1 QVZY0H41F1
| URI | m2://inv/QVZY0H41F1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14888#A6UX (statement). In GN3ZT9DAD9/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2