Inventory rows 92
The cards of the rows of the inventory whose ids start with 92. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Spatial curvature parameter 92053P0QFP
| URI | m2://inv/92053P0QFP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedmann equations#TG5E, Spatial curvature parameter (unknown)
History
- 2026-11-02: add by m2/dev
Brauer–Suzuki–Wall theorem 9208YCNXS0
| URI | m2://inv/9208YCNXS0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#NBQD, Brauer–Suzuki–Wall theorem (statement)
History
- 2026-11-02: add by m2/dev
Stallings–Zeeman theorem 92096N5B61
| URI | m2://inv/92096N5B61 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 55-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7597317, Stallings–Zeeman theorem (statement). Also Wikidata Q7597317
- thousand_plus: thousand_plus Q7597317, Stallings–Zeeman theorem (statement). Also Wikidata Q7597317, Wikipedia Stallings–Zeeman theorem
- wikipedia: Wikipedia Stallings–Zeeman theorem, Stallings–Zeeman theorem (statement). Also Wikidata Q7597317
History
- 2026-10-26: add by m2/dev
dif\/ferential forms 920ENCKJQZ
| URI | m2://inv/920ENCKJQZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1408.1555#GZXN, dif\/ferential forms (definition). In S1F2QW24YW/e1, definition 2.12
History
- 2026-10-27: add by m2/v0.3.5
9215S99V0W 9215S99V0W
| URI | m2://inv/9215S99V0W |
|---|---|
| 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 1001.3429#0S83 (statement). In 6S4BVGS1VP/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
Closed observable quotient representation 9216931B3W
| URI | m2://inv/9216931B3W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20207#XHHJ, Closed observable quotient representation (definition)
History
- 2026-11-02: add by m2/v0.6.18
921GPFS5MX 921GPFS5MX
| URI | m2://inv/921GPFS5MX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.34946#GWBH (statement). In Y27BAB2BB4/e1, proposition 6.3
History
- 2026-10-30: add by m2/v0.4.12
921J59KWHZ 921J59KWHZ
| URI | m2://inv/921J59KWHZ |
|---|---|
| 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.23833#IN9G (statement)
History
- 2026-11-02: add by m2/v0.6.17
921P05V0MF 921P05V0MF
| URI | m2://inv/921P05V0MF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-9 (exercise). In E9HS8K3A52, exercise, section 9.1.6
History
- 2026-11-01: add by m2/v0.6.13
Event 921P3FBTFH
| URI | m2://inv/921P3FBTFH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Event (relativity), Event (definition). Also Wikidata Q2618029
History
- 2026-11-02: add by m2/dev
921SJQ8D1P 921SJQ8D1P
| URI | m2://inv/921SJQ8D1P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 1204.5958#J6Q6 (statement). In XYCBKM4WKY/e1, theorem 63
History
- 2026-10-27: add by m2/v0.3.5
Detrended fluctuation analysis 921XQ2ABY0
| URI | m2://inv/921XQ2ABY0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0HXG, Detrended fluctuation analysis (definition)
History
- 2026-11-02: add by m2/dev
9221K6RPP6 9221K6RPP6
| URI | m2://inv/9221K6RPP6 |
|---|---|
| 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 2610.08226#ODH1 (statement). In V6EPE8XHAD/e1, proposition 10.9
History
- 2026-10-29: add by m2/v0.4.10
Global analytic function 9226W93WJS
| URI | m2://inv/9226W93WJS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Global analytic function, Global analytic function (definition). Also Wikidata Q5570804
History
- 2026-11-02: add by m2/dev
9229BR7E5B 9229BR7E5B
| URI | m2://inv/9229BR7E5B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#ADPV (statement). In A1GWWGRXPA/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.4.2
Bodio, Luigi 922MAH2SP5
| URI | m2://inv/922MAH2SP5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#JXC9, Bodio, Luigi (unknown)
History
- 2026-11-02: add by m2/dev
922PJSVFHB 922PJSVFHB
| URI | m2://inv/922PJSVFHB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31276#LSTE (statement). In WYDHWYFRFK/e1, lemma 6.3
History
- 2026-10-31: add by m2/v0.5.6
Vertex 922QMNZEMX
| URI | m2://inv/922QMNZEMX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#YTFM, Vertex (definition)
History
- 2026-11-02: add by m2/dev
Existence and uniqueness 922ZQNTN2Q
| URI | m2://inv/922ZQNTN2Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartan subalgebra#CIGK, Existence and uniqueness (statement)
History
- 2026-11-02: add by m2/dev
Examples 9235J0CP2A
| URI | m2://inv/9235J0CP2A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Displaced Poisson distribution#EMKU, Examples (example)
History
- 2026-11-02: add by m2/dev
923JC939E8 923JC939E8
| URI | m2://inv/923JC939E8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35678#PTXQ (example). In 4X4ZS7CEKD/e1, example 2
History
- 2026-10-30: add by m2/v0.4.12
923PPZK7VZ 923PPZK7VZ
| URI | m2://inv/923PPZK7VZ |
|---|---|
| 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 2610.07957#W41Q (definition). In RXFKX8M8P0/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.10
More general transversality theorems 9240E0YN1M
| URI | m2://inv/9240E0YN1M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transversality theorem#8JM3, More general transversality theorems (statement)
History
- 2026-11-02: add by m2/dev
Transfer map as a Laplace transform 924471AQF8
| URI | m2://inv/924471AQF8 |
|---|---|
| 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.25431#HMCP, Transfer map as a Laplace transform (statement)
History
- 2026-11-01: add by m2/v0.6.15
Parabolic subgroup of a reflection group 9247G9N3AH
| URI | m2://inv/9247G9N3AH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parabolic subgroup of a reflection group, Parabolic subgroup of a reflection group (definition). Also Wikidata Q124328767
History
- 2026-11-02: add by m2/dev
Applications 92484TQ27V
| URI | m2://inv/92484TQ27V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scoring rule#S544, Applications (example)
History
- 2026-11-02: add by m2/dev
Meyer wavelet 924ASM2F7J
| URI | m2://inv/924ASM2F7J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meyer wavelet, Meyer wavelet (definition). Also Wikidata Q12036496
History
- 2026-11-02: add by m2/dev
924CYDYY59 924CYDYY59
| URI | m2://inv/924CYDYY59 |
|---|---|
| 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.00241#IP1T (statement). In VBRQTN2RXN/e1, proposition 3.9
History
- 2026-10-30: add by m2/v0.4.12
Formal statement 924E924H6X
| URI | m2://inv/924E924H6X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sonnenschein–Mantel–Debreu theorem#AOAO, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
924HJC7WYV 924HJC7WYV
| URI | m2://inv/924HJC7WYV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#P0M3 (definition)
History
- 2026-11-02: add by m2/dev
924HY8XNC6 924HY8XNC6
| URI | m2://inv/924HY8XNC6 |
|---|---|
| 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#P5X9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
924JR54B9Q 924JR54B9Q
| URI | m2://inv/924JR54B9Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#R1TE (statement). In 3A4K47Y9F2/e1, theorem 5.28
History
- 2026-10-27: add by m2/v0.4.0
Clinical significance 924MS56BVA
| URI | m2://inv/924MS56BVA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clinical significance, Clinical significance (definition). Also Wikidata Q5133848
History
- 2026-11-02: add by m2/dev
natural numbers, isomorphic definition of 924T499V9T
| URI | m2://inv/924T499V9T |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.2/natural-numbers-isomorphic-definition-of, natural numbers, isomorphic definition of (concept). In N54F33XE07, index, section 8.2
History
- 2026-11-01: add by m2/v0.6.13
Boolean-valued 924TWR58CF
| URI | m2://inv/924TWR58CF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean-valued, Boolean-valued (definition). Also Wikidata Q4943347
History
- 2026-11-02: add by m2/dev
Atiyah–Singer index theorem 924VWS7X0C
| URI | m2://inv/924VWS7X0C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#HGUC, Atiyah–Singer index theorem (statement)
- wikipedia: Wikipedia List of partial differential equation topics#PDZ7, Atiyah–Singer index theorem (statement)
History
- 2026-11-02: add by m2/dev
465 (number) 9255BJ2M8D
| URI | m2://inv/9255BJ2M8D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#AX1T, 465 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Doubly linked face list 92577TW4HK
| URI | m2://inv/92577TW4HK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doubly linked face list, Doubly linked face list (definition). Also Wikidata Q5300176
History
- 2026-11-02: add by m2/dev
Carter subgroup 9258MNSYPY
| URI | m2://inv/9258MNSYPY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carter subgroup, Carter subgroup (definition). Also Wikidata Q5047226
History
- 2026-11-02: add by m2/dev
Maurice Janet 925DFJH2JV
| URI | m2://inv/925DFJH2JV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maurice Janet, Maurice Janet (topic). Also Wikidata Q19296026
History
- 2026-11-02: add by m2/dev
925G98BQ0B 925G98BQ0B
| URI | m2://inv/925G98BQ0B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-61 (exercise). In E9HS8K3A52, exercise, section 7.4.5
History
- 2026-11-01: add by m2/v0.6.13
Mixture SLB tightness without component-wise tightness 925JPFMGB5
| URI | m2://inv/925JPFMGB5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15549#QWXM, Mixture SLB tightness without component-wise tightness (example). In S96K5CR1B7/e1, example 1
History
- 2026-10-28: add by m2/v0.4.2
925W415DRN 925W415DRN
| URI | m2://inv/925W415DRN |
|---|---|
| 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 2609.33557#I7WE (statement). In 95YZVAPGJA/e1, proposition 6.1
History
- 2026-10-30: add by m2/v0.4.12
A 4-cycle 925YGQXVR5
| URI | m2://inv/925YGQXVR5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13884#T2PX, A 4-cycle (example). In N2NQ3QJYTW/e1, example 6.2
History
- 2026-10-28: add by m2/v0.4.2
925YS66DVV 925YS66DVV
| URI | m2://inv/925YS66DVV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.26410#JWMW (statement)
History
- 2026-11-01: add by m2/v0.6.15
9260G33B6Z 9260G33B6Z
| URI | m2://inv/9260G33B6Z |
|---|---|
| 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#TFHY (statement). In GXHKRV5BPY/e1, lemma 3.19
History
- 2026-10-29: add by m2/v0.4.10
926RTVS83Q 926RTVS83Q
| URI | m2://inv/926RTVS83Q |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#1ED5 (statement). In CY1FE8W1ZW/e1, lemma 0.268
History
- 2026-10-27: add by m2/v0.3.5
Lossy distributed source coding 926SN0VEZR
| URI | m2://inv/926SN0VEZR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in information theory#50NY, Lossy distributed source coding (definition)
History
- 2026-11-02: add by m2/dev
Teichmüller metric 926X2P87YN
| URI | m2://inv/926X2P87YN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Teichmüller space#YLDQ, Teichmüller metric (unknown)
History
- 2026-11-02: add by m2/dev
92707R3RGS 92707R3RGS
| URI | m2://inv/92707R3RGS |
|---|---|
| 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.22384#5ITJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Applications 9270BM7DC1
| URI | m2://inv/9270BM7DC1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grunsky matrix#6W9L, Applications (example)
History
- 2026-11-02: add by m2/dev
Virginia Tech 9271ZZ3QJX
| URI | m2://inv/9271ZZ3QJX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of schools for quantitative psychology#27PI, Virginia Tech (unknown)
History
- 2026-11-02: add by m2/dev
9272RYNWBG 9272RYNWBG
| URI | m2://inv/9272RYNWBG |
|---|---|
| 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 2601.18223#YYRZ (statement). In ZRXE7EJA93/e1, corollary 2.1
History
- 2026-10-27: add by m2/v0.3.5
Basis (linear algebra) 92788XQM4Y
| URI | m2://inv/92788XQM4Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#ID47, Basis (linear algebra) (definition)
History
- 2026-11-02: add by m2/dev
Eutactic lattice 927CCVWGXV
| URI | m2://inv/927CCVWGXV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eutactic lattice, Eutactic lattice (definition). Also Wikidata Q5414379
History
- 2026-11-02: add by m2/dev
Freedman's paradox 927EQY3CFK
| URI | m2://inv/927EQY3CFK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Freedman's paradox, Freedman's paradox (statement). Also Wikidata Q5500406
History
- 2026-11-02: add by m2/dev
927ZRKY2W3 927ZRKY2W3
| URI | m2://inv/927ZRKY2W3 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monstrous moonshine#7LSS (problem)
History
- 2026-11-02: add by m2/dev
92810C2ZTQ 92810C2ZTQ
| URI | m2://inv/92810C2ZTQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 57-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.09333#YTLX (definition). In Z9HC1EDTQP/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.10
FKT algorithm 928141VKFA
| URI | m2://inv/928141VKFA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FKT algorithm, FKT algorithm (definition). Also Wikidata Q5426031
History
- 2026-11-02: add by m2/dev
homography 928618AEBM
| URI | m2://inv/928618AEBM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#RIRN, homography (definition)
History
- 2026-11-02: add by m2/dev
limit, of types 928HJBRFRA
| URI | m2://inv/928HJBRFRA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.15/limit-of-types, limit, of types (concept). In N54F33XE07, index, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
928HQK7GM2 928HQK7GM2
| URI | m2://inv/928HQK7GM2 |
|---|---|
| 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.19273#VNKU (statement). In T3BY4TXYT4/e1, theorem 8.2
History
- 2026-10-28: add by m2/v0.4.2
Center for Christian-Jewish Learning 928KCJR1YG
| URI | m2://inv/928KCJR1YG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of research centers at Boston College#APTL, Center for Christian-Jewish Learning (unknown)
History
- 2026-11-02: add by m2/dev
Example 9291EGANMV
| URI | m2://inv/9291EGANMV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete Poisson equation#7VJ2, Example (example)
History
- 2026-11-02: add by m2/dev
9296SDA3RC 9296SDA3RC
| URI | m2://inv/9296SDA3RC |
|---|---|
| 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.17817#M967 (statement). In M8TSJ24RC2/e1, proposition 4.18
History
- 2026-10-28: add by m2/v0.4.2
Jacket matrix 929813T5P6
| URI | m2://inv/929813T5P6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacket matrix, Jacket matrix (definition). Also Wikidata Q6116137
History
- 2026-11-02: add by m2/dev
9298C5QEYV 9298C5QEYV
| URI | m2://inv/9298C5QEYV |
|---|---|
| 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.03011#1C0V (statement). In VE8FB6K8EN/e1, theorem 6.1
History
- 2026-10-29: add by m2/v0.4.12
92994F93WC 92994F93WC
| URI | m2://inv/92994F93WC |
|---|---|
| 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 2609.36321#40AV (statement). In 3KTZ6Z615H/e1, proposition 6.4
History
- 2026-10-30: add by m2/v0.4.12
irregular singularity 929CDDQCTQ
| URI | m2://inv/929CDDQCTQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q117349539, irregular singularity (unknown). Also EoM Irregular_singular_point, MathWorld IrregularSingularity
History
- 2026-10-26: add by m2/dev
Domination principle 929CQ30Z5K
| URI | m2://inv/929CQ30Z5K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06719#NMR7, Domination principle (statement). In CBSA058Y53/e1, proposition 2.10
History
- 2026-10-29: add by m2/v0.4.10
929EY0QB69 929EY0QB69
| URI | m2://inv/929EY0QB69 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23994#RB6M (definition)
History
- 2026-11-02: add by m2/v0.6.17
929FC4XBK2 929FC4XBK2
| URI | m2://inv/929FC4XBK2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 14-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.20361#G9FD (definition)
History
- 2026-11-02: add by m2/v0.6.18
929GS3G2WR 929GS3G2WR
| URI | m2://inv/929GS3G2WR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26896#FXUL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Semantic --- \textsc{N-Wf 929KBTMF6K
| URI | m2://inv/929KBTMF6K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#ZP8P, Semantic --- \textsc{N-Wf (statement). In CPYWHRTPKC/e1, lemma 7.38
History
- 2026-10-27: add by m2/v0.4.2
Daniela De Silva 929KP268TF
| URI | m2://inv/929KP268TF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniela De Silva, Daniela De Silva (topic). Also Wikidata Q55873808
History
- 2026-11-02: add by m2/dev
Functional principal component analysis 929KPB0K3P
| URI | m2://inv/929KPB0K3P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional principal component analysis, Functional principal component analysis (definition). Also Wikidata Q17014987
History
- 2026-11-02: add by m2/dev
929KY15N50 929KY15N50
| URI | m2://inv/929KY15N50 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2609.24610#EB0F (statement)
History
- 2026-11-01: add by m2/v0.6.15
Coordinate-free 929TJK8Q1Z
| URI | m2://inv/929TJK8Q1Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coordinate-free, Coordinate-free (definition). Also Wikidata Q5168001
History
- 2026-11-02: add by m2/dev
Rasiowa–Sikorski lemma 929XG7N7NR
| URI | m2://inv/929XG7N7NR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#9O0B, Rasiowa–Sikorski lemma (statement)
History
- 2026-11-02: add by m2/dev
Actual quadratic obstructions 929Y7MD4ZX
| URI | m2://inv/929Y7MD4ZX |
|---|---|
| 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.20649#HQ9W, Actual quadratic obstructions (statement). In XDTM624YPE/e1, corollary 8.7
History
- 2026-10-27: add by m2/v0.4.2
1 − 2 + 3 − 4 + ⋯ 92A0VCF649
| URI | m2://inv/92A0VCF649 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1 − 2 + 3 − 4 + ⋯, 1 − 2 + 3 − 4 + ⋯ (definition). Also Wikidata Q438859
History
- 2026-11-02: add by m2/dev
intrinsic $H(\curll)$ continuity 92A5VAZHKV
| URI | m2://inv/92A5VAZHKV |
|---|---|
| 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.08016#6LRW, intrinsic $H(\curll)$ continuity (statement). In YR3CSTYEJW/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.10
Hexagonal crystal family 92AA3X39E0
| URI | m2://inv/92AA3X39E0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexagonal crystal family, Hexagonal crystal family (definition). Also Wikidata Q663314
History
- 2026-11-02: add by m2/dev
capacity of a set 92AF315W9A
| URI | m2://inv/92AF315W9A |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Capacity of a set 4YZVFGJVSZ |
Mentions
- wikidata: Wikidata Q5034494, capacity of a set (concept). Also EoM Capacity_of_a_set
- wikipedia: Wikipedia Capacity of a set, Capacity of a set (definition). Also Wikidata Q5034494
History
- 2026-10-26: add by m2/dev
92AKE1STV4 92AKE1STV4
| URI | m2://inv/92AKE1STV4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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.22642#RFD4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Properties 92AKXWZB5T
| URI | m2://inv/92AKXWZB5T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superadditivity#SK4P, Properties (statement)
History
- 2026-11-02: add by m2/dev
singular submodule 92AS6N7E6P
| URI | m2://inv/92AS6N7E6P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#DGVG, singular submodule (definition)
History
- 2026-11-02: add by m2/dev
92ASM8AWQF 92ASM8AWQF
| URI | m2://inv/92ASM8AWQF |
|---|---|
| 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 2204.10840#8TC8 (statement). In EMS1MAJZ4X/e1, proposition 9
History
- 2026-10-27: add by m2/v0.3.6
Properties 92ASYKW1T0
| URI | m2://inv/92ASYKW1T0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Capacity of a set#R0NT, Properties (statement)
History
- 2026-11-02: add by m2/dev
The marginal levels 92AYJ3T1C4
| URI | m2://inv/92AYJ3T1C4 |
|---|---|
| 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.06480#K9AE, The marginal levels (statement). In 2Y47E704Z9/e1, corollary 8.12
History
- 2026-10-29: add by m2/v0.4.10
92AZD9XTZ2 92AZD9XTZ2
| URI | m2://inv/92AZD9XTZ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40191#6UP9 (statement). In F0D8VSM4Z4/e1, proposition 4.5
History
- 2026-10-30: add by m2/v0.4.12
order, total 92BFDN50VQ
| URI | m2://inv/92BFDN50VQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/B.10/order-total, order, total (concept). In QKM9DD2H56, index, section B.10
History
- 2026-11-01: add by m2/v0.6.13
endoscopic 92BN04RT1G
| URI | m2://inv/92BN04RT1G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#LZAD, endoscopic (definition)
History
- 2026-11-02: add by m2/dev
Generalization of quadratic equation 92BRVC665Z
| URI | m2://inv/92BRVC665Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic equation#R1XF, Generalization of quadratic equation (statement)
History
- 2026-11-02: add by m2/dev
parametric surface 92BT7CKXGX
| URI | m2://inv/92BT7CKXGX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Parametrised surface 0ZG9QF40HE |
Mentions
- wikidata: Wikidata Q1071743, parametric surface (unknown). Also MathWorld ParametricSurface
- wikipedia: Wikipedia Parametric surface, Parametric surface (definition). Also Wikidata Q1071743
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Holmes, Chris 92BXJP55GE
| URI | m2://inv/92BXJP55GE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#IVGI, Holmes, Chris (unknown)
History
- 2026-11-02: add by m2/dev
Contingent cooperator 92C4VHHB5G
| URI | m2://inv/92C4VHHB5G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contingent cooperator, Contingent cooperator (definition). Also Wikidata Q5165358
History
- 2026-11-02: add by m2/dev
92C7JV4KVV 92C7JV4KVV
| URI | m2://inv/92C7JV4KVV |
|---|---|
| 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.20190#4NLU (statement)
History
- 2026-11-02: add by m2/v0.6.18
92CA8RCCAA 92CA8RCCAA
| URI | m2://inv/92CA8RCCAA |
|---|---|
| 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.39330#4K87 (statement). In 7ZTJ23YG7A/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
Local existence and uniqueness of generalised solutions 92CAV6VHCD
| URI | m2://inv/92CAV6VHCD |
|---|---|
| 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.22189#NE8K, Local existence and uniqueness of generalised solutions (statement). In PKS0M89ZRT/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.4.0
Properties 92CC4WJ3V5
| URI | m2://inv/92CC4WJ3V5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catalan number#KSTK, Properties (statement)
History
- 2026-11-02: add by m2/dev
Tangle (mathematics) 92CP94AJQK
| URI | m2://inv/92CP94AJQK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#3MFM, Tangle (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
92D1AMRX0V 92D1AMRX0V
| URI | m2://inv/92D1AMRX0V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29665#7OSI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ekman pumping 92D5FH4854
| URI | m2://inv/92D5FH4854 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ekman transport#MN4F, Ekman pumping (unknown)
History
- 2026-11-02: add by m2/dev
92DAET66E4 92DAET66E4
| URI | m2://inv/92DAET66E4 |
|---|---|
| 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 2601.15010#4VQX (statement). In K3WJ6ZN184/e1, proposition 6.7
History
- 2026-10-27: add by m2/v0.3.5
set theory, Zermelo--Fraenkel 92DCSPAQDR
| URI | m2://inv/92DCSPAQDR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.5/set-theory-zermelo-fraenkel, set theory, Zermelo--Fraenkel (concept). In N54F33XE07, index, section C.5
History
- 2026-11-01: add by m2/v0.6.13
92DK79Q1V1 92DK79Q1V1
| URI | m2://inv/92DK79Q1V1 |
|---|---|
| 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 2610.19459#0E2Q (statement). In SATS9RFBX7/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
92E1F2HYQZ 92E1F2HYQZ
| URI | m2://inv/92E1F2HYQZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/tableaux/soundness.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 34.6
History
- 2026-11-01: add by m2/v0.6.13
Stirling's formula 92E2PHRZMQ
| URI | m2://inv/92E2PHRZMQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probabilistic proofs of non-probabilistic theorems#6CZ0, Stirling's formula (definition)
History
- 2026-11-02: add by m2/dev
92EGDYB446 92EGDYB446
| URI | m2://inv/92EGDYB446 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-2-7-1.xml#act-2-7-1 (exercise). In 907G4C4EJ1, activity, section 2.7.2
History
- 2026-11-01: add by m2/v0.6.13
Elementary properties 92EMKKDVP0
| URI | m2://inv/92EMKKDVP0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subgroup distortion#Q789, Elementary properties (statement)
History
- 2026-11-02: add by m2/dev
baryon 92EPQ6QN8H
| URI | m2://inv/92EPQ6QN8H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q159731, baryon (unknown). Also nLab baryon
History
- 2026-10-26: add by m2/dev
92ES06WGNX 92ES06WGNX
| URI | m2://inv/92ES06WGNX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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 math/0512416#JRGF (statement). In WJD9YPGGYH/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
The "Magnum Opus": "Principles of set theory" 92ETCV6Z1P
| URI | m2://inv/92ETCV6Z1P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Felix Hausdorff#12K7, The "Magnum Opus": "Principles of set theory" (statement)
History
- 2026-11-02: add by m2/dev
Hoeffding's independence test 92ETSWTNJR
| URI | m2://inv/92ETSWTNJR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#EL9C, Hoeffding's independence test (definition)
History
- 2026-11-02: add by m2/dev
Generalization 92EYV8278R
| URI | m2://inv/92EYV8278R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-differentiability#MIK9, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Entropy estimation 92EZC9C44C
| URI | m2://inv/92EZC9C44C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#1OHK, Entropy estimation (definition)
History
- 2026-11-02: add by m2/dev
Clausen's formula 92F4ZWRXKT
| URI | m2://inv/92F4ZWRXKT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized hypergeometric function#DJF8, Clausen's formula (statement)
History
- 2026-11-02: add by m2/dev
Applications 92FAY0SZ0N
| URI | m2://inv/92FAY0SZ0N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian programming#53W9, Applications (example)
History
- 2026-11-02: add by m2/dev
92FEEK8QK3 92FEEK8QK3
| URI | m2://inv/92FEEK8QK3 |
|---|---|
| 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 2610.00076#LHG5 (statement). In 2VQ90WEZKB/e1, proposition 10.1
History
- 2026-10-30: add by m2/v0.4.12
Residue at infinity 92FEJ6RNSW
| URI | m2://inv/92FEJ6RNSW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Residue at infinity, Residue at infinity (definition). Also Wikidata Q3457759
History
- 2026-11-02: add by m2/dev
92FGGQV39T 92FGGQV39T
| URI | m2://inv/92FGGQV39T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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.30637#J6GH (definition). In 6G1KBA0SXV/e1, definition 4.19
History
- 2026-10-31: add by m2/v0.5.6
Representation 92FSGPPY4B
| URI | m2://inv/92FSGPPY4B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler line#E8M7, Representation (definition)
History
- 2026-11-02: add by m2/dev
92G0QVHGHB 92G0QVHGHB
| URI | m2://inv/92G0QVHGHB |
|---|---|
| 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 2205.09049#W6PH (definition). In 37S7MNMZ2F/e1, definition 7
History
- 2026-10-27: add by m2/v0.3.5
Lei Guo 92GAQSWYZ3
| URI | m2://inv/92GAQSWYZ3 |
|---|---|
| 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#708Z, Lei Guo (unknown)
History
- 2026-11-02: add by m2/dev
92GBR244D7 92GBR244D7
| URI | m2://inv/92GBR244D7 |
|---|---|
| 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 2609.27617#MTH7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 92GEJR90P1
| URI | m2://inv/92GEJR90P1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal language#Q020, Examples (example)
History
- 2026-11-02: add by m2/dev
92GNDPNDWN 92GNDPNDWN
| URI | m2://inv/92GNDPNDWN |
|---|---|
| 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.37237#OPA5 (statement). In GBY82BZCNA/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
92GZWTBMXM 92GZWTBMXM
| URI | m2://inv/92GZWTBMXM |
|---|---|
| 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.27800#TWNG (statement)
History
- 2026-11-01: add by m2/v0.6.15
fundamental, group 92H0M762SR
| URI | m2://inv/92H0M762SR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.7.2/fundamental-group, fundamental, group (concept). In N54F33XE07, index, section 7.7.2
History
- 2026-11-01: add by m2/v0.6.13
proton-to-electron mass ratio 92H5EPJ7Z7
| URI | m2://inv/92H5EPJ7Z7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2912520, proton-to-electron mass ratio (statement). Also ProofWiki Proton_to_Electron_Mass_Ratio
History
- 2026-10-26: add by m2/dev
92H7STE8N6 92H7STE8N6
| URI | m2://inv/92H7STE8N6 |
|---|---|
| Kind | example |
| 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.17442#AV79 (example). In 6ADGJ51W1P/e1, example 4
History
- 2026-10-28: add by m2/v0.4.2
Operational confound 92HDHYWYY7
| URI | m2://inv/92HDHYWYY7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#U3OX, Operational confound (definition)
History
- 2026-11-02: add by m2/dev
Data outside the additional lifespan restriction 92HTGPJJ01
| URI | m2://inv/92HTGPJJ01 |
|---|---|
| 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.21256#STLN, Data outside the additional lifespan restriction (statement)
History
- 2026-11-02: add by m2/v0.6.18
Steffensen's inequality 92HWM722ME
| URI | m2://inv/92HWM722ME |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4358002, Steffensen's inequality (statement). Also MathWorld SteffensensInequality
- wikipedia: Wikipedia Steffensen's inequality, Steffensen's inequality (statement). Also Wikidata Q4358002
History
- 2026-10-26: add by m2/dev
92J1GVQMQR 92J1GVQMQR
| URI | m2://inv/92J1GVQMQR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2310.15716#8V46 (statement). In 7WDA4MEWE2/e1, proposition 6.3
History
- 2026-10-27: add by m2/v0.3.6
Uniform Substitution 92JQ92MRFX
| URI | m2://inv/92JQ92MRFX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/preliminaries.tex#defn-1, Uniform Substitution (definition). In PKGMM3P5QY, defn, section 62.6
History
- 2026-11-01: add by m2/v0.6.13
92JRBJ6CZG 92JRBJ6CZG
| URI | m2://inv/92JRBJ6CZG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-132 (exercise). In VNMV985MXX, exercise, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
92JS9XBRXP 92JS9XBRXP
| URI | m2://inv/92JS9XBRXP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37313#SD00 (statement). In Z1F6SXQ6XW/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
92KCA4RQGR 92KCA4RQGR
| URI | m2://inv/92KCA4RQGR |
|---|---|
| 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 2610.08357#QQWU (statement). In R9GRCAWHG0/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
Samplers are Kleisli morphisms 92KDCJZ9MX
| URI | m2://inv/92KDCJZ9MX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26270#QSGV, Samplers are Kleisli morphisms (statement)
History
- 2026-11-01: add by m2/v0.6.15
92KDKWQ6V9 92KDKWQ6V9
| URI | m2://inv/92KDKWQ6V9 |
|---|---|
| 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 2204.13401#D96P (statement). In B8MJT0GGW8/e1, lemma 4.12
History
- 2026-10-27: add by m2/v0.4.0
Cayley's theorem 92KF8D401F
| URI | m2://inv/92KF8D401F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite group#H4CZ, Cayley's theorem (statement)
History
- 2026-11-02: add by m2/dev
92KHNX0NPA 92KHNX0NPA
| URI | m2://inv/92KHNX0NPA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-14 (exercise). In E9HS8K3A52, exercise, section 10.2.4
History
- 2026-11-01: add by m2/v0.6.13
Uses 92KPWKWKNC
| URI | m2://inv/92KPWKWKNC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Student's t-test#ABI0, Uses (example)
History
- 2026-11-02: add by m2/dev
92KSBWSH6A 92KSBWSH6A
| URI | m2://inv/92KSBWSH6A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30527#2ZTC (statement). In E3WQDZY388/e1, lemma 4.2
History
- 2026-10-31: add by m2/v0.5.6
Trace action 92KWC88GCH
| URI | m2://inv/92KWC88GCH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.26269#6UQL, Trace action (statement)
History
- 2026-11-01: add by m2/v0.6.15
92KZW85F8W 92KZW85F8W
| URI | m2://inv/92KZW85F8W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16114#I89D (statement). In JZZ3FJ382R/e1, proposition 8.2
History
- 2026-10-28: add by m2/v0.4.2
François Folie 92MD5JF496
| URI | m2://inv/92MD5JF496 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia François Folie, François Folie (topic). Also Wikidata Q2098846
History
- 2026-11-02: add by m2/dev
92MKVR4RJW 92MKVR4RJW
| URI | m2://inv/92MKVR4RJW |
|---|---|
| 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.24353#ND5V (statement)
History
- 2026-11-01: add by m2/v0.6.15
92MMMX79JD 92MMMX79JD
| URI | m2://inv/92MMMX79JD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/examples.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 3.20
History
- 2026-11-01: add by m2/v0.6.13
Unique root property 92MZKKHDEY
| URI | m2://inv/92MZKKHDEY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20131#MX5C, Unique root property (definition). In 29D4TTE3J2/e1, definition 6.8
History
- 2026-10-27: add by m2/v0.4.2
92MZVF125G 92MZVF125G
| URI | m2://inv/92MZVF125G |
|---|---|
| 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.28669#B6J2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Uniform convergence under sub-Gaussian increments 92N2EH84Y1
| URI | m2://inv/92N2EH84Y1 |
|---|---|
| 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.10873#YP3Y, Uniform convergence under sub-Gaussian increments (statement). In AYG8HYGW6V/e1, lemma G.7
History
- 2026-10-28: add by m2/v0.4.3
92N2VAG4FV 92N2VAG4FV
| URI | m2://inv/92N2VAG4FV |
|---|---|
| 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.36309#6AJ0 (statement). In FAJ10EJMYE/e1, lemma 11
History
- 2026-10-30: add by m2/v0.4.12
92N8JBJQQY 92N8JBJQQY
| URI | m2://inv/92N8JBJQQY |
|---|---|
| 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.03384#RZJ8 (statement). In J55JTTKG84/e1, lemma 4.20
History
- 2026-10-29: add by m2/v0.4.12
92NH68AX7X 92NH68AX7X
| URI | m2://inv/92NH68AX7X |
|---|---|
| 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.05423#5O4G (statement). In 3ABGS3F1JG/e1, proposition 9.1
History
- 2026-10-29: add by m2/v0.4.10
Closed self-adjoint realization 92NN8JZEKP
| URI | m2://inv/92NN8JZEKP |
|---|---|
| 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 2610.03745#NO1N, Closed self-adjoint realization (statement). In YWXVX6AX8F/e1, theorem 7.2
History
- 2026-10-29: add by m2/v0.4.12
excellent 92NWNZH3MC
| URI | m2://inv/92NWNZH3MC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#SNP4, excellent (definition)
History
- 2026-11-02: add by m2/dev
92PC2BKSBE 92PC2BKSBE
| URI | m2://inv/92PC2BKSBE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ContinuousFunctions.tex#problem-9 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Discrete Morse function 92PD93DSYD
| URI | m2://inv/92PD93DSYD |
|---|---|
| Kind | definition |
| 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.01937#C9VX, Discrete Morse function (definition). In BAEDMM7YM5/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.12
92PH6ZJR9M 92PH6ZJR9M
| URI | m2://inv/92PH6ZJR9M |
|---|---|
| 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.26033#KSP4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
92PPJ4NSE0 92PPJ4NSE0
| URI | m2://inv/92PPJ4NSE0 |
|---|---|
| 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 2208.06310#82YL (statement). In 9YR0E0T9XA/e1, corollary 3.5
History
- 2026-10-27: add by m2/v0.3.5
Lander–Green algorithm 92PR2SKZX9
| URI | m2://inv/92PR2SKZX9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lander–Green algorithm, Lander–Green algorithm (definition). Also Wikidata Q6484443
History
- 2026-11-02: add by m2/dev
92PS3EH4K4 92PS3EH4K4
| URI | m2://inv/92PS3EH4K4 |
|---|---|
| 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-103 (exercise). In E9HS8K3A52, exercise, section 4.7.1
History
- 2026-11-01: add by m2/v0.6.13
PreCICE 92PWZM7DBZ
| URI | m2://inv/92PWZM7DBZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PreCICE (software), PreCICE (definition). Also Wikidata Q136504894
History
- 2026-11-02: add by m2/dev
92PYV2192S 92PYV2192S
| URI | m2://inv/92PYV2192S |
|---|---|
| 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 2112.05010#I1F1 (statement). In 4SZNPS3Z00/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.6
Definitions 92Q1NDH3W5
| URI | m2://inv/92Q1NDH3W5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subnet (mathematics)#TDEM, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Dorian M. Goldfeld 92Q9A8S47K
| URI | m2://inv/92Q9A8S47K |
|---|---|
| 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 Q726393, Dorian M. Goldfeld (unknown). Also nLab Dorian Goldfeld
- wikipedia: Wikipedia Dorian M. Goldfeld, Dorian M. Goldfeld (topic). Also Wikidata Q726393
History
- 2026-10-26: add by m2/dev
Numerical solution of linear systems 92QCFNF6T5
| URI | m2://inv/92QCFNF6T5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerical linear algebra#ZJJI, Numerical solution of linear systems (unknown)
History
- 2026-11-02: add by m2/dev
Alekseev–Gröbner formula 92QJ4958H5
| URI | m2://inv/92QJ4958H5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alekseev–Gröbner formula, Alekseev–Gröbner formula (statement). Also Wikidata Q109849407
History
- 2026-11-02: add by m2/dev
92QRBS6FZW 92QRBS6FZW
| URI | m2://inv/92QRBS6FZW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#NIIM (statement). In TB1294GY5X/e1, lemma B.5
History
- 2026-10-27: add by m2/v0.4.2
abstract nonsense 92QTAEF2C9
| URI | m2://inv/92QTAEF2C9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#AKGW, abstract nonsense (definition)
History
- 2026-11-02: add by m2/dev
Drucker's first stability criterion 92QVX4Z1F5
| URI | m2://inv/92QVX4Z1F5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Drucker stability#TB49, Drucker's first stability criterion (statement)
History
- 2026-11-02: add by m2/dev
Concrete number 92QZ3V74QW
| URI | m2://inv/92QZ3V74QW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concrete number, Concrete number (definition). Also Wikidata Q4025884
History
- 2026-11-02: add by m2/dev
The affine tests 92RNC1VBAQ
| URI | m2://inv/92RNC1VBAQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15262#TLYE, The affine tests (definition). In C44HVXWYRF/e1, definition 5.3
History
- 2026-10-28: add by m2/v0.4.2
sequential space 92RWAEG4EW
| URI | m2://inv/92RWAEG4EW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > General topology > sequential space, sequential space (unknown). Also Mathlib SequentialSpace
History
- 2026-10-26: add by m2/dev
92RYZN620V 92RYZN620V
| URI | m2://inv/92RYZN620V |
|---|---|
| Kind | definition |
| 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 2610.21872#J5SV (definition). In HEA1ME2ZE4/e1, definition
History
- 2026-10-27: add by m2/v0.4.2
92SCGKC97A 92SCGKC97A
| URI | m2://inv/92SCGKC97A |
|---|---|
| Kind | example |
| 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#U4G2 (example). In 9H45HQE7AZ/e1, example 3.17
History
- 2026-10-27: add by m2/v0.3.5
92SDJ697FA 92SDJ697FA
| URI | m2://inv/92SDJ697FA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.16779#2MFY (statement). In 1R7H0ZAHWA/e1, theorem 4.8
History
- 2026-10-28: add by m2/v0.4.2
92SF9SXZCD 92SF9SXZCD
| URI | m2://inv/92SF9SXZCD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1303.4328#B7UC (statement). In HCTYW6VH87/e1, theorem C.1
History
- 2026-10-27: add by m2/v0.3.5
92SRD1ZBKN 92SRD1ZBKN
| URI | m2://inv/92SRD1ZBKN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-77 (exercise). In E59CDZA4DP, exercise, section 10.6.6
History
- 2026-11-01: add by m2/v0.6.13
Poussin graph 92T2C84YM6
| URI | m2://inv/92T2C84YM6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115525, Poussin graph (unknown). Also House of Graphs 1273, MathWorld PoussinGraph
- wikipedia: Wikipedia Poussin graph, Poussin graph (definition). Also Wikidata Q3115525
History
- 2026-10-26: add by m2/dev
Applications 92T7JFYY4S
| URI | m2://inv/92T7JFYY4S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moving frame#DGGB, Applications (example)
History
- 2026-11-02: add by m2/dev
PKCS 1 92TA5J48JW
| URI | m2://inv/92TA5J48JW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PKCS 1, PKCS 1 (definition). Also Wikidata Q7119499
History
- 2026-11-02: add by m2/dev
Base case for even $q$ 92TFHY8KVD
| URI | m2://inv/92TFHY8KVD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2608.17785#EKR0, Base case for even $q$ (statement). In H3FDP8S1Z7/e1, proposition 5.7
History
- 2026-10-27: add by m2/v0.3.5
92TGNT76QZ 92TGNT76QZ
| URI | m2://inv/92TGNT76QZ |
|---|---|
| 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.03337#HVEE (statement). In VH7EZDGTNA/e1, lemma 2.15
History
- 2026-10-29: add by m2/v0.4.12
92THRSRB5P 92THRSRB5P
| URI | m2://inv/92THRSRB5P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25739#8FUE (statement)
History
- 2026-11-01: add by m2/v0.6.15
92TQPPNESH 92TQPPNESH
| URI | m2://inv/92TQPPNESH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.24739#XIQG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tutte embedding 92TYPW17RP
| URI | m2://inv/92TYPW17RP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tutte embedding, Tutte embedding (definition). Also Wikidata Q17090559
History
- 2026-11-02: add by m2/dev
92V0M8XP91 92V0M8XP91
| URI | m2://inv/92V0M8XP91 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#example-7 (example). In P1C114YBXG, example, section H
History
- 2026-11-01: add by m2/v0.6.13
Kleinian model 92V4WR83P0
| URI | m2://inv/92V4WR83P0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Felix Klein#SMT8, Kleinian model (definition)
History
- 2026-11-02: add by m2/dev
Free particle (quantum physics) 92V8CAQ8S1
| URI | m2://inv/92V8CAQ8S1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum mechanics#QB0U, Free particle (quantum physics) (unknown)
History
- 2026-11-02: add by m2/dev
Implementations 92V9AXN436
| URI | m2://inv/92V9AXN436 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benson's algorithm#WTY0, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Disconfirmation bias 92VAJGR0Y8
| URI | m2://inv/92VAJGR0Y8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Confirmation bias#SAWC, Disconfirmation bias (unknown)
History
- 2026-11-02: add by m2/dev
OD 92VC5XC5F7
| URI | m2://inv/92VC5XC5F7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#5RW1, OD (definition)
History
- 2026-11-02: add by m2/dev
92VFD4P94A 92VFD4P94A
| URI | m2://inv/92VFD4P94A |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21060#V1SP (example)
History
- 2026-11-02: add by m2/v0.6.18
Bucket occupancy 92VGFWF8PR
| URI | m2://inv/92VGFWF8PR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39233#MEP7, Bucket occupancy (statement). In Y7NC12TBNP/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
92VMFGT1A9 92VMFGT1A9
| URI | m2://inv/92VMFGT1A9 |
|---|---|
| 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 1009.2047#XQWW (statement). In F3MWRNBNED/e1, proposition 7.8
History
- 2026-10-27: add by m2/v0.3.5
Genus of a quadratic form 92WESPKG9K
| URI | m2://inv/92WESPKG9K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Genus of a quadratic form, Genus of a quadratic form (definition). Also Wikidata Q5533834
History
- 2026-11-02: add by m2/dev
92WGPEPYSA 92WGPEPYSA
| URI | m2://inv/92WGPEPYSA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13957#RAQ4 (statement). In H1W6SNC2MJ/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Robert Tucker 92WMM13HC6
| URI | m2://inv/92WMM13HC6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Tucker (mathematician), Robert Tucker (topic). Also Wikidata Q15842741
History
- 2026-11-02: add by m2/dev
Céa's lemma 92WQ5V0HWD
| URI | m2://inv/92WQ5V0HWD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#MUYD, Céa's lemma (statement)
History
- 2026-11-02: add by m2/dev
Uniform growth of matrix ranks 92WRQ1GFZW
| URI | m2://inv/92WRQ1GFZW |
|---|---|
| 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.11143#OJ4X, Uniform growth of matrix ranks (statement). In 9CS15SV662/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.3
Shearlet 92X1Q8C1Y3
| URI | m2://inv/92X1Q8C1Y3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shearlet, Shearlet (definition). Also Wikidata Q17018993
History
- 2026-11-02: add by m2/dev
EKOS Research Associates 92X8RX22HJ
| URI | m2://inv/92X8RX22HJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#Y9KO, EKOS Research Associates (unknown)
History
- 2026-11-02: add by m2/dev
Ostrowski numeration 92XBCWJX3A
| URI | m2://inv/92XBCWJX3A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ostrowski numeration, Ostrowski numeration (definition). Also Wikidata Q7107841
History
- 2026-11-02: add by m2/dev
A size obstruction to the natural system 92XM6PPNGR
| URI | m2://inv/92XM6PPNGR |
|---|---|
| Kind | example |
| 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 2609.33469#K27O, A size obstruction to the natural system (example). In TC5QA4AB4Z/e1, example 4.54
History
- 2026-10-30: add by m2/v0.4.12
The case \(b<0\ 92XY6CRH97
| URI | m2://inv/92XY6CRH97 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39218#PHG4, The case \(b<0\ (example). In VPZSCE8HFP/e1, example 4.7
History
- 2026-10-30: add by m2/v0.4.12
umbral calculus 92Y4V0A3B7
| URI | m2://inv/92Y4V0A3B7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1055314, umbral calculus (definition). Also MathWorld UmbralCalculus, nLab umbral calculus, ProofWiki Definition:Umbral_Calculus
- wikipedia: Wikipedia Umbral calculus, Umbral calculus (definition). Also Wikidata Q1055314
History
- 2026-10-26: add by m2/dev
Gauss–Legendre algorithm 92YB9V6E0X
| URI | m2://inv/92YB9V6E0X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Adrien-Marie Legendre#NEM7, Gauss–Legendre algorithm (definition)
- wikipedia: Wikipedia List of topics related to π#18QZ, Gauss–Legendre algorithm (definition)
History
- 2026-11-02: add by m2/dev
Reuschle's theorem 92YSV7KFW9
| URI | m2://inv/92YSV7KFW9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#B7T0, Reuschle's theorem (statement)
History
- 2026-11-02: add by m2/dev
92YT3DV8KW 92YT3DV8KW
| URI | m2://inv/92YT3DV8KW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/preliminaries.tex#prop:balanced (statement). In PKGMM3P5QY, prop, section 62.6
History
- 2026-11-01: add by m2/v0.6.13
Montgomery's pair correlation conjecture 92YW0XDD55
| URI | m2://inv/92YW0XDD55 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#LIJE, Montgomery's pair correlation conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
analytic 92Z0QP8XGT
| URI | m2://inv/92Z0QP8XGT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#JHWA, analytic (definition)
History
- 2026-11-02: add by m2/dev
Definitions 92Z1B6PJ73
| URI | m2://inv/92Z1B6PJ73 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Resolution of singularities#FCY8, Definitions (definition)
History
- 2026-11-02: add by m2/dev
92Z6DQZPSE 92Z6DQZPSE
| URI | m2://inv/92Z6DQZPSE |
|---|---|
| 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 2502.08738#WNBL (statement). In 9GMTVSTAVN/e1, lemma 6.3
History
- 2026-10-27: add by m2/v0.3.5
Theorem 92Z6QNZZRM
| URI | m2://inv/92Z6QNZZRM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Foster's theorem#IBBN, Theorem (statement)
History
- 2026-11-02: add by m2/dev
92Z8HK6PCN 92Z8HK6PCN
| URI | m2://inv/92Z8HK6PCN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31907#1X2A (statement). In 6B2PCEGCYZ/e1, proposition 6.6
History
- 2026-10-31: add by m2/v0.5.6
92ZANFVZMA 92ZANFVZMA
| URI | m2://inv/92ZANFVZMA |
|---|---|
| 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.06206#YO9F (statement). In A7611PTXVQ/e1, proposition 3.12
History
- 2026-10-29: add by m2/v0.4.10
92ZGVKFGCD 92ZGVKFGCD
| URI | m2://inv/92ZGVKFGCD |
|---|---|
| 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 2312.06473#1YGZ (definition). In P1MYSYHSGX/e1, definition 2.8
History
- 2026-10-27: add by m2/v0.3.5
Randomized controlled trial 92ZHHQRP2Q
| URI | m2://inv/92ZHHQRP2Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Randomized controlled trial, Randomized controlled trial (definition). Also Wikidata Q1436668
History
- 2026-11-02: add by m2/dev
Helen M. Walker 92ZK5QNT0M
| URI | m2://inv/92ZK5QNT0M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#ORS9, Helen M. Walker (topic)
History
- 2026-11-02: add by m2/dev
92ZP23DC6Y 92ZP23DC6Y
| URI | m2://inv/92ZP23DC6Y |
|---|---|
| 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.20110#KZ8L (statement). In 1SAMKN4477/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.4.2
Samarendra Nath Roy 92ZVZSAP3A
| URI | m2://inv/92ZVZSAP3A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JEFL, Samarendra Nath Roy (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#KXE9, Samarendra Nath Roy (topic)
History
- 2026-11-02: add by m2/dev
92ZZ3NNZRR 92ZZ3NNZRR
| URI | m2://inv/92ZZ3NNZRR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm:extensionfromlinesmeansDOH (statement). In VNMV985MXX, thm, section 4.5
History
- 2026-11-01: add by m2/v0.6.13