Inventory rows ZV
The cards of the rows of the inventory whose ids start with ZV. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Vercosine ZV00ZRQCA0
| URI | m2://inv/ZV00ZRQCA0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#8EX1, Vercosine (definition)
History
- 2026-11-02: add by m2/dev
Methods ZV02YWX3RW
| URI | m2://inv/ZV02YWX3RW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collective classification#QCSM, Methods (definition)
History
- 2026-11-02: add by m2/dev
ZV055G511T ZV055G511T
| URI | m2://inv/ZV055G511T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/FundamentalTheoremArithmetic.tex#problem-9 (exercise). In P1C114YBXG, problem, section C
History
- 2026-11-01: add by m2/v0.6.13
Gerald Russell Wickham ZV06YKH1J7
| URI | m2://inv/ZV06YKH1J7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gerald Russell Wickham, Gerald Russell Wickham (topic). Also Wikidata Q140441898
History
- 2026-11-02: add by m2/dev
Richard E. Barlow ZV0C1R1QYA
| URI | m2://inv/ZV0C1R1QYA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard E. Barlow, Richard E. Barlow (topic). Also Wikidata Q15842368
History
- 2026-11-02: add by m2/dev
Lewy's example ZV0C57WPJN
| URI | m2://inv/ZV0C57WPJN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#2ZA9, Lewy's example (definition)
History
- 2026-11-02: add by m2/dev
Jean-Louis Nicolas ZV0D8BSJHP
| URI | m2://inv/ZV0D8BSJHP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#C3TK, Jean-Louis Nicolas (topic)
History
- 2026-11-02: add by m2/dev
Grassmann–Cayley algebra ZV0K32KD95
| URI | m2://inv/ZV0K32KD95 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Arthur Cayley#Q0RB, Grassmann–Cayley algebra (definition)
History
- 2026-11-02: add by m2/dev
ZV0QM0HMBS ZV0QM0HMBS
| URI | m2://inv/ZV0QM0HMBS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40123#Z4VG (statement). In WK2YHYEDZ9/e1, proposition 5.5
History
- 2026-10-30: add by m2/v0.4.12
Closed polygonal chain ZV0TAHMS21
| URI | m2://inv/ZV0TAHMS21 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polygonal chain#56UY, Closed polygonal chain (unknown)
History
- 2026-11-02: add by m2/dev
ZV0W1BWF5B ZV0W1BWF5B
| URI | m2://inv/ZV0W1BWF5B |
|---|---|
| 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 2610.17070#2YKT (statement). In W3G9Z9B32N/e1, proposition 1.6
History
- 2026-10-28: add by m2/v0.4.2
ZV0W4R7V7K ZV0W4R7V7K
| URI | m2://inv/ZV0W4R7V7K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2607.00146#7W4T (statement). In 6KR7Z5ETRY/e1, lemma 2.25
History
- 2026-10-27: add by m2/v0.3.5
cellular automaton ZV0WR30HNT
| URI | m2://inv/ZV0WR30HNT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Cellular automaton 5QXNC6NTVN |
Mentions
- wikidata: Wikidata Q189156, cellular automaton (unknown). Also MathWorld CellularAutomaton
- wikipedia: Wikipedia Cellular automaton, Cellular automaton (definition). Also Wikidata Q189156
History
- 2026-10-26: add by m2/dev
ZV0X0QBJYD ZV0X0QBJYD
| URI | m2://inv/ZV0X0QBJYD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39539#TIGG (statement). In GVR218P3ZR/e1, proposition 6.1.2
History
- 2026-10-30: add by m2/v0.4.12
Devanagari numerals ZV0XY4GYED
| URI | m2://inv/ZV0XY4GYED |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Devanagari numerals, Devanagari numerals (definition). Also Wikidata Q2721451
History
- 2026-11-02: add by m2/dev
Grid method multiplication ZV0Y520FAS
| URI | m2://inv/ZV0Y520FAS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grid method multiplication, Grid method multiplication (definition). Also Wikidata Q5608616
History
- 2026-11-02: add by m2/dev
Congruence coefficient ZV0Z7DY4XG
| URI | m2://inv/ZV0Z7DY4XG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GRN4, Congruence coefficient (definition)
History
- 2026-11-02: add by m2/dev
Hermite's identity ZV182ZQSTW
| URI | m2://inv/ZV182ZQSTW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermite's identity, Hermite's identity (statement). Also Wikidata Q5741903
History
- 2026-11-02: add by m2/dev
ZV1DEVBWCP ZV1DEVBWCP
| URI | m2://inv/ZV1DEVBWCP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/cardinals/classing.tex#defnfinite (definition). In PKGMM3P5QY, defn, section 70.2
History
- 2026-11-01: add by m2/v0.6.13
Core Function ZV1GERNBVK
| URI | m2://inv/ZV1GERNBVK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.06548#YVQA, Core Function (definition). In SCC2N3WNYE/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Theorem ZV1N7356RX
| URI | m2://inv/ZV1N7356RX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix sign function#A7UJ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Kenneth Alan Ribet ZV1RAYPH2R
| URI | m2://inv/ZV1RAYPH2R |
|---|---|
| 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#WU50, Kenneth Alan Ribet (topic)
History
- 2026-11-02: add by m2/dev
ZV1SKGZXV1 ZV1SKGZXV1
| URI | m2://inv/ZV1SKGZXV1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-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.37103#IAMC (statement). In 6Q8YMAWFZN/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
ZV1SQYSNNB ZV1SQYSNNB
| URI | m2://inv/ZV1SQYSNNB |
|---|---|
| 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.18744#HKEA (statement). In AE07JDH5D3/e1, proposition 5.6
History
- 2026-10-28: add by m2/v0.4.2
Graham Priest ZV1SX1NFFQ
| URI | m2://inv/ZV1SX1NFFQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#SO3D, Graham Priest (topic)
History
- 2026-11-02: add by m2/dev
Fejér kernel ZV1VZTNNEM
| URI | m2://inv/ZV1VZTNNEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of harmonic analysis topics#Z4XM, Fejér kernel (definition)
- wikipedia: Wikipedia List of Fourier analysis topics#QQLM, Fejér kernel (definition)
History
- 2026-11-02: add by m2/dev
reduction of conformity to reference relabellings ZV25TFAYAK
| URI | m2://inv/ZV25TFAYAK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39511#R1YW, reduction of conformity to reference relabellings (statement). In 6W9H24A378/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
ZV29978PD0 ZV29978PD0
| URI | m2://inv/ZV29978PD0 |
|---|---|
| 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 2303.14022#SS87 (statement). In NSYR6W27FP/e1, proposition 4.6
History
- 2026-10-27: add by m2/v0.3.5
Robert L. Kahn ZV2D04P8X1
| URI | m2://inv/ZV2D04P8X1 |
|---|---|
| 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#2OY3, Robert L. Kahn (unknown)
History
- 2026-11-02: add by m2/dev
Tricorn ZV2ECYZGHC
| URI | m2://inv/ZV2ECYZGHC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7841294, Tricorn (unknown). Also MathWorld MandelbarSet
History
- 2026-10-26: add by m2/dev
Applications ZV2EKGERZA
| URI | m2://inv/ZV2EKGERZA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric mean theorem#XORR, Applications (example)
History
- 2026-11-02: add by m2/dev
Marina Ratner ZV2NFXT61N
| URI | m2://inv/ZV2NFXT61N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#VQ6Z, Marina Ratner (topic)
History
- 2026-11-02: add by m2/dev
algebraic curve ZV2SXNRK5B
| URI | m2://inv/ZV2SXNRK5B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Algebraic curve XJM2MT4S3Y |
Mentions
- wikidata: Wikidata Q266237, algebraic curve (unknown). Also EoM Algebraic_curve, LMFDB knowl ag.curve, MathWorld AlgebraicCurve, nLab algebraic curve
- wikipedia: Wikipedia Algebraic curve, Algebraic curve (definition). Also Wikidata Q266237
History
- 2026-10-26: add by m2/dev
Challenging ZV32J52B13
| URI | m2://inv/ZV32J52B13 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-46, Challenging (exercise). In E59CDZA4DP, exercise, section 4.4.3
History
- 2026-11-01: add by m2/v0.6.13
Zero–one law (disambiguation) ZV32N3P13W
| URI | m2://inv/ZV32N3P13W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#042Z, Zero–one law (disambiguation) (statement)
History
- 2026-11-02: add by m2/dev
Semistable point ZV36FXWNKA
| URI | m2://inv/ZV36FXWNKA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#G3OA, Semistable point (definition)
History
- 2026-11-02: add by m2/dev
ZV3EGJW8V7 ZV3EGJW8V7
| URI | m2://inv/ZV3EGJW8V7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31212#686P (statement). In FHE30V0M03/e1, lemma 4.3
History
- 2026-10-31: add by m2/v0.5.6
ZV3KKMMWXJ ZV3KKMMWXJ
| URI | m2://inv/ZV3KKMMWXJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06455#TLYT (statement). In N6GB5J5BAY/e1, lemma 6.4
History
- 2026-10-29: add by m2/v0.4.10
ZV3N3YZ64T ZV3N3YZ64T
| URI | m2://inv/ZV3N3YZ64T |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/propositions-as-types/normalization.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 60.4
History
- 2026-11-01: add by m2/v0.6.13
ZV3PGJQH6B ZV3PGJQH6B
| URI | m2://inv/ZV3PGJQH6B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#BF1Q (definition). In M0SQY5EZN5/e1, definition 2.2.1
History
- 2026-10-27: add by m2/v0.3.5
ZV3SQGD9TG ZV3SQGD9TG
| URI | m2://inv/ZV3SQGD9TG |
|---|---|
| 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.32174#2LLP (statement). In GHKR740SG3/e1, corollary 13.4
History
- 2026-10-31: add by m2/v0.5.6
Applications ZV42GTSDJW
| URI | m2://inv/ZV42GTSDJW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neyman allocation#7XWX, Applications (example)
History
- 2026-11-02: add by m2/dev
Repulsive diagrams ZV475B6NTC
| URI | m2://inv/ZV475B6NTC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1905.02785#QK26, Repulsive diagrams (definition). In PF9KV74Q02/e1, definition 4.7
History
- 2026-10-27: add by m2/v0.3.5
ZV4KN9W6MF ZV4KN9W6MF
| URI | m2://inv/ZV4KN9W6MF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-sheaf.tex#definition-1 (definition). In RZP28ERRZV, definition, section 27.1
History
- 2026-11-01: add by m2/v0.6.13
ZV4QK4NK5M ZV4QK4NK5M
| URI | m2://inv/ZV4QK4NK5M |
|---|---|
| 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 2111.07409#DJ43 (statement). In KWH4QJDPWC/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.4.0
ZV4R8D1JVY ZV4R8D1JVY
| URI | m2://inv/ZV4R8D1JVY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/arithmetization-syntax/proofs-in-lk.tex#ex-1 (example). In PKGMM3P5QY, ex, section 27.6
History
- 2026-11-01: add by m2/v0.6.13
Biconvex optimization ZV4RBKQBQM
| URI | m2://inv/ZV4RBKQBQM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#T4BE, Biconvex optimization (definition)
History
- 2026-11-02: add by m2/dev
ZV4SD73M34 ZV4SD73M34
| URI | m2://inv/ZV4SD73M34 |
|---|---|
| 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 2605.29624#T9PA (statement). In TAD5A4R089/e1, theorem 3.12
History
- 2026-10-27: add by m2/v0.3.5
intuitionistic logic ZV56ZT1YT8
| URI | m2://inv/ZV56ZT1YT8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Intuitionistic logic Q11N8X99FK |
Mentions
- wikidata: Wikidata Q176786, intuitionistic logic (unknown). Also MathWorld IntuitionisticLogic, nLab intuitionistic logic
- wikipedia: Wikipedia Intuitionistic logic, Intuitionistic logic (definition). Also Wikidata Q176786
History
- 2026-10-26: add by m2/dev
Schwarz–Ahlfors–Pick theorem ZV5B22Q4JK
| URI | m2://inv/ZV5B22Q4JK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#5948, Schwarz–Ahlfors–Pick theorem (statement)
History
- 2026-11-02: add by m2/dev
Applications ZV5ECYHZ5C
| URI | m2://inv/ZV5ECYHZ5C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Post's lattice#23K3, Applications (example)
History
- 2026-11-02: add by m2/dev
Heptagrammic-order heptagonal tiling ZV5J3CP55W
| URI | m2://inv/ZV5J3CP55W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#LWU2, Heptagrammic-order heptagonal tiling (definition)
History
- 2026-11-02: add by m2/dev
The limiting process ZV60XTF7HX
| URI | m2://inv/ZV60XTF7HX |
|---|---|
| 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.14616#52ST, The limiting process (statement). In 17ACAG0N9C/e1, proposition 8.9
History
- 2026-10-28: add by m2/v0.4.2
Log-submodularity ZV68RW64JG
| URI | m2://inv/ZV68RW64JG |
|---|---|
| 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.26873#ZK1W, Log-submodularity (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZV6AN51VQM ZV6AN51VQM
| URI | m2://inv/ZV6AN51VQM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#DXKB (definition). In 9H45HQE7AZ/e1, definition 3.13
History
- 2026-10-27: add by m2/v0.3.5
Every admissible index set fits ZV6GHSQZY3
| URI | m2://inv/ZV6GHSQZY3 |
|---|---|
| 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.28791#5RBN, Every admissible index set fits (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZV6HVTMJ3Q ZV6HVTMJ3Q
| URI | m2://inv/ZV6HVTMJ3Q |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 62.11
History
- 2026-11-01: add by m2/v0.6.13
ZV6SBRQ0PQ ZV6SBRQ0PQ
| URI | m2://inv/ZV6SBRQ0PQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29748#8RDP (definition)
History
- 2026-11-01: add by m2/v0.6.15
Parametric oscillator ZV6V56497G
| URI | m2://inv/ZV6V56497G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parametric oscillator, Parametric oscillator (definition). Also Wikidata Q2632607
History
- 2026-11-02: add by m2/dev
Ahlfors theory ZV73288G7V
| URI | m2://inv/ZV73288G7V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#KP6Z, Ahlfors theory (definition)
History
- 2026-11-02: add by m2/dev
Examples ZV77GHFKWN
| URI | m2://inv/ZV77GHFKWN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson boundary#UFW9, Examples (example)
History
- 2026-11-02: add by m2/dev
Cauchy net ZV7GSBPRBF
| URI | m2://inv/ZV7GSBPRBF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#86CG, Cauchy net (definition)
History
- 2026-11-02: add by m2/dev
ZV7JDFHB63 ZV7JDFHB63
| URI | m2://inv/ZV7JDFHB63 |
|---|---|
| Kind | definition |
| 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.27800#ZNM5 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Jean-Yves Béziau ZV7K1EXE1A
| URI | m2://inv/ZV7K1EXE1A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#M17L, Jean-Yves Béziau (topic)
History
- 2026-11-02: add by m2/dev
Structure theorems ZV7KYGKYN8
| URI | m2://inv/ZV7KYGKYN8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comodule over a Hopf algebroid#SCI9, Structure theorems (statement)
History
- 2026-11-02: add by m2/dev
slice ZV7VH80HY4
| URI | m2://inv/ZV7VH80HY4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#37TQ, slice (definition)
History
- 2026-11-02: add by m2/dev
Charles-Joseph Mathon de la Cour ZV7XR1RGH5
| URI | m2://inv/ZV7XR1RGH5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles-Joseph Mathon de la Cour, Charles-Joseph Mathon de la Cour (topic). Also Wikidata Q640198
History
- 2026-11-02: add by m2/dev
ZV7YN0V195 ZV7YN0V195
| URI | m2://inv/ZV7YN0V195 |
|---|---|
| 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#MPSZ (statement). In KVXDWX9B11/e1, corollary 2.3
History
- 2026-10-27: add by m2/v0.4.2
STRIPTLS ZV8D0Y3D2M
| URI | m2://inv/ZV8D0Y3D2M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opportunistic TLS#YV1P, STRIPTLS (unknown)
History
- 2026-11-02: add by m2/dev
James Joseph Sylvester ZV8K385ZEG
| URI | m2://inv/ZV8K385ZEG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Joseph Sylvester, James Joseph Sylvester (topic). Also Wikidata Q310781
History
- 2026-11-02: add by m2/dev
ZV8KVW41AK ZV8KVW41AK
| URI | m2://inv/ZV8KVW41AK |
|---|---|
| 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.15700#X9LL (statement). In S95MSZ7MDR/e1, lemma 3.13
History
- 2026-10-28: add by m2/v0.4.2
Black–Scholes formula ZV8NM04N7D
| URI | m2://inv/ZV8NM04N7D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Black–Scholes model#TF77, Black–Scholes formula (statement)
History
- 2026-11-02: add by m2/dev
ZV8P61DWHT ZV8P61DWHT
| URI | m2://inv/ZV8P61DWHT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.12931#KGMQ (statement). In PQHTR84RAJ/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.4.0
Theorem (Uniqueness of burst descriptions) ZV97FGNRKN
| URI | m2://inv/ZV97FGNRKN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burst error-correcting code#CA3P, Theorem (Uniqueness of burst descriptions) (statement)
History
- 2026-11-02: add by m2/dev
ZV97VRTVRX ZV97VRTVRX
| URI | m2://inv/ZV97VRTVRX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-10 (exercise). In E9HS8K3A52, exercise, section 4.1.1
History
- 2026-11-01: add by m2/v0.6.13
ZV9C1JRGZM ZV9C1JRGZM
| URI | m2://inv/ZV9C1JRGZM |
|---|---|
| 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.07049#0F94 (statement). In GMF552ESG6/e1, theorem C.1
History
- 2026-10-29: add by m2/v0.4.10
Examples ZV9C7XA4Y8
| URI | m2://inv/ZV9C7XA4Y8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex dynamics#93J4, Examples (example)
History
- 2026-11-02: add by m2/dev
No cheap rotation at angle $\sqrt\delta$ ZV9FNKPTE4
| URI | m2://inv/ZV9FNKPTE4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.37368#EB4E, No cheap rotation at angle $\sqrt\delta$ (statement). In FRMCKEGVJZ/e1, lemma 8
History
- 2026-10-30: add by m2/v0.4.12
ZV9N89PK7R ZV9N89PK7R
| URI | m2://inv/ZV9N89PK7R |
|---|---|
| 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.24845#169A (statement)
History
- 2026-11-01: add by m2/v0.6.15
Self-organizing map ZVA1R3QJQD
| URI | m2://inv/ZVA1R3QJQD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0QCR, Self-organizing map (definition)
History
- 2026-11-02: add by m2/dev
Statement ZVA7GR4S57
| URI | m2://inv/ZVA7GR4S57 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decomposition theorem of Beilinson, Bernstein and Deligne#ME1B, Statement (statement)
History
- 2026-11-02: add by m2/dev
Properties ZVA80M1KG0
| URI | m2://inv/ZVA80M1KG0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Turing jump#J0BU, Properties (statement)
History
- 2026-11-02: add by m2/dev
ZVABZ27C60 ZVABZ27C60
| URI | m2://inv/ZVABZ27C60 |
|---|---|
| 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 2605.24355#EFQS (statement). In VV3AJMWWCR/e1, proposition 5
History
- 2026-10-27: add by m2/v0.3.6
Structure of solutions and solution space ZVACJPPE0G
| URI | m2://inv/ZVACJPPE0G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14085#15DO, Structure of solutions and solution space (statement). In T8F19ZGHF3/e1, theorem 1.6
History
- 2026-10-28: add by m2/v0.4.2
Serial and common-query bounds ZVAGN2J8J3
| URI | m2://inv/ZVAGN2J8J3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12641#JDX1, Serial and common-query bounds (statement). In X5BYGZZHPF/e1, lemma G.3
History
- 2026-10-28: add by m2/v0.4.2
Examples ZVAKFJ9SKX
| URI | m2://inv/ZVAKFJ9SKX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ultrametric space#2SU2, Examples (example)
History
- 2026-11-02: add by m2/dev
Applications ZVAPKF35C3
| URI | m2://inv/ZVAPKF35C3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael selection theorem#E4FF, Applications (example)
History
- 2026-11-02: add by m2/dev
Croft's lemma ZVARCEYHWD
| URI | m2://inv/ZVARCEYHWD |
|---|---|
| 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.29326#6ZXY, Croft's lemma (statement). In 3F83V6VKKA/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.6
ZVASR37B44 ZVASR37B44
| URI | m2://inv/ZVASR37B44 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35678#Q7N9 (statement). In 4X4ZS7CEKD/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
bounded from below ZVAZ9P4ET0
| URI | m2://inv/ZVAZ9P4ET0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q140984148, bounded from below (unknown). Also MathWorld BoundedfromBelow
History
- 2026-10-26: add by m2/dev
Włodzimierz Marek Tulczyjew ZVBHHZXK55
| URI | m2://inv/ZVBHHZXK55 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Włodzimierz Marek Tulczyjew, Włodzimierz Marek Tulczyjew (topic). Also Wikidata Q102128358
History
- 2026-11-02: add by m2/dev
Variants ZVBV6EBH68
| URI | m2://inv/ZVBV6EBH68 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov–Arnold representation theorem#WWYS, Variants (statement)
History
- 2026-11-02: add by m2/dev
ZVC0D6WWMG ZVC0D6WWMG
| URI | m2://inv/ZVC0D6WWMG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26417#2PCY (statement)
History
- 2026-11-01: add by m2/v0.6.15
McEliece cryptosystem ZVC7JK9YD5
| URI | m2://inv/ZVC7JK9YD5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia McEliece cryptosystem, McEliece cryptosystem (definition). Also Wikidata Q1042583
History
- 2026-11-02: add by m2/dev
Entrainment (physics) ZVC7TYC0B6
| URI | m2://inv/ZVC7TYC0B6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Injection locking#TWFF, Entrainment (physics) (unknown)
History
- 2026-11-02: add by m2/dev
Walther von Dyck ZVCG0ZSDGY
| URI | m2://inv/ZVCG0ZSDGY |
|---|---|
| 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#3INU, Walther von Dyck (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#BBEA, Walther von Dyck (topic)
History
- 2026-11-02: add by m2/dev
Cantor's diagonal argument ZVCJ4T7RXS
| URI | m2://inv/ZVCJ4T7RXS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#91BQ, Cantor's diagonal argument (definition)
- wikipedia: Wikipedia List of mathematical logic topics#Y1MI, Cantor's diagonal argument (definition)
History
- 2026-11-02: add by m2/dev
Wilkie's theorem ZVCJK8BKKX
| URI | m2://inv/ZVCJK8BKKX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#MRM1, Wilkie's theorem (statement)
- wikipedia: Wikipedia List of exponential topics#HIZJ, Wilkie's theorem (statement)
History
- 2026-11-02: add by m2/dev
Theorem ZVCMS0BWCX
| URI | m2://inv/ZVCMS0BWCX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square root of a matrix#H1VE, Theorem (statement)
History
- 2026-11-02: add by m2/dev
ZVCRXRNY98 ZVCRXRNY98
| URI | m2://inv/ZVCRXRNY98 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16386#GORY (statement). In RAF0BFY3Z3/e1, corollary 5.7
History
- 2026-10-28: add by m2/v0.4.2
cross-polytope ZVDC89BM1V
| URI | m2://inv/ZVDC89BM1V |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Cross-polytope 5DYYRZWER6 |
Mentions
- wikidata: Wikidata Q1187914, cross-polytope (unknown). Also MathWorld CrossPolytope
- wikipedia: Wikipedia Cross-polytope, Cross-polytope (object). Also Wikidata Q1187914
History
- 2026-10-26: add by m2/dev
Statement ZVDEF8BWEA
| URI | m2://inv/ZVDEF8BWEA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Romanov's theorem#Q7KQ, Statement (statement)
History
- 2026-11-02: add by m2/dev
Theorem ZVE4D2RK22
| URI | m2://inv/ZVE4D2RK22 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral radius#ZFDY, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Mini-batch estimator: unbiasedness and variance ZVE8R8QSZ2
| URI | m2://inv/ZVE8R8QSZ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03303#7SZJ, Mini-batch estimator: unbiasedness and variance (statement). In VS9KKQWEMX/e1, theorem B.4
History
- 2026-10-29: add by m2/v0.4.12
ZVEB265XEJ ZVEB265XEJ
| URI | m2://inv/ZVEB265XEJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-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.39317#NMWQ (example). In QM1T8JDK4A/e1, example 5.15
History
- 2026-10-30: add by m2/v0.4.12
Hartland Snyder ZVEHWDPQN4
| URI | m2://inv/ZVEHWDPQN4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#YFD3, Hartland Snyder (unknown)
History
- 2026-11-02: add by m2/dev
transgression map ZVEHZ1CEZM
| URI | m2://inv/ZVEHZ1CEZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16865975, transgression map (unknown). Also nLab transgression
- wikipedia: Wikipedia Transgression map, Transgression map (definition). Also Wikidata Q16865975
History
- 2026-10-26: add by m2/dev
ZVEN04AFSV ZVEN04AFSV
| URI | m2://inv/ZVEN04AFSV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/categories.tex#example-3 (example). In RZP28ERRZV, example, section 36.2
History
- 2026-11-01: add by m2/v0.6.13
Nearest neighbor search ZVEN9VST7D
| URI | m2://inv/ZVEN9VST7D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#ARWX, Nearest neighbor search (unknown)
History
- 2026-11-02: add by m2/dev
Finite field ZVERB743XF
| URI | m2://inv/ZVERB743XF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#S6JN, Finite field (definition)
History
- 2026-11-02: add by m2/dev
Somers' D ZVERWSVAHW
| URI | m2://inv/ZVERWSVAHW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Somers' D, Somers' D (definition). Also Wikidata Q25304485
History
- 2026-11-02: add by m2/dev
ZVEWZCF9C4 ZVEWZCF9C4
| URI | m2://inv/ZVEWZCF9C4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/natural-deduction/sequents.tex#prop-2 (statement). In PKGMM3P5QY, prop, section 58.3
History
- 2026-11-01: add by m2/v0.6.13
The embedding ZVEZGWZ4TP
| URI | m2://inv/ZVEZGWZ4TP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26984#B0MD, The embedding (statement)
History
- 2026-11-01: add by m2/v0.6.15
Frederick Mosteller ZVF3TTCQRP
| URI | m2://inv/ZVF3TTCQRP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#GCYL, Frederick Mosteller (topic)
History
- 2026-11-02: add by m2/dev
inflection point ZVFCCJ42EC
| URI | m2://inv/ZVFCCJ42EC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#YO73, inflection point (definition)
History
- 2026-11-02: add by m2/dev
ZVFKG3828F ZVFKG3828F
| URI | m2://inv/ZVFKG3828F |
|---|---|
| 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.28365#623O (statement)
History
- 2026-11-01: add by m2/v0.6.15
WhatsApp ZVFKK4CP0W
| URI | m2://inv/ZVFKK4CP0W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia WhatsApp, WhatsApp (definition). Also Wikidata Q1049511
History
- 2026-11-02: add by m2/dev
Verification principle ZVFS9S3Y00
| URI | m2://inv/ZVFS9S3Y00 |
|---|---|
| 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.27744#FHKO, Verification principle (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mark Lathrop ZVFWTERADM
| URI | m2://inv/ZVFWTERADM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mark Lathrop, Mark Lathrop (topic). Also Wikidata Q6768494
History
- 2026-11-02: add by m2/dev
Negative hypergeometric distribution ZVG4FX3EM9
| URI | m2://inv/ZVG4FX3EM9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Negative hypergeometric distribution, Negative hypergeometric distribution (definition). Also Wikidata Q17062386
History
- 2026-11-02: add by m2/dev
RSA-420 ZVG4RG6W4G
| URI | m2://inv/ZVG4RG6W4G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#ROVE, RSA-420 (unknown)
History
- 2026-11-02: add by m2/dev
Ludics ZVG7A5PTJS
| URI | m2://inv/ZVG7A5PTJS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ludics, Ludics (definition). Also Wikidata Q6698793
History
- 2026-11-02: add by m2/dev
Schur class ZVG8RZGP94
| URI | m2://inv/ZVG8RZGP94 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur class, Schur class (definition). Also Wikidata Q17107445
History
- 2026-11-02: add by m2/dev
Jean-Pierre Ramis ZVG9YCWE36
| URI | m2://inv/ZVG9YCWE36 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean-Pierre Ramis, Jean-Pierre Ramis (topic). Also Wikidata Q1685248
History
- 2026-11-02: add by m2/dev
ZVGCCSHFVZ ZVGCCSHFVZ
| URI | m2://inv/ZVGCCSHFVZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.09900#LSD4 (statement). In ATSYBWEMMP/e1, theorem 8.3
History
- 2026-10-29: add by m2/v0.4.10
Algorithm ZVGEJ4X0DS
| URI | m2://inv/ZVGEJ4X0DS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multi-armed bandit#5NKX, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
method ZVGFP4WAVB
| URI | m2://inv/ZVGFP4WAVB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1799072, method (unknown). Also MathWorld Method
History
- 2026-10-26: add by m2/dev
Examples ZVGG5KEW6M
| URI | m2://inv/ZVGG5KEW6M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized conic#IIFS, Examples (example)
History
- 2026-11-02: add by m2/dev
ZVGNKXB0NB ZVGNKXB0NB
| URI | m2://inv/ZVGNKXB0NB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05986#R2HG (statement). In N5ZM8MXJXH/e1, proposition 5.13
History
- 2026-10-29: add by m2/v0.4.10
Elongated triangular bipyramid ZVGQG12R64
| URI | m2://inv/ZVGQG12R64 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#2KMJ, Elongated triangular bipyramid (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#JTW7, Elongated triangular bipyramid (definition)
History
- 2026-11-02: add by m2/dev
ZVGRNCRH76 ZVGRNCRH76
| URI | m2://inv/ZVGRNCRH76 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03424#UVP1 (statement). In Q6HRJP4AWA/e1, proposition 6.6
History
- 2026-10-29: add by m2/v0.4.12
Examples ZVGV7CK9HX
| URI | m2://inv/ZVGV7CK9HX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frustum#3JTQ, Examples (example)
History
- 2026-11-02: add by m2/dev
no small subgroup ZVGXMYK0W1
| URI | m2://inv/ZVGXMYK0W1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 30970275) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#GRPC, no small subgroup (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
ZVGXS2KJB4 ZVGXS2KJB4
| URI | m2://inv/ZVGXS2KJB4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/substitution.tex#thm:clr (statement). In PKGMM3P5QY, thm, section 38.15
History
- 2026-11-01: add by m2/v0.6.13
Shape holomorphy of the screen EFIE ZVGYVSDP9N
| URI | m2://inv/ZVGYVSDP9N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14888#KGO0, Shape holomorphy of the screen EFIE (statement). In GN3ZT9DAD9/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
Roderick Chisholm ZVH1X7E5SC
| URI | m2://inv/ZVH1X7E5SC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roderick Chisholm, Roderick Chisholm (topic). Also Wikidata Q877276
History
- 2026-11-02: add by m2/dev
PARSCALE ZVHC3C1EHJ
| URI | m2://inv/ZVHC3C1EHJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Psychometric software#35Z8, PARSCALE (unknown)
History
- 2026-11-02: add by m2/dev
Epi Map ZVHCS5CHFR
| URI | m2://inv/ZVHCS5CHFR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epi Map, Epi Map (definition). Also Wikidata Q5382398
History
- 2026-11-02: add by m2/dev
enneadecagon ZVHJYV1756
| URI | m2://inv/ZVHJYV1756 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q863989, enneadecagon (unknown). Also MathWorld Enneadecagon
History
- 2026-10-26: add by m2/dev
Definition ZVHMEX4H0X
| URI | m2://inv/ZVHMEX4H0X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kodaira–Spencer map#XG7F, Definition (definition)
History
- 2026-11-02: add by m2/dev
Order-2 triangular tiling honeycomb ZVJ4AJCA5B
| URI | m2://inv/ZVJ4AJCA5B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#YOSJ, Order-2 triangular tiling honeycomb (unknown)
History
- 2026-11-02: add by m2/dev
ZVJ8QDEZF4 ZVJ8QDEZF4
| URI | m2://inv/ZVJ8QDEZF4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35204#1J56 (statement). In 8ZZNDYK76B/e1, proposition 4.3
History
- 2026-10-30: add by m2/v0.4.12
Generalized global Cauchy data ZVJGRNSSPJ
| URI | m2://inv/ZVJGRNSSPJ |
|---|---|
| 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.17519#AQUW, Generalized global Cauchy data (statement). In H2DNTQ5MKV/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
Lie's third theorem ZVJGTXC8F1
| URI | m2://inv/ZVJGTXC8F1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#GY68, Lie's third theorem (statement)
History
- 2026-11-02: add by m2/dev
ZVJRHAVQZF ZVJRHAVQZF
| URI | m2://inv/ZVJRHAVQZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33770#4KCM (statement). In 7DJ3C4V66R/e1, theorem 1.6
History
- 2026-10-30: add by m2/v0.4.12
Definition ZVJWA1BK31
| URI | m2://inv/ZVJWA1BK31 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variety of finite semigroups#JYGG, Definition (definition)
History
- 2026-11-02: add by m2/dev
ZVJZ0CXMJ2 ZVJZ0CXMJ2
| URI | m2://inv/ZVJZ0CXMJ2 |
|---|---|
| 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 1406.2996#HELY (statement). In 6XENXFC77F/e1, theorem 4.6
History
- 2026-10-27: add by m2/v0.3.5
Vivid designator ZVK06KGRG6
| URI | m2://inv/ZVK06KGRG6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vivid designator, Vivid designator (definition). Also Wikidata Q7937836
History
- 2026-11-02: add by m2/dev
John Charles Fields ZVK3WADXMS
| URI | m2://inv/ZVK3WADXMS |
|---|---|
| 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#63XL, John Charles Fields (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#L5CJ, John Charles Fields (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NKQI, John Charles Fields (topic)
History
- 2026-11-02: add by m2/dev
type, universe ZVK6QPW4EV
| URI | m2://inv/ZVK6QPW4EV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.10/type-universe, type, universe (concept). In N54F33XE07, index, section 1.10
History
- 2026-11-01: add by m2/v0.6.13
ZVK8KSSH0K ZVK8KSSH0K
| URI | m2://inv/ZVK8KSSH0K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25100#TRII (definition)
History
- 2026-11-01: add by m2/v0.6.15
ZVKBPJA2Y2 ZVKBPJA2Y2
| URI | m2://inv/ZVKBPJA2Y2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.24190#4SVG (statement). In DW7FVA587C/e1, theorem 3.7
History
- 2026-10-27: add by m2/v0.3.5
ZVKCSX7HDA ZVKCSX7HDA
| URI | m2://inv/ZVKCSX7HDA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-3-6-3.xml#act-3-6-3 (exercise). In 907G4C4EJ1, activity, section 3.6.2
History
- 2026-11-01: add by m2/v0.6.13
Local passage near the cone ZVKHZDTMPC
| URI | m2://inv/ZVKHZDTMPC |
|---|---|
| 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.37265#4CWN, Local passage near the cone (statement). In BKYAWEC5XH/e1, lemma 6.6
History
- 2026-10-30: add by m2/v0.4.12
ZVKMNCFZWY ZVKMNCFZWY
| URI | m2://inv/ZVKMNCFZWY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-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.18512#8VD8 (statement). In 11JNM66Z09/e1, fact 11.3
History
- 2026-10-28: add by m2/v0.4.2
Ulrike Tillmann ZVM1VW8VPH
| URI | m2://inv/ZVM1VW8VPH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7B1Y, Ulrike Tillmann (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Q7UB, Ulrike Tillmann (topic)
- wikipedia: Wikipedia List of German mathematicians#I2PK, Ulrike Tillmann (topic)
History
- 2026-11-02: add by m2/dev
ZVM3ABJBAQ ZVM3ABJBAQ
| URI | m2://inv/ZVM3ABJBAQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16332#D7YR (statement). In JJQPFXZQ3D/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
radius of convergence ZVM81JAM2N
| URI | m2://inv/ZVM81JAM2N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Complex-valued series > radius of convergence, radius of convergence (unknown). Also Mathlib FormalMultilinearSeries.radius
History
- 2026-10-26: add by m2/dev
ZVMJVP6BG6 ZVMJVP6BG6
| URI | m2://inv/ZVMJVP6BG6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03288#38WW (statement). In ZHP1MFSACN/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.12
ZVMJXMMKNN ZVMJXMMKNN
| URI | m2://inv/ZVMJXMMKNN |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12357#CE53 (problem). In 1F26AF81XP/e1, problem 1.2
History
- 2026-10-28: add by m2/v0.4.2
The supremum over tilts is attained at a finite tilt ZVMTFRG0WK
| URI | m2://inv/ZVMTFRG0WK |
|---|---|
| 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#K0RT, The supremum over tilts is attained at a finite tilt (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZVMVE0S1FM ZVMVE0S1FM
| URI | m2://inv/ZVMVE0S1FM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-39 (exercise). In E59CDZA4DP, exercise, section 9.3.4
History
- 2026-11-01: add by m2/v0.6.13
Ross Mathematics Program ZVN6WV9823
| URI | m2://inv/ZVN6WV9823 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arnold Ross#IKQ6, Ross Mathematics Program (unknown)
History
- 2026-11-02: add by m2/dev
Maria-Pia Victoria-Feser ZVN8TP2KJC
| URI | m2://inv/ZVN8TP2KJC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maria-Pia Victoria-Feser, Maria-Pia Victoria-Feser (topic). Also Wikidata Q21264345
History
- 2026-11-02: add by m2/dev
Anita Kanter ZVNBY8ZG0W
| URI | m2://inv/ZVNBY8ZG0W |
|---|---|
| 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#0T1N, Anita Kanter (unknown)
History
- 2026-11-02: add by m2/dev
ZVNC4S0DMR ZVNC4S0DMR
| URI | m2://inv/ZVNC4S0DMR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20060#R0AF (example)
History
- 2026-11-02: add by m2/v0.6.18
ZVNG5VEQP6 ZVNG5VEQP6
| URI | m2://inv/ZVNG5VEQP6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21231#HGMR (statement). In 4RH9PS7MN1/e1, lemma 5
History
- 2026-10-27: add by m2/v0.4.2
Probabilistic encryption ZVNKR1EFVM
| URI | m2://inv/ZVNKR1EFVM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probabilistic encryption, Probabilistic encryption (definition). Also Wikidata Q7246854
History
- 2026-11-02: add by m2/dev
ZVNTDCMWQ7 ZVNTDCMWQ7
| URI | m2://inv/ZVNTDCMWQ7 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09206#3DU0 (unknown). In T7R1Q29DQK/e1, unknown
History
- 2026-10-29: add by m2/v0.4.10
Claim 2 ZVP6YDX1TR
| URI | m2://inv/ZVP6YDX1TR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Straight-line program#HLKO, Claim 2 (statement)
History
- 2026-11-02: add by m2/dev
ZVPE9CX5ZE ZVPE9CX5ZE
| URI | m2://inv/ZVPE9CX5ZE |
|---|---|
| Kind | problem |
| 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.36622#JZSW (problem). In 9704QPRPR6/e1, problem 1.3
History
- 2026-10-30: add by m2/v0.4.12
Variants ZVPERNAQV3
| URI | m2://inv/ZVPERNAQV3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractional dominating set#RGCN, Variants (statement)
History
- 2026-11-02: add by m2/dev
Function field analogy ZVPHDNK6FE
| URI | m2://inv/ZVPHDNK6FE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#6X5R, Function field analogy (definition)
History
- 2026-11-02: add by m2/dev
ZVPS69AVT7 ZVPS69AVT7
| URI | m2://inv/ZVPS69AVT7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/structure.tex#definition-4 (definition). In RZP28ERRZV, definition, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
ZVPVVTB8Q0 ZVPVVTB8Q0
| URI | m2://inv/ZVPVVTB8Q0 |
|---|---|
| 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 2503.08018#50M1 (statement). In TN93YFN45W/e1, proposition 6.4
History
- 2026-10-27: add by m2/v0.4.0
Adjacent one-dimensional interaction ZVQ3F2QZ22
| URI | m2://inv/ZVQ3F2QZ22 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#V35V, Adjacent one-dimensional interaction (statement). In RYWAX33Z51/e1, lemma 9.6
History
- 2026-10-31: add by m2/v0.5.6
Examples ZVQ5036JFK
| URI | m2://inv/ZVQ5036JFK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleene algebra#SZOK, Examples (example)
History
- 2026-11-02: add by m2/dev
Formal definition ZVR1BVZ1X8
| URI | m2://inv/ZVR1BVZ1X8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semigroup with involution#C4CZ, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Kurt Hensel ZVR4C23E7N
| URI | m2://inv/ZVR4C23E7N |
|---|---|
| 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 Q61756, Kurt Hensel (unknown). Also nLab Kurt Hensel
- wikipedia: Wikipedia Kurt Hensel, Kurt Hensel (topic). Also Wikidata Q61756
History
- 2026-10-26: add by m2/dev
ZVR6YXAEKC ZVR6YXAEKC
| URI | m2://inv/ZVR6YXAEKC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00798#EGAG (statement). In FANG3A8NZ9/e1, lemma 5.6
History
- 2026-10-29: add by m2/v0.4.12
ZVRB1HW0F0 ZVRB1HW0F0
| URI | m2://inv/ZVRB1HW0F0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.22394#3PKD (statement)
History
- 2026-11-02: add by m2/v0.6.17
function, non-expanding ZVREZB3ZGQ
| URI | m2://inv/ZVREZB3ZGQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.3.3/function-non-expanding, function, non-expanding (concept). In N54F33XE07, index, section B.3.3
History
- 2026-11-01: add by m2/v0.6.13
The quaternionic secondary bit ZVRJ4F1DMM
| URI | m2://inv/ZVRJ4F1DMM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29839#4YAT, The quaternionic secondary bit (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZVRSEVJ67C ZVRSEVJ67C
| URI | m2://inv/ZVRSEVJ67C |
|---|---|
| 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.12271#QF75 (statement). In WGCET6KSQ7/e1, theorem 21
History
- 2026-10-27: add by m2/v0.3.6
David Rindskopf ZVS3X3F6N3
| URI | m2://inv/ZVS3X3F6N3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Rindskopf, David Rindskopf (topic). Also Wikidata Q28086043
History
- 2026-11-02: add by m2/dev
ZVS5HKR08Q ZVS5HKR08Q
| URI | m2://inv/ZVS5HKR08Q |
|---|---|
| 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.08261#650F (statement). In QD68GYRWNS/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
ZVSA7CRM8T ZVSA7CRM8T
| URI | m2://inv/ZVSA7CRM8T |
|---|---|
| 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.14249#6H8D (statement). In B6P8PG8R8T/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Minkowski's second theorem ZVSFCMA3NP
| URI | m2://inv/ZVSFCMA3NP |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6867853, Minkowski's second theorem (statement). Also Wikidata Q6867853
- thousand_plus: thousand_plus Q6867853, Minkowski's second theorem (statement). Also Wikidata Q6867853, Wikipedia Minkowski's second theorem
- wikipedia: Wikipedia Minkowski's second theorem, Minkowski's second theorem (statement). Also Wikidata Q6867853
History
- 2026-10-26: add by m2/dev
ZVSG65Y2BX ZVSG65Y2BX
| URI | m2://inv/ZVSG65Y2BX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.01073#5RS7 (definition). In W4TYN4PGE8/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Three Way, Texas ZVSSATDPC4
| URI | m2://inv/ZVSSATDPC4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#HT9I, Three Way, Texas (unknown)
History
- 2026-11-02: add by m2/dev
Results ZVSXZAW23C
| URI | m2://inv/ZVSXZAW23C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wahlwort#8VC1, Results (statement)
History
- 2026-11-02: add by m2/dev
Anneli Lax ZVT4EFRHE4
| URI | m2://inv/ZVT4EFRHE4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anneli Lax, Anneli Lax (topic). Also Wikidata Q566072
History
- 2026-11-02: add by m2/dev
ZVT4S7J2QX ZVT4S7J2QX
| URI | m2://inv/ZVT4S7J2QX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35460#FB56 (statement). In R515NECVME/e1, proposition 9.2
History
- 2026-10-30: add by m2/v0.4.12
Weyl basis ZVT6BWSKP6
| URI | m2://inv/ZVT6BWSKP6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#R5TU, Weyl basis (definition)
History
- 2026-11-02: add by m2/dev
Euler polynomials ZVTA4H2TBT
| URI | m2://inv/ZVTA4H2TBT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#3JXY, Euler polynomials (definition)
History
- 2026-11-02: add by m2/dev
ZVTQ9PRZJX ZVTQ9PRZJX
| URI | m2://inv/ZVTQ9PRZJX |
|---|---|
| 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.26386#JNIQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZVV7EQ5QDT ZVV7EQ5QDT
| URI | m2://inv/ZVV7EQ5QDT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30207#HITB (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZVV8H283XM ZVV8H283XM
| URI | m2://inv/ZVV8H283XM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:ex:hocat (exercise). In N54F33XE07, ex, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
Bertram Huppert ZVVCYQNWWF
| URI | m2://inv/ZVVCYQNWWF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bertram Huppert, Bertram Huppert (topic). Also Wikidata Q97824
History
- 2026-11-02: add by m2/dev
Barry Mazur ZVVDMTY1X6
| URI | m2://inv/ZVVDMTY1X6 |
|---|---|
| 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 Q809076, Barry Mazur (unknown). Also nLab Barry Mazur
- wikipedia: Wikipedia Barry Mazur, Barry Mazur (topic). Also Wikidata Q809076
History
- 2026-10-26: add by m2/dev
Lam's problem ZVVQ8K0RD3
| URI | m2://inv/ZVVQ8K0RD3 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lam's problem, Lam's problem (problem). Also Wikidata Q106696246
History
- 2026-11-02: add by m2/dev
Method ZVVT41T9FG
| URI | m2://inv/ZVVT41T9FG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random projection#WJKH, Method (definition)
History
- 2026-11-02: add by m2/dev
ZVWFB741GQ ZVWFB741GQ
| URI | m2://inv/ZVWFB741GQ |
|---|---|
| Kind | problem |
| 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 2610.09133#6X1M (problem). In E7BPGPP9Z5/e1, problem 5
History
- 2026-10-29: add by m2/v0.4.10
Carlo Ignazio Giulio ZVWKYNYRTY
| URI | m2://inv/ZVWKYNYRTY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carlo Ignazio Giulio, Carlo Ignazio Giulio (topic). Also Wikidata Q3659497
History
- 2026-11-02: add by m2/dev
Ladyzhenskaya–Babuška–Brezzi condition ZVWV5681XP
| URI | m2://inv/ZVWV5681XP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ladyzhenskaya–Babuška–Brezzi condition, Ladyzhenskaya–Babuška–Brezzi condition (definition). Also Wikidata Q55648034
History
- 2026-11-02: add by m2/dev
Examples ZVX172KHPN
| URI | m2://inv/ZVX172KHPN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally connected space#R1GJ, Examples (example)
History
- 2026-11-02: add by m2/dev
Rule 102 ZVX1HFR7NN
| URI | m2://inv/ZVX1HFR7NN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rule 90#MMOC, Rule 102 (unknown)
History
- 2026-11-02: add by m2/dev
ZVX21TR8A0 ZVX21TR8A0
| URI | m2://inv/ZVX21TR8A0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11047#L2G7 (statement). In MNQAZ70XTH/e1, lemma 10.12
History
- 2026-10-28: add by m2/v0.4.3
Symmetry ZVXC7CM6KF
| URI | m2://inv/ZVXC7CM6KF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexagonal trapezohedron#562R, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Mode (statistics) ZVXFFCFXNC
| URI | m2://inv/ZVXFFCFXNC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#XG5W, Mode (statistics) (definition)
History
- 2026-11-02: add by m2/dev
ZVXX5VWHNM ZVXX5VWHNM
| URI | m2://inv/ZVXX5VWHNM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04694#USWK (definition). In W9A0Z2NBMA/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.12
ZVXYWFBT5B ZVXYWFBT5B
| URI | m2://inv/ZVXYWFBT5B |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bondage number#BB5A (problem)
History
- 2026-11-02: add by m2/dev
Global existence, decay, and scattering ZVXZ6MCVDZ
| URI | m2://inv/ZVXZ6MCVDZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28251#WAXP, Global existence, decay, and scattering (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZVY67HYF6C ZVY67HYF6C
| URI | m2://inv/ZVY67HYF6C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21533#CF82 (statement). In N3Z6JFEPCF/e1, corollary 1.4
History
- 2026-10-27: add by m2/v0.4.2
ZVYA97B9CF ZVYA97B9CF
| URI | m2://inv/ZVYA97B9CF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20522#TGSL (statement)
History
- 2026-11-02: add by m2/v0.6.18
Statement of the theorem ZVYTCD7PSK
| URI | m2://inv/ZVYTCD7PSK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kakutani's theorem (measure theory)#AJLM, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Nicole Oresme ZVYTNFPZ6X
| URI | m2://inv/ZVYTNFPZ6X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicole Oresme, Nicole Oresme (topic). Also Wikidata Q310777
History
- 2026-11-02: add by m2/dev
Variants ZVYV0PBS6X
| URI | m2://inv/ZVYV0PBS6X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nash equilibrium#OVZU, Variants (statement)
History
- 2026-11-02: add by m2/dev
Stationary subspace analysis ZVZAKRAV2B
| URI | m2://inv/ZVZAKRAV2B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stationary subspace analysis, Stationary subspace analysis (definition). Also Wikidata Q7604349
History
- 2026-11-02: add by m2/dev
Notation ZVZD1VPJRD
| URI | m2://inv/ZVZD1VPJRD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet character#TE8H, Notation (definition)
History
- 2026-11-02: add by m2/dev
Law of averages ZVZJZCMT8Q
| URI | m2://inv/ZVZJZCMT8Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#REH8, Law of averages (statement)
History
- 2026-11-02: add by m2/dev
ZVZMEKVWJC ZVZMEKVWJC
| URI | m2://inv/ZVZMEKVWJC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18302#PYA9 (example). In VJTRH1S4JA/e1, example 3.23
History
- 2026-10-28: add by m2/v0.4.2
ZVZMX29ZMW ZVZMX29ZMW
| URI | m2://inv/ZVZMX29ZMW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23527#4FME (statement)
History
- 2026-11-02: add by m2/v0.6.17
Brigitte Jaumard ZVZQ8AGSQD
| URI | m2://inv/ZVZQ8AGSQD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brigitte Jaumard, Brigitte Jaumard (topic). Also Wikidata Q67963987
History
- 2026-11-02: add by m2/dev
Applications ZVZWYYK421
| URI | m2://inv/ZVZWYYK421 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Voronoi diagram#Q0PG, Applications (example)
History
- 2026-11-02: add by m2/dev
Cyclic reduction ZVZY9HWK3M
| URI | m2://inv/ZVZY9HWK3M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic reduction, Cyclic reduction (definition). Also Wikidata Q16235112
History
- 2026-11-02: add by m2/dev
Algorithms ZVZZR9C359
| URI | m2://inv/ZVZZR9C359 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudoforest#P0I5, Algorithms (definition)
History
- 2026-11-02: add by m2/dev