Inventory rows ZJ
The cards of the rows of the inventory whose ids start with ZJ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
ZJ00DKSYKA ZJ00DKSYKA
| URI | m2://inv/ZJ00DKSYKA |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability.tex#proof-6 (proof). In PKGMM3P5QY, proof, section 8.10
History
- 2026-11-01: add by m2/v0.6.13
Example ZJ05FVNPAW
| URI | m2://inv/ZJ05FVNPAW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doubling-oriented Doche–Icart–Kohel curve#Z67Y, Example (example)
History
- 2026-11-02: add by m2/dev
ZJ0GWVFYCQ ZJ0GWVFYCQ
| URI | m2://inv/ZJ0GWVFYCQ |
|---|---|
| Kind | problem |
| 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.32439#YVT9 (problem). In GD8D1YH7K4/e1, problem
History
- 2026-10-31: add by m2/v0.5.6
ZJ0M4D3RAM ZJ0M4D3RAM
| URI | m2://inv/ZJ0M4D3RAM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#9VN7 (statement). In BDN507RN7J/e1, lemma 5.1.3
History
- 2026-10-30: add by m2/v0.4.12
ZJ0TKKBYWE ZJ0TKKBYWE
| URI | m2://inv/ZJ0TKKBYWE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.18246#TPFX (statement). In SN6F0MPPVF/e1, corollary 8.6
History
- 2026-10-28: add by m2/v0.4.2
The two scalars along the flattened family ZJ0WNJQB8C
| URI | m2://inv/ZJ0WNJQB8C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27765#3BBU, The two scalars along the flattened family (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mollweide projection ZJ11XF3S8K
| URI | m2://inv/ZJ11XF3S8K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1141440, Mollweide projection (unknown). Also MathWorld MollweideProjection
History
- 2026-10-26: add by m2/dev
ZJ145EHH9B ZJ145EHH9B
| URI | m2://inv/ZJ145EHH9B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0706.0357#3ZWC (statement). In GX9K29SRY8/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
ZJ14K50Z8E ZJ14K50Z8E
| URI | m2://inv/ZJ14K50Z8E |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/semantic-notions.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 19.15
History
- 2026-11-01: add by m2/v0.6.13
Hans Samelson ZJ17ZVZ5NX
| URI | m2://inv/ZJ17ZVZ5NX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans Samelson, Hans Samelson (topic). Also Wikidata Q1582208
History
- 2026-11-02: add by m2/dev
Examples ZJ1NXCR5D1
| URI | m2://inv/ZJ1NXCR5D1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur's property#OPS9, Examples (example)
History
- 2026-11-02: add by m2/dev
Kim Jae Kyoung ZJ1RTFNBA7
| URI | m2://inv/ZJ1RTFNBA7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kim Jae Kyoung, Kim Jae Kyoung (topic). Also Wikidata Q43142157
History
- 2026-11-02: add by m2/dev
ZJ1T9AS4E4 ZJ1T9AS4E4
| URI | m2://inv/ZJ1T9AS4E4 |
|---|---|
| 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.01737#6UNW (statement). In M4JGP708F4/e1, lemma 3.26
History
- 2026-10-29: add by m2/v0.4.12
More examples of multiplicity of a map at a point ZJ1Y0FQW0N
| URI | m2://inv/ZJ1Y0FQW0N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/morphism.tex#example-5, More examples of multiplicity of a map at a point (example). In RZP28ERRZV, example, section 86.4
History
- 2026-11-01: add by m2/v0.6.13
ZJ221NB1GT ZJ221NB1GT
| URI | m2://inv/ZJ221NB1GT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35287#S6PD (statement). In BPPBAWGPHJ/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Quadrilateral mesh ZJ27RFART3
| URI | m2://inv/ZJ27RFART3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Types of mesh#S2HH, Quadrilateral mesh (unknown)
History
- 2026-11-02: add by m2/dev
Uses ZJ2AKH5E57
| URI | m2://inv/ZJ2AKH5E57 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integer-valued function#4V3R, Uses (example)
History
- 2026-11-02: add by m2/dev
Examples ZJ2B7S24P4
| URI | m2://inv/ZJ2B7S24P4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotient space (linear algebra)#33W7, Examples (example)
History
- 2026-11-02: add by m2/dev
Support curve ZJ2CZES72M
| URI | m2://inv/ZJ2CZES72M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GF1T, Support curve (definition)
History
- 2026-11-02: add by m2/dev
Definition ZJ2M3MRPCY
| URI | m2://inv/ZJ2M3MRPCY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barycentric subdivision#JHXN, Definition (definition)
History
- 2026-11-02: add by m2/dev
Good Will Hunting ZJ2PYPZ6QE
| URI | m2://inv/ZJ2PYPZ6QE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of films about mathematicians#CIH4, Good Will Hunting (unknown)
History
- 2026-11-02: add by m2/dev
Transcendental equation ZJ2TZ3RBVW
| URI | m2://inv/ZJ2TZ3RBVW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transcendental equation, Transcendental equation (definition). Also Wikidata Q2273509
History
- 2026-11-02: add by m2/dev
Dengo ZJ2X7S4ACX
| URI | m2://inv/ZJ2X7S4ACX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptonomicon#L09M, Dengo (unknown)
History
- 2026-11-02: add by m2/dev
diagram ZJ2XYMAEA7
| URI | m2://inv/ZJ2XYMAEA7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.4/diagram, diagram (concept). In N54F33XE07, index, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
coefficient of determination ZJ3CHV8X74
| URI | m2://inv/ZJ3CHV8X74 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/6.5.3/coefficient-of-determination, coefficient of determination (concept). In 649HGZKE96, index, section 6.5.3
History
- 2026-11-01: add by m2/v0.6.13
Pseudoconvexity ZJ3D89XJ6A
| URI | m2://inv/ZJ3D89XJ6A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#ZZ3P, Pseudoconvexity (definition)
History
- 2026-11-02: add by m2/dev
proof by contradiction ZJ3E8DJ8EN
| URI | m2://inv/ZJ3E8DJ8EN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q184899, proof by contradiction (statement). Also MathWorld ProofbyContradiction, nLab proof by contradiction, ProofWiki Proof_by_Contradiction
History
- 2026-10-26: add by m2/dev
ZJ3EJWZJM0 ZJ3EJWZJM0
| URI | m2://inv/ZJ3EJWZJM0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.02065#YP1H (statement). In 60CK7P5F36/e1, corollary 7.9
History
- 2026-10-27: add by m2/v0.3.5
Fundamental --- \textsc{U-Wf ZJ3GQY02EE
| URI | m2://inv/ZJ3GQY02EE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#V86Y, Fundamental --- \textsc{U-Wf (statement). In CPYWHRTPKC/e1, lemma 6.52
History
- 2026-10-27: add by m2/v0.4.2
ZJ3J1PR5QT ZJ3J1PR5QT
| URI | m2://inv/ZJ3J1PR5QT |
|---|---|
| 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#JALV (statement). In J9WZBK6KAY/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
Example ZJ3ZFCVGHP
| URI | m2://inv/ZJ3ZFCVGHP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collective classification#TW4L, Example (example)
History
- 2026-11-02: add by m2/dev
Basic properties ZJ45016JRJ
| URI | m2://inv/ZJ45016JRJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enumerator polynomial#LZY3, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Tetris ZJ47D37TEZ
| URI | m2://inv/ZJ47D37TEZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#FUT2, Tetris (unknown)
History
- 2026-11-02: add by m2/dev
ZJ49G8NRJD ZJ49G8NRJD
| URI | m2://inv/ZJ49G8NRJD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#mv:exercise:curveintegral (exercise). In E59CDZA4DP, exercise, section 6.2.4
History
- 2026-11-01: add by m2/v0.6.13
Universal source-rate-free M-cost ZJ4BFNN7JJ
| URI | m2://inv/ZJ4BFNN7JJ |
|---|---|
| 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.31607#OYO8, Universal source-rate-free M-cost (definition). In H9X9WZ17TT/e1, definition 12
History
- 2026-10-31: add by m2/v0.5.6
Lighthill equation ZJ4ECHXJBD
| URI | m2://inv/ZJ4ECHXJBD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aeroacoustics#TMEI, Lighthill equation (unknown)
History
- 2026-11-02: add by m2/dev
ZJ4ETHZ8SS ZJ4ETHZ8SS
| URI | m2://inv/ZJ4ETHZ8SS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03517#WTTK (statement). In 3CGS9GSKTQ/e1, theorem 1.6
History
- 2026-10-29: add by m2/v0.4.12
U. Narayan Bhat ZJ4M5CAG7B
| URI | m2://inv/ZJ4M5CAG7B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia U. Narayan Bhat, U. Narayan Bhat (topic). Also Wikidata Q7863527
History
- 2026-11-02: add by m2/dev
Upward) $\kappa$-Spectral Curvature ZJ4N2XGA6T
| URI | m2://inv/ZJ4N2XGA6T |
|---|---|
| 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.06724#6NDI, Upward) $\kappa$-Spectral Curvature (definition). In W5XG3PGVF1/e1, definition 1.10
History
- 2026-10-29: add by m2/v0.4.10
Classifying space for O(n) ZJ4P36K1SA
| URI | m2://inv/ZJ4P36K1SA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classifying space for O(n), Classifying space for O(n) (definition). Also Wikidata Q5128444
History
- 2026-11-02: add by m2/dev
Properties ZJ4R95VKTS
| URI | m2://inv/ZJ4R95VKTS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bilinear map#4DMO, Properties (statement)
History
- 2026-11-02: add by m2/dev
ZJ4WZZPQH6 ZJ4WZZPQH6
| URI | m2://inv/ZJ4WZZPQH6 |
|---|---|
| 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.11455#DLMG (statement). In Z1EBVH5SP1/e1, proposition 8.2
History
- 2026-10-28: add by m2/v0.4.3
Jacques Alexandre Le Tenneur ZJ536155BG
| URI | m2://inv/ZJ536155BG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacques Alexandre Le Tenneur, Jacques Alexandre Le Tenneur (topic). Also Wikidata Q3157850
History
- 2026-11-02: add by m2/dev
ZJ54G7V799 ZJ54G7V799
| URI | m2://inv/ZJ54G7V799 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#X6ZI (statement)
- arxiv: arXiv 2609.21860#HFO4 (statement)
History
- 2026-11-02: add by m2/v0.6.18
ZJ5CABNR4F ZJ5CABNR4F
| URI | m2://inv/ZJ5CABNR4F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/soundness.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 19.2
History
- 2026-11-01: add by m2/v0.6.13
ZJ5HGA25KS ZJ5HGA25KS
| URI | m2://inv/ZJ5HGA25KS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2203.10220#TM5K (definition). In FX2SD1GFHT/e1, definition 5
History
- 2026-10-27: add by m2/v0.3.5
ZJ5JY3HKFZ ZJ5JY3HKFZ
| URI | m2://inv/ZJ5JY3HKFZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11760#VIU3 (statement). In NBNERWXW53/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.3
Hasse diagrams ZJ5TTZMG2T
| URI | m2://inv/ZJ5TTZMG2T |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/6.1/hasse-diagrams, Hasse diagrams (concept). In QKM9DD2H56, index, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
ZJ5YH27C8R ZJ5YH27C8R
| URI | m2://inv/ZJ5YH27C8R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18803#511M (statement). In VG8AF124T3/e1, proposition 7.3
History
- 2026-10-28: add by m2/v0.4.2
ZJ5ZCNQZ43 ZJ5ZCNQZ43
| URI | m2://inv/ZJ5ZCNQZ43 |
|---|---|
| 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.36904#S8X5 (statement). In R9E569AVRG/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
ZJ5ZME8BS1 ZJ5ZME8BS1
| URI | m2://inv/ZJ5ZME8BS1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16431#GMLG (statement). In 7NX9HA8VPM/e1, theorem 2.8
History
- 2026-10-28: add by m2/v0.4.2
ZJ66AN435Z ZJ66AN435Z
| URI | m2://inv/ZJ66AN435Z |
|---|---|
| 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.10243#WQTE (statement). In 6N7EAD1PYD/e1, theorem 1.10
History
- 2026-10-29: add by m2/v0.4.10
Generalizations ZJ67NMCC3K
| URI | m2://inv/ZJ67NMCC3K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur algebra#IE4E, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
vector measure ZJ68V8SWGC
| URI | m2://inv/ZJ68V8SWGC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Vector measure PS28BSAJKJ |
Mentions
- wikidata: Wikidata Q219308, vector measure (unknown). Also EoM Vector_measure
- wikipedia: Wikipedia Vector measure, Vector measure (definition). Also Wikidata Q219308
History
- 2026-10-26: add by m2/dev
ZJ69GSDBA7 ZJ69GSDBA7
| URI | m2://inv/ZJ69GSDBA7 |
|---|---|
| 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.09765#RB7X (statement). In 79JJCQ63R3/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.10
Euler's formula ZJ6EQ6A1FD
| URI | m2://inv/ZJ6EQ6A1FD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integration using Euler's formula#L636, Euler's formula (statement)
History
- 2026-11-02: add by m2/dev
first ZJ765GTSR2
| URI | m2://inv/ZJ765GTSR2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#S3W1, first (definition)
History
- 2026-11-02: add by m2/dev
Extension ZJ779S4AE1
| URI | m2://inv/ZJ779S4AE1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ergun equation#EGFH, Extension (statement)
History
- 2026-11-02: add by m2/dev
ZJ77TCDFRZ ZJ77TCDFRZ
| URI | m2://inv/ZJ77TCDFRZ |
|---|---|
| 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.18033#9ZBP (statement). In 59VRB6Y27N/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
ZJ780HWN1R ZJ780HWN1R
| URI | m2://inv/ZJ780HWN1R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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.32916#9G0Q (definition). In G1RP4JY5PE/e1, definition 5.4.1
History
- 2026-10-31: add by m2/v0.5.6
$\mathbb{Q}$-pseudomanifold ZJ7DBM7DEK
| URI | m2://inv/ZJ7DBM7DEK |
|---|---|
| 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 2507.12309#R8F7, $\mathbb{Q}$-pseudomanifold (definition). In ZR53K3E0FR/e1, definition 20
History
- 2026-10-27: add by m2/v0.3.6
ZJ7GQ00FR2 ZJ7GQ00FR2
| URI | m2://inv/ZJ7GQ00FR2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09162#32F6 (statement). In TAPS8P2VYS/e1, theorem C
History
- 2026-10-29: add by m2/v0.4.10
Threshold failure ZJ7NXVMNV1
| URI | m2://inv/ZJ7NXVMNV1 |
|---|---|
| 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.15335#QSZK, Threshold failure (statement). In Q40KRPP98D/e1, corollary 4.1
History
- 2026-10-28: add by m2/v0.4.2
ZJ7PKG02ZK ZJ7PKG02ZK
| URI | m2://inv/ZJ7PKG02ZK |
|---|---|
| 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.39981#BCW0 (statement). In PMMV6YAEVR/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
Charles Smart ZJ7VV5Q9EP
| URI | m2://inv/ZJ7VV5Q9EP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#L6Q9, Charles Smart (unknown)
History
- 2026-11-02: add by m2/dev
Weierstrass (crater) ZJ7X1HV9ZJ
| URI | m2://inv/ZJ7X1HV9ZJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Karl Weierstrass#IIQR, Weierstrass (crater) (unknown)
History
- 2026-11-02: add by m2/dev
ZJ7YFCW8JK ZJ7YFCW8JK
| URI | m2://inv/ZJ7YFCW8JK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20944#Q3VA (statement). In DRRKZR6CQC/e1, lemma A.11
History
- 2026-10-27: add by m2/v0.4.2
Power process ZJ82QDR56Z
| URI | m2://inv/ZJ82QDR56Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ted Kaczynski#1V2G, Power process (unknown)
History
- 2026-11-02: add by m2/dev
Transformation semigroup ZJ8E195FQY
| URI | m2://inv/ZJ8E195FQY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transformation semigroup, Transformation semigroup (definition). Also Wikidata Q3022116
History
- 2026-11-02: add by m2/dev
Tamiami ZJ8FFP696V
| URI | m2://inv/ZJ8FFP696V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#PKYQ, Tamiami (unknown)
History
- 2026-11-02: add by m2/dev
Properties ZJ8M0WPP8W
| URI | m2://inv/ZJ8M0WPP8W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integer points in convex polyhedra#TG15, Properties (statement)
History
- 2026-11-02: add by m2/dev
Algebraic properties ZJ8R2A9W19
| URI | m2://inv/ZJ8R2A9W19 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extended real number line#W22Q, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
An application of the identity ZJ8TGHJC4T
| URI | m2://inv/ZJ8TGHJC4T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baker–Campbell–Hausdorff formula#LQWD, An application of the identity (statement)
History
- 2026-11-02: add by m2/dev
Special cases ZJ8THQKB3K
| URI | m2://inv/ZJ8THQKB3K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rado's theorem (Ramsey theory)#2UJZ, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Notation ZJ8YTMXAHG
| URI | m2://inv/ZJ8YTMXAHG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix calculus#VJTV, Notation (definition)
History
- 2026-11-02: add by m2/dev
ZJ90XBEZPF ZJ90XBEZPF
| URI | m2://inv/ZJ90XBEZPF |
|---|---|
| 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.13850#0BK1 (statement). In KJY735KSMF/e1, corollary 10.5
History
- 2026-10-28: add by m2/v0.4.2
Tikhonov fixed-point theorem ZJ9V9ZTTW9
| URI | m2://inv/ZJ9V9ZTTW9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#OAAC, Tikhonov fixed-point theorem (statement)
History
- 2026-11-02: add by m2/dev
Fixed-offset Sturm interlacing ZJA27GXS23
| URI | m2://inv/ZJA27GXS23 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24541#MPJM, Fixed-offset Sturm interlacing (statement)
History
- 2026-11-01: add by m2/v0.6.15
Chennai Mathematical Institute ZJA2QYK5V9
| URI | m2://inv/ZJA2QYK5V9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chennai Mathematical Institute, Chennai Mathematical Institute (definition). Also Wikidata Q5091445
History
- 2026-11-02: add by m2/dev
Palm moment for an inserted generator ZJAACS9W1G
| URI | m2://inv/ZJAACS9W1G |
|---|---|
| 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.06372#4FTD, Palm moment for an inserted generator (statement). In G3E1P350Z6/e1, lemma D.5
History
- 2026-10-29: add by m2/v0.4.10
ZJAC0MNH6K ZJAC0MNH6K
| URI | m2://inv/ZJAC0MNH6K |
|---|---|
| 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.20110#RRJ8 (statement). In 1SAMKN4477/e1, lemma 2.10
History
- 2026-10-27: add by m2/v0.4.2
Theorem ZJAHWFRRDZ
| URI | m2://inv/ZJAHWFRRDZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi's formula#4ADO, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Multivalued function ZJAP0A1FXF
| URI | m2://inv/ZJAP0A1FXF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#5Z1E, Multivalued function (definition)
History
- 2026-11-02: add by m2/dev
ZJAR6FTXQ7 ZJAR6FTXQ7
| URI | m2://inv/ZJAR6FTXQ7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25409#B7NR (example)
History
- 2026-11-01: add by m2/v0.6.15
Antipodes ZJAV9MB1G2
| URI | m2://inv/ZJAV9MB1G2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#ELPO, Antipodes (unknown)
History
- 2026-11-02: add by m2/dev
ZJAYJH0T45 ZJAYJH0T45
| URI | m2://inv/ZJAYJH0T45 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.16475#MCDB (statement). In FM9SKN560Q/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Reduced tangloid algebra $\mathcal{T}_n$ ZJB6FHVH7E
| URI | m2://inv/ZJB6FHVH7E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37524#L4QQ, Reduced tangloid algebra $\mathcal{T}_n$ (definition). In 4GTJAPF7Q3/e1, definition 7.1
History
- 2026-10-30: add by m2/v0.4.12
Semialgebraic geometry ZJB981VPP5
| URI | m2://inv/ZJB981VPP5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#I812, Semialgebraic geometry (definition)
History
- 2026-11-02: add by m2/dev
ZJBDA6S42Q ZJBDA6S42Q
| URI | m2://inv/ZJBDA6S42Q |
|---|---|
| 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 2506.16491#YQIY (statement). In P9J6P06Y40/e1, theorem 4.28
History
- 2026-10-27: add by m2/v0.3.5
ZJBHRF6PNV ZJBHRF6PNV
| URI | m2://inv/ZJBHRF6PNV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28295#11IP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Methods ZJBPP7WE32
| URI | m2://inv/ZJBPP7WE32 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Risk communication#ISEG, Methods (definition)
History
- 2026-11-02: add by m2/dev
Upper Bound Along the Tail by Lagrange Interpolation ZJC3FEQYMJ
| URI | m2://inv/ZJC3FEQYMJ |
|---|---|
| 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.13222#0TO5, Upper Bound Along the Tail by Lagrange Interpolation (statement). In Z6WA2R0J50/e1, theorem 2.36
History
- 2026-10-28: add by m2/v0.4.2
Journal of Econometrics ZJC5QGM48P
| URI | m2://inv/ZJC5QGM48P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Journal of Econometrics, Journal of Econometrics (definition). Also Wikidata Q3790192
History
- 2026-11-02: add by m2/dev
ZJC75XQEM3 ZJC75XQEM3
| URI | m2://inv/ZJC75XQEM3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0809.4587#8UGS (statement). In KQ8JPHDKKE/e1, proposition 9.4.33
History
- 2026-10-27: add by m2/v0.3.5
Examples ZJC9Z3GJ7B
| URI | m2://inv/ZJC9Z3GJ7B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morphism of schemes#F3M6, Examples (example)
History
- 2026-11-02: add by m2/dev
ZJCB09GAT3 ZJCB09GAT3
| URI | m2://inv/ZJCB09GAT3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26479#BU63 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Replay attack ZJCJ2TAZQ5
| URI | m2://inv/ZJCJ2TAZQ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Replay attack, Replay attack (definition). Also Wikidata Q1756025
History
- 2026-11-02: add by m2/dev
ZJCMFDAKR0 ZJCMFDAKR0
| URI | m2://inv/ZJCMFDAKR0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32233#WP4V (statement). In V42PPD7SWH/e1, lemma 7.2
History
- 2026-10-31: add by m2/v0.5.6
ZJCNT0871M ZJCNT0871M
| URI | m2://inv/ZJCNT0871M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21037#J2PQ (definition). In PYB2RFYVVE/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.4.2
ZJCPGXS3P0 ZJCPGXS3P0
| URI | m2://inv/ZJCPGXS3P0 |
|---|---|
| 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 2405.05684#SRF0 (statement). In 1PR73ECTZB/e1, proposition 27
History
- 2026-10-27: add by m2/v0.3.5
ZJCTDREC11 ZJCTDREC11
| URI | m2://inv/ZJCTDREC11 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#problem-11 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
List of things named after William Rowan Hamilton ZJCWZ0W3D6
| URI | m2://inv/ZJCWZ0W3D6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#2PYQ, List of things named after William Rowan Hamilton (unknown)
History
- 2026-11-02: add by m2/dev
Rekha R. Thomas ZJCX0J32QH
| URI | m2://inv/ZJCX0J32QH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#F2OQ, Rekha R. Thomas (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZBU3, Rekha R. Thomas (topic)
History
- 2026-11-02: add by m2/dev
ZJDVSCCWMY ZJDVSCCWMY
| URI | m2://inv/ZJDVSCCWMY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26262#IR1C (statement)
History
- 2026-11-01: add by m2/v0.6.15
Wendell Helms Fleming ZJE0BFEA40
| URI | m2://inv/ZJE0BFEA40 |
|---|---|
| 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#Q992, Wendell Helms Fleming (topic)
History
- 2026-11-02: add by m2/dev
George H. Mealy ZJE4VNFTDH
| URI | m2://inv/ZJE4VNFTDH |
|---|---|
| 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 Q1507472, George H. Mealy (unknown). Also nLab George H. Mealy
- wikipedia: Wikipedia George H. Mealy, George H. Mealy (topic). Also Wikidata Q1507472
History
- 2026-10-26: add by m2/dev
Keevash--Mubayi ZJE9GK8PXN
| URI | m2://inv/ZJE9GK8PXN |
|---|---|
| Kind | conjecture |
| 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.08567#DKTJ, Keevash--Mubayi (conjecture). In CMJE9V2BJ0/e1, conjecture 1.1
History
- 2026-10-29: add by m2/v0.4.10
Nancy Hingston ZJETME9ENQ
| URI | m2://inv/ZJETME9ENQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nancy Hingston, Nancy Hingston (topic). Also Wikidata Q21531628
History
- 2026-11-02: add by m2/dev
Complete centered and affine catalogues ZJEWWF9497
| URI | m2://inv/ZJEWWF9497 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37482#PNL3, Complete centered and affine catalogues (statement). In 9QDRMZX8EY/e1, theorem 0.1
History
- 2026-10-30: add by m2/v0.4.12
nonagon ZJF0VWQ76W
| URI | m2://inv/ZJF0VWQ76W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q200042, nonagon (unknown). Also MathWorld Nonagon
- wikipedia: Wikipedia Nonagon, Nonagon (definition). Also Wikidata Q200042
History
- 2026-10-26: add by m2/dev
ZJF2EB8W1T ZJF2EB8W1T
| URI | m2://inv/ZJF2EB8W1T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.26962#77WT (statement). In XB93QX7DAA/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.5
Schanuel's conjecture ZJF5XQFCAW
| URI | m2://inv/ZJF5XQFCAW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schanuel's conjecture#OZ9F, Schanuel's conjecture (statement)
History
- 2026-11-02: add by m2/dev
P versus NP problem ZJF84RAM8H
| URI | m2://inv/ZJF84RAM8H |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q746242, P versus NP problem (problem). Also MathWorld PVersusNPProblem
- wikipedia: Wikipedia P versus NP problem, P versus NP problem (conjecture). Also Wikidata Q746242
History
- 2026-10-26: add by m2/dev
ZJFCESK603 ZJFCESK603
| URI | m2://inv/ZJFCESK603 |
|---|---|
| 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.37739#WVIO (statement). In F5XF5VXTXY/e1, lemma 8.7
History
- 2026-10-30: add by m2/v0.4.12
Isotomic Transversal ZJFNX8Z0ZV
| URI | m2://inv/ZJFNX8Z0ZV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q105332773, Isotomic Transversal (concept). Also MathWorld IsotomicTransversal
History
- 2026-10-26: add by m2/dev
Augmented truncated dodecahedron ZJFTEEMYXB
| URI | m2://inv/ZJFTEEMYXB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#MCNY, Augmented truncated dodecahedron (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#BTF9, Augmented truncated dodecahedron (definition)
History
- 2026-11-02: add by m2/dev
ZJFTW4QE5K ZJFTW4QE5K
| URI | m2://inv/ZJFTW4QE5K |
|---|---|
| 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 2608.24424#ZY0G (statement). In RQHGZ4AA5T/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.3.6
ZJFY4K0JVF ZJFY4K0JVF
| URI | m2://inv/ZJFY4K0JVF |
|---|---|
| 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#TDR6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZJG1CH2B5B ZJG1CH2B5B
| URI | m2://inv/ZJG1CH2B5B |
|---|---|
| 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 2212.00617#RC1T (statement). In K7505G10SS/e1, lemma 1.3
History
- 2026-10-27: add by m2/v0.3.5
derivative, cosine ZJG3XC7NHY
| URI | m2://inv/ZJG3XC7NHY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/2.2.2/derivative-cosine, derivative, cosine (concept). In 907G4C4EJ1, index, section 2.2.2
History
- 2026-11-01: add by m2/v0.6.13
ZJG8002GN7 ZJG8002GN7
| URI | m2://inv/ZJG8002GN7 |
|---|---|
| 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 2609.33162#C4OR (statement). In RPC7VG3KHQ/e1, lemma 6.3
History
- 2026-10-30: add by m2/v0.4.12
ZJGMRNQW25 ZJGMRNQW25
| URI | m2://inv/ZJGMRNQW25 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19787#4ZPJ (statement). In A4VP56CT7B/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
Definitions ZJGQZG1RGD
| URI | m2://inv/ZJGQZG1RGD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cluster algebra#DS9M, Definitions (definition)
History
- 2026-11-02: add by m2/dev
ZJGRBVZQ2B ZJGRBVZQ2B
| URI | m2://inv/ZJGRBVZQ2B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-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.23884#I14Z (statement)
History
- 2026-11-02: add by m2/v0.6.17
Cartan's equivalence method ZJH9WMVKZD
| URI | m2://inv/ZJH9WMVKZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartan's equivalence method, Cartan's equivalence method (definition). Also Wikidata Q5047041
History
- 2026-11-02: add by m2/dev
ZJHC8X0827 ZJHC8X0827
| URI | m2://inv/ZJHC8X0827 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36823#NZDK (statement). In 55WT8DME6Y/e1, proposition A.4
History
- 2026-10-30: add by m2/v0.4.12
radix sort ZJHGPQM4YE
| URI | m2://inv/ZJHGPQM4YE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q830223, radix sort (unknown). Also MathWorld RadixSort
History
- 2026-10-26: add by m2/dev
Example ZJHJBV9TT8
| URI | m2://inv/ZJHJBV9TT8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cayley configuration space#LYUW, Example (example)
History
- 2026-11-02: add by m2/dev
gyroelongated pentagonal birotunda ZJHXDQRT3D
| URI | m2://inv/ZJHXDQRT3D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2276863, gyroelongated pentagonal birotunda (object). Also MathWorld GyroelongatedPentagonalBirotunda
- wikipedia: Wikipedia Gyroelongated pentagonal birotunda, Gyroelongated pentagonal birotunda (definition). Also Wikidata Q2276863
History
- 2026-10-26: add by m2/dev
holomorphic function ZJJ07DPF67
| URI | m2://inv/ZJJ07DPF67 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#0DPL, holomorphic function (definition)
History
- 2026-11-02: add by m2/dev
Multiplicity Schwartz--Zippel bound ZJJ10ST4YT
| URI | m2://inv/ZJJ10ST4YT |
|---|---|
| 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.32834#Q0P4, Multiplicity Schwartz--Zippel bound (statement). In N4M6B8EMCW/e1, lemma 2.3
History
- 2026-10-31: add by m2/v0.5.6
Peter Gustav Lejeune Dirichlet ZJJ2XW43SK
| URI | m2://inv/ZJJ2XW43SK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#8GD1, Peter Gustav Lejeune Dirichlet (topic)
History
- 2026-11-02: add by m2/dev
Rational function ZJJ38FMRZ8
| URI | m2://inv/ZJJ38FMRZ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical series#TISL, Rational function (definition)
History
- 2026-11-02: add by m2/dev
ZJJ4Q4Z183 ZJJ4Q4Z183
| URI | m2://inv/ZJJ4Q4Z183 |
|---|---|
| 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.20126#3VU5 (statement). In KVXDWX9B11/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.4.2
ZJJ8DC10JN ZJJ8DC10JN
| URI | m2://inv/ZJJ8DC10JN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2202.02160#1V3W (statement). In Y3WQP6A5F6/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.6
Definition ZJJ8R1XHTF
| URI | m2://inv/ZJJ8R1XHTF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kernel (algebra)#W9Q5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Quadratic cone ZJJ91PX2K5
| URI | m2://inv/ZJJ91PX2K5 |
|---|---|
| Kind | example |
| 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.07164#D5JE, Quadratic cone (example). In Q1XJ5VWE1N/e1, example 2.9
History
- 2026-10-29: add by m2/v0.4.10
Walter Ledermann ZJJAF4B59H
| URI | m2://inv/ZJJAF4B59H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#38AP, Walter Ledermann (topic)
History
- 2026-11-02: add by m2/dev
Chauddagram ZJJBFGXEK1
| URI | m2://inv/ZJJBFGXEK1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#GEP9, Chauddagram (unknown)
History
- 2026-11-02: add by m2/dev
Compatibility of maximal relaxed subslopes ZJJE34V7YQ
| URI | m2://inv/ZJJE34V7YQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#NJ1V, Compatibility of maximal relaxed subslopes (statement). In KM3Q791JY0/e1, lemma 4.32
History
- 2026-10-27: add by m2/v0.4.2
Theorems ZJJEZ2ZYW5
| URI | m2://inv/ZJJEZ2ZYW5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constructive analysis#JR38, Theorems (statement)
History
- 2026-11-02: add by m2/dev
ZJJJ8CR7Y7 ZJJJ8CR7Y7
| URI | m2://inv/ZJJJ8CR7Y7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01970#UI17 (statement). In 1B400PB2NJ/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
Cecilia Wangechi Mwathi ZJJX16NQKW
| URI | m2://inv/ZJJX16NQKW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cecilia Wangechi Mwathi, Cecilia Wangechi Mwathi (topic). Also Wikidata Q12888740
History
- 2026-11-02: add by m2/dev
Bauer–Fike theorem ZJK04QP3PC
| URI | m2://inv/ZJK04QP3PC |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 47-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2226602, Bauer–Fike theorem (statement). Also Wikidata Q2226602
- thousand_plus: thousand_plus Q2226602, Bauer–Fike theorem (statement). Also Wikidata Q2226602, Wikipedia Bauer–Fike theorem
- wikipedia: Wikipedia Bauer–Fike theorem, Bauer–Fike theorem (statement). Also Wikidata Q2226602
History
- 2026-10-26: add by m2/dev
closed immersion ZJK2BW566R
| URI | m2://inv/ZJK2BW566R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Closed immersion WWRWYSJDET |
Mentions
- wikidata: Wikidata Q5135342, closed immersion (unknown). Also nLab closed immersion of schemes
- wikipedia: Wikipedia Closed immersion, Closed immersion (definition). Also Wikidata Q5135342
History
- 2026-10-26: add by m2/dev
Residuated semilattice ZJK4ECC020
| URI | m2://inv/ZJK4ECC020 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Residuated lattice#QEXE, Residuated semilattice (unknown)
History
- 2026-11-02: add by m2/dev
Falconer's formula ZJK71YCMZP
| URI | m2://inv/ZJK71YCMZP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Falconer's formula, Falconer's formula (statement). Also Wikidata Q1393991
History
- 2026-11-02: add by m2/dev
Examples ZJKDWJGNW1
| URI | m2://inv/ZJKDWJGNW1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cocountable topology#TJE1, Examples (example)
History
- 2026-11-02: add by m2/dev
polynomial ZJKK1FDJZS
| URI | m2://inv/ZJKK1FDJZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 11C08, 30C15 |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Polynomials and power series > polynomial in one indeterminate, polynomial in one indeterminate (unknown). Also Mathlib Polynomial
- wikidata: Wikidata Q43260, polynomial (topic). Also EoM Polynomial, Mathlib Polynomial, MathWorld Polynomial, nLab polynomial, ProofWiki Definition:Polynomial
- wikipedia: Wikipedia Polynomial, Polynomial (definition). Also Wikidata Q43260
History
- 2026-10-26: add by m2/dev
ZJKVZAHDZN ZJKVZAHDZN
| URI | m2://inv/ZJKVZAHDZN |
|---|---|
| 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.04809#ROH4 (statement). In 2VHV0RNTNV/e1, proposition 3.9
History
- 2026-10-29: add by m2/v0.4.12
The irreducible calculation ZJM4GZV3J3
| URI | m2://inv/ZJM4GZV3J3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#M6C1, The irreducible calculation (statement). In 9YAE8FNQST/e1, lemma 16.5
History
- 2026-10-30: add by m2/v0.4.12
ZJM785PE47 ZJM785PE47
| URI | m2://inv/ZJM785PE47 |
|---|---|
| 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.06441#ODF8 (statement). In YFJ62HWHVK/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.10
ZJMAE3CDMF ZJMAE3CDMF
| URI | m2://inv/ZJMAE3CDMF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10558#E210 (definition). In GYSF9JXQCH/e1, definition 5.9
History
- 2026-10-29: add by m2/v0.4.10
The first Ricci-flat case ZJMBH4N6SG
| URI | m2://inv/ZJMBH4N6SG |
|---|---|
| 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#C5X2, The first Ricci-flat case (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZJMDY99JN4 ZJMDY99JN4
| URI | m2://inv/ZJMDY99JN4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.07983#TV32 (statement). In 4WJ9HYVSZY/e1, proposition 2.6
History
- 2026-10-27: add by m2/v0.3.6
ZJMF9J0DBG ZJMF9J0DBG
| URI | m2://inv/ZJMF9J0DBG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#cor:differentiatepowerser (statement). In E59CDZA4DP, cor, section 9.2.4
History
- 2026-11-01: add by m2/v0.6.13
ZJMGMGVYFA ZJMGMGVYFA
| URI | m2://inv/ZJMGMGVYFA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38250#T9CT (statement). In 5KDV984W48/e1, theorem 9
History
- 2026-10-30: add by m2/v0.4.12
Plane–plane intersection ZJMKRMMCKJ
| URI | m2://inv/ZJMKRMMCKJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plane–plane intersection, Plane–plane intersection (definition). Also Wikidata Q2248079
History
- 2026-11-02: add by m2/dev
Definition ZJMNJ7BNMH
| URI | m2://inv/ZJMNJ7BNMH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hajek projection#JL17, Definition (definition)
History
- 2026-11-02: add by m2/dev
ZJMQK77CH4 ZJMQK77CH4
| URI | m2://inv/ZJMQK77CH4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27192#VWEW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Standardized moment ZJMW945FT6
| URI | m2://inv/ZJMW945FT6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standardized moment, Standardized moment (definition). Also Wikidata Q5111691
History
- 2026-11-02: add by m2/dev
ZJMYGDCNP0 ZJMYGDCNP0
| URI | m2://inv/ZJMYGDCNP0 |
|---|---|
| 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.07040#IJA2 (statement). In KMNXNW7FHP/e1, lemma D.5
History
- 2026-10-29: add by m2/v0.4.10
ZJMZEBJRJY ZJMZEBJRJY
| URI | m2://inv/ZJMZEBJRJY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01912#Z1G0 (definition). In CTE1C9KYPY/e1, definition 3.4
History
- 2026-10-29: add by m2/v0.4.12
ZJN5XXHD6B ZJN5XXHD6B
| URI | m2://inv/ZJN5XXHD6B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#HHW5 (statement). In V97F4YZ8B0/e1, theorem 8.7
History
- 2026-10-28: add by m2/v0.4.2
Prime formulas and polynomial functions ZJN9CQ2T46
| URI | m2://inv/ZJN9CQ2T46 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formula for primes#DB81, Prime formulas and polynomial functions (statement)
History
- 2026-11-02: add by m2/dev
Uses ZJNAZG8Y7F
| URI | m2://inv/ZJNAZG8Y7F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luhn algorithm#7ZTL, Uses (example)
History
- 2026-11-02: add by m2/dev
ZJNQDT1KRK ZJNQDT1KRK
| URI | m2://inv/ZJNQDT1KRK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27458#GFM8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZJNSDR1QKS ZJNSDR1QKS
| URI | m2://inv/ZJNSDR1QKS |
|---|---|
| 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.39905#UMEY (statement). In D4B23ER9QD/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
Kendall's notation ZJNW1ZN2B4
| URI | m2://inv/ZJNW1ZN2B4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#XFDJ, Kendall's notation (definition)
History
- 2026-11-02: add by m2/dev
Bounded type ZJP2682A8E
| URI | m2://inv/ZJP2682A8E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded type (mathematics), Bounded type (definition). Also Wikidata Q4949988
History
- 2026-11-02: add by m2/dev
congruence of integers ZJP7DD05CQ
| URI | m2://inv/ZJP7DD05CQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Ring Theory > Divisibility in integral domains > congruence in $\Z$, congruence in $\Z$ (unknown). Also Mathlib Int.ModEq
- wikidata: Wikidata Q3773677, congruence of integers (concept). Also Mathlib Int.ModEq, MathWorld Congruence
History
- 2026-10-26: add by m2/dev
ZJP7JWS1MX ZJP7JWS1MX
| URI | m2://inv/ZJP7JWS1MX |
|---|---|
| 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.21645#861F (statement)
History
- 2026-11-02: add by m2/v0.6.18
Joseph L. Taylor ZJP86EWKDT
| URI | m2://inv/ZJP86EWKDT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#IEJM, Joseph L. Taylor (unknown)
History
- 2026-11-02: add by m2/dev
Multiple instance learning ZJPAZGPHSR
| URI | m2://inv/ZJPAZGPHSR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple instance learning, Multiple instance learning (definition). Also Wikidata Q25304516
History
- 2026-11-02: add by m2/dev
ZJPEKBEV0B ZJPEKBEV0B
| URI | m2://inv/ZJPEKBEV0B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cup-product.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 52.1
History
- 2026-11-01: add by m2/v0.6.13
ZJPQEK6ZEN ZJPQEK6ZEN
| URI | m2://inv/ZJPQEK6ZEN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 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.05320#NI8K (definition). In MVXZWHKEX8/e1, definition 4.2
History
- 2026-10-29: add by m2/v0.4.10
ZJPTDN3ANY ZJPTDN3ANY
| URI | m2://inv/ZJPTDN3ANY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12330#W7RV (statement). In XHSKEPT3VD/e1, theorem 7.5
History
- 2026-10-28: add by m2/v0.4.2
Sharp slices for the trapezoidal family ZJQ7JPH1T5
| URI | m2://inv/ZJQ7JPH1T5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24541#RWBO, Sharp slices for the trapezoidal family (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples ZJQ8T2NSHT
| URI | m2://inv/ZJQ8T2NSHT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebyshev polynomials#RJGH, Examples (example)
History
- 2026-11-02: add by m2/dev
Brushing and linking ZJQHXJEK2F
| URI | m2://inv/ZJQHXJEK2F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brushing and linking, Brushing and linking (definition). Also Wikidata Q4979734
History
- 2026-11-02: add by m2/dev
ZJQQVT9D4H ZJQQVT9D4H
| URI | m2://inv/ZJQQVT9D4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.03730#VBCI (statement). In ADEX39KM1T/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.0
Cristina Toninelli ZJQVWPR62V
| URI | m2://inv/ZJQVWPR62V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cristina Toninelli, Cristina Toninelli (topic). Also Wikidata Q102414855
History
- 2026-11-02: add by m2/dev
ZJQX441Z1M ZJQX441Z1M
| URI | m2://inv/ZJQX441Z1M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#theorem-6 (statement). In E9HS8K3A52, theorem, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
arithmetic series ZJR8BFBW4Q
| URI | m2://inv/ZJR8BFBW4Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q956213, arithmetic series (unknown). Also MathWorld ArithmeticSeries
History
- 2026-10-26: add by m2/dev
ZJRFDQQVN9 ZJRFDQQVN9
| URI | m2://inv/ZJRFDQQVN9 |
|---|---|
| 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 2411.05198#1QIF (statement). In NJWY6HPFHG/e1, fact 2
History
- 2026-10-27: add by m2/v0.3.5
R. Vaidyanathaswamy ZJRG4FS2JX
| URI | m2://inv/ZJRG4FS2JX |
|---|---|
| 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#3S1G, R. Vaidyanathaswamy (topic)
History
- 2026-11-02: add by m2/dev
Orthogonality ZJRMRMA2BS
| URI | m2://inv/ZJRMRMA2BS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/characters.tex#theorem-2, Orthogonality (statement). In RZP28ERRZV, theorem, section 79.3
History
- 2026-11-01: add by m2/v0.6.13
ZJRVFF1ZKE ZJRVFF1ZKE
| URI | m2://inv/ZJRVFF1ZKE |
|---|---|
| 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.22952#K4WC (statement)
History
- 2026-11-02: add by m2/v0.6.17
Variations ZJS4NRKM5G
| URI | m2://inv/ZJS4NRKM5G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sleeping Beauty problem#A7SK, Variations (statement)
History
- 2026-11-02: add by m2/dev
Theorem (Topology of a completion) ZJSER4FKK1
| URI | m2://inv/ZJSER4FKK1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete topological vector space#2D0J, Theorem (Topology of a completion) (statement)
History
- 2026-11-02: add by m2/dev
ZJSKRH1TH8 ZJSKRH1TH8
| URI | m2://inv/ZJSKRH1TH8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39872#MCPZ (definition). In 32A7BMMT1E/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
ZJSMXPT07M ZJSMXPT07M
| URI | m2://inv/ZJSMXPT07M |
|---|---|
| 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.11902#YYFV (statement). In K66QKM4N5E/e1, corollary 3.17
History
- 2026-10-28: add by m2/v0.4.3
ZJSZT1BBBG ZJSZT1BBBG
| URI | m2://inv/ZJSZT1BBBG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21005#SKS8 (statement). In E63NRC7MBE/e1, proposition 2.17
History
- 2026-10-27: add by m2/v0.4.2
Duality of the Tail Law ZJT3S1CW2B
| URI | m2://inv/ZJT3S1CW2B |
|---|---|
| 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.13222#IBMM, Duality of the Tail Law (statement). In Z6WA2R0J50/e1, theorem 2.27
History
- 2026-10-28: add by m2/v0.4.2
Symbols of one-sided certificates ZJT6MFVPVR
| URI | m2://inv/ZJT6MFVPVR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#G75Y, Symbols of one-sided certificates (statement). In 65TJENWK7X/e1, lemma 71
History
- 2026-10-29: add by m2/v0.4.10
state ZJT9D3F391
| URI | m2://inv/ZJT9D3F391 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | State on a C*-algebra F7MB2WREBJ |
Mentions
- wikidata: Wikidata Q2917249, state (unknown). Also MathWorld State
- wikipedia: Wikipedia State (functional analysis), State (definition). Also Wikidata Q2917249
History
- 2026-10-26: add by m2/dev
converse domain ZJTBQ0YE85
| URI | m2://inv/ZJTBQ0YE85 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#COG9, converse domain (definition)
History
- 2026-11-02: add by m2/dev
ZJTGD9GS45 ZJTGD9GS45
| URI | m2://inv/ZJTGD9GS45 |
|---|---|
| Kind | definition |
| 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.16875#UAAZ (definition). In KS30K5JXGB/e1, definition 2.9
History
- 2026-10-28: add by m2/v0.4.2
Toshikazu Sunada ZJTPF9FXW9
| URI | m2://inv/ZJTPF9FXW9 |
|---|---|
| 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#FSSW, Toshikazu Sunada (topic)
History
- 2026-11-02: add by m2/dev
ZJTRQT7Q76 ZJTRQT7Q76
| URI | m2://inv/ZJTRQT7Q76 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#7FLU (definition)
History
- 2026-11-02: add by m2/dev
ZJTTR8XQA1 ZJTTR8XQA1
| URI | m2://inv/ZJTTR8XQA1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12912#M6IU (statement). In PDKBKKJ4BV/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.2
The invariant trace formula ZJTV8189ZP
| URI | m2://inv/ZJTV8189ZP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arthur–Selberg trace formula#ADMG, The invariant trace formula (statement)
History
- 2026-11-02: add by m2/dev
Michael Akritas ZJV6Y40JAB
| URI | m2://inv/ZJV6Y40JAB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Akritas, Michael Akritas (topic). Also Wikidata Q75684762
History
- 2026-11-02: add by m2/dev
Variants of the theorem ZJVM2QBZKD
| URI | m2://inv/ZJVM2QBZKD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lumer–Phillips theorem#A8D4, Variants of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Notation ZJVM60BKDN
| URI | m2://inv/ZJVM60BKDN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic function#4QEP, Notation (definition)
History
- 2026-11-02: add by m2/dev
ZJVQ2SQVQB ZJVQ2SQVQB
| URI | m2://inv/ZJVQ2SQVQB |
|---|---|
| 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.22909#QY1K (statement)
History
- 2026-11-02: add by m2/v0.6.17
Bound on linear statistics ZJVSR8C3WJ
| URI | m2://inv/ZJVSR8C3WJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25301#BWAT, Bound on linear statistics (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties ZJVTS5KTCD
| URI | m2://inv/ZJVTS5KTCD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intensity measure#K9LD, Properties (statement)
History
- 2026-11-02: add by m2/dev
Formulation of the inequality ZJVVN03135
| URI | m2://inv/ZJVVN03135 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bogomolov–Miyaoka–Yau inequality#0YN7, Formulation of the inequality (statement)
History
- 2026-11-02: add by m2/dev
ZJVVQW4MYS ZJVVQW4MYS
| URI | m2://inv/ZJVVQW4MYS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34013#YFRT (statement). In 3TA3P3CWSJ/e1, corollary 4.2.1
History
- 2026-10-30: add by m2/v0.4.12
tetradecagonal number ZJVWHJ42PG
| URI | m2://inv/ZJVWHJ42PG |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18455108, tetradecagonal number (object). Also OEIS A051866
History
- 2026-10-26: add by m2/dev
Examples ZJVX7QFWQD
| URI | m2://inv/ZJVX7QFWQD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incidence algebra#SQZN, Examples (example)
History
- 2026-11-02: add by m2/dev
Cramer's theorem (algebraic curves) ZJVYBNQ6MH
| URI | m2://inv/ZJVYBNQ6MH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#AWR5, Cramer's theorem (algebraic curves) (statement)
History
- 2026-11-02: add by m2/dev
Objective Bayesian probability ZJW0EVJKEB
| URI | m2://inv/ZJW0EVJKEB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian probability#F6IY, Objective Bayesian probability (unknown)
History
- 2026-11-02: add by m2/dev
Examples ZJW2ATYW61
| URI | m2://inv/ZJW2ATYW61 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radial basis function network#YAY8, Examples (example)
History
- 2026-11-02: add by m2/dev
Walter Craig ZJW3WTQZR1
| URI | m2://inv/ZJW3WTQZR1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walter Craig (mathematician), Walter Craig (topic). Also Wikidata Q28785208
History
- 2026-11-02: add by m2/dev
Regular complex apeirogon ZJWP1FVF6X
| URI | m2://inv/ZJWP1FVF6X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex polytope#LF71, Regular complex apeirogon (unknown)
History
- 2026-11-02: add by m2/dev
Properties ZJWQ8XXXEY
| URI | m2://inv/ZJWQ8XXXEY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Volume#K0HV, Properties (statement)
History
- 2026-11-02: add by m2/dev
ZJWQEN8SMW ZJWQEN8SMW
| URI | m2://inv/ZJWQEN8SMW |
|---|---|
| Kind | conjecture |
| 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.21298#G26I (conjecture). In AXWM2MBYXV/e1, conjecture 8.2
History
- 2026-10-27: add by m2/v0.4.2
open set ZJWQG7TFXR
| URI | m2://inv/ZJWQG7TFXR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Open set 01ZQQDCERP |
Mentions
- wikidata: Wikidata Q213363, open set (definition). Also EoM Open_set, Mathlib IsOpen, MathWorld OpenSet, ProofWiki Definition:Open_Set
- wikipedia: Wikipedia Open set, Open set (definition). Also Wikidata Q213363
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
ZJWX2ZP710 ZJWX2ZP710
| URI | m2://inv/ZJWX2ZP710 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04046#HQNC (statement). In 3THDT8WNF7/e1, lemma 14
History
- 2026-10-29: add by m2/v0.4.12
ZJX2HK1RHZ ZJX2HK1RHZ
| URI | m2://inv/ZJX2HK1RHZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21945#78N2 (statement). In 371P9QASSJ/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
ZJX3ZFDR0H ZJX3ZFDR0H
| URI | m2://inv/ZJX3ZFDR0H |
|---|---|
| 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 1907.01440#P1N8 (definition). In QDRYC6WJJ7/e1, definition 11
History
- 2026-10-27: add by m2/v0.3.5
Linda Levi ZJX4CT3RJV
| URI | m2://inv/ZJX4CT3RJV |
|---|---|
| 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#QJ72, Linda Levi (unknown)
History
- 2026-11-02: add by m2/dev
Properties ZJX6478NW1
| URI | m2://inv/ZJX6478NW1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Klein bottle#BTK2, Properties (statement)
History
- 2026-11-02: add by m2/dev
ZJXJH3TZAM ZJXJH3TZAM
| URI | m2://inv/ZJXJH3TZAM |
|---|---|
| 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.23350#QG8E (statement)
History
- 2026-11-02: add by m2/v0.6.17
Execution risk ZJXXJVYFN0
| URI | m2://inv/ZJXXJVYFN0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arbitrage#G47G, Execution risk (unknown)
History
- 2026-11-02: add by m2/dev
Belinsky ZJXXSRC4YK
| URI | m2://inv/ZJXXSRC4YK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26619#Y6RW, Belinsky (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZJXY9F7DV3 ZJXY9F7DV3
| URI | m2://inv/ZJXY9F7DV3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/basic-representable.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 29.3
History
- 2026-11-01: add by m2/v0.6.13
Farkas' lemma ZJY4DV3CBH
| URI | m2://inv/ZJY4DV3CBH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Farkas' lemma#ZB4F, Farkas' lemma (statement)
History
- 2026-11-02: add by m2/dev
Axioms ZJYGJC7QZD
| URI | m2://inv/ZJYGJC7QZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/introduction/axiomatic-derivations.tex#defn-2, Axioms (definition). In PKGMM3P5QY, defn, section 31.1
History
- 2026-11-01: add by m2/v0.6.13
Completeness ZJYMVA6271
| URI | m2://inv/ZJYMVA6271 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Completeness (order theory), Completeness (definition). Also Wikidata Q5156540
History
- 2026-11-02: add by m2/dev
Herbert Sichel ZJYZSNZK4H
| URI | m2://inv/ZJYZSNZK4H |
|---|---|
| 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#D19F, Herbert Sichel (unknown)
History
- 2026-11-02: add by m2/dev
ZJZ9GQRVWA ZJZ9GQRVWA
| URI | m2://inv/ZJZ9GQRVWA |
|---|---|
| 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.15472#W41V (statement). In 5Z3FH46YSY/e1, proposition 3.22
History
- 2026-10-28: add by m2/v0.4.2
ZJZ9P079QM ZJZ9P079QM
| URI | m2://inv/ZJZ9P079QM |
|---|---|
| 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.19658#DEFG (statement). In G00EYA9DXG/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
Challenging ZJZDGQWAYB
| URI | m2://inv/ZJZDGQWAYB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise:riemannintdarboux, Challenging (exercise). In E59CDZA4DP, exercise, section 8.1.4
History
- 2026-11-01: add by m2/v0.6.13
Inductive dimension ZJZF1ST073
| URI | m2://inv/ZJZF1ST073 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#EXZP, Inductive dimension (definition)
History
- 2026-11-02: add by m2/dev
ZJZSPHR8AC ZJZSPHR8AC
| URI | m2://inv/ZJZSPHR8AC |
|---|---|
| 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#BY8X (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZJZWE488PF ZJZWE488PF
| URI | m2://inv/ZJZWE488PF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37634#Y0WG (statement). In NTWNXKDBKK/e1, proposition 2.3
History
- 2026-10-30: add by m2/v0.4.12
Classical resolvent estimate ZJZX212W62
| URI | m2://inv/ZJZX212W62 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21972#OL1W, Classical resolvent estimate (statement)
History
- 2026-11-02: add by m2/v0.6.17
ZJZYXJ33PF ZJZYXJ33PF
| URI | m2://inv/ZJZYXJ33PF |
|---|---|
| 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.26455#WN3X (statement)
History
- 2026-11-01: add by m2/v0.6.15
Merlise A. Clyde ZJZZ1BY3E8
| URI | m2://inv/ZJZZ1BY3E8 |
|---|---|
| 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#J9S9, Merlise A. Clyde (topic)
History
- 2026-11-02: add by m2/dev