Inventory rows 17
The cards of the rows of the inventory whose ids start with 17. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Fourier cosine transform 1703JVMENJ
| URI | m2://inv/1703JVMENJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q124684067, Fourier cosine transform (unknown). Also MathWorld FourierCosineTransform
History
- 2026-10-26: add by m2/dev
1706EZZ7TV 1706EZZ7TV
| URI | m2://inv/1706EZZ7TV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.12931#2HJQ (statement). In PQHTR84RAJ/e1, theorem 5.7
History
- 2026-10-27: add by m2/v0.4.0
170A05BKPJ 170A05BKPJ
| URI | m2://inv/170A05BKPJ |
|---|---|
| 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.02852#VGS0 (statement). In HX6FXCYGKA/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
Galois extensions are splitting 170DJQMRDK
| URI | m2://inv/170DJQMRDK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#thm:Galois_splitting, Galois extensions are splitting (statement). In RZP28ERRZV, theorem, section 14.5
History
- 2026-11-01: add by m2/v0.6.13
Elementary negative-binomial envelope bound 170E1CHESQ
| URI | m2://inv/170E1CHESQ |
|---|---|
| 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.25380#AJNX, Elementary negative-binomial envelope bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
170NAKQ69M 170NAKQ69M
| URI | m2://inv/170NAKQ69M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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.10925#39Q5 (statement). In 9604WYX0BW/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.3
170TCBQDT9 170TCBQDT9
| URI | m2://inv/170TCBQDT9 |
|---|---|
| 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.10325#4UMX (statement). In 66CDJ94PGW/e1, theorem A
History
- 2026-10-29: add by m2/v0.4.10
Definition 170W7NMS86
| URI | m2://inv/170W7NMS86 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert cube#84RT, Definition (definition)
History
- 2026-11-02: add by m2/dev
171BRCH6Y7 171BRCH6Y7
| URI | m2://inv/171BRCH6Y7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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.05391#3LDR (statement). In 9B5TNEBJHV/e1, lemma 3.18
History
- 2026-10-29: add by m2/v0.4.10
171N06DRYB 171N06DRYB
| URI | m2://inv/171N06DRYB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.09374#SE1B (statement). In TGAHH1F8K5/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.6
Maximal theorem 171NQF4G42
| URI | m2://inv/171NQF4G42 |
|---|---|
| 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.09001#SZAQ, Maximal theorem (statement). In HJC1JJZRSH/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
unit, of a ring 171QPV1GRK
| URI | m2://inv/171QPV1GRK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2.1/unit-of-a-ring, unit, of a ring (concept). In N54F33XE07, index, section B.2.1
History
- 2026-11-01: add by m2/v0.6.13
171VHHGR7Z 171VHHGR7Z
| URI | m2://inv/171VHHGR7Z |
|---|---|
| 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.08935#8OAK (statement). In G02N9D40B9/e1, proposition 4.1.2
History
- 2026-10-29: add by m2/v0.4.10
Properties 1723DYXS9J
| URI | m2://inv/1723DYXS9J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Betti number#4WC8, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples 1723GM9B3R
| URI | m2://inv/1723GM9B3R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jeffreys prior#25NX, Examples (example)
History
- 2026-11-02: add by m2/dev
1723NDBJ2C 1723NDBJ2C
| URI | m2://inv/1723NDBJ2C |
|---|---|
| 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.25307#EEK2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dini test 1723YD1FA1
| URI | m2://inv/1723YD1FA1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier analysis topics#8760, Dini test (definition)
History
- 2026-11-02: add by m2/dev
17292SPKJ8 17292SPKJ8
| URI | m2://inv/17292SPKJ8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-1.xml#activity-2 (exercise). In 649HGZKE96, activity, section 3.1.3
History
- 2026-11-01: add by m2/v0.6.13
Derived sections from the finite Cech theorem 172DC9NMMX
| URI | m2://inv/172DC9NMMX |
|---|---|
| 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 2609.28220#NVPO, Derived sections from the finite Cech theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
Symmetry-protected topological order 172EQ8DBM0
| URI | m2://inv/172EQ8DBM0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetry-protected topological order, Symmetry-protected topological order (definition). Also Wikidata Q7661340
History
- 2026-11-02: add by m2/dev
172NSHXV5T 172NSHXV5T
| URI | m2://inv/172NSHXV5T |
|---|---|
| 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 2609.28011#048V (definition)
History
- 2026-11-01: add by m2/v0.6.15
Energetically favourable 1731WX512B
| URI | m2://inv/1731WX512B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gibbs free energy#ZU3T, Energetically favourable (unknown)
History
- 2026-11-02: add by m2/dev
1732DHAZSY 1732DHAZSY
| URI | m2://inv/1732DHAZSY |
|---|---|
| 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.32104#QDJZ (statement). In YRJSYFXNM8/e1, lemma 4.2
History
- 2026-10-31: add by m2/v0.5.6
17339M01EB 17339M01EB
| URI | m2://inv/17339M01EB |
|---|---|
| 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.16060#CDN9 (statement). In X0BTF9HPGM/e1, lemma 3.16
History
- 2026-10-28: add by m2/v0.4.2
Dave Bayer 1733SYG8VX
| URI | m2://inv/1733SYG8VX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#G9SW, Dave Bayer (topic)
History
- 2026-11-02: add by m2/dev
Example 1735A32AQR
| URI | m2://inv/1735A32AQR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Field trace#9M1T, Example (example)
History
- 2026-11-02: add by m2/dev
Farey parents and first violations 1737SXE5HP
| URI | m2://inv/1737SXE5HP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#8I70, Farey parents and first violations (statement). In 65TJENWK7X/e1, theorem 22
History
- 2026-10-29: add by m2/v0.4.10
Fully crossed design 173WTCPG5D
| URI | m2://inv/173WTCPG5D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WJ8Y, Fully crossed design (definition)
History
- 2026-11-02: add by m2/dev
List of types of numbers 173YYGN8FN
| URI | m2://inv/173YYGN8FN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers, List of types of numbers (topic). Also Wikidata Q6644179
History
- 2026-11-02: add by m2/dev
The chamber volume polynomial 17411DT6QN
| URI | m2://inv/17411DT6QN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21670#PLFF, The chamber volume polynomial (statement)
History
- 2026-11-02: add by m2/v0.6.18
174D6RM3ZK 174D6RM3ZK
| URI | m2://inv/174D6RM3ZK |
|---|---|
| Kind | statement |
| 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#JZTL (statement). In X1J5HKPS3R/e1, lemma 3.11
History
- 2026-10-29: add by m2/v0.4.10
Geometric standard score 174G7BXY8X
| URI | m2://inv/174G7BXY8X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric standard deviation#UTSP, Geometric standard score (unknown)
History
- 2026-11-02: add by m2/dev
Jerry Kevorkian 174KQPS4MQ
| URI | m2://inv/174KQPS4MQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jerry Kevorkian, Jerry Kevorkian (topic). Also Wikidata Q1687842
History
- 2026-11-02: add by m2/dev
Asher Peres 1753S6HPEW
| URI | m2://inv/1753S6HPEW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#DANY, Asher Peres (unknown)
History
- 2026-11-02: add by m2/dev
History of regression analysis 17599ZF90C
| URI | m2://inv/17599ZF90C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regression analysis#UGO7, History of regression analysis (unknown)
History
- 2026-11-02: add by m2/dev
175AD6GQH8 175AD6GQH8
| URI | m2://inv/175AD6GQH8 |
|---|---|
| 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 2504.17648#F8Y6 (definition). In 8G9FQA3ECT/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
175AR1V0A6 175AR1V0A6
| URI | m2://inv/175AR1V0A6 |
|---|---|
| Kind | example |
| 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.26496#6MD1 (example)
History
- 2026-11-01: add by m2/v0.6.15
Lila Rose 175HMZNQSZ
| URI | m2://inv/175HMZNQSZ |
|---|---|
| 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#SY9D, Lila Rose (unknown)
History
- 2026-11-02: add by m2/dev
parameter exclusions 175QG13Z63
| URI | m2://inv/175QG13Z63 |
|---|---|
| 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.02743#0ERT, parameter exclusions (statement). In GQH4ZPDWET/e1, corollary 11.5
History
- 2026-10-29: add by m2/v0.4.12
Brian Conrey 175RZTMAPW
| URI | m2://inv/175RZTMAPW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brian Conrey, Brian Conrey (topic). Also Wikidata Q265466
History
- 2026-11-02: add by m2/dev
175X1T60SN 175X1T60SN
| URI | m2://inv/175X1T60SN |
|---|---|
| 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.29925#S2E5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
T-spline 1761074TX6
| URI | m2://inv/1761074TX6 |
|---|---|
| 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#MCZX, T-spline (unknown)
History
- 2026-11-02: add by m2/dev
Liouville–Arnold theorem 1762YFT2PS
| URI | m2://inv/1762YFT2PS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liouville–Arnold theorem, Liouville–Arnold theorem (statement). Also Wikidata Q14943261
History
- 2026-11-02: add by m2/dev
Paul Dedecker 176F1E5ZY6
| URI | m2://inv/176F1E5ZY6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3371002, Paul Dedecker (unknown). Also nLab Paul Dedecker
- wikipedia: Wikipedia Paul Dedecker, Paul Dedecker (topic). Also Wikidata Q3371002
History
- 2026-10-26: add by m2/dev
Christine Kelley 176N5GDHJC
| URI | m2://inv/176N5GDHJC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UXDS, Christine Kelley (topic)
History
- 2026-11-02: add by m2/dev
Bicorn 176QHGB2BK
| URI | m2://inv/176QHGB2BK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#BQYU, Bicorn (definition)
- wikipedia: Wikipedia List of curves#R1YW, Bicorn (definition)
History
- 2026-11-02: add by m2/dev
Example 176Y0WPPEJ
| URI | m2://inv/176Y0WPPEJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional-theoretic algebra#11WH, Example (example)
History
- 2026-11-02: add by m2/dev
Matrix Template Library 1771VM7Z0G
| URI | m2://inv/1771VM7Z0G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#FG58, Matrix Template Library (unknown)
History
- 2026-11-02: add by m2/dev
Median-of-means estimation of $p_{\mathrm{sym}}^{(k_i)} o_i$ with an approximate Schur transform 1776SR5SHJ
| URI | m2://inv/1776SR5SHJ |
|---|---|
| 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 2609.39992#X1ZX, Median-of-means estimation of $p_{\mathrm{sym}}^{(k_i)} o_i$ with an approximate Schur transform (statement). In WF64CGYVK1/e1, lemma S19
History
- 2026-10-30: add by m2/v0.4.12
1778470HNP 1778470HNP
| URI | m2://inv/1778470HNP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-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.09422#9WM6 (statement). In MS7M2BJS9X/e1, lemma 7.13
History
- 2026-10-29: add by m2/v0.4.10
Decision rule 177FTQ7HEK
| URI | m2://inv/177FTQ7HEK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decision rule, Decision rule (definition). Also Wikidata Q5249245
History
- 2026-11-02: add by m2/dev
177HJY870Y 177HJY870Y
| URI | m2://inv/177HJY870Y |
|---|---|
| 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#35D8 (statement). In 37B1MPV8GX/e1, corollary 8.4
History
- 2026-10-29: add by m2/v0.4.10
Joachim Cuntz 177NP50E4C
| URI | m2://inv/177NP50E4C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1423921, Joachim Cuntz (unknown). Also nLab Joachim Cuntz
- wikipedia: Wikipedia Joachim Cuntz, Joachim Cuntz (topic). Also Wikidata Q1423921
History
- 2026-10-26: add by m2/dev
Arthur Herbert Copeland 177S95TAXZ
| URI | m2://inv/177S95TAXZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arthur Herbert Copeland, Arthur Herbert Copeland (topic). Also Wikidata Q2301295
History
- 2026-11-02: add by m2/dev
Exploratory data analysis 177TEBG7W7
| URI | m2://inv/177TEBG7W7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#9GOK, Exploratory data analysis (definition)
History
- 2026-11-02: add by m2/dev
False positive paradox 1787X48P6F
| URI | m2://inv/1787X48P6F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#2PHL, False positive paradox (definition)
History
- 2026-11-02: add by m2/dev
Example 1789QW16CK
| URI | m2://inv/1789QW16CK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Controllability#ILS4, Example (example)
History
- 2026-11-02: add by m2/dev
Hyperplane reduction 178B5ZTVKW
| URI | m2://inv/178B5ZTVKW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09341#WL36, Hyperplane reduction (statement). In DSXBMRYE0V/e1, corollary D.5
History
- 2026-10-29: add by m2/v0.4.10
178GA7BZPT 178GA7BZPT
| URI | m2://inv/178GA7BZPT |
|---|---|
| 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 2607.28337#KNKN (statement). In 7ZJFWBTBKM/e1, theorem 3.3.1
History
- 2026-10-27: add by m2/v0.3.6
Exact fixed-reference extraction 178QB3BJRY
| URI | m2://inv/178QB3BJRY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#XRKZ, Exact fixed-reference extraction (statement). In 9YAE8FNQST/e1, theorem 14.6
History
- 2026-10-30: add by m2/v0.4.12
Curtis–Hedlund–Lyndon theorem 178S6P3WCJ
| URI | m2://inv/178S6P3WCJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#HLFG, Curtis–Hedlund–Lyndon theorem (statement)
History
- 2026-11-02: add by m2/dev
cusp 1793N82BZ1
| URI | m2://inv/1793N82BZ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#2D01, cusp (definition)
History
- 2026-11-02: add by m2/dev
Statement 179GKSKBAF
| URI | m2://inv/179GKSKBAF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Veblen–Young theorem#B2FY, Statement (statement)
History
- 2026-11-02: add by m2/dev
Definition 179JFFQA7Z
| URI | m2://inv/179JFFQA7Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zariski geometry#2Q67, Definition (definition)
History
- 2026-11-02: add by m2/dev
179JRT5YZ1 179JRT5YZ1
| URI | m2://inv/179JRT5YZ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#UUDR (statement). In M0SQY5EZN5/e1, lemma 2.7.8
History
- 2026-10-27: add by m2/v0.3.5
179Z59KMC0 179Z59KMC0
| URI | m2://inv/179Z59KMC0 |
|---|---|
| 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.11395#VXRM (statement). In T3W7SMWQ73/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.3
Weighted elementary approximation 17A3QG7CRP
| URI | m2://inv/17A3QG7CRP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04895#YZXK, Weighted elementary approximation (statement). In A7M06ZVYA8/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
Failure bias 17A4JAH805
| URI | m2://inv/17A4JAH805 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Failure bias, Failure bias (definition). Also Wikidata Q56063262
History
- 2026-11-02: add by m2/dev
17A8KN8427 17A8KN8427
| URI | m2://inv/17A8KN8427 |
|---|---|
| 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.16941#1T28 (statement). In T96MPYB0KT/e1, theorem 3.8
History
- 2026-10-28: add by m2/v0.4.2
Extensions 17AH7VVBK0
| URI | m2://inv/17AH7VVBK0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary GCD algorithm#ABL1, Extensions (statement)
History
- 2026-11-02: add by m2/dev
17ARWW042E 17ARWW042E
| URI | m2://inv/17ARWW042E |
|---|---|
| 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 2308.05066#Z8YY (statement). In 1QSCT53ZED/e1, lemma 2.21
History
- 2026-10-27: add by m2/v0.4.0
Example 17AXQB702T
| URI | m2://inv/17AXQB702T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incidence poset#Y0QX, Example (example)
History
- 2026-11-02: add by m2/dev
17AZSZ41CH 17AZSZ41CH
| URI | m2://inv/17AZSZ41CH |
|---|---|
| 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.13513#2JE9 (statement). In BAGX2TDXM4/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
Jeff Kahn 17BGJAW54W
| URI | m2://inv/17BGJAW54W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VOMN, Jeff Kahn (topic)
History
- 2026-11-02: add by m2/dev
Loupekine snark 17BHZ3V8RY
| URI | m2://inv/17BHZ3V8RY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q55640922, Loupekine snark (unknown). Also MathWorld LoupekineSnarks
- wikipedia: Wikipedia Loupekine snark, Loupekine snark (definition). Also Wikidata Q55640922
History
- 2026-10-26: add by m2/dev
Léon-François-Antoine Aurifeuille 17BJ4NMT71
| URI | m2://inv/17BJ4NMT71 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Léon-François-Antoine Aurifeuille, Léon-François-Antoine Aurifeuille (topic). Also Wikidata Q18350970
History
- 2026-11-02: add by m2/dev
17BRMK8F8Y 17BRMK8F8Y
| URI | m2://inv/17BRMK8F8Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.22268#NDNE (statement). In 9ZD87293QS/e1, lemma 3.12
History
- 2026-10-27: add by m2/v0.4.0
Microsoft 17BVKM586D
| URI | m2://inv/17BVKM586D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#1970, Microsoft (unknown)
History
- 2026-11-02: add by m2/dev
17BZ1QXP88 17BZ1QXP88
| URI | m2://inv/17BZ1QXP88 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-136 (exercise). In VNMV985MXX, exercise, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
17C0JJ8T4P 17C0JJ8T4P
| URI | m2://inv/17C0JJ8T4P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.21949#49I7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Basic properties 17C3FHR1ZW
| URI | m2://inv/17C3FHR1ZW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed linear operator#3SGC, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Compactness and the Löwenheim–Skolem theorem 17C7TFSBFR
| URI | m2://inv/17C7TFSBFR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Model theory#YB90, Compactness and the Löwenheim–Skolem theorem (statement)
History
- 2026-11-02: add by m2/dev
Ken Ziffren 17CBG75SFB
| URI | m2://inv/17CBG75SFB |
|---|---|
| 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#ZSC3, Ken Ziffren (unknown)
History
- 2026-11-02: add by m2/dev
Ralph Fox 17CDV066ED
| URI | m2://inv/17CDV066ED |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#DTBT, Ralph Fox (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#W51M, Ralph Fox (topic)
History
- 2026-11-02: add by m2/dev
Centigraph 17CENG7HXW
| URI | m2://inv/17CENG7HXW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Percentage#DVID, Centigraph (unknown)
History
- 2026-11-02: add by m2/dev
Gorenstein–Harada theorem 17CG9026CV
| URI | m2://inv/17CG9026CV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of long mathematical proofs#A24Q, Gorenstein–Harada theorem (statement)
History
- 2026-11-02: add by m2/dev
17CK0FA83V 17CK0FA83V
| URI | m2://inv/17CK0FA83V |
|---|---|
| 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.19171#UU5Y (statement). In SJWP1EE3T8/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.2
Full-entropy central diagonal band 17D9M2A3DR
| URI | m2://inv/17D9M2A3DR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#89VL, Full-entropy central diagonal band (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gauss–Manin connection 17DCA1G94A
| URI | m2://inv/17DCA1G94A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss–Manin connection, Gauss–Manin connection (definition). Also Wikidata Q5527854
History
- 2026-11-02: add by m2/dev
17DYM9QC3C 17DYM9QC3C
| URI | m2://inv/17DYM9QC3C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/localization.tex#example-2 (example). In RZP28ERRZV, example, section 21.2
History
- 2026-11-01: add by m2/v0.6.13
J. Barkley Rosser 17DZ8HJEJ5
| URI | m2://inv/17DZ8HJEJ5 |
|---|---|
| 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#IF3Y, J. Barkley Rosser (topic)
History
- 2026-11-02: add by m2/dev
Derandomisation 17EFW6E2XM
| URI | m2://inv/17EFW6E2XM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Randomized algorithm#4AK2, Derandomisation (unknown)
History
- 2026-11-02: add by m2/dev
Multivariable calculus 17EZXCMSFN
| URI | m2://inv/17EZXCMSFN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#9VR8, Multivariable calculus (definition)
History
- 2026-11-02: add by m2/dev
17F5TJM7B7 17F5TJM7B7
| URI | m2://inv/17F5TJM7B7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-conc.ptx#exercise-11 (exercise). In Y91XFCEVHQ, exercise, section 2.7
History
- 2026-11-01: add by m2/v0.6.13
17F7N3E6E6 17F7N3E6E6
| URI | m2://inv/17F7N3E6E6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22272#DK09 (statement). In 4VZV5V0YD6/e1, lemma 8
History
- 2026-10-27: add by m2/v0.4.0
Progress in artificial intelligence 17FACT8VCT
| URI | m2://inv/17FACT8VCT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Progress in artificial intelligence, Progress in artificial intelligence (definition). Also Wikidata Q7248593
History
- 2026-11-02: add by m2/dev
17FAQ9CKCM 17FAQ9CKCM
| URI | m2://inv/17FAQ9CKCM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19285#11TI (definition). In 6DJR9DKY5W/e1, definition
History
- 2026-10-28: add by m2/v0.4.2
17FDN2Q155 17FDN2Q155
| URI | m2://inv/17FDN2Q155 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28265#EVIV (example)
History
- 2026-11-01: add by m2/v0.6.15
754 (number) 17FHNH70Y1
| URI | m2://inv/17FHNH70Y1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#0CUZ, 754 (number) (unknown)
History
- 2026-11-02: add by m2/dev
17GBZJN5NZ 17GBZJN5NZ
| URI | m2://inv/17GBZJN5NZ |
|---|---|
| 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.16358#S606 (statement). In RJA3YJ9NYK/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
James Tobin 17GE90FSC7
| URI | m2://inv/17GE90FSC7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#D7G9, James Tobin (unknown)
History
- 2026-11-02: add by m2/dev
denominator 17GHN0PM7B
| URI | m2://inv/17GHN0PM7B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Division (mathematics)#AC7B, denominator (definition)
- wikipedia: Wikipedia Division (mathematics)#YPOX, numerator (definition)
History
- 2026-11-02: add by m2/dev
Sophus Lie 17H0ZBFHT6
| URI | m2://inv/17H0ZBFHT6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#W6LH, Sophus Lie (topic)
History
- 2026-11-02: add by m2/dev
17H3ZTJJ3V 17H3ZTJJ3V
| URI | m2://inv/17H3ZTJJ3V |
|---|---|
| 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#UPHZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
John William Helton 17HA89JMZS
| URI | m2://inv/17HA89JMZS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NI93, John William Helton (unknown)
History
- 2026-11-02: add by m2/dev
Partially ordered ring 17HHNJQRJT
| URI | m2://inv/17HHNJQRJT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partially ordered ring, Partially ordered ring (definition). Also Wikidata Q7140405
History
- 2026-11-02: add by m2/dev
17HMVWDWKG 17HMVWDWKG
| URI | m2://inv/17HMVWDWKG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#K1HP (statement). In 6HJQXZS0A6/e1, lemma 3.14
History
- 2026-10-29: add by m2/v0.4.12
Projected traceless derivatives 17HQASF8FC
| URI | m2://inv/17HQASF8FC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10745#ZIY5, Projected traceless derivatives (definition). In 5MJ4NJ5ZCV/e1, definition 3.4
History
- 2026-10-28: add by m2/v0.4.3
Michael Overton 17HZFAGN3H
| URI | m2://inv/17HZFAGN3H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QET7, Michael Overton (unknown)
History
- 2026-11-02: add by m2/dev
Major arc asymptotic 17HZVP15E5
| URI | m2://inv/17HZVP15E5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.05002#TJZL, Major arc asymptotic (statement). In JBAQ7DTW7B/e1, lemma D.9
History
- 2026-10-27: add by m2/v0.3.5
17JHGQQA3A 17JHGQQA3A
| URI | m2://inv/17JHGQQA3A |
|---|---|
| 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 2609.25703#XOVZ (definition)
History
- 2026-11-01: add by m2/v0.6.15
17JMCP2WCR 17JMCP2WCR
| URI | m2://inv/17JMCP2WCR |
|---|---|
| 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.30330#IMJB (statement). In QBMDTMP5CX/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
Isotypical representation 17JPH8ZQ99
| URI | m2://inv/17JPH8ZQ99 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isotypical representation, Isotypical representation (definition). Also Wikidata Q17043919
History
- 2026-11-02: add by m2/dev
17JVMYMEGR 17JVMYMEGR
| URI | m2://inv/17JVMYMEGR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33573#ZBV1 (statement). In ZT1Q1XDQ1W/e1, theorem 2.1
History
- 2026-10-30: add by m2/v0.4.12
Finite branched continued fractions 17JXRCMV84
| URI | m2://inv/17JXRCMV84 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 47-XX, 58-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 2610.08568#BE4V, Finite branched continued fractions (statement). In FDDA562VCA/e1, corollary 2.10
History
- 2026-10-29: add by m2/v0.4.10
Tychonoff plank 17JZHZSH61
| URI | m2://inv/17JZHZSH61 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#LK9I, Tychonoff plank (definition)
- wikipedia: Wikipedia List of topologies#9YA5, Tychonoff plank (definition)
- wikipedia: Wikipedia List of topologies#SLHR, Tychonoff plank (definition)
History
- 2026-11-02: add by m2/dev
17JZZJJ0PG 17JZZJJ0PG
| URI | m2://inv/17JZZJJ0PG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#exercise-20 (exercise). In E59CDZA4DP, exercise, section 6.3.3
History
- 2026-11-01: add by m2/v0.6.13
17K0MJWF37 17K0MJWF37
| URI | m2://inv/17K0MJWF37 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-312 (exercise). In VNMV985MXX, exercise, section 6.8
History
- 2026-11-01: add by m2/v0.6.13
Hidden semi-Markov model 17K2XX7VGC
| URI | m2://inv/17K2XX7VGC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hidden semi-Markov model, Hidden semi-Markov model (definition). Also Wikidata Q3859882
History
- 2026-11-02: add by m2/dev
17K4NXPCM2 17K4NXPCM2
| URI | m2://inv/17K4NXPCM2 |
|---|---|
| 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.27078#Q1CK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Trellis cipher 17K9HFXJ32
| URI | m2://inv/17K9HFXJ32 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grille (cryptography)#9L9B, Trellis cipher (unknown)
History
- 2026-11-02: add by m2/dev
17KA4Q8C7X 17KA4Q8C7X
| URI | m2://inv/17KA4Q8C7X |
|---|---|
| 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#U836 (statement). In 3RVGEKGX46/e1, lemma 6.2
History
- 2026-10-30: add by m2/v0.4.12
17KC8ZZ20M 17KC8ZZ20M
| URI | m2://inv/17KC8ZZ20M |
|---|---|
| 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 2609.28501#WABM (definition)
History
- 2026-11-01: add by m2/v0.6.15
Target-Set Convergence 17KCX29ZGN
| URI | m2://inv/17KCX29ZGN |
|---|---|
| Kind | problem |
| 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.07674#8CSG, Target-Set Convergence (problem). In W1PRBBP1JD/e1, problem 1
History
- 2026-10-29: add by m2/v0.4.10
17KD8FVP3H 17KD8FVP3H
| URI | m2://inv/17KD8FVP3H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#QP73 (statement). In JW8HH6EPG2/e1, lemma 3.42
History
- 2026-10-29: add by m2/v0.4.10
17KFV0T0GM 17KFV0T0GM
| URI | m2://inv/17KFV0T0GM |
|---|---|
| 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 2610.21866#EX3I (statement). In Q3NMYW8ANH/e1, lemma 1.8
History
- 2026-10-27: add by m2/v0.4.2
Theorem I 17KM6PV4E3
| URI | m2://inv/17KM6PV4E3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order of integration (calculus)#XYXI, Theorem I (statement)
History
- 2026-11-02: add by m2/dev
17KNW1W8C8 17KNW1W8C8
| URI | m2://inv/17KNW1W8C8 |
|---|---|
| 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.29489#XERB (statement)
History
- 2026-11-01: add by m2/v0.6.15
17KSNDXK1F 17KSNDXK1F
| URI | m2://inv/17KSNDXK1F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#thm:ETCS (statement). In N54F33XE07, thm, section C.1.5
History
- 2026-11-01: add by m2/v0.6.13
Matrix representation 17KW4C6AG9
| URI | m2://inv/17KW4C6AG9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix representation, Matrix representation (definition). Also Wikidata Q6787889
History
- 2026-11-02: add by m2/dev
Equidivisible monoid 17KY0GVYQY
| URI | m2://inv/17KY0GVYQY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free monoid#UZ82, Equidivisible monoid (unknown)
History
- 2026-11-02: add by m2/dev
17KZSF81E2 17KZSF81E2
| URI | m2://inv/17KZSF81E2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20894#YYDI (definition)
History
- 2026-11-02: add by m2/v0.6.18
Pad\'e-type order 17MCESJ29M
| URI | m2://inv/17MCESJ29M |
|---|---|
| Kind | definition |
| 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#1RIE, Pad\'e-type order (definition)
History
- 2026-11-01: add by m2/v0.6.15
Projective geometry 17MJGZHXW3
| URI | m2://inv/17MJGZHXW3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#T1NK, Projective geometry (definition)
History
- 2026-11-02: add by m2/dev
Grade projection 17MJQ99PV5
| URI | m2://inv/17MJQ99PV5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric algebra#UPDU, Grade projection (unknown)
History
- 2026-11-02: add by m2/dev
$L_{\Ab}(\bKU)$ is not ultra-commutative 17MJTSQ4KM
| URI | m2://inv/17MJTSQ4KM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#AXPD, $L_{\Ab}(\bKU)$ is not ultra-commutative (example). In TB1294GY5X/e1, example 6.5
History
- 2026-10-27: add by m2/v0.4.2
17MKVFS9DZ 17MKVFS9DZ
| URI | m2://inv/17MKVFS9DZ |
|---|---|
| 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.21937#2JGK (statement)
History
- 2026-11-02: add by m2/v0.6.17
Leonard Adleman 17MNGWRFFY
| URI | m2://inv/17MNGWRFFY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SPZA, Leonard Adleman (unknown)
History
- 2026-11-02: add by m2/dev
Indefinite unitary group 17MT47JQQT
| URI | m2://inv/17MT47JQQT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unitary group#DFPK, Indefinite unitary group (unknown)
History
- 2026-11-02: add by m2/dev
finite-dimensional normed spaces over complete normed fields are complete 17MWMWRA1G
| URI | m2://inv/17MWMWRA1G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Normed vector spaces/Banach spaces > finite-dimensional normed spaces over complete normed fields are complete, finite-dimensional normed spaces over complete normed fields are complete (unknown). Also Mathlib Submodule.complete_of_finiteDimensional
History
- 2026-10-26: add by m2/dev
Rhombic hemi-dodecahedron 17N1Y6024Y
| URI | m2://inv/17N1Y6024Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hemi-cuboctahedron#2SEM, Rhombic hemi-dodecahedron (unknown)
History
- 2026-11-02: add by m2/dev
17N2DHAZGB 17N2DHAZGB
| URI | m2://inv/17N2DHAZGB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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 math/0406514#XTQ0 (statement). In CY1FE8W1ZW/e1, lemma 0.40
History
- 2026-10-27: add by m2/v0.3.5
Certified envelope evaluation 17N4FYEATH
| URI | m2://inv/17N4FYEATH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21880#WPL4, Certified envelope evaluation (definition)
History
- 2026-11-02: add by m2/v0.6.18
Frobenius method 17N5JB9B1R
| URI | m2://inv/17N5JB9B1R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Frobenius method W8ZWXC2HQS |
Mentions
- wikidata: Wikidata Q1340153, Frobenius method (unknown). Also MathWorld FrobeniusMethod
- wikipedia: Wikipedia Frobenius method, Frobenius method (definition). Also Wikidata Q1340153
History
- 2026-10-26: add by m2/dev
Examples 17N7T456GV
| URI | m2://inv/17N7T456GV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonical map#CBQH, Examples (example)
History
- 2026-11-02: add by m2/dev
Abstraction 17NBVF9NWV
| URI | m2://inv/17NBVF9NWV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstraction, Abstraction (definition). Also Wikidata Q673661
History
- 2026-11-02: add by m2/dev
17NDBPEE6X 17NDBPEE6X
| URI | m2://inv/17NDBPEE6X |
|---|---|
| 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#4ACC (statement)
History
- 2026-11-02: add by m2/v0.6.18
Corollary 2 17NHZJZGPE
| URI | m2://inv/17NHZJZGPE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wishart distribution#PD1D, Corollary 2 (statement)
History
- 2026-11-02: add by m2/dev
17NM451TWP 17NM451TWP
| URI | m2://inv/17NM451TWP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2509.16523#T8K6 (statement). In CJPFYRFY41/e1, theorem 7
History
- 2026-10-27: add by m2/v0.3.5
17NRRGTP32 17NRRGTP32
| URI | m2://inv/17NRRGTP32 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#6UWA (definition). In M0SQY5EZN5/e1, definition 4.2.4
History
- 2026-10-27: add by m2/v0.3.5
Belgian Mathematical Society 17NW2XER2Q
| URI | m2://inv/17NW2XER2Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Belgian Mathematical Society, Belgian Mathematical Society (definition). Also Wikidata Q815516
History
- 2026-11-02: add by m2/dev
Maclaurin's inequality 17NXWG8F5X
| URI | m2://inv/17NXWG8F5X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maclaurin's inequality, Maclaurin's inequality (statement). Also Wikidata Q647547
History
- 2026-11-02: add by m2/dev
17P0CVYJQS 17P0CVYJQS
| URI | m2://inv/17P0CVYJQS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14217#LN5I (statement). In K0DHYQC5B7/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.2
Examples 17P2T5364T
| URI | m2://inv/17P2T5364T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phase-type distribution#Y08M, Examples (example)
History
- 2026-11-02: add by m2/dev
17P5PF684D 17P5PF684D
| URI | m2://inv/17P5PF684D |
|---|---|
| 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.20783#QLKQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
GeoGebra 17PBGJ2SXM
| URI | m2://inv/17PBGJ2SXM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#CLW6, GeoGebra (unknown)
- wikipedia: Wikipedia List of open-source software for mathematics#NYA1, GeoGebra (unknown)
- wikipedia: Wikipedia List of open-source software for mathematics#Q4E2, GeoGebra (unknown)
History
- 2026-11-02: add by m2/dev
17PCWDF2Q9 17PCWDF2Q9
| URI | m2://inv/17PCWDF2Q9 |
|---|---|
| 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 2108.03672#8ZHD (statement). In EZZSZ1F071/e1, lemma 4.8
History
- 2026-10-27: add by m2/v0.4.0
Example 17PKM35KWN
| URI | m2://inv/17PKM35KWN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derived scheme#LHIA, Example (example)
History
- 2026-11-02: add by m2/dev
Asymptotically almost surely 17PKMMKDDC
| URI | m2://inv/17PKMMKDDC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#PBTB, Asymptotically almost surely (definition)
History
- 2026-11-02: add by m2/dev
exponent of a group 17PR9JYJGY
| URI | m2://inv/17PR9JYJGY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 3568695) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#88II, exponent of a group (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Lemma 17PRETVS44
| URI | m2://inv/17PRETVS44 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski plane#GA3N, Lemma (statement)
History
- 2026-11-02: add by m2/dev
exit theorem of a compact subspace 17Q1WVC14J
| URI | m2://inv/17Q1WVC14J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential equations > exit theorem of a compact subspace, exit theorem of a compact subspace (unknown)
History
- 2026-10-26: add by m2/dev
Proportion 17Q3YKMQVY
| URI | m2://inv/17Q3YKMQVY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proportion (mathematics), Proportion (definition). Also Wikidata Q117209928
History
- 2026-11-02: add by m2/dev
17Q4F3J399 17Q4F3J399
| URI | m2://inv/17Q4F3J399 |
|---|---|
| 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.17408#O9YN (statement). In QR8H4M1X4N/e1, proposition 9.3
History
- 2026-10-28: add by m2/v0.4.2
Connection formula for Wilson polynomials 17QRJ8G5RC
| URI | m2://inv/17QRJ8G5RC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Racah polynomials#HNKC, Connection formula for Wilson polynomials (statement)
History
- 2026-11-02: add by m2/dev
17QTKNGV94 17QTKNGV94
| URI | m2://inv/17QTKNGV94 |
|---|---|
| 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.11210#KY08 (statement). In CRFDGFZHBF/e1, theorem 8.6
History
- 2026-10-28: add by m2/v0.4.3
Robin Plackett 17QVMNE5VQ
| URI | m2://inv/17QVMNE5VQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robin Plackett, Robin Plackett (topic). Also Wikidata Q7352718
History
- 2026-11-02: add by m2/dev
* 17QXA205TV
| URI | m2://inv/17QXA205TV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#2TF4, * (definition)
History
- 2026-11-02: add by m2/dev
Cédric Villani 17R2RR2X6E
| URI | m2://inv/17R2RR2X6E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JW5Q, Cédric Villani (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#X311, Cédric Villani (topic)
History
- 2026-11-02: add by m2/dev
Product-type pair densities 17R5AWWN8K
| URI | m2://inv/17R5AWWN8K |
|---|---|
| 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 2609.29658#BOCR, Product-type pair densities (statement)
History
- 2026-11-01: add by m2/v0.6.15
Institute of Statistics and Economic Studies 17R8SK05KC
| URI | m2://inv/17R8SK05KC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Institute of Statistics and Economic Studies, Institute of Statistics and Economic Studies (definition). Also Wikidata Q79527216
History
- 2026-11-02: add by m2/dev
Green's function number 17RA7ZRMG9
| URI | m2://inv/17RA7ZRMG9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Green's function number, Green's function number (definition). Also Wikidata Q25109567
History
- 2026-11-02: add by m2/dev
Examples 17RDZAFA32
| URI | m2://inv/17RDZAFA32 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subliminal channel#3YV4, Examples (example)
History
- 2026-11-02: add by m2/dev
Boundary bundles and their linearisations 17S8DFVRH1
| URI | m2://inv/17S8DFVRH1 |
|---|---|
| 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 2610.00490#H9S0, Boundary bundles and their linearisations (statement). In PZJDV6SJ9E/e1, proposition 3.3
History
- 2026-10-30: add by m2/v0.4.12
Concrete check on the Segre model 17SJDG71C1
| URI | m2://inv/17SJDG71C1 |
|---|---|
| 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.00077#F1H9, Concrete check on the Segre model (example). In C04B15GH1T/e1, example 4.10
History
- 2026-10-30: add by m2/v0.4.12
17SNR926ZC 17SNR926ZC
| URI | m2://inv/17SNR926ZC |
|---|---|
| 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.31373#B9C1 (statement). In H4XKQM67NA/e1, theorem 1.1
History
- 2026-10-31: add by m2/v0.5.6
Definition 17SSX5MVTJ
| URI | m2://inv/17SSX5MVTJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin transfer (group theory)#OMR5, Definition (definition)
History
- 2026-11-02: add by m2/dev
17T0V227HV 17T0V227HV
| URI | m2://inv/17T0V227HV |
|---|---|
| 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.10840#K35C (statement). In JSJQEPY71E/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.3
17T1ND15E6 17T1ND15E6
| URI | m2://inv/17T1ND15E6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/applied-modal-logic/epistemic-logic/language-epistemic-logic.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
17T5ADZ4W0 17T5ADZ4W0
| URI | m2://inv/17T5ADZ4W0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9902147#FN53 (statement). In 7CK21JGM5A/e1, lemma 5.12
History
- 2026-10-27: add by m2/v0.4.2
Connection to the Pythagorean theorem 17T7XRAPSB
| URI | m2://inv/17T7XRAPSB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berlin Papyrus 6619#7DYR, Connection to the Pythagorean theorem (statement)
History
- 2026-11-02: add by m2/dev
Directional derivative 17TEQYJ4SB
| URI | m2://inv/17TEQYJ4SB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of multivariable calculus topics#PXFF, Directional derivative (definition)
History
- 2026-11-02: add by m2/dev
Nicole El Karoui 17TSXSJD3X
| URI | m2://inv/17TSXSJD3X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicole El Karoui, Nicole El Karoui (topic). Also Wikidata Q2618743
History
- 2026-11-02: add by m2/dev
Fernando Zalamea 17TYDGGR4S
| URI | m2://inv/17TYDGGR4S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fernando Zalamea, Fernando Zalamea (topic). Also Wikidata Q93224591
History
- 2026-11-02: add by m2/dev
17TZBKKKKS 17TZBKKKKS
| URI | m2://inv/17TZBKKKKS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#MZ1W (statement). In E7W2HDNEKJ/e1, lemma 9.22
History
- 2026-10-30: add by m2/v0.4.12
Exact eccentricity identity for the functions G and H 17V0NRABMN
| URI | m2://inv/17V0NRABMN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rogers–Ramanujan identities#G3YS, Exact eccentricity identity for the functions G and H (statement)
History
- 2026-11-02: add by m2/dev
Hugh Blackburn 17VA81TATH
| URI | m2://inv/17VA81TATH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hugh Blackburn, Hugh Blackburn (topic). Also Wikidata Q5930039
History
- 2026-11-02: add by m2/dev
Corona theorem 17VB07618H
| URI | m2://inv/17VB07618H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#SQC2, Corona theorem (statement)
History
- 2026-11-02: add by m2/dev
17VG796QS3 17VG796QS3
| URI | m2://inv/17VG796QS3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07049#DXU1 (statement). In GMF552ESG6/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
17VH5SW6WM 17VH5SW6WM
| URI | m2://inv/17VH5SW6WM |
|---|---|
| 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.23128#LNDL (statement)
History
- 2026-11-02: add by m2/v0.6.17
LOKI 17VTTKH6S2
| URI | m2://inv/17VTTKH6S2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LOKI, LOKI (definition). Also Wikidata Q378566
History
- 2026-11-02: add by m2/dev
17VW103NMY 17VW103NMY
| URI | m2://inv/17VW103NMY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03327#D7X5 (statement). In EBNXA84CPM/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.12
Accelerated restart control with finite model solves 17VXZKS4HQ
| URI | m2://inv/17VXZKS4HQ |
|---|---|
| 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.06557#IZI2, Accelerated restart control with finite model solves (statement). In VV5CH6Y31D/e1, corollary 4.9
History
- 2026-10-29: add by m2/v0.4.10
17W0TKQHGN 17W0TKQHGN
| URI | m2://inv/17W0TKQHGN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.07651#JPA1 (statement). In B338B7DBPA/e1, corollary 2
History
- 2026-10-27: add by m2/v0.3.6
Statement 17W9Z46Y16
| URI | m2://inv/17W9Z46Y16 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Excision theorem#KAM1, Statement (statement)
History
- 2026-11-02: add by m2/dev
universal, property, of metric completion 17WKJK5P83
| URI | m2://inv/17WKJK5P83 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.6/universal-property-of-metric-completion, universal, property, of metric completion (concept). In N54F33XE07, index, section B.6
History
- 2026-11-01: add by m2/v0.6.13
Statement 17WM9MNFK3
| URI | m2://inv/17WM9MNFK3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scallop theorem#VXHQ, Statement (statement)
History
- 2026-11-02: add by m2/dev
17X5FDTERR 17X5FDTERR
| URI | m2://inv/17X5FDTERR |
|---|---|
| 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.11829#DLMJ (statement). In 76DK6SPN88/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.3
Combinatorial class 17X9GH6W0S
| URI | m2://inv/17X9GH6W0S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorial class, Combinatorial class (definition). Also Wikidata Q5150823
History
- 2026-11-02: add by m2/dev
algebraic operator 17XHWFWPS1
| URI | m2://inv/17XHWFWPS1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q137848286, algebraic operator (unknown). Also EoM Algebraic_operator
History
- 2026-10-26: add by m2/dev
List of things named after Albert Einstein 17XJPEKJJH
| URI | m2://inv/17XJPEKJJH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#CUJU, List of things named after Albert Einstein (unknown)
History
- 2026-11-02: add by m2/dev
17XPXH65CH 17XPXH65CH
| URI | m2://inv/17XPXH65CH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37769#91HN (statement). In MJWNGM4S01/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Global Hasse Invariant for Limpid ICMs 17XQQX19P1
| URI | m2://inv/17XQQX19P1 |
|---|---|
| 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.33808#PQR3, Global Hasse Invariant for Limpid ICMs (statement). In 328KGRNN0W/e1, corollary 4.5
History
- 2026-10-30: add by m2/v0.4.12
materialization; \lean{materialize 17XY5P3Y0T
| URI | m2://inv/17XY5P3Y0T |
|---|---|
| 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.23143#H96L, materialization; \lean{materialize (statement)
History
- 2026-11-02: add by m2/v0.6.17
Algorithms 17Y6MNHTT4
| URI | m2://inv/17Y6MNHTT4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relative neighborhood graph#EF23, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Doob transform 17Y6QRM94K
| URI | m2://inv/17Y6QRM94K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-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.06944#3XXO, Doob transform (statement). In 1HSWBXDXWV/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Extensions of symmetric operators 17Y7HY5NKC
| URI | m2://inv/17Y7HY5NKC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extensions of symmetric operators, Extensions of symmetric operators (definition). Also Wikidata Q5421962
History
- 2026-11-02: add by m2/dev
Orbit-closure normal form 17Y7JM42BT
| URI | m2://inv/17Y7JM42BT |
|---|---|
| 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.00099#PXTB, Orbit-closure normal form (statement). In NNBY2AEHP4/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
Backbone reduction 17Y7M42Y20
| URI | m2://inv/17Y7M42Y20 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37479#SFY4, Backbone reduction (statement). In P3RTT99C41/e1, lemma 9.4
History
- 2026-10-30: add by m2/v0.4.12
Most-perfect magic square 17YANPRE80
| URI | m2://inv/17YANPRE80 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Most-perfect magic square, Most-perfect magic square (definition). Also Wikidata Q450098
History
- 2026-11-02: add by m2/dev
Lemma (Local \partial \bar \partial-lemma) 17YF19NBXF
| URI | m2://inv/17YF19NBXF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ddbar lemma#OP0H, Lemma (Local \partial \bar \partial-lemma) (statement)
History
- 2026-11-02: add by m2/dev
17YFECC85S 17YFECC85S
| URI | m2://inv/17YFECC85S |
|---|---|
| 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#VFMX (statement). In P7T0W5D3W3/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.4.2
Critical point 17YZNYTZQF
| URI | m2://inv/17YZNYTZQF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Critical point (thermodynamics), Critical point (definition). Also Wikidata Q111059
History
- 2026-11-02: add by m2/dev
Prouhet–Tarry–Escott problem 17Z5WGWR0S
| URI | m2://inv/17Z5WGWR0S |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3406235, Prouhet–Tarry–Escott problem (problem). Also MathWorld Prouhet-Tarry-EscottProblem
- wikipedia: Wikipedia Prouhet–Tarry–Escott problem, Prouhet–Tarry–Escott problem (conjecture). Also Wikidata Q3406235
History
- 2026-10-26: add by m2/dev
Chu space 17ZDEV57F5
| URI | m2://inv/17ZDEV57F5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5115177, Chu space (concept). Also MathWorld ChuSpace
- wikipedia: Wikipedia Chu space, Chu space (definition). Also Wikidata Q5115177
History
- 2026-10-26: add by m2/dev
C. West Churchman 17ZKGX9ZA2
| URI | m2://inv/17ZKGX9ZA2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#MIK6, C. West Churchman (unknown)
History
- 2026-11-02: add by m2/dev
Optical parametric amplifier 17ZPJSPNY5
| URI | m2://inv/17ZPJSPNY5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optical parametric amplifier, Optical parametric amplifier (definition). Also Wikidata Q5286948
History
- 2026-11-02: add by m2/dev
Formulation 17ZQH1BN2E
| URI | m2://inv/17ZQH1BN2E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extended Kalman filter#X2C9, Formulation (definition)
History
- 2026-11-02: add by m2/dev
17ZRR3CJD8 17ZRR3CJD8
| URI | m2://inv/17ZRR3CJD8 |
|---|---|
| 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.17717#JO0W (statement). In YXRKS451PK/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Properties 17ZSH161TS
| URI | m2://inv/17ZSH161TS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius characteristic map#B5I6, Properties (statement)
History
- 2026-11-02: add by m2/dev
Theorem 17ZTZFE9J6
| URI | m2://inv/17ZTZFE9J6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Characteristic function (probability theory)#LJUW, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Moshé Machover 17ZWP2JRSX
| URI | m2://inv/17ZWP2JRSX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#1SV3, Moshé Machover (topic)
History
- 2026-11-02: add by m2/dev
17ZXBCG89Y 17ZXBCG89Y
| URI | m2://inv/17ZXBCG89Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16123#OOHU (statement). In 6VR4TY5BGV/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Timeline of mathematical logic 17ZXNJJH08
| URI | m2://inv/17ZXNJJH08 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Timeline of mathematical logic, Timeline of mathematical logic (topic). Also Wikidata Q7806105
History
- 2026-11-02: add by m2/dev
715 (number) 17ZZ3NNG11
| URI | m2://inv/17ZZ3NNG11 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#KGKW, 715 (number) (unknown)
History
- 2026-11-02: add by m2/dev