Inventory rows Z1
The cards of the rows of the inventory whose ids start with Z1. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
110 Z104NNBA2R
| URI | m2://inv/Z104NNBA2R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q715456, 110 (unknown). Also MathWorld 110
History
- 2026-10-26: add by m2/dev
Two-ended relative interval retract Z1053BE6SN
| URI | m2://inv/Z1053BE6SN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.27799#D3KD, Two-ended relative interval retract (statement)
History
- 2026-11-01: add by m2/v0.6.15
Z106757NTF Z106757NTF
| URI | m2://inv/Z106757NTF |
|---|---|
| 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.20097#608V (statement)
History
- 2026-11-02: add by m2/v0.6.18
Deborah Hughes Hallett Z108N1QBDR
| URI | m2://inv/Z108N1QBDR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deborah Hughes Hallett, Deborah Hughes Hallett (topic). Also Wikidata Q22073821
History
- 2026-11-02: add by m2/dev
Outer-iteration complexity Z10K57JDJ5
| URI | m2://inv/Z10K57JDJ5 |
|---|---|
| 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.39736#2XY7, Outer-iteration complexity (statement). In BB1XJ47PVW/e1, theorem 6
History
- 2026-10-30: add by m2/v0.4.12
Švarc-Milnor lemma Z10M48RBKS
| URI | m2://inv/Z10M48RBKS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#MA1K, Švarc-Milnor lemma (statement)
History
- 2026-11-02: add by m2/dev
Z10VD3BMD4 Z10VD3BMD4
| URI | m2://inv/Z10VD3BMD4 |
|---|---|
| Kind | definition |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#3G8O (definition). In CY1FE8W1ZW/e1, definition 0.199
History
- 2026-10-27: add by m2/v0.3.5
Z10Z5HN966 Z10Z5HN966
| URI | m2://inv/Z10Z5HN966 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroToLogic.tex#problem-3 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
Z11FN76PKM Z11FN76PKM
| URI | m2://inv/Z11FN76PKM |
|---|---|
| Kind | example |
| 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.19285#2LW5 (example). In 6DJR9DKY5W/e1, example 7.1
History
- 2026-10-28: add by m2/v0.4.2
Aiyub Khan Z11YGKWFPQ
| URI | m2://inv/Z11YGKWFPQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aiyub Khan, Aiyub Khan (topic). Also Wikidata Q123929210
History
- 2026-11-02: add by m2/dev
Z125R21RK3 Z125R21RK3
| URI | m2://inv/Z125R21RK3 |
|---|---|
| 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 math/9201244#4JZ5 (definition). In 7D3HCN21MK/e1, definition 0.2
History
- 2026-10-27: add by m2/v0.3.5
transversal Z12F20JW24
| URI | m2://inv/Z12F20JW24 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1347094, Alternate Interior Angles Theorem (statement). Also Wikidata Q1347094
- thousand_plus: thousand_plus Q1347094, Alternate Interior Angles Theorem (statement). Also Wikidata Q1347094, Wikipedia Alternate Interior Angles Theorem
- wikidata: Wikidata Q1347094, transversal (definition). Also ProofWiki Definition:Transversal_(Geometry)
- wikipedia: Wikipedia Transversal (geometry), Transversal (definition). Also Wikidata Q1347094
History
- 2026-10-26: add by m2/dev
Formal definition Z12KKNB2NA
| URI | m2://inv/Z12KKNB2NA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constraint satisfaction problem#XZJ5, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Z12TFHVZRC Z12TFHVZRC
| URI | m2://inv/Z12TFHVZRC |
|---|---|
| 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.34856#GURB (statement). In MRR92GQNZE/e1, proposition 3.29
History
- 2026-10-30: add by m2/v0.4.12
BRR formula Z12WQZ0HKT
| URI | m2://inv/Z12WQZ0HKT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Balanced repeated replication#745A, BRR formula (statement)
History
- 2026-11-02: add by m2/dev
Z12ZZC4X37 Z12ZZC4X37
| URI | m2://inv/Z12ZZC4X37 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20998#11HB (statement)
History
- 2026-11-02: add by m2/v0.6.18
Z131ZFZGD2 Z131ZFZGD2
| URI | m2://inv/Z131ZFZGD2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#FAT7 (statement). In 4WPYBTARS2/e1, proposition 3.8
History
- 2026-10-29: add by m2/v0.4.12
Z13JKFHVQ5 Z13JKFHVQ5
| URI | m2://inv/Z13JKFHVQ5 |
|---|---|
| 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.20345#K8UT (definition). In WVRRST04WS/e1, definition 2
History
- 2026-10-27: add by m2/v0.4.2
Definition Z13Q9AQ4WV
| URI | m2://inv/Z13Q9AQ4WV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartesian closed category#W2BL, Definition (definition)
History
- 2026-11-02: add by m2/dev
CYK algorithm Z13SZ1FECX
| URI | m2://inv/Z13SZ1FECX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CYK algorithm, CYK algorithm (definition). Also Wikidata Q954821
History
- 2026-11-02: add by m2/dev
Deterministic encryption Z13YYRKNCK
| URI | m2://inv/Z13YYRKNCK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deterministic encryption, Deterministic encryption (definition). Also Wikidata Q5265706
History
- 2026-11-02: add by m2/dev
Examples Z146EVFN7T
| URI | m2://inv/Z146EVFN7T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aliasing (factorial experiments)#PEHI, Examples (example)
History
- 2026-11-02: add by m2/dev
Z14EXRW3FX Z14EXRW3FX
| URI | m2://inv/Z14EXRW3FX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19036#9J7N (statement). In 76GJ814P0A/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
Construction Z14ZGNTAZ5
| URI | m2://inv/Z14ZGNTAZ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gyroelongated square bicupola#V78N, Construction (definition)
History
- 2026-11-02: add by m2/dev
\texorpdfstring{$\ell_1$}{l1} Lewis weights Z152EQ39JD
| URI | m2://inv/Z152EQ39JD |
|---|---|
| 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 2609.24235#FBCI, \texorpdfstring{$\ell_1$}{l1} Lewis weights (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definition Z154NE68BF
| URI | m2://inv/Z154NE68BF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation theory of finite groups#2VF1, Definition (definition)
History
- 2026-11-02: add by m2/dev
domain with smooth boundary Z1589TBXQ0
| URI | m2://inv/Z1589TBXQ0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/2.2/domain-with-smooth-boundary, domain with smooth boundary (concept). In VNMV985MXX, index, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Z15AYAHCDW Z15AYAHCDW
| URI | m2://inv/Z15AYAHCDW |
|---|---|
| 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.21636#ECUD (statement). In Z1DGVEHKT6/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.4.2
Z15DYZWDAK Z15DYZWDAK
| URI | m2://inv/Z15DYZWDAK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38793#A9MJ (statement). In T2N92YSY5R/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
Illusion of control Z15KVFHPPQ
| URI | m2://inv/Z15KVFHPPQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#KHKE, Illusion of control (unknown)
History
- 2026-11-02: add by m2/dev
The Wilson line of charge $c$ is the row of the second identity object Z15QN81026
| URI | m2://inv/Z15QN81026 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18512#ZPLX, The Wilson line of charge $c$ is the row of the second identity object (statement). In 11JNM66Z09/e1, fact 19.8
History
- 2026-10-28: add by m2/v0.4.2
Platonic solid Z15R4HFF2M
| URI | m2://inv/Z15R4HFF2M |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.3.2/platonic-solid, Platonic solid (concept). In Y91XFCEVHQ, index, section 5.3.2
History
- 2026-11-01: add by m2/v0.6.13
Gell-Mann and Low theorem Z167JJZ6P4
| URI | m2://inv/Z167JJZ6P4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 81-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5530454, Gell-Mann and Low theorem (statement). Also Wikidata Q5530454
- thousand_plus: thousand_plus Q5530454, Gell-Mann and Low theorem (statement). Also Wikidata Q5530454, Wikipedia Gell-Mann and Low theorem
- wikipedia: Wikipedia Gell-Mann and Low theorem, Gell-Mann and Low theorem (statement). Also Wikidata Q5530454
History
- 2026-10-26: add by m2/dev
Diophantine bound Z169MYR8YE
| URI | m2://inv/Z169MYR8YE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-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 2608.08190#6J3D, Diophantine bound (statement). In AC1NA254DB/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
Statement Z16A6P9078
| URI | m2://inv/Z16A6P9078 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kobayashi–Hitchin correspondence#KWHK, Statement (statement)
History
- 2026-11-02: add by m2/dev
Z16BKC6XEH Z16BKC6XEH
| URI | m2://inv/Z16BKC6XEH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11468#RIFD (example). In FR4FDRHZJT/e1, example 4.5
History
- 2026-10-28: add by m2/v0.4.3
Graphoid Z16DX7FDNF
| URI | m2://inv/Z16DX7FDNF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graphoid, Graphoid (definition). Also Wikidata Q18346007
History
- 2026-11-02: add by m2/dev
Scalar Matrix Z16N0AEZHQ
| URI | m2://inv/Z16N0AEZHQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diagonal matrix#USUI, Scalar Matrix (unknown)
History
- 2026-11-02: add by m2/dev
Multivariate interpolation Z16S6MWSYC
| URI | m2://inv/Z16S6MWSYC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivariate interpolation, Multivariate interpolation (definition). Also Wikidata Q6334079
History
- 2026-11-02: add by m2/dev
Hodge conjecture Z16VZBPKM6
| URI | m2://inv/Z16VZBPKM6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#9G97, Hodge conjecture (statement)
- wikipedia: Wikipedia List of algebraic topology topics#3RIR, Hodge conjecture (statement)
- wikipedia: Wikipedia List of algebraic geometry topics#CTOA, Hodge conjecture (statement)
- wikipedia: Wikipedia List of things named after W. V. D. Hodge#RN9P, Hodge conjecture (statement)
History
- 2026-11-02: add by m2/dev
Z16X1KXQ0G Z16X1KXQ0G
| URI | m2://inv/Z16X1KXQ0G |
|---|---|
| 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 2602.13510#QJFO (statement). In Y75MQW7CFV/e1, lemma A.3
History
- 2026-10-27: add by m2/v0.3.5
Z16ZGVA4F3 Z16ZGVA4F3
| URI | m2://inv/Z16ZGVA4F3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.16003#UOF8 (example). In BJGS6ZCQ12/e1, example 9.1
History
- 2026-10-27: add by m2/v0.3.6
Mannila Z172182PK5
| URI | m2://inv/Z172182PK5 |
|---|---|
| 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.25291#36S8, Mannila (statement)
History
- 2026-11-01: add by m2/v0.6.15
Michael Karinski Z176T2N3RP
| URI | m2://inv/Z176T2N3RP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Karinski, Michael Karinski (topic). Also Wikidata Q1483866
History
- 2026-11-02: add by m2/dev
Z17DAFZZBE Z17DAFZZBE
| URI | m2://inv/Z17DAFZZBE |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24878#3RMR (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Z17DJVX0NZ Z17DJVX0NZ
| URI | m2://inv/Z17DJVX0NZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/derived-rules.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 50.2
History
- 2026-11-01: add by m2/v0.6.13
Hubbert curve Z17EV7MJAQ
| URI | m2://inv/Z17EV7MJAQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0E0G, Hubbert curve (definition)
- wikipedia: Wikipedia List of curves#T06Z, Hubbert curve (definition)
History
- 2026-11-02: add by m2/dev
Properties Z180XEZM2G
| URI | m2://inv/Z180XEZM2G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive real numbers#M2XY, Properties (statement)
History
- 2026-11-02: add by m2/dev
Thomas W. Tucker Z183DBTTW0
| URI | m2://inv/Z183DBTTW0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#76KY, Thomas W. Tucker (topic)
History
- 2026-11-02: add by m2/dev
\(R\)-labellings and descents Z1846VRX2K
| URI | m2://inv/Z1846VRX2K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24541#K0W0, \(R\)-labellings and descents (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dual abelian variety Z187ENZAGE
| URI | m2://inv/Z187ENZAGE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#RZT5, Dual abelian variety (definition)
History
- 2026-11-02: add by m2/dev
Local calls and noise Z18DWEY0E3
| URI | m2://inv/Z18DWEY0E3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12641#UIDA, Local calls and noise (statement). In X5BYGZZHPF/e1, corollary J.7
History
- 2026-10-28: add by m2/v0.4.2
Kato Z18HX7G5FS
| URI | m2://inv/Z18HX7G5FS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21972#DSXX, Kato (statement)
History
- 2026-11-02: add by m2/v0.6.17
Z18N877GVF Z18N877GVF
| URI | m2://inv/Z18N877GVF |
|---|---|
| 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#LZG9 (statement). In BDN507RN7J/e1, corollary 3.8.14
History
- 2026-10-30: add by m2/v0.4.12
Uniform tilings in hyperbolic plane Z19602N2XY
| URI | m2://inv/Z19602N2XY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#FUGF, Uniform tilings in hyperbolic plane (definition)
History
- 2026-11-02: add by m2/dev
Second Borel–Cantelli lemma Z196FZWKAB
| URI | m2://inv/Z196FZWKAB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set-theoretic limit#TMVS, Second Borel–Cantelli lemma (statement)
History
- 2026-11-02: add by m2/dev
Z197YSEFBG Z197YSEFBG
| URI | m2://inv/Z197YSEFBG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.20299#XQ2L (statement). In P7T0W5D3W3/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.4.2
Jeffress, L.A. Z1993NQXPH
| URI | m2://inv/Z1993NQXPH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific publications by John von Neumann#T229, Jeffress, L.A. (unknown)
History
- 2026-11-02: add by m2/dev
2.725 K Z19AEC4RC4
| URI | m2://inv/Z19AEC4RC4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cosmic microwave background#UB9O, 2.725 K (unknown)
History
- 2026-11-02: add by m2/dev
Equidistribution mod 1 Z19DYVA70E
| URI | m2://inv/Z19DYVA70E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#YFDQ, Equidistribution mod 1 (definition)
History
- 2026-11-02: add by m2/dev
Definition Z19V71K76A
| URI | m2://inv/Z19V71K76A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical manifold#57OJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Statistical Methods for Research Workers Z19Z8VYH3G
| URI | m2://inv/Z19Z8VYH3G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical Methods for Research Workers, Statistical Methods for Research Workers (definition). Also Wikidata Q7604373
History
- 2026-11-02: add by m2/dev
Z1A2P96BSA Z1A2P96BSA
| URI | m2://inv/Z1A2P96BSA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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 2610.00882#2IC6 (statement). In CDA78ZYNZ0/e1, theorem 3.6
History
- 2026-10-29: add by m2/v0.4.12
Rhe Z1AA3HP33N
| URI | m2://inv/Z1AA3HP33N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Viscosity#OYN7, Rhe (unknown)
History
- 2026-11-02: add by m2/dev
Z1AE8EPYYR Z1AE8EPYYR
| URI | m2://inv/Z1AE8EPYYR |
|---|---|
| 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.39317#SZ4O (statement). In QM1T8JDK4A/e1, proposition 2.9
History
- 2026-10-30: add by m2/v0.4.12
Jean-Marie Le Roux Z1AETXMMYJ
| URI | m2://inv/Z1AETXMMYJ |
|---|---|
| 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#2LIT, Jean-Marie Le Roux (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WWB9, Jean-Marie Le Roux (topic)
History
- 2026-11-02: add by m2/dev
Z1AMR93H23 Z1AMR93H23
| URI | m2://inv/Z1AMR93H23 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.05529#K3NZ (example). In 9VPMHV0M4R/e1, example 2.5
History
- 2026-10-31: add by m2/v0.5.6
Distributional convergence of the Huber mean estimator Z1AQCDDHQP
| URI | m2://inv/Z1AQCDDHQP |
|---|---|
| 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.20798#S4K3, Distributional convergence of the Huber mean estimator (statement). In 947GFWDY7C/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.2
Hartogs's extension theorem Z1ATBN9QGX
| URI | m2://inv/Z1ATBN9QGX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#3RIN, Hartogs's extension theorem (statement)
History
- 2026-11-02: add by m2/dev
Metric spaces of $\RR^2$ Z1AZBAQK51
| URI | m2://inv/Z1AZBAQK51 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#example-2, Metric spaces of $\RR^2$ (example). In RZP28ERRZV, example, section 100.1
History
- 2026-11-01: add by m2/v0.6.13
Z1B07VA0YG Z1B07VA0YG
| URI | m2://inv/Z1B07VA0YG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.09319#RE84 (statement). In GMRT5GHBZS/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
Z1BDYRP7YQ Z1BDYRP7YQ
| URI | m2://inv/Z1BDYRP7YQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36509#4RQ7 (statement). In DPJ15KW23C/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
domain of a function Z1BFF817EG
| URI | m2://inv/Z1BFF817EG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Domain 0Q4CBD3HX0 |
Mentions
- wikidata: Wikidata Q192439, domain of a function (concept). Also MathWorld Domain
- wikipedia: Wikipedia Domain of a function, Domain of a function (definition). Also Wikidata Q192439
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Riemann–Siegel theta function Z1BRHVC7MC
| URI | m2://inv/Z1BRHVC7MC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#7D35, Riemann–Siegel theta function (definition)
History
- 2026-11-02: add by m2/dev
Z1BVCJ2EFN Z1BVCJ2EFN
| URI | m2://inv/Z1BVCJ2EFN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07530#A7UU (example). In C7QZ0VPBC8/e1, example 2.4
History
- 2026-10-29: add by m2/v0.4.10
Pi to one million decimal places Z1BW40XEA9
| URI | m2://inv/Z1BW40XEA9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Approximations of pi#H0B9, Pi to one million decimal places (unknown)
History
- 2026-11-02: add by m2/dev
Z1BWWMT3NY Z1BWWMT3NY
| URI | m2://inv/Z1BWWMT3NY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28011#3N1V (statement)
History
- 2026-11-01: add by m2/v0.6.15
aliter Z1C14GH036
| URI | m2://inv/Z1C14GH036 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#WTHO, aliter (definition)
History
- 2026-11-02: add by m2/dev
facet budget Z1C23K6GHE
| URI | m2://inv/Z1C23K6GHE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32733#AGTT, facet budget (statement). In PCAS8S14J6/e1, lemma 5.2
History
- 2026-10-31: add by m2/v0.5.6
Genius software Z1CFF39CXZ
| URI | m2://inv/Z1CFF39CXZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.7.3/genius-software, Genius software (concept). In E9HS8K3A52, index, section 6.7.3
History
- 2026-11-01: add by m2/v0.6.13
Bruno Zumino Z1CNVE9TBC
| URI | m2://inv/Z1CNVE9TBC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q554631, Bruno Zumino (unknown). Also nLab Bruno Zumino
History
- 2026-10-26: add by m2/dev
Acoustic metric Z1DAYDKKC0
| URI | m2://inv/Z1DAYDKKC0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Acoustic metric, Acoustic metric (definition). Also Wikidata Q4674696
History
- 2026-11-02: add by m2/dev
Z1DEBDC7JH Z1DEBDC7JH
| URI | m2://inv/Z1DEBDC7JH |
|---|---|
| Kind | example |
| 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.07963#H3L3 (example). In HAGJKEZ1CK/e1, example 8.5
History
- 2026-10-29: add by m2/v0.4.10
Metric space Z1DNJ3ZJGQ
| URI | m2://inv/Z1DNJ3ZJGQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#J130, Metric space (definition)
History
- 2026-11-02: add by m2/dev
Z1DRVPJQAH Z1DRVPJQAH
| URI | m2://inv/Z1DRVPJQAH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.28282#5IIF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Maria Silvia Lucido Z1DSP9GCG9
| URI | m2://inv/Z1DSP9GCG9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maria Silvia Lucido, Maria Silvia Lucido (topic). Also Wikidata Q102218272
History
- 2026-11-02: add by m2/dev
Characterizations Z1DWW2F4P0
| URI | m2://inv/Z1DWW2F4P0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metrizable topological vector space#IBF3, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
Bettina Speckmann Z1ED6X1Z29
| URI | m2://inv/Z1ED6X1Z29 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#K7GQ, Bettina Speckmann (unknown)
History
- 2026-11-02: add by m2/dev
Black–Scholes model Z1EM1XJ8F6
| URI | m2://inv/Z1EM1XJ8F6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Black–Scholes model, Black–Scholes model (definition). Also Wikidata Q1338307
History
- 2026-11-02: add by m2/dev
Graphics pipeline Z1EPCNK4ET
| URI | m2://inv/Z1EPCNK4ET |
|---|---|
| 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#MO0Y, Graphics pipeline (unknown)
History
- 2026-11-02: add by m2/dev
Mark Kisin Z1EW51P3QY
| URI | m2://inv/Z1EW51P3QY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#D989, Mark Kisin (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#KDDU, Mark Kisin (topic)
History
- 2026-11-02: add by m2/dev
Z1F3MTB1SJ Z1F3MTB1SJ
| URI | m2://inv/Z1F3MTB1SJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2009.11127#8290 (statement). In QEFS0Y021A/e1, lemma 6.4
History
- 2026-10-27: add by m2/v0.3.5
Duistermaat–Heckman formula Z1F62VBGFS
| URI | m2://inv/Z1F62VBGFS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Duistermaat–Heckman formula, Duistermaat–Heckman formula (statement). Also Wikidata Q5312666
History
- 2026-11-02: add by m2/dev
Z1FHE8VHAH Z1FHE8VHAH
| URI | m2://inv/Z1FHE8VHAH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#C651 (statement). In CC6S1HVK0T/e1, theorem 6.8
History
- 2026-10-28: add by m2/v0.4.2
RSA-460 Z1FJ3CTEV4
| URI | m2://inv/Z1FJ3CTEV4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#UN43, RSA-460 (unknown)
History
- 2026-11-02: add by m2/dev
Curvature Z1FJQYWPGK
| URI | m2://inv/Z1FJQYWPGK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#2K7E, Curvature (definition)
- wikipedia: Wikipedia List of differential geometry topics#29F3, Curvature (definition)
- wikipedia: Wikipedia List of differential geometry topics#7H6Q, Curvature (definition)
- wikipedia: Wikipedia List of differential geometry topics#Y0V7, Curvature (definition)
- wikipedia: Wikipedia List of curves topics#51MW, Curvature (definition)
- wikipedia: Wikipedia List of multivariable calculus topics#VB4P, Curvature (definition)
History
- 2026-11-02: add by m2/dev
Example Z1FKE40S5C
| URI | m2://inv/Z1FKE40S5C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler method#H9RJ, Example (example)
History
- 2026-11-02: add by m2/dev
Z1FKHE5TYX Z1FKHE5TYX
| URI | m2://inv/Z1FKHE5TYX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#A5D3 (definition). In G02N9D40B9/e1, definition 4.1.3
History
- 2026-10-29: add by m2/v0.4.10
Z1FN5K3W2A Z1FN5K3W2A
| URI | m2://inv/Z1FN5K3W2A |
|---|---|
| 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.29943#WZDA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fair-share scheduling Z1FP18074K
| URI | m2://inv/Z1FP18074K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#YLIA, Fair-share scheduling (unknown)
History
- 2026-11-02: add by m2/dev
hinged end of beam Z1FT8XCAEX
| URI | m2://inv/Z1FT8XCAEX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/3.2/hinged-end-of-beam, hinged end of beam (concept). In E9HS8K3A52, index, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Z1G4148H2G Z1G4148H2G
| URI | m2://inv/Z1G4148H2G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37704#1BAE (statement). In HGTFJ325A4/e1, proposition 3.4
History
- 2026-10-30: add by m2/v0.4.12
Statement Z1GBW27KHN
| URI | m2://inv/Z1GBW27KHN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derivative of the exponential map#41ZS, Statement (statement)
History
- 2026-11-02: add by m2/dev
Z1GFS0WRTQ Z1GFS0WRTQ
| URI | m2://inv/Z1GFS0WRTQ |
|---|---|
| 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 math/9602216#OS4P (statement). In SD43497T8C/e1, corollary 3.6
History
- 2026-10-27: add by m2/v0.3.5
A. A. Kirillov Z1GR6PNT6M
| URI | m2://inv/Z1GR6PNT6M |
|---|---|
| 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#OE6O, A. A. Kirillov (topic)
History
- 2026-11-02: add by m2/dev
Z1GT2CMNGP Z1GT2CMNGP
| URI | m2://inv/Z1GT2CMNGP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.06699#9LMK (statement). In GXHKRV5BPY/e1, corollary 4.2
History
- 2026-10-29: add by m2/v0.4.10
Generalizations Z1H1XMTV4N
| URI | m2://inv/Z1H1XMTV4N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disjoint sets#4VIO, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
James Day Hodgson Z1H68X6TZ5
| URI | m2://inv/Z1H68X6TZ5 |
|---|---|
| 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#Q7EK, James Day Hodgson (unknown)
History
- 2026-11-02: add by m2/dev
Bernard Epstein Z1H8X7MABA
| URI | m2://inv/Z1H8X7MABA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#7KGQ, Bernard Epstein (topic)
History
- 2026-11-02: add by m2/dev
rational Z1HJZN48RP
| URI | m2://inv/Z1HJZN48RP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#NHM0, rational (definition)
History
- 2026-11-02: add by m2/dev
Z1HPCPKDDB Z1HPCPKDDB
| URI | m2://inv/Z1HPCPKDDB |
|---|---|
| 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.28323#I7NI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Carl Hindenburg Z1HPFHZC9V
| URI | m2://inv/Z1HPFHZC9V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carl Hindenburg, Carl Hindenburg (topic). Also Wikidata Q65720
History
- 2026-11-02: add by m2/dev
Z1J32JKZ4M Z1J32JKZ4M
| URI | m2://inv/Z1J32JKZ4M |
|---|---|
| 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#YZUZ (statement). In 3RVGEKGX46/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Donald John Lewis Z1J99S476C
| URI | m2://inv/Z1J99S476C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donald John Lewis, Donald John Lewis (topic). Also Wikidata Q5294607
History
- 2026-11-02: add by m2/dev
Chebyshev lemma for stochastic order Z1J9AKXPR9
| URI | m2://inv/Z1J9AKXPR9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Big O in probability notation#WCA9, Chebyshev lemma for stochastic order (statement)
History
- 2026-11-02: add by m2/dev
Z1JCJS6F2J Z1JCJS6F2J
| URI | m2://inv/Z1JCJS6F2J |
|---|---|
| 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.25823#81FG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ming-Jun Lai Z1JGJAR324
| URI | m2://inv/Z1JGJAR324 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#KLYZ, Ming-Jun Lai (topic)
History
- 2026-11-02: add by m2/dev
Z1K3YCS8M9 Z1K3YCS8M9
| URI | m2://inv/Z1K3YCS8M9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.07409#FUG6 (definition). In KWH4QJDPWC/e1, definition 3.8
History
- 2026-10-27: add by m2/v0.4.0
Z1K60MPBF9 Z1K60MPBF9
| URI | m2://inv/Z1K60MPBF9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08149#L6G8 (statement). In E128PFR76Q/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
Z1K8G6FAZ3 Z1K8G6FAZ3
| URI | m2://inv/Z1K8G6FAZ3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05259#D1LM (definition). In X1J5HKPS3R/e1, definition 1.2
History
- 2026-10-29: add by m2/v0.4.10
Z1KA5S5YE8 Z1KA5S5YE8
| URI | m2://inv/Z1KA5S5YE8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31919#I9NB (statement). In RHN12PW9P9/e1, lemma 4.2
History
- 2026-10-31: add by m2/v0.5.6
Malus's law and other properties Z1KN289E96
| URI | m2://inv/Z1KN289E96 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polarizer#RVT5, Malus's law and other properties (statement)
History
- 2026-11-02: add by m2/dev
Jiufen Z1KQN2WPAJ
| URI | m2://inv/Z1KQN2WPAJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#2BIK, Jiufen (unknown)
History
- 2026-11-02: add by m2/dev
Subjective logic abduction Z1KXMXNZ44
| URI | m2://inv/Z1KXMXNZ44 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abductive reasoning#4CTE, Subjective logic abduction (unknown)
History
- 2026-11-02: add by m2/dev
Z1KYA5RT4F Z1KYA5RT4F
| URI | m2://inv/Z1KYA5RT4F |
|---|---|
| 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 2111.00832#P9J8 (statement). In KM0XEAXFMF/e1, lemma B.3
History
- 2026-10-27: add by m2/v0.3.5
Z1M4HH22DZ Z1M4HH22DZ
| URI | m2://inv/Z1M4HH22DZ |
|---|---|
| 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.23279#SVMM (statement)
History
- 2026-11-02: add by m2/v0.6.17
Complex structure of $\CP^1$ Z1MKYFBZAF
| URI | m2://inv/Z1MKYFBZAF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/affine-projective.tex#definition-2, Complex structure of $\CP^1$ (definition). In RZP28ERRZV, definition, section 82.2
History
- 2026-11-01: add by m2/v0.6.13
Emil Artin Z1MNVJ566X
| URI | m2://inv/Z1MNVJ566X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#ET3N, Emil Artin (topic)
- wikipedia: Wikipedia List of mathematicians born in the 19th century#X6MX, Emil Artin (topic)
History
- 2026-11-02: add by m2/dev
Covering spaces Z1MT8S0DNW
| URI | m2://inv/Z1MT8S0DNW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#thm:covering-spaces, Covering spaces (statement). In N54F33XE07, thm, section 7.10
History
- 2026-11-01: add by m2/v0.6.13
Z1N3XV91AN Z1N3XV91AN
| URI | m2://inv/Z1N3XV91AN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40191#NBIG (statement). In F0D8VSM4Z4/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
cubic Z1N5W4DQSF
| URI | m2://inv/Z1N5W4DQSF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#LQSQ, cubic (definition)
History
- 2026-11-02: add by m2/dev
Z1NCJJ1FTC Z1NCJJ1FTC
| URI | m2://inv/Z1NCJJ1FTC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#FU4G (statement). In QHFP0837Q8/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.12
main connective Z1NEEHA4PN
| URI | m2://inv/Z1NEEHA4PN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#H78M, main connective (definition)
History
- 2026-11-02: add by m2/dev
Centre de Recherches Mathématiques Z1NG8V2D6X
| URI | m2://inv/Z1NG8V2D6X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centre de Recherches Mathématiques, Centre de Recherches Mathématiques (definition). Also Wikidata Q2793456
History
- 2026-11-02: add by m2/dev
Skeleton Z1NKXMHBF7
| URI | m2://inv/Z1NKXMHBF7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skeleton (category theory), Skeleton (definition). Also Wikidata Q2291918
History
- 2026-11-02: add by m2/dev
Moschovakis coding lemma Z1NNVPZGRK
| URI | m2://inv/Z1NNVPZGRK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#JE1M, Moschovakis coding lemma (statement)
History
- 2026-11-02: add by m2/dev
Z1NPEB8F1Q Z1NPEB8F1Q
| URI | m2://inv/Z1NPEB8F1Q |
|---|---|
| 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.09086#NO84 (definition). In JPC86V77CH/e1, definition 3.3
History
- 2026-10-29: add by m2/v0.4.10
Examples Z1P3YC92EQ
| URI | m2://inv/Z1P3YC92EQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heyting algebra#4PQE, Examples (example)
History
- 2026-11-02: add by m2/dev
Z1P53YJJ3D Z1P53YJJ3D
| URI | m2://inv/Z1P53YJJ3D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_posets_exercises.ptx#exercise-17 (exercise). In QKM9DD2H56, exercise, section 6
History
- 2026-11-01: add by m2/v0.6.13
Z1P54ED7S4 Z1P54ED7S4
| URI | m2://inv/Z1P54ED7S4 |
|---|---|
| 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.24747#9YQY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Characterizations Z1P72XXPNF
| URI | m2://inv/Z1P72XXPNF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Upward planar drawing#I1IX, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
Z1PA420DBW Z1PA420DBW
| URI | m2://inv/Z1PA420DBW |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#ZEN3 (unknown). In QNBFHFZ3H0/e1, unknown 62
History
- 2026-10-28: add by m2/v0.4.2
Z1PH91W7ZG Z1PH91W7ZG
| URI | m2://inv/Z1PH91W7ZG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.31768#0F0I (statement). In WC7ZECEE3P/e1, lemma 3.8
History
- 2026-10-31: add by m2/v0.5.6
Z1PJ68BF40 Z1PJ68BF40
| URI | m2://inv/Z1PJ68BF40 |
|---|---|
| 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.30527#QBUV (statement). In E3WQDZY388/e1, theorem 1.3
History
- 2026-10-31: add by m2/v0.5.6
Leonid Kantorovich Z1PKEQWY2J
| URI | m2://inv/Z1PKEQWY2J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#LO3T, Leonid Kantorovich (topic)
History
- 2026-11-02: add by m2/dev
multiplicative-exponential linear logic Z1PMTXG3XE
| URI | m2://inv/Z1PMTXG3XE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#VYQY, multiplicative-exponential linear logic (definition)
History
- 2026-11-02: add by m2/dev
Examples Z1PR58M1D5
| URI | m2://inv/Z1PR58M1D5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplet#4SDQ, Examples (example)
History
- 2026-11-02: add by m2/dev
Giovanni Fagnano dei Toschi Z1PXRMVNF7
| URI | m2://inv/Z1PXRMVNF7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#2UPY, Giovanni Fagnano dei Toschi (topic)
History
- 2026-11-02: add by m2/dev
Z1PXTZ6WFW Z1PXTZ6WFW
| URI | m2://inv/Z1PXTZ6WFW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_networkflow_flows-cuts.ptx#thm_networkflow_flowleqcut (statement). In QKM9DD2H56, theorem, section 13.2
History
- 2026-11-01: add by m2/v0.6.13
Lefschetz hyperplane theorem Z1Q15DN2XH
| URI | m2://inv/Z1Q15DN2XH |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 55-XX |
| Sources | 4 |
| Outcome | open |
| Node | Lefschetz hyperplane theorem EX6YSYN7B4 |
Mentions
- mathlib_1000: mathlib_1000 Q6516731, Lefschetz hyperplane theorem (statement). Also Wikidata Q6516731
- thousand_plus: thousand_plus Q6516731, Lefschetz hyperplane theorem (statement). Also Wikidata Q6516731, Wikipedia Lefschetz hyperplane theorem
- wikidata: Wikidata Q6516731, Lefschetz hyperplane theorem (statement). Also nLab hyperplane section theorem
- wikipedia: Wikipedia Lefschetz hyperplane theorem, Lefschetz hyperplane theorem (statement). Also Wikidata Q6516731
History
- 2026-10-26: add by m2/dev
Convex polygon Z1Q3C2P6E5
| URI | m2://inv/Z1Q3C2P6E5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#Z9VW, Convex polygon (definition)
- wikipedia: Wikipedia List of mathematical shapes#1NCQ, Convex polygon (definition)
- wikipedia: Wikipedia List of mathematical shapes#JUHR, Convex polygon (definition)
History
- 2026-11-02: add by m2/dev
truth value Z1Q5PY354E
| URI | m2://inv/Z1Q5PY354E |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.2.1/truth-value, truth value (concept). In Y91XFCEVHQ, index, section 1.2.1
History
- 2026-11-01: add by m2/v0.6.13
Spectrum continuation analysis Z1Q6635QV4
| URI | m2://inv/Z1Q6635QV4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#2BGL, Spectrum continuation analysis (definition)
History
- 2026-11-02: add by m2/dev
Examples Z1Q6N0K5WV
| URI | m2://inv/Z1Q6N0K5WV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohomological invariant#MOZ1, Examples (example)
History
- 2026-11-02: add by m2/dev
Five for Fighting Z1Q922K1S7
| URI | m2://inv/Z1Q922K1S7 |
|---|---|
| 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#Y3W5, Five for Fighting (unknown)
History
- 2026-11-02: add by m2/dev
Z1QDEQZFSG Z1QDEQZFSG
| URI | m2://inv/Z1QDEQZFSG |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/infinite/dedekind-algebra.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 79.6
History
- 2026-11-01: add by m2/v0.6.13
Use Z1QF7CDZYJ
| URI | m2://inv/Z1QF7CDZYJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Souders–Brown equation#7JZI, Use (example)
History
- 2026-11-02: add by m2/dev
Z1QMN58T7N Z1QMN58T7N
| URI | m2://inv/Z1QMN58T7N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02901#6DYL (definition). In NSP90G5XCQ/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Z1QSQ8ZGFM Z1QSQ8ZGFM
| URI | m2://inv/Z1QSQ8ZGFM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19309#FEWI (statement). In XKENQH35DW/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
Kochen–Specker theorem (1967) Z1QVAG5JFR
| URI | m2://inv/Z1QVAG5JFR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bell's theorem#RNZ3, Kochen–Specker theorem (1967) (statement)
History
- 2026-11-02: add by m2/dev
Generalizations Z1R4JCV74M
| URI | m2://inv/Z1R4JCV74M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exterior algebra#X1G4, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Moustafa Mosharafa Z1R57X59AR
| URI | m2://inv/Z1R57X59AR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#ZPOO, Moustafa Mosharafa (unknown)
History
- 2026-11-02: add by m2/dev
Alexander Morgan Z1RM79AMMK
| URI | m2://inv/Z1RM79AMMK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Morgan (mathematician), Alexander Morgan (topic). Also Wikidata Q37736106
History
- 2026-11-02: add by m2/dev
Examples Z1RNQYVKMT
| URI | m2://inv/Z1RNQYVKMT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interaction information#0KSO, Examples (example)
History
- 2026-11-02: add by m2/dev
Z1RQF2VTAK Z1RQF2VTAK
| URI | m2://inv/Z1RQF2VTAK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35287#YGH1 (statement). In BPPBAWGPHJ/e1, corollary 5.4
History
- 2026-10-30: add by m2/v0.4.12
Z1S35DANPX Z1S35DANPX
| URI | m2://inv/Z1S35DANPX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_genfunction_intro.ptx#prop_genfunction-product (statement). In QKM9DD2H56, proposition, section 8.1
History
- 2026-11-01: add by m2/v0.6.13
Z1S88SXQG9 Z1S88SXQG9
| URI | m2://inv/Z1S88SXQG9 |
|---|---|
| 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#4A1Z (statement). In RYWAX33Z51/e1, proposition 4.23
History
- 2026-10-31: add by m2/v0.5.6
Z1S91VM779 Z1S91VM779
| URI | m2://inv/Z1S91VM779 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.24355#FL2Q (problem). In VV3AJMWWCR/e1, problem 6
History
- 2026-10-27: add by m2/v0.3.6
General composite lower bound Z1SAC7E5CB
| URI | m2://inv/Z1SAC7E5CB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12641#0FGX, General composite lower bound (statement). In X5BYGZZHPF/e1, theorem 5.5
History
- 2026-10-28: add by m2/v0.4.2
Z1SMGP7T2P Z1SMGP7T2P
| URI | m2://inv/Z1SMGP7T2P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#example-3 (example). In E59CDZA4DP, example, section 7.3
History
- 2026-11-01: add by m2/v0.6.13
Z1SPG62JHQ Z1SPG62JHQ
| URI | m2://inv/Z1SPG62JHQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16332#V4IO (statement). In JJQPFXZQ3D/e1, proposition 3.12
History
- 2026-10-28: add by m2/v0.4.2
Lumer–Phillips theorem Z1SPM07JYH
| URI | m2://inv/Z1SPM07JYH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#CMIC, Lumer–Phillips theorem (statement)
History
- 2026-11-02: add by m2/dev
Z1SVMWFM5H Z1SVMWFM5H
| URI | m2://inv/Z1SVMWFM5H |
|---|---|
| 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.35275#JE5C (statement). In B0NV0JBAKB/e1, proposition A.2
History
- 2026-10-30: add by m2/v0.4.12
Scalar spatial crossing counts Z1SX05R5ES
| URI | m2://inv/Z1SX05R5ES |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21268#N4N5, Scalar spatial crossing counts (statement). In 9W2YX5X4AX/e1, corollary 4.2
History
- 2026-10-27: add by m2/v0.4.2
Z1SYW5ETHR Z1SYW5ETHR
| URI | m2://inv/Z1SYW5ETHR |
|---|---|
| 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.18992#KIUE (statement). In S7PNTM0GZC/e1, lemma A.6
History
- 2026-10-28: add by m2/v0.4.2
Hanani–Tutte theorem Z1T7VAC5PS
| URI | m2://inv/Z1T7VAC5PS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hanani–Tutte theorem, Hanani–Tutte theorem (statement). Also Wikidata Q17020604
History
- 2026-11-02: add by m2/dev
Z1TAQP8K6D Z1TAQP8K6D
| URI | m2://inv/Z1TAQP8K6D |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#A410 (unknown). In QNBFHFZ3H0/e1, unknown 124
History
- 2026-10-28: add by m2/v0.4.2
$p$-adic subspace theorem Z1TGC0RCH3
| URI | m2://inv/Z1TGC0RCH3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25703#MSUR, $p$-adic subspace theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fractal analysis Z1TNJG919W
| URI | m2://inv/Z1TNJG919W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractal analysis, Fractal analysis (definition). Also Wikidata Q2845227
History
- 2026-11-02: add by m2/dev
Z1TPKP16N5 Z1TPKP16N5
| URI | m2://inv/Z1TPKP16N5 |
|---|---|
| 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.31220#TYND (statement). In JMWCGMNE84/e1, theorem 2.2
History
- 2026-10-31: add by m2/v0.5.6
Z1TQW7YR7H Z1TQW7YR7H
| URI | m2://inv/Z1TQW7YR7H |
|---|---|
| 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.05867#K7M9 (statement). In E2TP3AKTNV/e1, proposition 3
History
- 2026-10-29: add by m2/v0.4.10
Z1TWPX8CTM Z1TWPX8CTM
| URI | m2://inv/Z1TWPX8CTM |
|---|---|
| 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.38138#Z3AG (statement). In G97FA99ZEF/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
Z1V3HNGXVS Z1V3HNGXVS
| URI | m2://inv/Z1V3HNGXVS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ModularArithmetic.tex#problem-7 (exercise). In P1C114YBXG, problem, section F
History
- 2026-11-01: add by m2/v0.6.13
FAFNER Z1V9VHVC4D
| URI | m2://inv/Z1V9VHVC4D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#B2SW, FAFNER (unknown)
History
- 2026-11-02: add by m2/dev
$\sigma$-additive Z1VB65WXEV
| URI | m2://inv/Z1VB65WXEV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/E.1/sigma-additive, $\sigma$-additive (concept). In VNMV985MXX, index, section E.1
History
- 2026-11-01: add by m2/v0.6.13
Victor W. Marek Z1VQ26FYSS
| URI | m2://inv/Z1VQ26FYSS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Victor W. Marek, Victor W. Marek (topic). Also Wikidata Q15394298
History
- 2026-11-02: add by m2/dev
Quasi-saturated chains Z1VTDMY7JR
| URI | m2://inv/Z1VTDMY7JR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.06621#92KH, Quasi-saturated chains (definition). In DB223AABTH/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Z1VVZNSHYS Z1VVZNSHYS
| URI | m2://inv/Z1VVZNSHYS |
|---|---|
| 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.07451#6L3T (statement). In P7KT88N75Q/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.10
Z1W305GACW Z1W305GACW
| URI | m2://inv/Z1W305GACW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30648#56JJ (statement). In 2P83KYQCMA/e1, proposition 11
History
- 2026-10-31: add by m2/v0.5.6
Z1W5N6XMJX Z1W5N6XMJX
| URI | m2://inv/Z1W5N6XMJX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#V71B (example). In HX63A1PH1W/e1, example 7.12
History
- 2026-10-28: add by m2/v0.4.3
Z1WEV1XTEG Z1WEV1XTEG
| URI | m2://inv/Z1WEV1XTEG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25468#6D66 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bruce C. Berndt Z1WFMX7T34
| URI | m2://inv/Z1WFMX7T34 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#AGT5, Bruce C. Berndt (topic)
History
- 2026-11-02: add by m2/dev
Dynamics on the cone Z1WTDQ7A12
| URI | m2://inv/Z1WTDQ7A12 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12434#EKPC, Dynamics on the cone (statement). In YCRZC9SDCE/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
Z1X2HBQKKC Z1X2HBQKKC
| URI | m2://inv/Z1X2HBQKKC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38131#YFOR (statement). In GM3S19KFDH/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
Z1XG9ZMFCM Z1XG9ZMFCM
| URI | m2://inv/Z1XG9ZMFCM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24041#2RF0 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Z1XHB8KA7Q Z1XHB8KA7Q
| URI | m2://inv/Z1XHB8KA7Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02709#90YG (statement). In TSM48CSQV8/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
Chord diagram Z1XWVB167H
| URI | m2://inv/Z1XWVB167H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chord diagram (mathematics), Chord diagram (definition). Also Wikidata Q109298492
History
- 2026-11-02: add by m2/dev
pseudo dimension Z1XZV427Y3
| URI | m2://inv/Z1XZV427Y3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32478#S1W5, pseudo dimension (definition). In 5QBSYDC2XH/e1, definition 3
History
- 2026-10-31: add by m2/v0.5.6
Samuel W. Greenhouse Z1Y0P3KZ7Z
| URI | m2://inv/Z1Y0P3KZ7Z |
|---|---|
| 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#5YSN, Samuel W. Greenhouse (topic)
History
- 2026-11-02: add by m2/dev
Biclustering Z1Y398HZF6
| URI | m2://inv/Z1Y398HZF6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biclustering, Biclustering (definition). Also Wikidata Q2976575
History
- 2026-11-02: add by m2/dev
Z1Y6GPWE2V Z1Y6GPWE2V
| URI | m2://inv/Z1Y6GPWE2V |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#proof-13 (proof). In E59CDZA4DP, proof, section 11.2.3
History
- 2026-11-01: add by m2/v0.6.13
Convex subgraph Z1Y7GNX88K
| URI | m2://inv/Z1Y7GNX88K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex subgraph, Convex subgraph (definition). Also Wikidata Q5166521
History
- 2026-11-02: add by m2/dev
Z1Y8MAMVKX Z1Y8MAMVKX
| URI | m2://inv/Z1Y8MAMVKX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2609.33805#MI8P (statement). In XM98BX97RT/e1, lemma B.2
History
- 2026-10-30: add by m2/v0.4.12
Z1YA4P1D8W Z1YA4P1D8W
| URI | m2://inv/Z1YA4P1D8W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08382#3RIP (definition). In GYMGDQS25R/e1, definition 4.6
History
- 2026-10-29: add by m2/v0.4.10
vertex figure Z1YG2HGZRD
| URI | m2://inv/Z1YG2HGZRD |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q598843, vertex figure (unknown). Also MathWorld VertexFigure
- wikipedia: Wikipedia Vertex figure, Vertex figure (object). Also Wikidata Q598843
History
- 2026-10-26: add by m2/dev
Z1YVFFT7AB Z1YVFFT7AB
| URI | m2://inv/Z1YVFFT7AB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#prop-2 (statement). In E59CDZA4DP, prop, section 4.2.2
History
- 2026-11-01: add by m2/v0.6.13
Z1YW1AYBR2 Z1YW1AYBR2
| URI | m2://inv/Z1YW1AYBR2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.16669#ICLY (statement). In 1463YCCRP5/e1, proposition 7.8
History
- 2026-10-27: add by m2/v0.4.0
6277 (number) Z1YZ3VB8WC
| URI | m2://inv/Z1YZ3VB8WC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 6000 (number)#CPQ4, 6277 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Z1Z09NYW01 Z1Z09NYW01
| URI | m2://inv/Z1Z09NYW01 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20316#7GNX (statement). In YRJS76169Z/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.4.2
Examples Z1Z6BNF1DQ
| URI | m2://inv/Z1Z6BNF1DQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solenoidal vector field#GL0C, Examples (example)
History
- 2026-11-02: add by m2/dev
Z1Z71X54CN Z1Z71X54CN
| URI | m2://inv/Z1Z71X54CN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26450#WHPT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Algorithm classification Z1ZMYG62TX
| URI | m2://inv/Z1ZMYG62TX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithm#W71J, Algorithm classification (unknown)
History
- 2026-11-02: add by m2/dev
Z1ZQNMQN9N Z1ZQNMQN9N
| URI | m2://inv/Z1ZQNMQN9N |
|---|---|
| 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.24399#AQVP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Basic properties Z1ZV7D8TAD
| URI | m2://inv/Z1ZV7D8TAD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curve complex#3LTJ, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Grothendieck's comparison theorem Z1ZWV3115Y
| URI | m2://inv/Z1ZWV3115Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kähler differential#3JUT, Grothendieck's comparison theorem (statement)
History
- 2026-11-02: add by m2/dev
Z1ZX2T3BHJ Z1ZX2T3BHJ
| URI | m2://inv/Z1ZX2T3BHJ |
|---|---|
| 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 2506.18813#TUOR (statement). In J2QAPQ7JW3/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.0