Inventory rows P1
The cards of the rows of the inventory whose ids start with P1. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Observational equivalence P106WZPN66
| URI | m2://inv/P106WZPN66 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FKUC, Observational equivalence (definition)
History
- 2026-11-02: add by m2/dev
P10FWJ9BNG P10FWJ9BNG
| URI | m2://inv/P10FWJ9BNG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-119 (exercise). In E9HS8K3A52, exercise, section 4.9.1
History
- 2026-11-01: add by m2/v0.6.13
P10K7V7Z7V P10K7V7Z7V
| URI | m2://inv/P10K7V7Z7V |
|---|---|
| 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.17817#2BHG (definition). In M8TSJ24RC2/e1, definition 2.19
History
- 2026-10-28: add by m2/v0.4.2
Exact Error Identity and Lebesgue Bound P10KXNEA6X
| URI | m2://inv/P10KXNEA6X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13222#O17J, Exact Error Identity and Lebesgue Bound (statement). In Z6WA2R0J50/e1, corollary 2.9
History
- 2026-10-28: add by m2/v0.4.2
Chern's conjecture (affine geometry) P11JVV38KQ
| URI | m2://inv/P11JVV38KQ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#53BT, Chern's conjecture (affine geometry) (conjecture)
History
- 2026-11-02: add by m2/dev
Tree-partition P11QHNRFVA
| URI | m2://inv/P11QHNRFVA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20391#WM76, Tree-partition (definition). In CTAS41TRM2/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.4.2
endpoint P11YF5P2QH
| URI | m2://inv/P11YF5P2QH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#KIDS, endpoint (definition)
History
- 2026-11-02: add by m2/dev
Algorithms P123GV4MR2
| URI | m2://inv/P123GV4MR2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strongly connected component#23EK, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
P126SW6WN6 P126SW6WN6
| URI | m2://inv/P126SW6WN6 |
|---|---|
| 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.11772#BHSR (statement). In 2GW9HYGZ8S/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.3
P12FWCRMDV P12FWCRMDV
| URI | m2://inv/P12FWCRMDV |
|---|---|
| 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.16989#KHX4 (statement). In 4769XNDWYS/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Distribution of the Eigenvalues of Toeplitz Quantization P12K3B7FXJ
| URI | m2://inv/P12K3B7FXJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 1709.04968#428G, Distribution of the Eigenvalues of Toeplitz Quantization (statement). In BEX59Q3DE4/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
Examples P12NFK2F0N
| URI | m2://inv/P12NFK2F0N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morphism of schemes#K079, Examples (example)
History
- 2026-11-02: add by m2/dev
inference to the best explanation P12R5HAN82
| URI | m2://inv/P12R5HAN82 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#Q9R7, inference to the best explanation (definition)
History
- 2026-11-02: add by m2/dev
Uniform particle displacements P130S70355
| URI | m2://inv/P130S70355 |
|---|---|
| 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.28503#9Y09, Uniform particle displacements (statement)
History
- 2026-11-01: add by m2/v0.6.15
P131XEGF58 P131XEGF58
| URI | m2://inv/P131XEGF58 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0808.1331#4GJJ (statement). In RB2B1N73P0/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.5
Turán's method P138B6V8J4
| URI | m2://inv/P138B6V8J4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Turán's method, Turán's method (definition). Also Wikidata Q17098117
History
- 2026-11-02: add by m2/dev
Fundamental theorem of software engineering P13A0PF4M1
| URI | m2://inv/P13A0PF4M1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems called fundamental#FU55, Fundamental theorem of software engineering (unknown)
History
- 2026-11-02: add by m2/dev
TLS 1.2 P13HHG97M6
| URI | m2://inv/P13HHG97M6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transport Layer Security#75UE, TLS 1.2 (unknown)
History
- 2026-11-02: add by m2/dev
P13MD7GQ8F P13MD7GQ8F
| URI | m2://inv/P13MD7GQ8F |
|---|---|
| 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.20165#IOMK (statement). In QTD3BP5GA0/e1, lemma 3.12
History
- 2026-10-27: add by m2/v0.4.2
List of things named after Emmy Noether P13TX93Q73
| URI | m2://inv/P13TX93Q73 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#2XZV, List of things named after Emmy Noether (topic)
History
- 2026-11-02: add by m2/dev
Nikolay Krylov P14QB4NPKH
| URI | m2://inv/P14QB4NPKH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#W3YZ, Nikolay Krylov (unknown)
History
- 2026-11-02: add by m2/dev
Admissible profiles P14WHC51BY
| URI | m2://inv/P14WHC51BY |
|---|---|
| Kind | definition |
| 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.11604#XYVM, Admissible profiles (definition). In P1J9MCFE7N/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.3
Uniform boundedness and global score Lipschitz continuity P14ZDDX9GZ
| URI | m2://inv/P14ZDDX9GZ |
|---|---|
| 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.15690#GVNN, Uniform boundedness and global score Lipschitz continuity (statement). In WQ9FNP3TVQ/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
P14ZYJD5ZY P14ZYJD5ZY
| URI | m2://inv/P14ZYJD5ZY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_intro-statements.ptx#example-2 (example). In Y91XFCEVHQ, example, section 1.2.2
History
- 2026-11-01: add by m2/v0.6.13
P154FS5HCT P154FS5HCT
| URI | m2://inv/P154FS5HCT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#2DFA (definition). In 6HJQXZS0A6/e1, definition 1.14
History
- 2026-10-29: add by m2/v0.4.12
Variations P156BWQEQ4
| URI | m2://inv/P156BWQEQ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birth process#7VZ3, Variations (statement)
History
- 2026-11-02: add by m2/dev
Statistical study of energy data P15C3ZKRWZ
| URI | m2://inv/P15C3ZKRWZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical study of energy data, Statistical study of energy data (definition). Also Wikidata Q4015997
History
- 2026-11-02: add by m2/dev
Williams's p + 1 algorithm P15YVEDPES
| URI | m2://inv/P15YVEDPES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Williams's p + 1 algorithm, Williams's p + 1 algorithm (definition). Also Wikidata Q4046134
History
- 2026-11-02: add by m2/dev
Applications P15ZFQHX84
| URI | m2://inv/P15ZFQHX84 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculus on finite weighted graphs#KE3J, Applications (example)
History
- 2026-11-02: add by m2/dev
P160ZX9W0W P160ZX9W0W
| URI | m2://inv/P160ZX9W0W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26114#6VEL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Morse potential P16J44ZJ95
| URI | m2://inv/P16J44ZJ95 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1783557, Morse potential (unknown). Also nLab Morse potential
History
- 2026-10-26: add by m2/dev
P16NHSQP56 P16NHSQP56
| URI | m2://inv/P16NHSQP56 |
|---|---|
| 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 2411.01837#O0S2 (statement). In 2XBYZ1QP22/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
invertible elements P16TPCBF62
| URI | m2://inv/P16TPCBF62 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Ring Theory > Divisibility in integral domains > invertible elements, invertible elements (unknown). Also Mathlib Invertible
History
- 2026-10-26: add by m2/dev
flat morphism P16W6ZQGKS
| URI | m2://inv/P16W6ZQGKS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Flat morphism 5M6KS8F47R |
Mentions
- wikidata: Wikidata Q3324325, flat morphism (unknown). Also nLab flat morphism
- wikipedia: Wikipedia Flat morphism, Flat morphism (definition). Also Wikidata Q3324325
History
- 2026-10-26: add by m2/dev
P170J4TKWT P170J4TKWT
| URI | m2://inv/P170J4TKWT |
|---|---|
| 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.21975#D2RQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Ε-net P1769TES4N
| URI | m2://inv/P1769TES4N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ε-net (computational geometry), Ε-net (definition). Also Wikidata Q8083987
History
- 2026-11-02: add by m2/dev
P177PJK2WW P177PJK2WW
| URI | m2://inv/P177PJK2WW |
|---|---|
| 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.03629#WFIZ (statement). In T6W0HCPXFN/e1, lemma A1
History
- 2026-10-29: add by m2/v0.4.12
P17A81F9KV P17A81F9KV
| URI | m2://inv/P17A81F9KV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32524#F07S (statement). In XGCND7R0B0/e1, theorem 5.5
History
- 2026-10-31: add by m2/v0.5.6
P17BSP00RZ P17BSP00RZ
| URI | m2://inv/P17BSP00RZ |
|---|---|
| Kind | definition |
| 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.22237#6YUF (definition). In 2FWTWMHA2W/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.4.0
Joint continuity and strict resistance ordering P17DYXJPSF
| URI | m2://inv/P17DYXJPSF |
|---|---|
| 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.21328#F2MJ, Joint continuity and strict resistance ordering (statement). In BJXVV4ZF7B/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.4.2
P17ER331S8 P17ER331S8
| URI | m2://inv/P17ER331S8 |
|---|---|
| Kind | example |
| 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 2503.16884#Q2E4 (example). In B984KNW591/e1, example 1.1
History
- 2026-10-27: add by m2/v0.3.5
Applications P17G8TY58R
| URI | m2://inv/P17G8TY58R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nielsen transformation#8J9U, Applications (example)
History
- 2026-11-02: add by m2/dev
Mass bound P17J65M3P8
| URI | m2://inv/P17J65M3P8 |
|---|---|
| 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.30817#B6UG, Mass bound (statement). In DP5KJ7AATM/e1, proposition 2.6
History
- 2026-10-31: add by m2/v0.5.6
Proximal operator P17JT6RE88
| URI | m2://inv/P17JT6RE88 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proximal operator, Proximal operator (definition). Also Wikidata Q28130527
History
- 2026-11-02: add by m2/dev
arcsine P17M9546PY
| URI | m2://inv/P17M9546PY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/2.6.4/arcsine, arcsine (concept). In 907G4C4EJ1, index, section 2.6.4
History
- 2026-11-01: add by m2/v0.6.13
P17MSWK42J P17MSWK42J
| URI | m2://inv/P17MSWK42J |
|---|---|
| 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.04252#0UIL (statement). In ZF0Z61VQ96/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.12
P17XV9ZWXH P17XV9ZWXH
| URI | m2://inv/P17XV9ZWXH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroQuantification.tex#problem-2 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
Pyotr Novikov P1899Y308K
| URI | m2://inv/P1899Y308K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#4XLE, Pyotr Novikov (topic)
History
- 2026-11-02: add by m2/dev
Definition P18CCRTWP8
| URI | m2://inv/P18CCRTWP8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coproduct#QF1D, Definition (definition)
History
- 2026-11-02: add by m2/dev
P18F0MZDHG P18F0MZDHG
| URI | m2://inv/P18F0MZDHG |
|---|---|
| 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.33377#8VQI (statement). In RQ1R5VTRAR/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
Ontological commitment P18F44XEGX
| URI | m2://inv/P18F44XEGX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ontological commitment, Ontological commitment (definition). Also Wikidata Q7095045
History
- 2026-11-02: add by m2/dev
Analysis of Boolean functions P18HP7PRJK
| URI | m2://inv/P18HP7PRJK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analysis of Boolean functions, Analysis of Boolean functions (topic). Also Wikidata Q48996110
History
- 2026-11-02: add by m2/dev
Jürg Fröhlich P18J70QJPM
| URI | m2://inv/P18J70QJPM |
|---|---|
| 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 Q122729, Jürg Fröhlich (unknown). Also nLab Jürg Fröhlich
History
- 2026-10-26: add by m2/dev
P18J85DV14 P18J85DV14
| URI | m2://inv/P18J85DV14 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 11-XX, 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.21725#OS21 (statement). In BQDZN6GRGF/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.4.2
Switching lemma P18YTHD71V
| URI | m2://inv/P18YTHD71V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20583#IGVQ, Switching lemma (statement). In 5YEEPDPAQE/e1, lemma 2.9
History
- 2026-10-27: add by m2/v0.4.2
Applications P18ZK268KZ
| URI | m2://inv/P18ZK268KZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic equation#HXUB, Applications (example)
History
- 2026-11-02: add by m2/dev
P191FF48PN P191FF48PN
| URI | m2://inv/P191FF48PN |
|---|---|
| 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.16883#0JLT (definition). In TYS9N30M63/e1, definition
History
- 2026-10-28: add by m2/v0.4.2
P194Q61RVP P194Q61RVP
| URI | m2://inv/P194Q61RVP |
|---|---|
| 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#UKWP (statement). In GXHKRV5BPY/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
Shephard's lemma P19ERE3WVT
| URI | m2://inv/P19ERE3WVT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shephard's lemma, Shephard's lemma (statement). Also Wikidata Q1536466
History
- 2026-11-02: add by m2/dev
P19P18A7DB P19P18A7DB
| URI | m2://inv/P19P18A7DB |
|---|---|
| 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.32860#EWQH (statement). In H71AJ341B3/e1, proposition 4.10
History
- 2026-10-31: add by m2/v0.5.6
Illuminationism P19QB3FFKW
| URI | m2://inv/P19QB3FFKW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Illuminationism, Illuminationism (definition). Also Wikidata Q716920
History
- 2026-11-02: add by m2/dev
P19TQZ94W9 P19TQZ94W9
| URI | m2://inv/P19TQZ94W9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/caratheodory.tex#thm:cara_premeasure (statement). In RZP28ERRZV, theorem, section 63.5
History
- 2026-11-01: add by m2/v0.6.13
P19WZTZ6H3 P19WZTZ6H3
| URI | m2://inv/P19WZTZ6H3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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 1001.1196#O5FN (statement). In BCB418GV9C/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
Expected SFO cost for $a>2$ P1A12HN1KN
| URI | m2://inv/P1A12HN1KN |
|---|---|
| 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.02355#EFFZ, Expected SFO cost for $a>2$ (statement). In 1AXXV9ZT11/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.12
Coversine P1A1GW7AEC
| URI | m2://inv/P1A1GW7AEC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#8HA0, Coversine (definition)
History
- 2026-11-02: add by m2/dev
Degrees of freedom P1A1MFJCHH
| URI | m2://inv/P1A1MFJCHH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Degrees of freedom, Degrees of freedom (definition). Also Wikidata Q1119040
History
- 2026-11-02: add by m2/dev
P1A3CC9PVR P1A3CC9PVR
| URI | m2://inv/P1A3CC9PVR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34283#EBQA (statement). In DF1S2FHKJE/e1, theorem 9
History
- 2026-10-30: add by m2/v0.4.12
P1A4E9WC48 P1A4E9WC48
| URI | m2://inv/P1A4E9WC48 |
|---|---|
| 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.12683#6GQK (statement). In N5ZFFWV3RX/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.2
P1A6GNXVK5 P1A6GNXVK5
| URI | m2://inv/P1A6GNXVK5 |
|---|---|
| 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.29521#UW2W (statement)
History
- 2026-11-01: add by m2/v0.6.15
Soft configuration model P1A7E79NP0
| URI | m2://inv/P1A7E79NP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Soft configuration model, Soft configuration model (definition). Also Wikidata Q60775382
History
- 2026-11-02: add by m2/dev
P1AAZET082 P1AAZET082
| URI | m2://inv/P1AAZET082 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/introduction/bhk-interpretation.tex#ex-5 (example). In PKGMM3P5QY, ex, section 31.2
History
- 2026-11-01: add by m2/v0.6.13
Direct Algebraic Logic P1AH1JMDG2
| URI | m2://inv/P1AH1JMDG2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculator input methods#JGNU, Direct Algebraic Logic (unknown)
History
- 2026-11-02: add by m2/dev
P1AM7ZR2DG P1AM7ZR2DG
| URI | m2://inv/P1AM7ZR2DG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 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 2610.22326#5E5Z (definition). In EAABRG99V8/e1, definition 3.13
History
- 2026-10-27: add by m2/v0.4.0
P1B0TQSQTH P1B0TQSQTH
| URI | m2://inv/P1B0TQSQTH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 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 2609.23469#LDJW (statement)
History
- 2026-11-02: add by m2/v0.6.17
circle P1B1V5H4MF
| URI | m2://inv/P1B1V5H4MF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#FD1J, circle (definition)
History
- 2026-11-02: add by m2/dev
Zimmer's conjecture P1B76677RX
| URI | m2://inv/P1B76677RX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#43EA, Zimmer's conjecture (statement)
History
- 2026-11-02: add by m2/dev
P1B76WP7JM P1B76WP7JM
| URI | m2://inv/P1B76WP7JM |
|---|---|
| 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.13864#N9GG (statement). In ZGZGGGCWD3/e1, theorem 3.5
History
- 2026-10-28: add by m2/v0.4.2
P1B8Z7PHZH P1B8Z7PHZH
| URI | m2://inv/P1B8Z7PHZH |
|---|---|
| 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#C7WX (statement). In 2P83KYQCMA/e1, lemma 9
History
- 2026-10-31: add by m2/v0.5.6
Linear response function P1BBMTV748
| URI | m2://inv/P1BBMTV748 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear response function, Linear response function (definition). Also Wikidata Q3261000
History
- 2026-11-02: add by m2/dev
P1BE7VMKQT P1BE7VMKQT
| URI | m2://inv/P1BE7VMKQT |
|---|---|
| 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.29699#0Z8J (statement)
History
- 2026-11-01: add by m2/v0.6.15
P1BK7J25Y3 P1BK7J25Y3
| URI | m2://inv/P1BK7J25Y3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.06645#WXVT (statement). In 79H1DEK4M9/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.10
P1BKCCR2KB P1BKCCR2KB
| URI | m2://inv/P1BKCCR2KB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07453#WHM6 (statement). In CQGE4WJV4P/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
P1BN54E8R4 P1BN54E8R4
| URI | m2://inv/P1BN54E8R4 |
|---|---|
| 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.14099#740B (statement). In D77GXFTKFH/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
Spanier–Whitehead duality P1BNFQ6HGM
| URI | m2://inv/P1BNFQ6HGM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7573114, Spanier–Whitehead duality (concept). Also nLab Spanier-Whitehead duality
- wikipedia: Wikipedia Spanier–Whitehead duality, Spanier–Whitehead duality (definition). Also Wikidata Q7573114
History
- 2026-10-26: add by m2/dev
Medical statistics P1BPF7MRV9
| URI | m2://inv/P1BPF7MRV9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#2Y6E, Medical statistics (definition)
History
- 2026-11-02: add by m2/dev
Kuiper's test P1BSGW35T6
| URI | m2://inv/P1BSGW35T6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kuiper's test, Kuiper's test (definition). Also Wikidata Q1052704
History
- 2026-11-02: add by m2/dev
Statistical process control P1BWDA5MAA
| URI | m2://inv/P1BWDA5MAA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical process control, Statistical process control (definition). Also Wikidata Q1356717
History
- 2026-11-02: add by m2/dev
P1C0QMDB4A P1C0QMDB4A
| URI | m2://inv/P1C0QMDB4A |
|---|---|
| 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.20513#U2II (statement)
History
- 2026-11-02: add by m2/v0.6.18
Coercivity P1C2JWVVCD
| URI | m2://inv/P1C2JWVVCD |
|---|---|
| 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.31555#O1JE, Coercivity (statement). In 2GC6K487FE/e1, lemma
History
- 2026-10-31: add by m2/v0.5.6
P1C4BJWATP P1C4BJWATP
| URI | m2://inv/P1C4BJWATP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#ex:lemnm (exercise). In N54F33XE07, ex, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
Properties P1C4BV5BK9
| URI | m2://inv/P1C4BV5BK9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourth power#W183, Properties (statement)
History
- 2026-11-02: add by m2/dev
P1C63KQTTX P1C63KQTTX
| URI | m2://inv/P1C63KQTTX |
|---|---|
| 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.18017#22ZZ (statement). In EBSQEQYECS/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.2
The ``wider lightcone" relation $\prec$ P1C9V0N86V
| URI | m2://inv/P1C9V0N86V |
|---|---|
| Kind | definition |
| 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 2610.11911#KP2C, The ``wider lightcone" relation $\prec$ (definition). In 5BYE5NYB89/e1, definition 3.3
History
- 2026-10-28: add by m2/v0.4.3
Quadratic Frobenius test P1CD6YDCQE
| URI | m2://inv/P1CD6YDCQE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Ferdinand Georg Frobenius#YEX5, Quadratic Frobenius test (definition)
History
- 2026-11-02: add by m2/dev
Haskell Curry P1CHK0EVXG
| URI | m2://inv/P1CHK0EVXG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#U021, Haskell Curry (topic)
History
- 2026-11-02: add by m2/dev
P1CT3JD8EA P1CT3JD8EA
| URI | m2://inv/P1CT3JD8EA |
|---|---|
| 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.01783#UG8R (statement). In 8BKC3PVX9G/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
denominator P1CY855MRR
| URI | m2://inv/P1CY855MRR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/B.16/denominator, denominator (concept). In QKM9DD2H56, index, section B.16
History
- 2026-11-01: add by m2/v0.6.13
algebraic space P1D3NF6N6E
| URI | m2://inv/P1D3NF6N6E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#PJYQ, algebraic space (definition)
History
- 2026-11-02: add by m2/dev
Historical dynamics P1D8C9SA74
| URI | m2://inv/P1D8C9SA74 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Historical dynamics, Historical dynamics (definition). Also Wikidata Q18207785
History
- 2026-11-02: add by m2/dev
Julián Marías P1DKXBPEG3
| URI | m2://inv/P1DKXBPEG3 |
|---|---|
| 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#L6AO, Julián Marías (unknown)
History
- 2026-11-02: add by m2/dev
P1DQBB8TQ7 P1DQBB8TQ7
| URI | m2://inv/P1DQBB8TQ7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#9IBZ (definition). In 9H45HQE7AZ/e1, definition 2.9
History
- 2026-10-27: add by m2/v0.3.5
P1DRPVK00H P1DRPVK00H
| URI | m2://inv/P1DRPVK00H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#CORA (statement). In G1RP4JY5PE/e1, lemma 5.3.2
History
- 2026-10-31: add by m2/v0.5.6
Consequences of the theorem P1DSZN6DHF
| URI | m2://inv/P1DSZN6DHF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cut-elimination theorem#KRFK, Consequences of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Primitive variable-period medium P1DV8190QB
| URI | m2://inv/P1DV8190QB |
|---|---|
| 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#9643, Primitive variable-period medium (definition). In WD2NCBV9F0/e1, definition 7.19
History
- 2026-10-27: add by m2/v0.3.5
Knot operation P1DVBY9HKZ
| URI | m2://inv/P1DVBY9HKZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knot operation, Knot operation (definition). Also Wikidata Q16934821
History
- 2026-11-02: add by m2/dev
Properties P1DX9BJJK0
| URI | m2://inv/P1DX9BJJK0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centroid#7UZC, Properties (statement)
History
- 2026-11-02: add by m2/dev
John R. Steel P1DXRNTAS3
| URI | m2://inv/P1DXRNTAS3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HQXW, John R. Steel (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#V3BI, John R. Steel (topic)
History
- 2026-11-02: add by m2/dev
P1E33XJAPM P1E33XJAPM
| URI | m2://inv/P1E33XJAPM |
|---|---|
| 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.37450#UIRM (statement). In FP05Z6EBV4/e1, theorem 2.6
History
- 2026-10-30: add by m2/v0.4.12
Homotopy long exact sequence P1E5A58PWS
| URI | m2://inv/P1E5A58PWS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy group#6OPF, Homotopy long exact sequence (unknown)
History
- 2026-11-02: add by m2/dev
P1E933YEFV P1E933YEFV
| URI | m2://inv/P1E933YEFV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30067#5WV0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
power set P1EA2D8CZ0
| URI | m2://inv/P1EA2D8CZ0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.3.1/power-set, power set (concept). In Y91XFCEVHQ, index, section 1.3.1
History
- 2026-11-01: add by m2/v0.6.13
Church P1EA5T94SZ
| URI | m2://inv/P1EA5T94SZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#PBQW, Church (topic)
History
- 2026-11-02: add by m2/dev
P1EC4N0E9D P1EC4N0E9D
| URI | m2://inv/P1EC4N0E9D |
|---|---|
| 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.23994#7PKE (statement)
History
- 2026-11-02: add by m2/v0.6.17
Romanov's theorem P1EDG12TK2
| URI | m2://inv/P1EDG12TK2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#ZGIZ, Romanov's theorem (statement)
History
- 2026-11-02: add by m2/dev
P1EHT73FDT P1EHT73FDT
| URI | m2://inv/P1EHT73FDT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01346#3VGL (statement). In 44DQ7W1NW9/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.12
Algorithms P1EJ4HZ8DA
| URI | m2://inv/P1EJ4HZ8DA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strongly proportional division#USWW, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Quantum Fourier transform P1EJTHREY2
| URI | m2://inv/P1EJTHREY2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum Fourier transform, Quantum Fourier transform (definition). Also Wikidata Q1464944
History
- 2026-11-02: add by m2/dev
P1EKFAZBSY P1EKFAZBSY
| URI | m2://inv/P1EKFAZBSY |
|---|---|
| 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.13618#EGHA (statement). In XDQAEGH345/e1, lemma 2.8
History
- 2026-10-28: add by m2/v0.4.2
Pure intervals P1EKPQ2NXB
| URI | m2://inv/P1EKPQ2NXB |
|---|---|
| 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.20656#NX6R, Pure intervals (statement)
History
- 2026-11-02: add by m2/v0.6.18
Dunce hat (topology) P1EKQ26ZRP
| URI | m2://inv/P1EKQ26ZRP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#4R0H, Dunce hat (topology) (definition)
- wikipedia: Wikipedia List of topologies#X8DO, Dunce hat (topology) (definition)
History
- 2026-11-02: add by m2/dev
P1EMW1J22X P1EMW1J22X
| URI | m2://inv/P1EMW1J22X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#2OC8 (definition). In 7V2PVZS04C/e1, definition 4.1
History
- 2026-10-31: add by m2/v0.5.6
P1EPRT3AZ6 P1EPRT3AZ6
| URI | m2://inv/P1EPRT3AZ6 |
|---|---|
| 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.15367#0EDE (statement). In 9AFZ1S368G/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
P1ERHG5A6B P1ERHG5A6B
| URI | m2://inv/P1ERHG5A6B |
|---|---|
| Kind | definition |
| 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.31126#ADVA (definition). In GK1V5GEHTK/e1, definition 2.11
History
- 2026-10-31: add by m2/v0.5.6
Factor pattern of minimum height span P1ESZJV6ZG
| URI | m2://inv/P1ESZJV6ZG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-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.26066#N38E, Factor pattern of minimum height span (statement)
History
- 2026-11-01: add by m2/v0.6.15
South African Mathematical Society P1EV9K3Q3K
| URI | m2://inv/P1EV9K3Q3K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia South African Mathematical Society, South African Mathematical Society (definition). Also Wikidata Q28223210
History
- 2026-11-02: add by m2/dev
P1F9AFB8PX P1F9AFB8PX
| URI | m2://inv/P1F9AFB8PX |
|---|---|
| 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.16844#GXSK (statement). In MAY0WVXT07/e1, corollary 2.5
History
- 2026-10-28: add by m2/v0.4.2
Finitely generated algebra P1FJB5NP14
| URI | m2://inv/P1FJB5NP14 |
|---|---|
| Kind | definition |
| 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#JZMI, Finitely generated algebra (definition). In HX63A1PH1W/e1, definition 3.38
History
- 2026-10-28: add by m2/v0.4.3
Venetian Blind P1FKHGBS0Z
| URI | m2://inv/P1FKHGBS0Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09561#MSAO, Venetian Blind (statement). In WDV5E2CVTR/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
P1GQTENC9E P1GQTENC9E
| URI | m2://inv/P1GQTENC9E |
|---|---|
| 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.13137#8C5Z (statement). In NH77XVB03X/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
P1GSRP8ECV P1GSRP8ECV
| URI | m2://inv/P1GSRP8ECV |
|---|---|
| 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 2602.03909#BGYE (statement). In WWFAVFGPQQ/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.4.0
Natural-law argument P1GV0G6AEM
| URI | m2://inv/P1GV0G6AEM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Teleological argument#8UZM, Natural-law argument (statement)
History
- 2026-11-02: add by m2/dev
P1GZPGT7KJ P1GZPGT7KJ
| URI | m2://inv/P1GZPGT7KJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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.01473#FUZX (statement). In ABS9M47F4K/e1, corollary 3.14
History
- 2026-10-27: add by m2/v0.3.6
Z-fighting P1H2H8X16T
| URI | m2://inv/P1H2H8X16T |
|---|---|
| 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#8B12, Z-fighting (unknown)
History
- 2026-11-02: add by m2/dev
Examples P1H7YM3D7P
| URI | m2://inv/P1H7YM3D7P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cayley transform#HIW8, Examples (example)
History
- 2026-11-02: add by m2/dev
P1H847DRAJ P1H847DRAJ
| URI | m2://inv/P1H847DRAJ |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07401#NBEA (problem). In FQ5435B36D/e1, problem 2
History
- 2026-10-29: add by m2/v0.4.10
Definition P1H91CB03W
| URI | m2://inv/P1H91CB03W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Jacobian#5TP6, Definition (definition)
History
- 2026-11-02: add by m2/dev
rhombo-hexagonal dodecahedron P1H94HA2NC
| URI | m2://inv/P1H94HA2NC |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3893549, rhombo-hexagonal dodecahedron (unknown). Also MathWorld Space-FillingPolyhedron
- wikipedia: Wikipedia Elongated dodecahedron, Elongated dodecahedron (object). Also Wikidata Q3893549
History
- 2026-10-26: add by m2/dev
Uniqely decodable P1H99FX9PM
| URI | m2://inv/P1H99FX9PM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variable-length encoding#R6K3, Uniqely decodable (unknown)
History
- 2026-11-02: add by m2/dev
Behavior coding P1HATPZJ33
| URI | m2://inv/P1HATPZJ33 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Behavior coding, Behavior coding (definition). Also Wikidata Q125843370
History
- 2026-11-02: add by m2/dev
P1HQVQANSE P1HQVQANSE
| URI | m2://inv/P1HQVQANSE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-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.11545#VUE7 (statement). In VN084GGZGK/e1, theorem Theorem
History
- 2026-10-28: add by m2/v0.4.3
P1HT7ZJCQ8 P1HT7ZJCQ8
| URI | m2://inv/P1HT7ZJCQ8 |
|---|---|
| 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.15352#NCWH (statement). In R39P7AFXM8/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
P1HWZN6X2J P1HWZN6X2J
| URI | m2://inv/P1HWZN6X2J |
|---|---|
| Kind | definition |
| 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#ICSJ (definition). In 4WPYBTARS2/e1, definition 2.23
History
- 2026-10-29: add by m2/v0.4.12
Polytope P1J160KC45
| URI | m2://inv/P1J160KC45 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#56JX, Polytope (definition)
History
- 2026-11-02: add by m2/dev
P1J2K9H3P8 P1J2K9H3P8
| URI | m2://inv/P1J2K9H3P8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10325#BX3M (definition). In 66CDJ94PGW/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Terminology P1J6R7TGTN
| URI | m2://inv/P1J6R7TGTN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Association scheme#6IC3, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Boris Demidovich P1J8ZF7T0F
| URI | m2://inv/P1J8ZF7T0F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boris Demidovich, Boris Demidovich (topic). Also Wikidata Q2430851
History
- 2026-11-02: add by m2/dev
P1JAQTT53T P1JAQTT53T
| URI | m2://inv/P1JAQTT53T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22514#DBZS (definition)
History
- 2026-11-02: add by m2/v0.6.17
Analytic and enumerative statistical studies P1JDDPYQE0
| URI | m2://inv/P1JDDPYQE0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytic and enumerative statistical studies, Analytic and enumerative statistical studies (definition). Also Wikidata Q4751121
History
- 2026-11-02: add by m2/dev
P1JDZDGT7B P1JDZDGT7B
| URI | m2://inv/P1JDZDGT7B |
|---|---|
| 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 2609.38396#IMF3 (definition). In FGNNVKQR1Z/e1, definition 5.2
History
- 2026-10-30: add by m2/v0.4.12
P1JF2VH3XY P1JF2VH3XY
| URI | m2://inv/P1JF2VH3XY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14914#BL81 (statement). In CHC3T113Y4/e1, theorem 6.3
History
- 2026-10-28: add by m2/v0.4.2
Related results P1JG4F3JN3
| URI | m2://inv/P1JG4F3JN3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eberhard's theorem#RWD0, Related results (statement)
History
- 2026-11-02: add by m2/dev
P1JJMPVM73 P1JJMPVM73
| URI | m2://inv/P1JJMPVM73 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02585#2QHN (statement). In V0KBBY82SY/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.12
Limiting density of discrete points P1JPZGFFGT
| URI | m2://inv/P1JPZGFFGT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limiting density of discrete points, Limiting density of discrete points (definition). Also Wikidata Q6549556
History
- 2026-11-02: add by m2/dev
The identified curve P1JR4E2DTS
| URI | m2://inv/P1JR4E2DTS |
|---|---|
| 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.14695#NEFL, The identified curve (statement). In T15EJSPCNG/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Daniel Lascar P1JVJSVFJ9
| URI | m2://inv/P1JVJSVFJ9 |
|---|---|
| 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#62IN, Daniel Lascar (unknown)
History
- 2026-11-02: add by m2/dev
The Secrets of Triangles P1K2E0GZRW
| URI | m2://inv/P1K2E0GZRW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Secrets of Triangles, The Secrets of Triangles (definition). Also Wikidata Q104864261
History
- 2026-11-02: add by m2/dev
Lance Ito P1K3B4MN48
| URI | m2://inv/P1K3B4MN48 |
|---|---|
| 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#7ETD, Lance Ito (unknown)
History
- 2026-11-02: add by m2/dev
P1K5H7JM8K P1K5H7JM8K
| URI | m2://inv/P1K5H7JM8K |
|---|---|
| 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.06724#V2XB (statement). In W5XG3PGVF1/e1, theorem D.1
History
- 2026-10-29: add by m2/v0.4.10
Woodall's conjecture P1KC87R178
| URI | m2://inv/P1KC87R178 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Woodall's conjecture, Woodall's conjecture (statement). Also Wikidata Q115806003
History
- 2026-11-02: add by m2/dev
Applications P1KN6WE727
| URI | m2://inv/P1KN6WE727 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lehmer mean#E10D, Applications (example)
History
- 2026-11-02: add by m2/dev
Volume law at Clifford cosets P1M0QPKQKZ
| URI | m2://inv/P1M0QPKQKZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37368#LVU5, Volume law at Clifford cosets (statement). In FRMCKEGVJZ/e1, theorem 11
History
- 2026-10-30: add by m2/v0.4.12
P1M73ZMA9R P1M73ZMA9R
| URI | m2://inv/P1M73ZMA9R |
|---|---|
| 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.22855#YH5S (statement)
History
- 2026-11-02: add by m2/v0.6.17
Sergei Abramov P1MC39WDK1
| URI | m2://inv/P1MC39WDK1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sergei Abramov (mathematician), Sergei Abramov (topic). Also Wikidata Q4054946
History
- 2026-11-02: add by m2/dev
Saint Pierre P1MG62WE20
| URI | m2://inv/P1MG62WE20 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#OMZL, Saint Pierre (unknown)
History
- 2026-11-02: add by m2/dev
Principle of relativity P1MJ4S2BEB
| URI | m2://inv/P1MJ4S2BEB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Special relativity#JHN1, Principle of relativity (statement)
History
- 2026-11-02: add by m2/dev
Hindman's theorem P1MQ0H73P3
| URI | m2://inv/P1MQ0H73P3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#HMDJ, Hindman's theorem (definition)
History
- 2026-11-02: add by m2/dev
Monica VanDieren P1MV940MQN
| URI | m2://inv/P1MV940MQN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#QBGT, Monica VanDieren (topic)
History
- 2026-11-02: add by m2/dev
P1MW61HEQ0 P1MW61HEQ0
| URI | m2://inv/P1MW61HEQ0 |
|---|---|
| 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 2107.00792#CKBY (statement). In TD16A541ZN/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
P1N036M8AP P1N036M8AP
| URI | m2://inv/P1N036M8AP |
|---|---|
| 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.02535#GF5L (statement). In S26PXDSWM9/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.12
Independence of the axiom of choice P1N8CRTQBD
| URI | m2://inv/P1N8CRTQBD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#FJDH, Independence of the axiom of choice (statement)
History
- 2026-11-02: add by m2/dev
Cobb–Douglas production function P1N9KZWKSS
| URI | m2://inv/P1N9KZWKSS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cobb–Douglas production function, Cobb–Douglas production function (definition). Also Wikidata Q847163
History
- 2026-11-02: add by m2/dev
Properties P1NJJRKM0X
| URI | m2://inv/P1NJJRKM0X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sierpiński triangle#ETCJ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Kettle logic P1NRYM3X0V
| URI | m2://inv/P1NRYM3X0V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#N3ZA, Kettle logic (unknown)
History
- 2026-11-02: add by m2/dev
P1NS5S6TJ0 P1NS5S6TJ0
| URI | m2://inv/P1NS5S6TJ0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-13 (exercise). In E59CDZA4DP, exercise, section 4.2.4
History
- 2026-11-01: add by m2/v0.6.13
P1NS7QN9GM P1NS7QN9GM
| URI | m2://inv/P1NS7QN9GM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/semantic-notions.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 19.15
History
- 2026-11-01: add by m2/v0.6.13
Compound of five stellated truncated cubes P1NZYD55CQ
| URI | m2://inv/P1NZYD55CQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#JA8M, Compound of five stellated truncated cubes (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#AWX9, Compound of five stellated truncated cubes (definition)
History
- 2026-11-02: add by m2/dev
P1PADBWATY P1PADBWATY
| URI | m2://inv/P1PADBWATY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 1503.05744#8EUH (statement). In 5XKHZKEGAF/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
Abhyankar's lemma P1PJS25282
| URI | m2://inv/P1PJS25282 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#2GLJ, Abhyankar's lemma (statement)
- wikipedia: Wikipedia List of lemmas#4AXH, Abhyankar's lemma (statement)
History
- 2026-11-02: add by m2/dev
P1PTWKZP18 P1PTWKZP18
| URI | m2://inv/P1PTWKZP18 |
|---|---|
| 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#2RM6 (statement). In RTE2C0PH4S/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Arthur Schuster P1PVK5JRBB
| URI | m2://inv/P1PVK5JRBB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#MMVU, Arthur Schuster (unknown)
History
- 2026-11-02: add by m2/dev
P1QEBMMFMA P1QEBMMFMA
| URI | m2://inv/P1QEBMMFMA |
|---|---|
| Kind | definition |
| 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 2609.36884#R437 (definition). In Z7E16PFFCP/e1, definition 4.19
History
- 2026-10-30: add by m2/v0.4.12
Applications P1QJ5SVZ88
| URI | m2://inv/P1QJ5SVZ88 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HKDF#FFTR, Applications (example)
History
- 2026-11-02: add by m2/dev
P1QJD1BVBF P1QJD1BVBF
| URI | m2://inv/P1QJD1BVBF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-7-4-3.xml#act-7-4-3 (exercise). In 907G4C4EJ1, activity, section 7.4.2
History
- 2026-11-01: add by m2/v0.6.13
Examples P1QYC1BVX0
| URI | m2://inv/P1QYC1BVX0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birational invariant#D9MQ, Examples (example)
History
- 2026-11-02: add by m2/dev
Operator bound for constitutive flux P1R2VKY7TW
| URI | m2://inv/P1R2VKY7TW |
|---|---|
| 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.11034#UKP7, Operator bound for constitutive flux (statement). In 2KACPY9MMF/e1, proposition 4.13
History
- 2026-10-28: add by m2/v0.4.3
Journal of Chemometrics P1RA4803E8
| URI | m2://inv/P1RA4803E8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#WQAF, Journal of Chemometrics (definition)
History
- 2026-11-02: add by m2/dev
Alain Badiou P1RBJVSZ12
| URI | m2://inv/P1RBJVSZ12 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alain Badiou, Alain Badiou (topic). Also Wikidata Q311005
History
- 2026-11-02: add by m2/dev
P1RCMQ0P9D P1RCMQ0P9D
| URI | m2://inv/P1RCMQ0P9D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-paths.ptx#exercise-10 (exercise). In Y91XFCEVHQ, exercise, section 5.5
History
- 2026-11-01: add by m2/v0.6.13
SHA-3 P1RGZK37P5
| URI | m2://inv/P1RGZK37P5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SHA-3, SHA-3 (definition). Also Wikidata Q1190947
History
- 2026-11-02: add by m2/dev
Weak axiom of infinity P1S4AVFJZX
| URI | m2://inv/P1S4AVFJZX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of infinity#50VT, Weak axiom of infinity (unknown)
History
- 2026-11-02: add by m2/dev
P1S7B6QA3X P1S7B6QA3X
| URI | m2://inv/P1S7B6QA3X |
|---|---|
| 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.07673#GGUE (statement). In 37B1MPV8GX/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Refinable function P1S7HGJCS1
| URI | m2://inv/P1S7HGJCS1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Refinable function, Refinable function (definition). Also Wikidata Q4284413
History
- 2026-11-02: add by m2/dev
Affine combination P1SGM349ZK
| URI | m2://inv/P1SGM349ZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine combination, Affine combination (definition). Also Wikidata Q938614
History
- 2026-11-02: add by m2/dev
Hole Recurrence Relations P1SGXPAXK6
| URI | m2://inv/P1SGXPAXK6 |
|---|---|
| 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 2603.16304#QPG2, Hole Recurrence Relations (statement). In NEGP0YBA3C/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.6
Ronald Coifman P1SJYGEY5W
| URI | m2://inv/P1SJYGEY5W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ronald Coifman, Ronald Coifman (topic). Also Wikidata Q2165588
History
- 2026-11-02: add by m2/dev
Varolin or Definition 4.10.1 P1SPWACQ4F
| URI | m2://inv/P1SPWACQ4F |
|---|---|
| Kind | definition |
| 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 2305.06030#HKUE, Varolin or Definition 4.10.1 (definition). In 2Q0CNQ8DQB/e1, definition 1.6
History
- 2026-10-27: add by m2/v0.3.5
P1T5Z64XSV P1T5Z64XSV
| URI | m2://inv/P1T5Z64XSV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-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 2605.02634#3IK6 (statement). In EZ6PAF0MXH/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.3.5
Schönflies theorems P1T7ZTV2X9
| URI | m2://inv/P1T7ZTV2X9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric topology#X6A7, Schönflies theorems (statement)
History
- 2026-11-02: add by m2/dev
P1TBANGXZC P1TBANGXZC
| URI | m2://inv/P1TBANGXZC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#defn-8 (definition). In E59CDZA4DP, defn, section 2.5.2
History
- 2026-11-01: add by m2/v0.6.13
Examples P1TJPCYR0X
| URI | m2://inv/P1TJPCYR0X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arf invariant#IW9N, Examples (example)
History
- 2026-11-02: add by m2/dev
P1TW3FDN1V P1TW3FDN1V
| URI | m2://inv/P1TW3FDN1V |
|---|---|
| Kind | problem |
| 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.31269#S604 (problem). In ZPT9XCCAPQ/e1, problem 1.4.13
History
- 2026-10-31: add by m2/v0.5.6
Collinear points P1TWFEPQXP
| URI | m2://inv/P1TWFEPQXP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collinearity#LJD7, Collinear points (unknown)
History
- 2026-11-02: add by m2/dev
A coefficient computation P1TYGFZGMQ
| URI | m2://inv/P1TYGFZGMQ |
|---|---|
| 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.22513#74I5, A coefficient computation (statement)
History
- 2026-11-02: add by m2/v0.6.17
Carlisle Adams P1V8BDMS9W
| URI | m2://inv/P1V8BDMS9W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YKPX, Carlisle Adams (topic)
History
- 2026-11-02: add by m2/dev
P1VFMQJZ7T P1VFMQJZ7T
| URI | m2://inv/P1VFMQJZ7T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-47 (exercise). In VNMV985MXX, exercise, section 1.5
History
- 2026-11-01: add by m2/v0.6.13
Standard Model P1VRG3PPNH
| URI | m2://inv/P1VRG3PPNH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard Model, Standard Model (topic). Also Wikidata Q18338
History
- 2026-11-02: add by m2/dev
Chabauty's method P1VRP68GEM
| URI | m2://inv/P1VRP68GEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#C7MM, Chabauty's method (definition)
History
- 2026-11-02: add by m2/dev
P1VWT4AS89 P1VWT4AS89
| URI | m2://inv/P1VWT4AS89 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02901#8PLR (statement). In NSP90G5XCQ/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.12
P1VXH1EQZ8 P1VXH1EQZ8
| URI | m2://inv/P1VXH1EQZ8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09650#QM8Z (definition). In 628KM8869P/e1, definition 6.12
History
- 2026-10-29: add by m2/v0.4.10
Jung's theorem in the plane P1W8T8NZFC
| URI | m2://inv/P1W8T8NZFC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jung's theorem#40CM, Jung's theorem in the plane (statement)
History
- 2026-11-02: add by m2/dev
Aquifer test P1WCZ3G5VE
| URI | m2://inv/P1WCZ3G5VE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aquifer test, Aquifer test (definition). Also Wikidata Q446124
History
- 2026-11-02: add by m2/dev
P1WENS9XS5 P1WENS9XS5
| URI | m2://inv/P1WENS9XS5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2411.00562#T45C (statement). In 99CQPHSSYF/e1, fact \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
Example P1WNRT0W3Q
| URI | m2://inv/P1WNRT0W3Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eigendecomposition of a matrix#CBVU, Example (example)
History
- 2026-11-02: add by m2/dev
P1XA2A3DRV P1XA2A3DRV
| URI | m2://inv/P1XA2A3DRV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34570#SGJR (definition). In EVFX1R7ZDD/e1, definition 3
History
- 2026-10-30: add by m2/v0.4.12
Formula for cold positions P1XEMQS1GM
| URI | m2://inv/P1XEMQS1GM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wythoff's game#BF5Z, Formula for cold positions (statement)
History
- 2026-11-02: add by m2/dev
Meyer Abraham Girshick P1XH23Q4WK
| URI | m2://inv/P1XH23Q4WK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meyer Abraham Girshick, Meyer Abraham Girshick (topic). Also Wikidata Q21704498
History
- 2026-11-02: add by m2/dev
Game form P1XNSS4YAW
| URI | m2://inv/P1XNSS4YAW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Game form, Game form (definition). Also Wikidata Q127611783
History
- 2026-11-02: add by m2/dev
P1XQ7PFM6Y P1XQ7PFM6Y
| URI | m2://inv/P1XQ7PFM6Y |
|---|---|
| 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.12014#TN4L (statement). In DR7BK4CQ0V/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.3
Statement P1XQB08X8D
| URI | m2://inv/P1XQB08X8D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martingale representation theorem#KUUB, Statement (statement)
History
- 2026-11-02: add by m2/dev
Kenji Fukaya P1XZ891FBR
| URI | m2://inv/P1XZ891FBR |
|---|---|
| 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#87RB, Kenji Fukaya (topic)
History
- 2026-11-02: add by m2/dev
P1YBGFNY2D P1YBGFNY2D
| URI | m2://inv/P1YBGFNY2D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21954#2JD7 (statement). In F2XATDBRK4/e1, proposition 5
History
- 2026-10-27: add by m2/v0.4.2
Corner quote P1YC23PQ9C
| URI | m2://inv/P1YC23PQ9C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bracket#I2L1, Corner quote (unknown)
History
- 2026-11-02: add by m2/dev
Deriving Gauss's law from Coulomb's law P1YQ04XZMQ
| URI | m2://inv/P1YQ04XZMQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coulomb's law#DEEN, Deriving Gauss's law from Coulomb's law (statement)
History
- 2026-11-02: add by m2/dev
Anthony Hill P1YRPQHRD4
| URI | m2://inv/P1YRPQHRD4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anthony Hill (artist), Anthony Hill (topic). Also Wikidata Q573345
History
- 2026-11-02: add by m2/dev
Harold Weitzner P1ZHCK61DG
| URI | m2://inv/P1ZHCK61DG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harold Weitzner, Harold Weitzner (topic). Also Wikidata Q61476796
History
- 2026-11-02: add by m2/dev
P1ZHW3PTAB P1ZHW3PTAB
| URI | m2://inv/P1ZHW3PTAB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-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 2609.29683#P5ZI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bithynia Prima P1ZK8PYX1Y
| URI | m2://inv/P1ZK8PYX1Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#3ZUG, Bithynia Prima (unknown)
History
- 2026-11-02: add by m2/dev
Theorem P1ZMS0CDYA
| URI | m2://inv/P1ZMS0CDYA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemannian manifold#EJ08, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Citardauq P1ZP1YFQYB
| URI | m2://inv/P1ZP1YFQYB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic formula#MSS7, Citardauq (unknown)
History
- 2026-11-02: add by m2/dev
P1ZPASG84Z P1ZPASG84Z
| URI | m2://inv/P1ZPASG84Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 51-XX, 52-XX, 53-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.03305#HSU8 (statement). In WAJ5AZHF62/e1, proposition 3.6
History
- 2026-10-29: add by m2/v0.4.12
Second-order accuracy P1ZQFGYPNG
| URI | m2://inv/P1ZQFGYPNG |
|---|---|
| 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.21039#SC33, Second-order accuracy (statement)
History
- 2026-11-02: add by m2/v0.6.18
Census in Egypt P1ZS2347JZ
| URI | m2://inv/P1ZS2347JZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Census in Egypt, Census in Egypt (definition). Also Wikidata Q5058970
History
- 2026-11-02: add by m2/dev
P1ZTTTHPXP P1ZTTTHPXP
| URI | m2://inv/P1ZTTTHPXP |
|---|---|
| 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.39465#RDTF (statement). In 17F6FDEA3W/e1, corollary 3.4
History
- 2026-10-30: add by m2/v0.4.12
P1ZX3XX294 P1ZX3XX294
| URI | m2://inv/P1ZX3XX294 |
|---|---|
| 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.08599#49NT (statement). In DST9FWMHT6/e1, theorem 4.6
History
- 2026-10-29: add by m2/v0.4.10
Spherical contact distribution function P1ZZ8YC6SN
| URI | m2://inv/P1ZZ8YC6SN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spherical contact distribution function, Spherical contact distribution function (definition). Also Wikidata Q17152706
History
- 2026-11-02: add by m2/dev