Inventory rows CZ
The cards of the rows of the inventory whose ids start with CZ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Properties of fractional exchange matrices CZ03NWR29T
| URI | m2://inv/CZ03NWR29T |
|---|---|
| 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.24569#WVTI, Properties of fractional exchange matrices (statement)
History
- 2026-11-01: add by m2/v0.6.15
decomposable CZ0G42MGZQ
| URI | m2://inv/CZ0G42MGZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#JHT7, decomposable (definition)
History
- 2026-11-02: add by m2/dev
Pan-African Mathematics Olympiads CZ0KHEJHDN
| URI | m2://inv/CZ0KHEJHDN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pan-African Mathematics Olympiads, Pan-African Mathematics Olympiads (definition). Also Wikidata Q25098837
History
- 2026-11-02: add by m2/dev
CZ0Z37S0QV CZ0Z37S0QV
| URI | m2://inv/CZ0Z37S0QV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#Z7NP (definition). In WD2NCBV9F0/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Lindström–Gessel–Viennot lemma CZ141SWASJ
| URI | m2://inv/CZ141SWASJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lindström–Gessel–Viennot lemma, Lindström–Gessel–Viennot lemma (statement). Also Wikidata Q6552939
History
- 2026-11-02: add by m2/dev
CZ19FCDQD9 CZ19FCDQD9
| URI | m2://inv/CZ19FCDQD9 |
|---|---|
| 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.17303#5W6N (statement). In PHD4ABS8WH/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
Properties CZ1TJ09XQA
| URI | m2://inv/CZ1TJ09XQA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic operator#X1KY, Properties (statement)
History
- 2026-11-02: add by m2/dev
Lambertian reflectance CZ1W00WQT6
| URI | m2://inv/CZ1W00WQT6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#7NEH, Lambertian reflectance (unknown)
History
- 2026-11-02: add by m2/dev
CZ20RJT540 CZ20RJT540
| URI | m2://inv/CZ20RJT540 |
|---|---|
| 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.01273#4LIG (statement). In RAT41DDR51/e1, lemma 5.6
History
- 2026-10-29: add by m2/v0.4.12
Examples CZ28V7X4F2
| URI | m2://inv/CZ28V7X4F2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Groupoid#HCCO, Examples (example)
History
- 2026-11-02: add by m2/dev
CZ2AJQTV8Z CZ2AJQTV8Z
| URI | m2://inv/CZ2AJQTV8Z |
|---|---|
| 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 2211.04758#H09L (definition). In DRWDJG2G3S/e1, definition 1.15
History
- 2026-10-27: add by m2/v0.3.5
Fundamental theorem of calculus for line integrals CZ2DM38ZY0
| URI | m2://inv/CZ2DM38ZY0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems called fundamental#UR0S, Fundamental theorem of calculus for line integrals (statement)
History
- 2026-11-02: add by m2/dev
CZ2GGHBYFH CZ2GGHBYFH
| URI | m2://inv/CZ2GGHBYFH |
|---|---|
| Kind | definition |
| 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.10928#ZZ7C (definition). In 8M7BFVQYMM/e1, definition 5.7
History
- 2026-10-28: add by m2/v0.4.3
Definitions CZ2HWHDK6H
| URI | m2://inv/CZ2HWHDK6H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liouville's theorem (differential algebra)#MXT6, Definitions (definition)
History
- 2026-11-02: add by m2/dev
CZ2XRP21S9 CZ2XRP21S9
| URI | m2://inv/CZ2XRP21S9 |
|---|---|
| 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 2308.05715#A7KW (definition). In FC0SB9JFWH/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
CZ34NSQKZT CZ34NSQKZT
| URI | m2://inv/CZ34NSQKZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.09374#SL0K (statement). In TGAHH1F8K5/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.6
Monodromy of two-fibered pseudo-cubes CZ378J8XST
| URI | m2://inv/CZ378J8XST |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18154#I072, Monodromy of two-fibered pseudo-cubes (statement). In 4W7ARR1DAR/e1, theorem 8.2
History
- 2026-10-28: add by m2/v0.4.2
CZ3DE18X1A CZ3DE18X1A
| URI | m2://inv/CZ3DE18X1A |
|---|---|
| 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.18270#GCEU (statement). In CPDMYJ0NJV/e1, proposition 9.1
History
- 2026-10-28: add by m2/v0.4.2
Anomaly detection CZ3F9C6FT6
| URI | m2://inv/CZ3F9C6FT6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anomaly detection, Anomaly detection (definition). Also Wikidata Q3560506
History
- 2026-11-02: add by m2/dev
CZ3HVKT5GD CZ3HVKT5GD
| URI | m2://inv/CZ3HVKT5GD |
|---|---|
| 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.11441#ZO5T (statement). In RNXV4Q58TY/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.3
Angle sum and difference identity CZ3J50NP9M
| URI | m2://inv/CZ3J50NP9M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atan2#24E2, Angle sum and difference identity (statement)
History
- 2026-11-02: add by m2/dev
CZ3R2KD9M8 CZ3R2KD9M8
| URI | m2://inv/CZ3R2KD9M8 |
|---|---|
| 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.30090#TP4Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
Calibrated probability assessment CZ3SBQG8BY
| URI | m2://inv/CZ3SBQG8BY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calibrated probability assessment, Calibrated probability assessment (definition). Also Wikidata Q5019831
History
- 2026-11-02: add by m2/dev
CZ3ZCT7HCV CZ3ZCT7HCV
| URI | m2://inv/CZ3ZCT7HCV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-3.xml#prop-span-bound (statement). In 649HGZKE96, proposition, section 2.3.3
History
- 2026-11-01: add by m2/v0.6.13
Vladimir Drinfeld CZ3ZN508N1
| URI | m2://inv/CZ3ZN508N1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#KLRT, Vladimir Drinfeld (topic)
- wikipedia: Wikipedia List of Ukrainian Jews#19B6, Vladimir Drinfeld (topic)
History
- 2026-11-02: add by m2/dev
Scope CZ4BP91HXJ
| URI | m2://inv/CZ4BP91HXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scope (logic), Scope (definition). Also Wikidata Q21198616
History
- 2026-11-02: add by m2/dev
interrogative logic CZ4FAQ6FPZ
| URI | m2://inv/CZ4FAQ6FPZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#0VPF, interrogative logic (definition)
History
- 2026-11-02: add by m2/dev
CZ4JHBQ9DF CZ4JHBQ9DF
| URI | m2://inv/CZ4JHBQ9DF |
|---|---|
| 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.10525#V2QU (statement). In N3K26VPX0R/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
unknot CZ4PZSG5CN
| URI | m2://inv/CZ4PZSG5CN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Unknot 1TQ06R4Q66 |
Mentions
- wikidata: Wikidata Q1188344, unknot (unknown). Also MathWorld Unknot, nLab unknot
- wikipedia: Wikipedia Unknot, Unknot (definition). Also Wikidata Q1188344
History
- 2026-10-26: add by m2/dev
Definition CZ4Q3B5THJ
| URI | m2://inv/CZ4Q3B5THJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dinic's algorithm#WLH4, Definition (definition)
History
- 2026-11-02: add by m2/dev
factor analysis CZ4RCVYBAT
| URI | m2://inv/CZ4RCVYBAT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#U5GL, factor analysis (definition)
History
- 2026-11-02: add by m2/dev
Stereotomy (descriptive geometry) CZ51YMB80F
| URI | m2://inv/CZ51YMB80F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#ZUOL, Stereotomy (descriptive geometry) (definition)
History
- 2026-11-02: add by m2/dev
CZ53MT754Y CZ53MT754Y
| URI | m2://inv/CZ53MT754Y |
|---|---|
| Kind | statement |
| 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.34289#XLJ6 (statement). In 9RBATD2Z1F/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
CZ55KYYKY8 CZ55KYYKY8
| URI | m2://inv/CZ55KYYKY8 |
|---|---|
| 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 2610.15535#UG71 (statement). In 73A9KWZJRD/e1, corollary 6.4
History
- 2026-10-28: add by m2/v0.4.2
CZ5919832M CZ5919832M
| URI | m2://inv/CZ5919832M |
|---|---|
| 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.30203#T7TF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Logic Made Easy CZ59HKKGYC
| URI | m2://inv/CZ59HKKGYC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logic Made Easy, Logic Made Easy (definition). Also Wikidata Q6667439
History
- 2026-11-02: add by m2/dev
Generalized Riemann hypothesis CZ5E3J6VP5
| URI | m2://inv/CZ5E3J6VP5 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Generalized Riemann hypothesis DNKA4WBKDS |
Mentions
- wikidata: Wikidata Q685140, Generalized Riemann hypothesis (conjecture). Also LMFDB knowl lfunction.rh, MathWorld GeneralizedRiemannHypothesis
- wikipedia: Wikipedia Generalized Riemann hypothesis, Generalized Riemann hypothesis (conjecture). Also Wikidata Q685140
History
- 2026-10-26: add by m2/dev
lattice path CZ5FJ2095P
| URI | m2://inv/CZ5FJ2095P |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/2.2.3/lattice-path, lattice path (concept). In Y91XFCEVHQ, index, section 2.2.3
History
- 2026-11-01: add by m2/v0.6.13
CZ5FP36F13 CZ5FP36F13
| URI | m2://inv/CZ5FP36F13 |
|---|---|
| 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.27641#TYRR (statement)
History
- 2026-11-01: add by m2/v0.6.15
CZ61G2TXMY CZ61G2TXMY
| URI | m2://inv/CZ61G2TXMY |
|---|---|
| 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#IYV1 (statement). In BDN507RN7J/e1, lemma 3.2.20
History
- 2026-10-30: add by m2/v0.4.12
CZ680YFS1Y CZ680YFS1Y
| URI | m2://inv/CZ680YFS1Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.13523#9EGB (statement). In DDA62XQTWW/e1, theorem 4.16
History
- 2026-10-27: add by m2/v0.3.5
Applications CZ68TZW7Y4
| URI | m2://inv/CZ68TZW7Y4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paraboloidal coordinates#FSOD, Applications (example)
History
- 2026-11-02: add by m2/dev
Weil–Petersson metric CZ69F1KVJE
| URI | m2://inv/CZ69F1KVJE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7980206, Weil–Petersson metric (concept). Also nLab Weil-Petersson metric
- wikipedia: Wikipedia Weil–Petersson metric, Weil–Petersson metric (definition). Also Wikidata Q7980206
History
- 2026-10-26: add by m2/dev
CZ6KBHD76P CZ6KBHD76P
| URI | m2://inv/CZ6KBHD76P |
|---|---|
| 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.03144#AKN2 (statement). In 9QW88325GS/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
Matthew Gursky CZ6Q3Q1E89
| URI | m2://inv/CZ6Q3Q1E89 |
|---|---|
| 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#0G8Y, Matthew Gursky (unknown)
History
- 2026-11-02: add by m2/dev
Graded category CZ6V1XDKP9
| URI | m2://inv/CZ6V1XDKP9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graded category, Graded category (definition). Also Wikidata Q5591872
History
- 2026-11-02: add by m2/dev
Cauchy–Born rule CZ6ZWXN877
| URI | m2://inv/CZ6ZWXN877 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#BTHN, Cauchy–Born rule (unknown)
History
- 2026-11-02: add by m2/dev
pivotal isogonal cubic CZ77066DXT
| URI | m2://inv/CZ77066DXT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2603355, pivotal isogonal cubic (unknown). Also MathWorld PivotalIsogonalCubic
History
- 2026-10-26: add by m2/dev
Reduced form CZ7MVZ8XG3
| URI | m2://inv/CZ7MVZ8XG3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WZN5, Reduced form (definition)
History
- 2026-11-02: add by m2/dev
CZ80Z6MPT0 CZ80Z6MPT0
| URI | m2://inv/CZ80Z6MPT0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.04503#YT0P (statement). In GWQP1XPM8E/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.12
Definitions CZ8AFTM533
| URI | m2://inv/CZ8AFTM533 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia *-algebra#63N4, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Konstantin Andreev CZ8CZ6RJXA
| URI | m2://inv/CZ8CZ6RJXA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Konstantin Andreev, Konstantin Andreev (topic). Also Wikidata Q1992801
History
- 2026-11-02: add by m2/dev
Density increment CZ8GSMV5TH
| URI | m2://inv/CZ8GSMV5TH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2610.12831#ME76, Density increment (statement). In 7ZBQ8WGQVB/e1, lemma 6.6
History
- 2026-10-28: add by m2/v0.4.2
ascendant subgroup CZ8HFAPAWG
| URI | m2://inv/CZ8HFAPAWG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 4966647) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#28IO, ascendant subgroup (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
CZ8HHD5VBX CZ8HHD5VBX
| URI | m2://inv/CZ8HHD5VBX |
|---|---|
| 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.05820#ZFDT (statement). In S8EGCJQ0JV/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
Alan J. Goldman CZ8N6EJCDZ
| URI | m2://inv/CZ8N6EJCDZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alan J. Goldman, Alan J. Goldman (topic). Also Wikidata Q24204521
History
- 2026-11-02: add by m2/dev
CZ8V576YAF CZ8V576YAF
| URI | m2://inv/CZ8V576YAF |
|---|---|
| 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#U42S (statement)
History
- 2026-11-01: add by m2/v0.6.15
Taylor coefficient bound CZ8V9A3397
| URI | m2://inv/CZ8V9A3397 |
|---|---|
| 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.25120#DF8X, Taylor coefficient bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dedekind valuation CZ92SMJ67N
| URI | m2://inv/CZ92SMJ67N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Richard Dedekind#8YJ9, Dedekind valuation (definition)
History
- 2026-11-02: add by m2/dev
CZ97EWE1PE CZ97EWE1PE
| URI | m2://inv/CZ97EWE1PE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15543#TQ5C (definition). In TQSHQZFCS5/e1, definition
History
- 2026-10-28: add by m2/v0.4.2
Random constant-time limit CZ97Y3CYC2
| URI | m2://inv/CZ97Y3CYC2 |
|---|---|
| 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.00614#SIMU, Random constant-time limit (statement). In NC5Z77F6H4/e1, theorem 7.1
History
- 2026-10-30: add by m2/v0.4.12
CZ995G05N4 CZ995G05N4
| URI | m2://inv/CZ995G05N4 |
|---|---|
| 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.29501#SU99 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Enneahectogon CZ9F7C7VXA
| URI | m2://inv/CZ9F7C7VXA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#ZDSH, Enneahectogon (unknown)
History
- 2026-11-02: add by m2/dev
CZ9KEXQERX CZ9KEXQERX
| URI | m2://inv/CZ9KEXQERX |
|---|---|
| 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#W6I1 (statement). In TAD5A4R089/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
Law of total variance CZ9WA082BZ
| URI | m2://inv/CZ9WA082BZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#RB6X, Law of total variance (statement)
- wikipedia: Wikipedia List of probability topics#V44Q, Law of total variance (statement)
History
- 2026-11-02: add by m2/dev
CZ9YHD094R CZ9YHD094R
| URI | m2://inv/CZ9YHD094R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05193#0IAB (statement). In XDMM0KNNZ9/e1, corollary 62
History
- 2026-10-29: add by m2/v0.4.10
$A_3^{(1)}$-type CZA0TC7BW2
| URI | m2://inv/CZA0TC7BW2 |
|---|---|
| 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 2104.11433#EHS8, $A_3^{(1)}$-type (statement). In X3TYD6TMCE/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.3.5
Compartmental models CZAG0F8ZG6
| URI | m2://inv/CZAG0F8ZG6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compartmental models (epidemiology), Compartmental models (definition). Also Wikidata Q2572354
History
- 2026-11-02: add by m2/dev
CZB6PXA0RY CZB6PXA0RY
| URI | m2://inv/CZB6PXA0RY |
|---|---|
| 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.03555#AQV0 (statement). In 9JZJTRRVR1/e1, lemma 4.21
History
- 2026-10-29: add by m2/v0.4.12
Examples CZBCASRSBT
| URI | m2://inv/CZBCASRSBT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trimmed estimator#3QN5, Examples (example)
History
- 2026-11-02: add by m2/dev
CZBE6M02Y6 CZBE6M02Y6
| URI | m2://inv/CZBE6M02Y6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20679#90XV (statement)
History
- 2026-11-02: add by m2/v0.6.18
Construction CZBQH80YBX
| URI | m2://inv/CZBQH80YBX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barnsley fern#0Y7F, Construction (definition)
History
- 2026-11-02: add by m2/dev
Clusters CZBRJ72SGH
| URI | m2://inv/CZBRJ72SGH |
|---|---|
| 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 2609.20031#4ISJ, Clusters (definition)
History
- 2026-11-02: add by m2/v0.6.18
Definition CZBSRGYHTP
| URI | m2://inv/CZBSRGYHTP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Injective function#8VFB, Definition (definition)
History
- 2026-11-02: add by m2/dev
CZBY29EHEZ CZBY29EHEZ
| URI | m2://inv/CZBY29EHEZ |
|---|---|
| Kind | example |
| 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.01932#3VRT (example). In XDKWW6NR0K/e1, example 5.4
History
- 2026-10-29: add by m2/v0.4.12
CZBYCZCKBX CZBYCZCKBX
| URI | m2://inv/CZBYCZCKBX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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.34081#FGPC (statement). In 3RVGEKGX46/e1, lemma 7.1
History
- 2026-10-30: add by m2/v0.4.12
CZBYGW6YK7 CZBYGW6YK7
| URI | m2://inv/CZBYGW6YK7 |
|---|---|
| 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.23238#I7UJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
New learning theory quantity CZCEJZW5VA
| URI | m2://inv/CZCEJZW5VA |
|---|---|
| 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 2102.11076#RN6M, New learning theory quantity (definition). In T9HZXHTQBJ/e1, definition 6
History
- 2026-10-27: add by m2/v0.3.6
Greater-than sign CZCHMZV7EY
| URI | m2://inv/CZCHMZV7EY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greater-than sign, Greater-than sign (definition). Also Wikidata Q3490717
History
- 2026-11-02: add by m2/dev
Transfer CZCNEXEEZT
| URI | m2://inv/CZCNEXEEZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03865#WZWM, Transfer (statement). In G3D1YR20BJ/e1, lemma 4.25
History
- 2026-10-29: add by m2/v0.4.12
Theaetetus CZCNJ0F2DX
| URI | m2://inv/CZCNJ0F2DX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#EBV9, Theaetetus (unknown)
History
- 2026-11-02: add by m2/dev
CZCQ8WGDW7 CZCQ8WGDW7
| URI | m2://inv/CZCQ8WGDW7 |
|---|---|
| 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#I0UT (statement)
History
- 2026-11-01: add by m2/v0.6.15
CZCVHR1K5W CZCVHR1K5W
| URI | m2://inv/CZCVHR1K5W |
|---|---|
| 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.37967#0QI1 (example). In BR2E3CXQE0/e1, example 6.4
History
- 2026-10-30: add by m2/v0.4.12
CZCVRSC8BP CZCVRSC8BP
| URI | m2://inv/CZCVRSC8BP |
|---|---|
| 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#JKAB (statement)
History
- 2026-11-01: add by m2/v0.6.15
CZCWSY2NVM CZCWSY2NVM
| URI | m2://inv/CZCWSY2NVM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#86BE (statement). In 3A4K47Y9F2/e1, lemma 3.18
History
- 2026-10-27: add by m2/v0.4.0
Sergei Adian CZCZRZWYZC
| URI | m2://inv/CZCZRZWYZC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#4BWG, Sergei Adian (topic)
History
- 2026-11-02: add by m2/dev
Notation CZD0B2Z4CW
| URI | m2://inv/CZD0B2Z4CW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Container method#NG48, Notation (definition)
History
- 2026-11-02: add by m2/dev
Multipartite saturation CZD30N232C
| URI | m2://inv/CZD30N232C |
|---|---|
| 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 2609.34260#SKKF, Multipartite saturation (statement). In BBE69ZPVTF/e1, corollary 5.13
History
- 2026-10-30: add by m2/v0.4.12
CZD6V0ESKP CZD6V0ESKP
| URI | m2://inv/CZD6V0ESKP |
|---|---|
| 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.30315#FF0L (definition). In FXTCVHYW5S/e1, definition 5.10
History
- 2026-10-31: add by m2/v0.5.6
Lemma 2.7, Corollary 3.2 CZD87YPKPE
| URI | m2://inv/CZD87YPKPE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13385#7ZJ3, Lemma 2.7, Corollary 3.2 (statement). In J99CBQ3QYD/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
ECC patents CZDA3NF9RJ
| URI | m2://inv/CZDA3NF9RJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ECC patents, ECC patents (definition). Also Wikidata Q5322656
History
- 2026-11-02: add by m2/dev
CZDC3J1RJC CZDC3J1RJC
| URI | m2://inv/CZDC3J1RJC |
|---|---|
| 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.20894#MBDH (statement)
History
- 2026-11-02: add by m2/v0.6.18
CZDCR6N0BB CZDCR6N0BB
| URI | m2://inv/CZDCR6N0BB |
|---|---|
| Kind | example |
| 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#LP04 (example). In 4RH9PS7MN1/e1, example 2
History
- 2026-10-27: add by m2/v0.4.2
Well-definedness of the square-class invariant CZDFV92Y7G
| URI | m2://inv/CZDFV92Y7G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15340#WYG9, Well-definedness of the square-class invariant (statement). In 9NVKKW8HDH/e1, lemma 2.16
History
- 2026-10-28: add by m2/v0.4.2
Theorem CZDPMZ9YF3
| URI | m2://inv/CZDPMZ9YF3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Priestley space#1WI9, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Order-4 24-cell honeycomb CZDQ1KFFR5
| URI | m2://inv/CZDQ1KFFR5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#L8JS, Order-4 24-cell honeycomb (definition)
History
- 2026-11-02: add by m2/dev
Charles F. Roos CZE1MEQ3D9
| URI | m2://inv/CZE1MEQ3D9 |
|---|---|
| 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#L3AC, Charles F. Roos (topic)
History
- 2026-11-02: add by m2/dev
Random estimates CZEEKMP33E
| URI | m2://inv/CZEEKMP33E |
|---|---|
| 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.23362#RF4Z, Random estimates (statement)
History
- 2026-11-02: add by m2/v0.6.17
Pearson, Karl CZEGQCY7PH
| URI | m2://inv/CZEGQCY7PH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#00D6, Pearson, Karl (topic)
History
- 2026-11-02: add by m2/dev
Flory–Huggins solution theory CZEGYKEDPQ
| URI | m2://inv/CZEGYKEDPQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flory–Huggins solution theory, Flory–Huggins solution theory (definition). Also Wikidata Q5461964
History
- 2026-11-02: add by m2/dev
CZEPZKJA6A CZEPZKJA6A
| URI | m2://inv/CZEPZKJA6A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#DZ2B (statement). In 5KR3MHYVV6/e1, corollary 2.0
History
- 2026-10-28: add by m2/v0.4.2
Applications CZF75XM2R1
| URI | m2://inv/CZF75XM2R1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carry-less product#RUAJ, Applications (example)
History
- 2026-11-02: add by m2/dev
CZFADHZEDF CZFADHZEDF
| URI | m2://inv/CZFADHZEDF |
|---|---|
| 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#Y5P5 (statement). In NTWNXKDBKK/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
Negative root CZFAWT346R
| URI | m2://inv/CZFAWT346R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Root system#ZEYP, Negative root (unknown)
History
- 2026-11-02: add by m2/dev
David R. Brillinger CZFQH74K1D
| URI | m2://inv/CZFQH74K1D |
|---|---|
| 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#H6WD, David R. Brillinger (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#4CDX, David R. Brillinger (topic)
History
- 2026-11-02: add by m2/dev
uncountable set CZFSMSCHK0
| URI | m2://inv/CZFSMSCHK0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Uncountable set 0W7FBYS1F1 |
Mentions
- wikidata: Wikidata Q1128796, uncountable set (definition). Also ProofWiki Definition:Uncountable_Set
- wikipedia: Wikipedia Uncountable set, Uncountable set (definition). Also Wikidata Q1128796
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
CZFXSK1G5C CZFXSK1G5C
| URI | m2://inv/CZFXSK1G5C |
|---|---|
| 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#C44J (statement). In RYWAX33Z51/e1, corollary 5.10
History
- 2026-10-31: add by m2/v0.5.6
Nishimori law of a two-terminal graph CZG26D1KQ9
| URI | m2://inv/CZG26D1KQ9 |
|---|---|
| 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.37479#B3GB, Nishimori law of a two-terminal graph (statement). In P3RTT99C41/e1, lemma C.2
History
- 2026-10-30: add by m2/v0.4.12
CZG2GQZGC7 CZG2GQZGC7
| URI | m2://inv/CZG2GQZGC7 |
|---|---|
| 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.28336#O531 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Amorphous set CZG3XYKQ2A
| URI | m2://inv/CZG3XYKQ2A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amorphous set, Amorphous set (definition). Also Wikidata Q4747788
History
- 2026-11-02: add by m2/dev
CZGH6ZHPAZ CZGH6ZHPAZ
| URI | m2://inv/CZGH6ZHPAZ |
|---|---|
| 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.19288#RH8B (statement). In 1EA6AM9V01/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
Algorithmic probability CZGSR5PERD
| URI | m2://inv/CZGSR5PERD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithmic probability, Algorithmic probability (definition). Also Wikidata Q4724365
History
- 2026-11-02: add by m2/dev
0,000 000 000 001 CZGT8S9WV0
| URI | m2://inv/CZGT8S9WV0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (numbers)#1AWM, 0,000 000 000 001 (unknown)
History
- 2026-11-02: add by m2/dev
CZGZ0XX70A CZGZ0XX70A
| URI | m2://inv/CZGZ0XX70A |
|---|---|
| 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.28509#GOBN (statement)
History
- 2026-11-01: add by m2/v0.6.15
string, ternary CZHGCFZ59S
| URI | m2://inv/CZHGCFZ59S |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/9.1.2/string-ternary, string, ternary (concept). In QKM9DD2H56, index, section 9.1.2
History
- 2026-11-01: add by m2/v0.6.13
Fibers with few active directions CZHGQ9AJXX
| URI | m2://inv/CZHGQ9AJXX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02216#5N2R, Fibers with few active directions (statement). In 34JGRZ2M5F/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
CZHH37FNDV CZHH37FNDV
| URI | m2://inv/CZHH37FNDV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30544#ZVRU (statement). In CB35ZBBBPT/e1, corollary 2.8
History
- 2026-10-31: add by m2/v0.5.6
Gaussian concentration inequality for Lipschitz functions (Tao 2012, Theorem 2.1.12.) CZHQA5GSV5
| URI | m2://inv/CZHQA5GSV5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sub-Gaussian distribution#XBZI, Gaussian concentration inequality for Lipschitz functions (Tao 2012, Theorem 2.1.12.) (statement)
History
- 2026-11-02: add by m2/dev
Tjalling Koopmans CZHR0NAYAK
| URI | m2://inv/CZHR0NAYAK |
|---|---|
| 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#SRWC, Tjalling Koopmans (topic)
History
- 2026-11-02: add by m2/dev
CZHRBBG8VD CZHRBBG8VD
| URI | m2://inv/CZHRBBG8VD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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.01919#E2CX (definition). In 4H727T2YAS/e1, definition 9.4
History
- 2026-10-29: add by m2/v0.4.12
CZHT93RHGM CZHT93RHGM
| URI | m2://inv/CZHT93RHGM |
|---|---|
| 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 2308.05715#AP46 (statement). In FC0SB9JFWH/e1, theorem 9.2
History
- 2026-10-27: add by m2/v0.3.5
CZHZ39H4N6 CZHZ39H4N6
| URI | m2://inv/CZHZ39H4N6 |
|---|---|
| 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.01928#3PMG (statement). In BSJRRHKGX0/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.12
Properties CZHZJZHPSQ
| URI | m2://inv/CZHZJZHPSQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwartz space#VHGL, Properties (statement)
History
- 2026-11-02: add by m2/dev
Coverage CZJ3M91Q0P
| URI | m2://inv/CZJ3M91Q0P |
|---|---|
| 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.33866#WSWO, Coverage (statement). In Y3MSGX6472/e1, corollary 20
History
- 2026-10-30: add by m2/v0.4.12
68–95–99.7 rule CZJ6N08DR5
| URI | m2://inv/CZJ6N08DR5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 68–95–99.7 rule, 68–95–99.7 rule (definition). Also Wikidata Q847822
History
- 2026-11-02: add by m2/dev
CZJEA5JQ1Z CZJEA5JQ1Z
| URI | m2://inv/CZJEA5JQ1Z |
|---|---|
| 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#MR47 (statement). In P9J6P06Y40/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
Lubell–Yamamoto–Meshalkin inequality CZJJZ6SNY8
| URI | m2://inv/CZJJZ6SNY8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lubell–Yamamoto–Meshalkin inequality, Lubell–Yamamoto–Meshalkin inequality (statement). Also Wikidata Q1872826
History
- 2026-11-02: add by m2/dev
Michael Lacey CZJKWA6YH1
| URI | m2://inv/CZJKWA6YH1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7C4C, Michael Lacey (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#K9K1, Michael Lacey (topic)
History
- 2026-11-02: add by m2/dev
CZJQHRGHZ1 CZJQHRGHZ1
| URI | m2://inv/CZJQHRGHZ1 |
|---|---|
| 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.21540#YZ9I (statement)
History
- 2026-11-02: add by m2/v0.6.18
class function CZJRZPYTAC
| URI | m2://inv/CZJRZPYTAC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 1001329) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#XB94, class function (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Roel Campos CZJTD3XT6C
| URI | m2://inv/CZJTD3XT6C |
|---|---|
| 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#ZSQO, Roel Campos (unknown)
History
- 2026-11-02: add by m2/dev
Eigenplane CZK67KMPGV
| URI | m2://inv/CZK67KMPGV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eigenplane, Eigenplane (definition). Also Wikidata Q5348909
History
- 2026-11-02: add by m2/dev
CZK9D83GNP CZK9D83GNP
| URI | m2://inv/CZK9D83GNP |
|---|---|
| Kind | definition |
| 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.08027#TWUL (definition). In YF3CEQDXGQ/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.10
Results CZKMQ6Y31Q
| URI | m2://inv/CZKMQ6Y31Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia André–Oort conjecture#GNHG, Results (statement)
History
- 2026-11-02: add by m2/dev
Elongated pentagonal gyrobirotunda CZKW13C8D7
| URI | m2://inv/CZKW13C8D7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#3NV7, Elongated pentagonal gyrobirotunda (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#6K4S, Elongated pentagonal gyrobirotunda (definition)
History
- 2026-11-02: add by m2/dev
Connectivity obstruction CZKX8VFQG4
| URI | m2://inv/CZKX8VFQG4 |
|---|---|
| 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 2609.34260#KJIS, Connectivity obstruction (statement). In BBE69ZPVTF/e1, proposition 5.4
History
- 2026-10-30: add by m2/v0.4.12
CZM6Y1KWEX CZM6Y1KWEX
| URI | m2://inv/CZM6Y1KWEX |
|---|---|
| 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.08610#4TRY (statement). In CB2JWNS1E9/e1, corollary 4.2
History
- 2026-10-29: add by m2/v0.4.10
CZM74CRR1T CZM74CRR1T
| URI | m2://inv/CZM74CRR1T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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 2407.02022#GKCH (statement). In RZDNWV9E29/e1, lemma 2.12
History
- 2026-10-27: add by m2/v0.3.6
Mathematical chemistry CZM7AAKKQJ
| URI | m2://inv/CZM7AAKKQJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#P5X6, Mathematical chemistry (definition)
History
- 2026-11-02: add by m2/dev
CZMPMSFMKF CZMPMSFMKF
| URI | m2://inv/CZMPMSFMKF |
|---|---|
| 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#DEZK (statement). In BDN507RN7J/e1, proposition 3.1.19
History
- 2026-10-30: add by m2/v0.4.12
Lossy medium CZMQ66HAFC
| URI | m2://inv/CZMQ66HAFC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permittivity#EHIC, Lossy medium (unknown)
History
- 2026-11-02: add by m2/dev
CZMW0R33Z4 CZMW0R33Z4
| URI | m2://inv/CZMW0R33Z4 |
|---|---|
| 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 dg-ga/9612010#J5MW (statement). In CM39SWC4A6/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.4.0
CZN5DHYW69 CZN5DHYW69
| URI | m2://inv/CZN5DHYW69 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/provability-consistency.tex#prop:provability-exhaustive (statement). In PKGMM3P5QY, prop, section 22.7
History
- 2026-11-01: add by m2/v0.6.13
CZN5SQHX9X CZN5SQHX9X
| URI | m2://inv/CZN5SQHX9X |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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.24777#ZLCU (example)
History
- 2026-11-01: add by m2/v0.6.15
Bing–Borsuk conjecture CZN8EPVR4D
| URI | m2://inv/CZN8EPVR4D |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bing–Borsuk conjecture, Bing–Borsuk conjecture (conjecture). Also Wikidata Q55605472
History
- 2026-11-02: add by m2/dev
Definition CZNAXTM9BQ
| URI | m2://inv/CZNAXTM9BQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unit distance graph#ATZA, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definition CZNGTDW9G9
| URI | m2://inv/CZNGTDW9G9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rand index#MC5X, Definition (definition)
History
- 2026-11-02: add by m2/dev
CZNQRJ407E CZNQRJ407E
| URI | m2://inv/CZNQRJ407E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-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.14278#55ON (statement). In RTE2C0PH4S/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Definition CZNTA4GCZ0
| URI | m2://inv/CZNTA4GCZ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rng (algebra)#6UND, Definition (definition)
History
- 2026-11-02: add by m2/dev
Model-theoretic grammar CZNVR92M49
| URI | m2://inv/CZNVR92M49 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Model-theoretic grammar, Model-theoretic grammar (definition). Also Wikidata Q28134042
History
- 2026-11-02: add by m2/dev
perfect graph CZNYAQCZSB
| URI | m2://inv/CZNYAQCZSB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.4.1/perfect-graph, perfect graph (concept). In Y91XFCEVHQ, index, section 5.4.1
History
- 2026-11-01: add by m2/v0.6.13
CZP096DNDV CZP096DNDV
| URI | m2://inv/CZP096DNDV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/line-bundles.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 85.3
History
- 2026-11-01: add by m2/v0.6.13
Tempered representation CZP0V5XDZS
| URI | m2://inv/CZP0V5XDZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tempered representation, Tempered representation (definition). Also Wikidata Q7698344
History
- 2026-11-02: add by m2/dev
CZP1DPH9X4 CZP1DPH9X4
| URI | m2://inv/CZP1DPH9X4 |
|---|---|
| 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 2311.16205#LAHT (statement). In 3GE9PS9AH0/e1, theorem 1.2.5
History
- 2026-10-27: add by m2/v0.3.5
CZP3GC875B CZP3GC875B
| URI | m2://inv/CZP3GC875B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11946#UOXD (statement). In VQ96F8CY5M/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.3
Breaker's strategy for the \bkfourg and \kfourg CZP6TVYXZD
| URI | m2://inv/CZP6TVYXZD |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38138#ZJMU, Breaker's strategy for the \bkfourg and \kfourg (unknown). In G97FA99ZEF/e1, unknown 4.4
History
- 2026-10-30: add by m2/v0.4.12
CZPC6N1BVB CZPC6N1BVB
| URI | m2://inv/CZPC6N1BVB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises7-1.xml#exercise-2 (exercise). In 649HGZKE96, exercise, section 7.1
History
- 2026-11-01: add by m2/v0.6.13
CZPE5EX2EX CZPE5EX2EX
| URI | m2://inv/CZPE5EX2EX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.11097#ZIWH (statement). In 13H5BTAXHF/e1, theorem 19
History
- 2026-10-27: add by m2/v0.3.5
Farrell–Jones conjecture CZPEVMF8D3
| URI | m2://inv/CZPEVMF8D3 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Farrell–Jones conjecture, Farrell–Jones conjecture (conjecture). Also Wikidata Q5436273
History
- 2026-11-02: add by m2/dev
Claire Deschênes CZPKPHBJCB
| URI | m2://inv/CZPKPHBJCB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#4YON, Claire Deschênes (unknown)
History
- 2026-11-02: add by m2/dev
CZPM7VPPZX CZPM7VPPZX
| URI | m2://inv/CZPM7VPPZX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13877#O7GM (statement). In NBMA6DBKJG/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Adams–Williamson equation CZPSJGXVPB
| URI | m2://inv/CZPSJGXVPB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adams–Williamson equation, Adams–Williamson equation (definition). Also Wikidata Q4680537
History
- 2026-11-02: add by m2/dev
CZPTSH5ZKE CZPTSH5ZKE
| URI | m2://inv/CZPTSH5ZKE |
|---|---|
| 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 1404.3458#838Z (statement). In W67E5R5MBF/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
CZQ05S9TAQ CZQ05S9TAQ
| URI | m2://inv/CZQ05S9TAQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32078#DND0 (statement). In 5PN85N6EJF/e1, proposition E.4
History
- 2026-10-31: add by m2/v0.5.6
Lee's L CZQ2FZQFT8
| URI | m2://inv/CZQ2FZQFT8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lee's L, Lee's L (definition). Also Wikidata Q131298799
History
- 2026-11-02: add by m2/dev
CZQ2HD1G1M CZQ2HD1G1M
| URI | m2://inv/CZQ2HD1G1M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 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.19194#NBJY (definition). In P9D8W64P7X/e1, definition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Philip Kitcher CZQ9F0NRRZ
| URI | m2://inv/CZQ9F0NRRZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philip Kitcher, Philip Kitcher (topic). Also Wikidata Q1935210
History
- 2026-11-02: add by m2/dev
Arbitrage CZQADQX7JR
| URI | m2://inv/CZQADQX7JR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arbitrage, Arbitrage (definition). Also Wikidata Q273088
History
- 2026-11-02: add by m2/dev
Groupthink CZQASFEK6K
| URI | m2://inv/CZQASFEK6K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#1PS1, Groupthink (unknown)
History
- 2026-11-02: add by m2/dev
irrational number CZQDZ9W7QP
| URI | m2://inv/CZQDZ9W7QP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Irrational number 080T2TXVQV |
Mentions
- wikidata: Wikidata Q607728, irrational number (unknown). Also EoM Irrational_number, Mathlib Irrational, MathWorld IrrationalNumber
- wikipedia: Wikipedia Irrational number, Irrational number (definition). Also Wikidata Q607728
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
CZQE68WHZF CZQE68WHZF
| URI | m2://inv/CZQE68WHZF |
|---|---|
| Kind | definition |
| 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.25111#S4SE (definition)
History
- 2026-11-01: add by m2/v0.6.15
CZQHC3E6RV CZQHC3E6RV
| URI | m2://inv/CZQHC3E6RV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Topology.tex#prob:closed or not (exercise). In P1C114YBXG, problem, section K
History
- 2026-11-01: add by m2/v0.6.13
function, injective CZQHCS73TJ
| URI | m2://inv/CZQHCS73TJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.2/function-injective, function, injective (concept). In N54F33XE07, index, section C.1.2
History
- 2026-11-01: add by m2/v0.6.13
Order-9 enneagrammic tiling CZQPE8HXQH
| URI | m2://inv/CZQPE8HXQH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#R5Z8, Order-9 enneagrammic tiling (unknown)
History
- 2026-11-02: add by m2/dev
James Goodnight CZQQ024Z2P
| URI | m2://inv/CZQQ024Z2P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Goodnight, James Goodnight (topic). Also Wikidata Q92733
History
- 2026-11-02: add by m2/dev
CZQVGZDKGH CZQVGZDKGH
| URI | m2://inv/CZQVGZDKGH |
|---|---|
| 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.36421#TI4W (statement). In E0ZRSZ0YHT/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
CZQZ78BJW4 CZQZ78BJW4
| URI | m2://inv/CZQZ78BJW4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14217#VI1Y (statement). In K0DHYQC5B7/e1, theorem 1.7
History
- 2026-10-28: add by m2/v0.4.2
CZR3GYQ46Q CZR3GYQ46Q
| URI | m2://inv/CZR3GYQ46Q |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises5-2.xml#exercise-5 (exercise). In 649HGZKE96, exercise, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
CZR3Q7GHTR CZR3Q7GHTR
| URI | m2://inv/CZR3Q7GHTR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2305.08210#JXXQ (statement). In D4VDVX74FT/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.6
CZR90PW8R7 CZR90PW8R7
| URI | m2://inv/CZR90PW8R7 |
|---|---|
| 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 1512.06981#BN7X (statement). In X923ZEY423/e1, lemma 2.0.3
History
- 2026-10-27: add by m2/v0.3.5
CZRA22K7T5 CZRA22K7T5
| URI | m2://inv/CZRA22K7T5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.28677#UYND (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sam Phraeng CZRASBP3RF
| URI | m2://inv/CZRASBP3RF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#N43K, Sam Phraeng (unknown)
History
- 2026-11-02: add by m2/dev
CZRB79YV7G CZRB79YV7G
| URI | m2://inv/CZRB79YV7G |
|---|---|
| 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 2105.03715#71R1 (statement). In H3FWT3Z0J4/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
Statistical model specification CZRNRCZ76M
| URI | m2://inv/CZRNRCZ76M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5KF0, Statistical model specification (definition)
History
- 2026-11-02: add by m2/dev
Molien's formula CZS0EW1BQ2
| URI | m2://inv/CZS0EW1BQ2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Molien's formula, Molien's formula (statement). Also Wikidata Q6896155
History
- 2026-11-02: add by m2/dev
CZS2RBCSTJ CZS2RBCSTJ
| URI | m2://inv/CZS2RBCSTJ |
|---|---|
| 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.21475#RU65 (statement). In TTRSZVT4VX/e1, proposition 2.13
History
- 2026-10-27: add by m2/v0.4.2
CZSERFTMQG CZSERFTMQG
| URI | m2://inv/CZSERFTMQG |
|---|---|
| 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.21414#DNKJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
CZSKMERTMR CZSKMERTMR
| URI | m2://inv/CZSKMERTMR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/infinite-valued-logics/lukasiewicz.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 40.2
History
- 2026-11-01: add by m2/v0.6.13
Model of random polytope CZSSD02FK9
| URI | m2://inv/CZSSD02FK9 |
|---|---|
| Kind | definition |
| 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#SY89, Model of random polytope (definition). In T8F19ZGHF3/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2
CZSYVFKZGB CZSYVFKZGB
| URI | m2://inv/CZSYVFKZGB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25718#LGOW (definition)
History
- 2026-11-01: add by m2/v0.6.15
CZT1DBXBFA CZT1DBXBFA
| URI | m2://inv/CZT1DBXBFA |
|---|---|
| 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.22263#71C7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
CZT2EAEM6G CZT2EAEM6G
| URI | m2://inv/CZT2EAEM6G |
|---|---|
| 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.02506#5KXM (statement). In 3JKRBZWJ33/e1, theorem 4.6
History
- 2026-10-29: add by m2/v0.4.12
Soundness of NbE CZT3HS4ETA
| URI | m2://inv/CZT3HS4ETA |
|---|---|
| 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#GQCW, Soundness of NbE (statement). In CPYWHRTPKC/e1, theorem 7.48
History
- 2026-10-27: add by m2/v0.4.2
CZT3JT6XXE CZT3JT6XXE
| URI | m2://inv/CZT3JT6XXE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03754#2MJ0 (statement). In J1Z9P0H13V/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.12
bimedian CZT5PQZCJV
| URI | m2://inv/CZT5PQZCJV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20917521, bimedian (unknown). Also MathWorld Bimedian
History
- 2026-10-26: add by m2/dev
CZT852JGTP CZT852JGTP
| URI | m2://inv/CZT852JGTP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15217#BJNG (definition). In G70Q2FB591/e1, definition 2.24
History
- 2026-10-28: add by m2/v0.4.2
Loxodromic navigation CZTFN5QA6G
| URI | m2://inv/CZTFN5QA6G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loxodromic navigation, Loxodromic navigation (definition). Also Wikidata Q11695170
History
- 2026-11-02: add by m2/dev
CZTG8ZGS1S CZTG8ZGS1S
| URI | m2://inv/CZTG8ZGS1S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01888#4B3Z (statement). In A89G9GMPC9/e1, lemma 2.9
History
- 2026-10-29: add by m2/v0.4.12
ordinary CZTQGCWCRT
| URI | m2://inv/CZTQGCWCRT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#A86D, ordinary (definition)
History
- 2026-11-02: add by m2/dev
supervaluational semantics CZTS4DTYKC
| URI | m2://inv/CZTS4DTYKC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#Z78G, supervaluational semantics (definition)
History
- 2026-11-02: add by m2/dev
CZTWWG5112 CZTWWG5112
| URI | m2://inv/CZTWWG5112 |
|---|---|
| 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.01208#UVBF (statement). In 317GZJ38HS/e1, corollary 4.2
History
- 2026-10-29: add by m2/v0.4.12
CZTZWJS293 CZTZWJS293
| URI | m2://inv/CZTZWJS293 |
|---|---|
| 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.02377#PWTA (statement). In FE1NTA4ZWY/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.12
IMA gold Medal CZV1EP6CTJ
| URI | m2://inv/CZV1EP6CTJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Institute of Mathematics and its Applications#2JIL, IMA gold Medal (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations CZV1WTKM5S
| URI | m2://inv/CZV1WTKM5S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex conjugate#FKMC, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
CZV4X2YC40 CZV4X2YC40
| URI | m2://inv/CZV4X2YC40 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-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 math/9902147#YQVV (statement). In 7CK21JGM5A/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.4.2
CZV93RENEY CZV93RENEY
| URI | m2://inv/CZV93RENEY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38953#70OV (statement). In 3CRBMY85R5/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
CZVKVAMT7D CZVKVAMT7D
| URI | m2://inv/CZVKVAMT7D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34168#PB3D (statement). In 30YQV8N04M/e1, proposition 2.2
History
- 2026-10-30: add by m2/v0.4.12
category of small categories CZVMQQJKW7
| URI | m2://inv/CZVMQQJKW7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Category of small categories ZY6R4H65P8 |
Mentions
- wikidata: Wikidata Q5051852, category of small categories (definition). Also nLab Cat, ProofWiki Definition:Category_of_Categories
- wikipedia: Wikipedia Category of small categories, Category of small categories (definition). Also Wikidata Q5051852
History
- 2026-10-26: add by m2/dev
Lagoa das Sete Cidades CZVRG4X4HK
| URI | m2://inv/CZVRG4X4HK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#1QR4, Lagoa das Sete Cidades (unknown)
History
- 2026-11-02: add by m2/dev
Linear reduction CZVRVR9HZ9
| URI | m2://inv/CZVRVR9HZ9 |
|---|---|
| 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.39700#9B2C, Linear reduction (statement). In E7W2HDNEKJ/e1, corollary 4.4
History
- 2026-10-30: add by m2/v0.4.12
CZVS09HH2R CZVS09HH2R
| URI | m2://inv/CZVS09HH2R |
|---|---|
| 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 2609.31331#UQ89 (statement). In TWB64HRHWZ/e1, theorem 4
History
- 2026-10-31: add by m2/v0.5.6
Game of chance CZVV46KEZN
| URI | m2://inv/CZVV46KEZN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Game of chance, Game of chance (definition). Also Wikidata Q3590573
History
- 2026-11-02: add by m2/dev
Exact task-information--state frontier CZVWCW909Y
| URI | m2://inv/CZVWCW909Y |
|---|---|
| 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.21523#9V5K, Exact task-information--state frontier (statement)
History
- 2026-11-02: add by m2/v0.6.18
Non-examples CZVYV45EY4
| URI | m2://inv/CZVYV45EY4 |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohen–Macaulay ring#KILF, Non-examples (counterexample)
History
- 2026-11-02: add by m2/dev
Benedetti--Fay--Gu\'er\'e--Manivel--Perrin, *{Prop. 5.1 CZVZ1NQ1WK
| URI | m2://inv/CZVZ1NQ1WK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.21914#XQNL, Benedetti--Fay--Gu\'er\'e--Manivel--Perrin, *{Prop. 5.1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
CZW148W6TB CZW148W6TB
| URI | m2://inv/CZW148W6TB |
|---|---|
| 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 1002.0879#1OZS (statement). In M0SQY5EZN5/e1, lemma 2.8.2
History
- 2026-10-27: add by m2/v0.3.5
Tetsuji Miwa CZW3JHC1HV
| URI | m2://inv/CZW3JHC1HV |
|---|---|
| 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#0TL5, Tetsuji Miwa (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#B84O, Tetsuji Miwa (topic)
History
- 2026-11-02: add by m2/dev
CZWC813MC1 CZWC813MC1
| URI | m2://inv/CZWC813MC1 |
|---|---|
| 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.01268#89MH (statement). In 80Q4X3WT8W/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
Addition theorem CZWDQ7TB0D
| URI | m2://inv/CZWDQ7TB0D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spherical harmonics#2RCD, Addition theorem (statement)
History
- 2026-11-02: add by m2/dev
The unmixedness theorem CZWFR34Y6V
| URI | m2://inv/CZWFR34Y6V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohen–Macaulay ring#S5OO, The unmixedness theorem (statement)
History
- 2026-11-02: add by m2/dev
CZWJ91RMY9 CZWJ91RMY9
| URI | m2://inv/CZWJ91RMY9 |
|---|---|
| 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 2208.07401#FAG8 (statement). In GJD7HKCE56/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.6
quotient rule CZWQV2PM4Q
| URI | m2://inv/CZWQV2PM4Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Quotient rule 0BS0NJPKVE |
Mentions
- wikidata: Wikidata Q531392, quotient rule (unknown). Also MathWorld QuotientRule
- wikipedia: Wikipedia Quotient rule, Quotient rule (definition). Also Wikidata Q531392
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Pekka Juhana Myrberg CZWRR8M34B
| URI | m2://inv/CZWRR8M34B |
|---|---|
| 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#R3HC, Pekka Juhana Myrberg (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SCVZ, Pekka Juhana Myrberg (topic)
History
- 2026-11-02: add by m2/dev
CZWT2YSEZM CZWT2YSEZM
| URI | m2://inv/CZWT2YSEZM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.20229#S8VX (definition). In 1B85G2QJC2/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.3.6
CZWX2MET6S CZWX2MET6S
| URI | m2://inv/CZWX2MET6S |
|---|---|
| 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.28808#01VY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Pa'amei Tashaz CZWY9CP3X9
| URI | m2://inv/CZWY9CP3X9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#9F1V, Pa'amei Tashaz (unknown)
History
- 2026-11-02: add by m2/dev
CZX0Q3RGYY CZX0Q3RGYY
| URI | m2://inv/CZX0Q3RGYY |
|---|---|
| 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.21976#2E2U (statement)
History
- 2026-11-02: add by m2/v0.6.17
Procedure CZX6C6GNA0
| URI | m2://inv/CZX6C6GNA0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Freivalds' algorithm#7HCY, Procedure (definition)
History
- 2026-11-02: add by m2/dev
CZXPM4SZB3 CZXPM4SZB3
| URI | m2://inv/CZXPM4SZB3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section5-2.xml#example-2 (example). In 649HGZKE96, example, section 5.2.2
History
- 2026-11-01: add by m2/v0.6.13
Examples CZXQ5W3RVW
| URI | m2://inv/CZXQ5W3RVW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Block design#FW7R, Examples (example)
History
- 2026-11-02: add by m2/dev
Computer-based mathematics education CZXQN299YJ
| URI | m2://inv/CZXQN299YJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computer-based mathematics education, Computer-based mathematics education (definition). Also Wikidata Q5157391
History
- 2026-11-02: add by m2/dev
decidability CZXWNG6217
| URI | m2://inv/CZXWNG6217 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 03B25 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q430001, decidability (topic). Also MathWorld Decidable, nLab decidability
- wikipedia: Wikipedia Decidability (logic), Decidability (definition). Also Wikidata Q430001
History
- 2026-10-26: add by m2/dev
196-algorithm CZY3ASW7ZX
| URI | m2://inv/CZY3ASW7ZX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122897527, 196-algorithm (concept). Also MathWorld 196-Algorithm
History
- 2026-10-26: add by m2/dev
Spitalfields Mathematical Society CZY975PES2
| URI | m2://inv/CZY975PES2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spitalfields Mathematical Society, Spitalfields Mathematical Society (definition). Also Wikidata Q19358441
History
- 2026-11-02: add by m2/dev
Hamiltonian decomposition CZYAEDWX8K
| URI | m2://inv/CZYAEDWX8K |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q48995716, Hamiltonian decomposition (concept). Also MathWorld HamiltonDecomposition
- wikipedia: Wikipedia Hamiltonian decomposition, Hamiltonian decomposition (definition). Also Wikidata Q48995716
History
- 2026-10-26: add by m2/dev
CZYVXANGR0 CZYVXANGR0
| URI | m2://inv/CZYVXANGR0 |
|---|---|
| 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.14803#LEVV (statement). In VAEVDTBD3B/e1, theorem 3.5
History
- 2026-10-28: add by m2/v0.4.2
CZZ5G4GA93 CZZ5G4GA93
| URI | m2://inv/CZZ5G4GA93 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/dual-trace.tex#proof-1 (proof). In RZP28ERRZV, proof, section 57.1
History
- 2026-11-01: add by m2/v0.6.13
Stigler diet CZZ8SEB8NR
| URI | m2://inv/CZZ8SEB8NR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#7L0B, Stigler diet (unknown)
History
- 2026-11-02: add by m2/dev
CZZA78NFQ1 CZZA78NFQ1
| URI | m2://inv/CZZA78NFQ1 |
|---|---|
| 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 1804.06366#CD1H (statement). In 89XYDVXG38/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
CZZFDK9PWD CZZFDK9PWD
| URI | m2://inv/CZZFDK9PWD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2508.21045#Z2PO (statement). In CGA36VE1C5/e1, lemma 3.1.1
History
- 2026-10-27: add by m2/v0.3.6
A finite improving mixture CZZQ02PS9S
| URI | m2://inv/CZZQ02PS9S |
|---|---|
| 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.07721#PMZM, A finite improving mixture (statement). In QMJDN66F5N/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.10
Compatibility with strict Voronoi cells CZZQ0H3EWN
| URI | m2://inv/CZZQ0H3EWN |
|---|---|
| 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.08152#4N3V, Compatibility with strict Voronoi cells (statement). In T1GYQ6SCCZ/e1, proposition 6.4
History
- 2026-10-29: add by m2/v0.4.10
CZZX3JXD9V CZZX3JXD9V
| URI | m2://inv/CZZX3JXD9V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00934#175B (definition). In SHCQDPCF2J/e1, definition 3.3
History
- 2026-10-29: add by m2/v0.4.12