Inventory rows E8
The cards of the rows of the inventory whose ids start with E8. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
E801EY9TNA E801EY9TNA
| URI | m2://inv/E801EY9TNA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-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 2104.12015#PXJM (statement). In ZZ2P08DVQW/e1, corollary 8.2
History
- 2026-10-27: add by m2/v0.3.5
Sidney Martin Webster E801S6PRD3
| URI | m2://inv/E801S6PRD3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sidney Martin Webster, Sidney Martin Webster (topic). Also Wikidata Q56651242
History
- 2026-11-02: add by m2/dev
Density of Random Periodic Invariant Measures E808GCR078
| URI | m2://inv/E808GCR078 |
|---|---|
| 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 1612.08394#5LOA, Density of Random Periodic Invariant Measures (statement). In 1P8D88DKG5/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5
Percy John Daniell E80KRE56KK
| URI | m2://inv/E80KRE56KK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Percy John Daniell, Percy John Daniell (topic). Also Wikidata Q328474
History
- 2026-11-02: add by m2/dev
outpolar quadric E80MCFD0RP
| URI | m2://inv/E80MCFD0RP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#HVQ6, outpolar quadric (definition)
History
- 2026-11-02: add by m2/dev
E80WCFYXTA E80WCFYXTA
| URI | m2://inv/E80WCFYXTA |
|---|---|
| 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.09324#F0N1 (statement). In SFNYZXKBNW/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.10
A chain with one-way support E811XRG95J
| URI | m2://inv/E811XRG95J |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13063#3RB1, A chain with one-way support (example). In R5AFFWBMAF/e1, example A.4
History
- 2026-10-28: add by m2/v0.4.2
E8121E4AP9 E8121E4AP9
| URI | m2://inv/E8121E4AP9 |
|---|---|
| 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.07828#2FZ4 (statement). In TWGMVT1N1G/e1, lemma 9.2
History
- 2026-10-29: add by m2/v0.4.10
Osserman E812681VDD
| URI | m2://inv/E812681VDD |
|---|---|
| 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.33643#0RFV, Osserman (statement). In G8Y8XD02EC/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
E813NZXTS5 E813NZXTS5
| URI | m2://inv/E813NZXTS5 |
|---|---|
| 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.26382#ZRCJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Convergence to the rectangular Weyl matrix E8163TBJBP
| URI | m2://inv/E8163TBJBP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#HVBY, Convergence to the rectangular Weyl matrix (statement)
History
- 2026-11-01: add by m2/v0.6.15
Topological and algebraic closure E816EY1DM2
| URI | m2://inv/E816EY1DM2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11002#TV55, Topological and algebraic closure (statement). In P55JSAYR3T/e1, proposition
History
- 2026-10-28: add by m2/v0.4.3
Matsumoto's theorem E816PHZK04
| URI | m2://inv/E816PHZK04 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matsumoto's theorem (group theory), Matsumoto's theorem (statement). Also Wikidata Q6788131
History
- 2026-11-02: add by m2/dev
Implementations E81C8XAMDZ
| URI | m2://inv/E81C8XAMDZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disk encryption#4K59, Implementations (definition)
History
- 2026-11-02: add by m2/dev
E81QF32CAY E81QF32CAY
| URI | m2://inv/E81QF32CAY |
|---|---|
| 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.13799#Z0ZK (statement). In HECT28CM5V/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
Halfway house (disambiguation) E81QT7VENQ
| URI | m2://inv/E81QT7VENQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#JPYJ, Halfway house (disambiguation) (unknown)
History
- 2026-11-02: add by m2/dev
E81R202AK9 E81R202AK9
| URI | m2://inv/E81R202AK9 |
|---|---|
| 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 2610.07001#NOFP (statement). In 5DFTVG7FFF/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
Remainder estimate E81SN4VDN3
| URI | m2://inv/E81SN4VDN3 |
|---|---|
| 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#7WCD, Remainder estimate (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ferrero–Washington theorem E81VKZFRNR
| URI | m2://inv/E81VKZFRNR |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5445311, Ferrero–Washington theorem (statement). Also Wikidata Q5445311
- thousand_plus: thousand_plus Q5445311, Ferrero–Washington theorem (statement). Also Wikidata Q5445311, Wikipedia Ferrero–Washington theorem
- wikipedia: Wikipedia Ferrero–Washington theorem, Ferrero–Washington theorem (statement). Also Wikidata Q5445311
History
- 2026-10-26: add by m2/dev
Sylow theorems E81Z90GY26
| URI | m2://inv/E81Z90GY26 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite group#RPH7, Sylow theorems (statement)
History
- 2026-11-02: add by m2/dev
Lehmer's totient problem E822EVG6DY
| URI | m2://inv/E822EVG6DY |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3406228, Lehmer's totient problem (problem). Also MathWorld LehmersTotientProblem
- wikipedia: Wikipedia Lehmer's totient problem, Lehmer's totient problem (conjecture). Also Wikidata Q3406228
History
- 2026-10-26: add by m2/dev
Type B Cipher Machine E82NH3CNJB
| URI | m2://inv/E82NH3CNJB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Type B Cipher Machine, Type B Cipher Machine (definition). Also Wikidata Q1197850
History
- 2026-11-02: add by m2/dev
Daoxing Xia E82P45BD66
| URI | m2://inv/E82P45BD66 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daoxing Xia, Daoxing Xia (topic). Also Wikidata Q3710509
History
- 2026-11-02: add by m2/dev
The spectrum determines the algebraic connectivity E82PBF181H
| URI | m2://inv/E82PBF181H |
|---|---|
| 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.14373#JTK5, The spectrum determines the algebraic connectivity (statement). In 77TK7M3B9Y/e1, corollary 2
History
- 2026-10-28: add by m2/v0.4.2
little harder E82WZ7GZMD
| URI | m2://inv/E82WZ7GZMD |
|---|---|
| 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-6, little harder (exercise). In E9HS8K3A52, exercise, section 4.1.1
History
- 2026-11-01: add by m2/v0.6.13
FISTA with rational coefficients; nonsmooth FPGM1 conjecture in Table 1 E82Y5E8R2P
| URI | m2://inv/E82Y5E8R2P |
|---|---|
| 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.35762#GHX2, FISTA with rational coefficients; nonsmooth FPGM1 conjecture in Table 1 (statement). In C9QEPN1E56/e1, theorem 5.5
History
- 2026-10-30: add by m2/v0.4.12
Quotient LCL property E83ABRQ6SP
| URI | m2://inv/E83ABRQ6SP |
|---|---|
| Kind | definition |
| 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.40252#5CF5, Quotient LCL property (definition). In 7MVPNFPRKB/e1, definition 3.4
History
- 2026-10-30: add by m2/v0.4.12
Rectilinear polygon E83AS4V779
| URI | m2://inv/E83AS4V779 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectilinear polygon, Rectilinear polygon (definition). Also Wikidata Q7303186
History
- 2026-11-02: add by m2/dev
E83D1G1PX4 E83D1G1PX4
| URI | m2://inv/E83D1G1PX4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39951#E7WP (statement). In H343T48ZWE/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
E83H0B1RSD E83H0B1RSD
| URI | m2://inv/E83H0B1RSD |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_integers.ptx#proof-2 (proof). In QKM9DD2H56, proof, section B.14
History
- 2026-11-01: add by m2/v0.6.13
E83JRHEAT7 E83JRHEAT7
| URI | m2://inv/E83JRHEAT7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#exercise-3 (exercise). In RZP28ERRZV, exercise, section 14.7
History
- 2026-11-01: add by m2/v0.6.13
E83NHRN94A E83NHRN94A
| URI | m2://inv/E83NHRN94A |
|---|---|
| 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.12633#7F1X (statement). In NGZ5AZ70NN/e1, proposition 4.15
History
- 2026-10-28: add by m2/v0.4.2
Socle of a ring E83ZXSSZKA
| URI | m2://inv/E83ZXSSZKA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#2N1T, Socle of a ring (definition)
History
- 2026-11-02: add by m2/dev
orientation (vector space) E842MFM3K7
| URI | m2://inv/E842MFM3K7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Orientation of a real vector space 0QJJAQ6ZYZ |
Mentions
- wikidata: Wikidata Q107472979, orientation (vector space) (unknown). Also MathWorld VectorSpaceOrientation
- wikipedia: Wikipedia Orientation (vector space), Orientation (definition). Also Wikidata Q107472979
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
E842VRTDTC E842VRTDTC
| URI | m2://inv/E842VRTDTC |
|---|---|
| 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 2306.08237#GJ7T (statement). In E22A2MFR4Y/e1, lemma 3.10
History
- 2026-10-27: add by m2/v0.3.6
E847RNH6NK E847RNH6NK
| URI | m2://inv/E847RNH6NK |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/abelian.tex#proof-2 (proof). In RZP28ERRZV, proof, section 35.2
History
- 2026-11-01: add by m2/v0.6.13
Minimum effort game E8499626VJ
| URI | m2://inv/E8499626VJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimum effort game, Minimum effort game (definition). Also Wikidata Q126052834
History
- 2026-11-02: add by m2/dev
Even-value differential-operator integral E84Q77AARS
| URI | m2://inv/E84Q77AARS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19175#T2IR, Even-value differential-operator integral (statement). In VR132Q5VFE/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Definition E84QNHTNV0
| URI | m2://inv/E84QNHTNV0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kähler–Einstein metric#NIO6, Definition (definition)
History
- 2026-11-02: add by m2/dev
E84YAC6GA6 E84YAC6GA6
| URI | m2://inv/E84YAC6GA6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21093#TVS3 (statement). In TBFPBPQV3G/e1, theorem II
History
- 2026-10-27: add by m2/v0.4.2
Gerhard J. Woeginger E850RCX52H
| URI | m2://inv/E850RCX52H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QRPU, Gerhard J. Woeginger (topic)
History
- 2026-11-02: add by m2/dev
Method E85FS8PD70
| URI | m2://inv/E85FS8PD70 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digital signature#2AU6, Method (definition)
History
- 2026-11-02: add by m2/dev
E85GDR4K77 E85GDR4K77
| URI | m2://inv/E85GDR4K77 |
|---|---|
| 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.29449#TAC1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
E85T0ZC9XX E85T0ZC9XX
| URI | m2://inv/E85T0ZC9XX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 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 2610.22288#X000 (statement). In X38P26DK6S/e1, proposition 5.18
History
- 2026-10-27: add by m2/v0.4.0
Stable trace formula E861KXVDTJ
| URI | m2://inv/E861KXVDTJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arthur–Selberg trace formula#DUVI, Stable trace formula (statement)
History
- 2026-11-02: add by m2/dev
E863D66SPV E863D66SPV
| URI | m2://inv/E863D66SPV |
|---|---|
| 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.27151#D2QJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
E86CT47YRE E86CT47YRE
| URI | m2://inv/E86CT47YRE |
|---|---|
| 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.20682#4WUV (statement)
History
- 2026-11-02: add by m2/v0.6.18
Major results and conjectures E86EPFC6Z9
| URI | m2://inv/E86EPFC6Z9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph minor#B2ZQ, Major results and conjectures (statement)
History
- 2026-11-02: add by m2/dev
Pontryagin surface E86R21Z0MB
| URI | m2://inv/E86R21Z0MB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4366381, Pontryagin surface (concept). Also EoM Pontryagin_surface
History
- 2026-10-26: add by m2/dev
weight function E86R4MCHCV
| URI | m2://inv/E86R4MCHCV |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 35-XX, 49-XX, 53-XX, 90-XX, 93-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11677#A2FP, Weight function (definition). In 4R7HZD14M6/e1, definition 1.1
- wikidata: Wikidata Q1520657, weight function (definition). Also ProofWiki Definition:Weight_Function
- wikipedia: Wikipedia Weight function, Weight function (definition). Also Wikidata Q1520657
History
- 2026-10-26: add by m2/dev
- 2026-10-31: merge by m2/v0.5.6
Boris Iofan E86W53TSC1
| URI | m2://inv/E86W53TSC1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#EYSE, Boris Iofan (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations E86WP3NSE4
| URI | m2://inv/E86WP3NSE4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential poset#H48D, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
E86WXYCS0A E86WXYCS0A
| URI | m2://inv/E86WXYCS0A |
|---|---|
| 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#SDO2 (statement). In FAJ10EJMYE/e1, lemma 10
History
- 2026-10-30: add by m2/v0.4.12
Mathematical induction E873VCANRE
| URI | m2://inv/E873VCANRE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#B3F0, Mathematical induction (definition)
- wikipedia: Wikipedia List of mathematical logic topics#HOHC, Mathematical induction (definition)
History
- 2026-11-02: add by m2/dev
E873X5K89A E873X5K89A
| URI | m2://inv/E873X5K89A |
|---|---|
| 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.17863#WN7U (statement). In Y8XQT02BBF/e1, theorem 1.11
History
- 2026-10-28: add by m2/v0.4.2
Hash models E874FJMTXW
| URI | m2://inv/E874FJMTXW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04271#Q15E, Hash models (statement). In WBXAW9G4JB/e1, proposition 6.3
History
- 2026-10-29: add by m2/v0.4.12
E8777VKF7T E8777VKF7T
| URI | m2://inv/E8777VKF7T |
|---|---|
| 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.02681#NVGV (statement). In 7BBJMB97N7/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
triangular prism E8793NB9BN
| URI | m2://inv/E8793NB9BN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1193827, triangular prism (unknown). Also MathWorld TriangularPrism
- wikipedia: Wikipedia Triangular prism, Triangular prism (definition). Also Wikidata Q1193827
History
- 2026-10-26: add by m2/dev
Comparison of cryptography libraries E87J5WXK8R
| URI | m2://inv/E87J5WXK8R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comparison of cryptography libraries, Comparison of cryptography libraries (definition). Also Wikidata Q18348557
History
- 2026-11-02: add by m2/dev
Formulations E87QPQB0KP
| URI | m2://inv/E87QPQB0KP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's Nullstellensatz#S8PU, Formulations (definition)
History
- 2026-11-02: add by m2/dev
Theorems E87R1J1BVY
| URI | m2://inv/E87R1J1BVY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete tomography#RQT6, Theorems (statement)
History
- 2026-11-02: add by m2/dev
E87XWS6RHR E87XWS6RHR
| URI | m2://inv/E87XWS6RHR |
|---|---|
| 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 2609.36884#8SFL (statement). In Z7E16PFFCP/e1, lemma 3.23
History
- 2026-10-30: add by m2/v0.4.12
Beatrice Aitchison E87XYQB9C6
| URI | m2://inv/E87XYQB9C6 |
|---|---|
| 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#XIRE, Beatrice Aitchison (topic)
History
- 2026-11-02: add by m2/dev
E87ZGYXWFV E87ZGYXWFV
| URI | m2://inv/E87ZGYXWFV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CountableSets.tex#theorem-2 (statement). In P1C114YBXG, theorem, section 1
History
- 2026-11-01: add by m2/v0.6.13
E8856RNCVN E8856RNCVN
| URI | m2://inv/E8856RNCVN |
|---|---|
| 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 2511.17751#EZRR (statement). In J39X0NB31S/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
E8877M90P4 E8877M90P4
| URI | m2://inv/E8877M90P4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.16205#QLSM (definition). In 3GE9PS9AH0/e1, definition 2.0.2
History
- 2026-10-27: add by m2/v0.3.5
M. Ram Murty E88NRDD50T
| URI | m2://inv/E88NRDD50T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#AEM6, M. Ram Murty (topic)
History
- 2026-11-02: add by m2/dev
Claus P. Schnorr E88TCHEWYM
| URI | m2://inv/E88TCHEWYM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MOIN, Claus P. Schnorr (topic)
- wikipedia: Wikipedia List of German mathematicians#CQDS, Claus P. Schnorr (topic)
History
- 2026-11-02: add by m2/dev
E88W4N7NXN E88W4N7NXN
| URI | m2://inv/E88W4N7NXN |
|---|---|
| Kind | definition |
| 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.22074#EH64 (definition). In F3BKXXPR3K/e1, definition 4.16
History
- 2026-10-27: add by m2/v0.4.2
E88XY84SG8 E88XY84SG8
| URI | m2://inv/E88XY84SG8 |
|---|---|
| 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 2610.17004#57WZ (statement). In XNJGNMS6H0/e1, proposition 3.8
History
- 2026-10-28: add by m2/v0.4.2
E88YDTAMXQ E88YDTAMXQ
| URI | m2://inv/E88YDTAMXQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25967#0BHL (definition)
History
- 2026-11-01: add by m2/v0.6.15
Neuberg cubic E88Z27HHRX
| URI | m2://inv/E88Z27HHRX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13746153, Neuberg cubic (concept). Also MathWorld NeubergCubic
- wikipedia: Wikipedia Neuberg cubic, Neuberg cubic (definition). Also Wikidata Q13746153
History
- 2026-10-26: add by m2/dev
Dmitry Fuchs E88ZE7QZA8
| URI | m2://inv/E88ZE7QZA8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dmitry Fuchs, Dmitry Fuchs (topic). Also Wikidata Q1232856
History
- 2026-11-02: add by m2/dev
Stochastic wave equation, continued E8950X7PDA
| URI | m2://inv/E8950X7PDA |
|---|---|
| Kind | example |
| 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.14717#TKCO, Stochastic wave equation, continued (example). In ZB2QPB5EBN/e1, example 3.3
History
- 2026-10-28: add by m2/v0.4.2
Absorption E89672C496
| URI | m2://inv/E89672C496 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37762#RBHY, Absorption (statement). In 6YPMRQHMR5/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
Synthetic data: a lower bound E897XGEE1C
| URI | m2://inv/E897XGEE1C |
|---|---|
| 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 2204.09167#AGUI, Synthetic data: a lower bound (statement). In S1MENYEAG5/e1, theorem 8.6
History
- 2026-10-27: add by m2/v0.3.5
Israel E89C3NAQYV
| URI | m2://inv/E89C3NAQYV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q801, Israel (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Israel
History
- 2026-10-26: add by m2/dev
Bjorn Poonen E89G505N65
| URI | m2://inv/E89G505N65 |
|---|---|
| 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 Q879454, Bjorn Poonen (unknown). Also nLab Bjorn Poonen
- wikipedia: Wikipedia Bjorn Poonen, Bjorn Poonen (topic). Also Wikidata Q879454
History
- 2026-10-26: add by m2/dev
Hecke algebra E89Q5J477T
| URI | m2://inv/E89Q5J477T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hecke algebra, Hecke algebra (definition). Also Wikidata Q48970267
History
- 2026-11-02: add by m2/dev
Applications E8A2B07WTH
| URI | m2://inv/E8A2B07WTH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free Lie algebra#7PO0, Applications (example)
History
- 2026-11-02: add by m2/dev
the page section E8A3Y4E6AE
| URI | m2://inv/E8A3Y4E6AE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of undecidable problems#HD6B, the page section (definition)
History
- 2026-11-02: add by m2/dev
Polynomial long division E8A5KHJ3VC
| URI | m2://inv/E8A5KHJ3VC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#ZW1I, Polynomial long division (definition)
History
- 2026-11-02: add by m2/dev
Theorem E8A8CE5W0M
| URI | m2://inv/E8A8CE5W0M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hemicontinuity#0TZO, Theorem (statement)
History
- 2026-11-02: add by m2/dev
E8AP5Q4YAQ E8AP5Q4YAQ
| URI | m2://inv/E8AP5Q4YAQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-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.34845#5455 (example). In SBZNH932ZV/e1, example 4.5
History
- 2026-10-30: add by m2/v0.4.12
René Girard E8ASB6FHX9
| URI | m2://inv/E8ASB6FHX9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia René Girard, René Girard (topic). Also Wikidata Q129228
History
- 2026-11-02: add by m2/dev
Annie Dale Biddle Andrews E8ASD5BD45
| URI | m2://inv/E8ASD5BD45 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Annie Dale Biddle Andrews, Annie Dale Biddle Andrews (topic). Also Wikidata Q4769272
History
- 2026-11-02: add by m2/dev
Joseph Dennis E8AT8YGGJA
| URI | m2://inv/E8AT8YGGJA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Dennis (mathematician), Joseph Dennis (topic). Also Wikidata Q11099464
History
- 2026-11-02: add by m2/dev
pentagonal trapezohedron E8AWA23DZ4
| URI | m2://inv/E8AWA23DZ4 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3116079, pentagonal trapezohedron (object). Also MathWorld PentagonalTrapezohedron
History
- 2026-10-26: add by m2/dev
Problemes plaisans et delectables qui se font par les nombres E8AZS0W7MD
| URI | m2://inv/E8AZS0W7MD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q42194628, Problemes plaisans et delectables qui se font par les nombres (unknown). Also ProofWiki Book:Claude-Gaspar_Bachet/Problèmes_Plaisans_et_Delectables_qui_se_font_par_les_Nombres
History
- 2026-10-26: add by m2/dev
Theorem for Gordon–Newell networks E8B0C6GPN6
| URI | m2://inv/E8B0C6GPN6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arrival theorem#XCAT, Theorem for Gordon–Newell networks (statement)
History
- 2026-11-02: add by m2/dev
E8B3H2C78F E8B3H2C78F
| URI | m2://inv/E8B3H2C78F |
|---|---|
| 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.10230#TAWI (statement). In YS75517SF7/e1, corollary 3.8
History
- 2026-10-29: add by m2/v0.4.10
'Relative' Nullstellensatz E8BB0R8YA1
| URI | m2://inv/E8BB0R8YA1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine variety#QPNB, 'Relative' Nullstellensatz (statement)
History
- 2026-11-02: add by m2/dev
Lipschitz boundary package E8BB1E60MP
| URI | m2://inv/E8BB1E60MP |
|---|---|
| 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.20215#1KZJ, Lipschitz boundary package (statement)
History
- 2026-11-02: add by m2/v0.6.18
Formal definition E8BCSP2WWR
| URI | m2://inv/E8BCSP2WWR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hutchinson metric#G58G, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
unity E8BGYJFM77
| URI | m2://inv/E8BGYJFM77 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#843U, unity (definition)
History
- 2026-11-02: add by m2/dev
DOT E8BHBQ4TRN
| URI | m2://inv/E8BHBQ4TRN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DOT (graph description language), DOT (definition). Also Wikidata Q900927
History
- 2026-11-02: add by m2/dev
(−2,3,7) pretzel knot E8BR5HR3MP
| URI | m2://inv/E8BR5HR3MP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical knots and links#IP84, (−2,3,7) pretzel knot (definition)
History
- 2026-11-02: add by m2/dev
Definition E8BXY5ENGN
| URI | m2://inv/E8BXY5ENGN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zassenhaus group#LBSR, Definition (definition)
History
- 2026-11-02: add by m2/dev
Finite lattice representation problem E8C02K1Q0M
| URI | m2://inv/E8C02K1Q0M |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite lattice representation problem, Finite lattice representation problem (conjecture). Also Wikidata Q5450400
History
- 2026-11-02: add by m2/dev
Non-equilibrium thermodynamics E8C1PWMY1H
| URI | m2://inv/E8C1PWMY1H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-equilibrium thermodynamics, Non-equilibrium thermodynamics (topic). Also Wikidata Q2466686
History
- 2026-11-02: add by m2/dev
Last geometric statement of Jacobi E8CCSVBC16
| URI | m2://inv/E8CCSVBC16 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Last geometric statement of Jacobi, Last geometric statement of Jacobi (definition). Also Wikidata Q6494792
History
- 2026-11-02: add by m2/dev
Log-free smooth-convex minimax complexity E8CEZGZ602
| URI | m2://inv/E8CEZGZ602 |
|---|---|
| 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.33021#JRS6, Log-free smooth-convex minimax complexity (statement). In GG96DW33Q9/e1, theorem 5.1
History
- 2026-10-31: add by m2/v0.5.6
E8CKBYMGX9 E8CKBYMGX9
| URI | m2://inv/E8CKBYMGX9 |
|---|---|
| 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.29712#J4OO (statement)
History
- 2026-11-01: add by m2/v0.6.15
frame semantics E8CKW8R7PB
| URI | m2://inv/E8CKW8R7PB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#VFUV, frame semantics (definition)
History
- 2026-11-02: add by m2/dev
E8CPFMGS8J E8CPFMGS8J
| URI | m2://inv/E8CPFMGS8J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2609.24593#QBWW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Polynomial remainder theorem E8CQW8844G
| URI | m2://inv/E8CQW8844G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#X5US, Polynomial remainder theorem (statement)
History
- 2026-11-02: add by m2/dev
Feuerbach's Theorem E8CXR7PSZA
| URI | m2://inv/E8CXR7PSZA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nine-point circle#K5MI, Feuerbach's Theorem (unknown)
History
- 2026-11-02: add by m2/dev
E8D0ZWDWQ2 E8D0ZWDWQ2
| URI | m2://inv/E8D0ZWDWQ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2607.25960#G4SV (statement). In 13GSWBXPCM/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.5
equivalence class E8D12299X5
| URI | m2://inv/E8D12299X5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#DDD4, equivalence class (definition)
History
- 2026-11-02: add by m2/dev
Mackey Subgroup Theorem E8D7CZ0VK2
| URI | m2://inv/E8D7CZ0VK2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03138#K7VB, Mackey Subgroup Theorem (statement). In P5SY7AVP5E/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.12
Support for the "Kill the Winner" hypothesis E8D8GBA7WT
| URI | m2://inv/E8D8GBA7WT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kill the Winner hypothesis#SMUN, Support for the "Kill the Winner" hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Francesco Toppan E8D8XDCKXC
| URI | m2://inv/E8D8XDCKXC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q64039217, Francesco Toppan (unknown). Also nLab Francesco Toppan
History
- 2026-10-26: add by m2/dev
E8DDDH7KCH E8DDDH7KCH
| URI | m2://inv/E8DDDH7KCH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22326#K10M (statement). In EAABRG99V8/e1, lemma 5.8
History
- 2026-10-27: add by m2/v0.4.0
Yoram Ettinger E8DF8KHJ3N
| URI | m2://inv/E8DF8KHJ3N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yoram Ettinger, Yoram Ettinger (topic). Also Wikidata Q6866125
History
- 2026-11-02: add by m2/dev
Hilary Parker E8DFCZV0KY
| URI | m2://inv/E8DFCZV0KY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilary Parker, Hilary Parker (topic). Also Wikidata Q97936245
History
- 2026-11-02: add by m2/dev
Exact-budget margin for affine-head log-likelihood E8DK7WRWXX
| URI | m2://inv/E8DK7WRWXX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-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.33499#U87G, Exact-budget margin for affine-head log-likelihood (statement). In AAH14S2JJ2/e1, lemma J.1
History
- 2026-10-30: add by m2/v0.4.12
E8DRH5NXNF E8DRH5NXNF
| URI | m2://inv/E8DRH5NXNF |
|---|---|
| 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 2610.17004#6BX1 (statement). In XNJGNMS6H0/e1, corollary 5.15
History
- 2026-10-28: add by m2/v0.4.2
Hall–Janko graph E8E39MR8QF
| URI | m2://inv/E8E39MR8QF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q260174, Hall–Janko graph (concept). Also House of Graphs 1140, MathWorld Hall-JankoGraph
- wikipedia: Wikipedia Hall–Janko graph, Hall–Janko graph (definition). Also Wikidata Q260174
History
- 2026-10-26: add by m2/dev
Timothy Chambers E8E6ZYWSAQ
| URI | m2://inv/E8E6ZYWSAQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Timothy Chambers, Timothy Chambers (topic). Also Wikidata Q7807107
History
- 2026-11-02: add by m2/dev
Lawson topology E8E86F0XW7
| URI | m2://inv/E8E86F0XW7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lawson topology, Lawson topology (definition). Also Wikidata Q6505020
History
- 2026-11-02: add by m2/dev
Chevalley–Eilenberg algebra E8EAD1EPJ4
| URI | m2://inv/E8EAD1EPJ4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q43097389, Chevalley–Eilenberg algebra (concept). Also nLab Chevalley-Eilenberg algebra
History
- 2026-10-26: add by m2/dev
E8EEV8SS5X E8EEV8SS5X
| URI | m2://inv/E8EEV8SS5X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05216#ZCXC (definition). In J1VCHM6V0S/e1, definition 5.3
History
- 2026-10-29: add by m2/v0.4.10
Theorem E8EFJMP5H3
| URI | m2://inv/E8EFJMP5H3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has no name of its own, and the write role names it) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classification of finite simple groups#O35I, Theorem (statement)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
bounded set E8EKCAHV53
| URI | m2://inv/E8EKCAHV53 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/4.1/bounded-set, bounded set (concept). In E59CDZA4DP, index, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
E8ES6PNPRK E8ES6PNPRK
| URI | m2://inv/E8ES6PNPRK |
|---|---|
| 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#FZEO (statement). In JW8HH6EPG2/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.10
Heinz-Otto Kreiss E8F6A9VXAK
| URI | m2://inv/E8F6A9VXAK |
|---|---|
| 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#BIES, Heinz-Otto Kreiss (topic)
History
- 2026-11-02: add by m2/dev
Forested pairing (optional strengthening E8FACV6NV9
| URI | m2://inv/E8FACV6NV9 |
|---|---|
| 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#70YJ, Forested pairing (optional strengthening (definition). In BAEDMM7YM5/e1, definition 27
History
- 2026-10-29: add by m2/v0.4.12
Bobby Hersom E8FD5C3MY4
| URI | m2://inv/E8FD5C3MY4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bobby Hersom, Bobby Hersom (topic). Also Wikidata Q90151329
History
- 2026-11-02: add by m2/dev
E8FMWVBRSN E8FMWVBRSN
| URI | m2://inv/E8FMWVBRSN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.02139#F6RJ (definition). In TJ1NTK3KJW/e1, definition 18
History
- 2026-10-27: add by m2/v0.3.5
E8FQSQ8CKT E8FQSQ8CKT
| URI | m2://inv/E8FQSQ8CKT |
|---|---|
| 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#9KU1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications E8FXBXJYAQ
| URI | m2://inv/E8FXBXJYAQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bézier curve#IIBF, Applications (example)
History
- 2026-11-02: add by m2/dev
Rosser's theorem E8FYBKEVX5
| URI | m2://inv/E8FYBKEVX5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q867839, Rosser's theorem (statement). Also Wikidata Q867839
- thousand_plus: thousand_plus Q867839, Rosser's theorem (statement). Also Wikidata Q867839, Wikipedia Rosser's theorem
- wikidata: Wikidata Q867839, Rosser's theorem (statement). Also MathWorld RossersTheorem
- wikipedia: Wikipedia Rosser's theorem, Rosser's theorem (statement). Also Wikidata Q867839
History
- 2026-10-26: add by m2/dev
Regression analysis E8GAYS14KE
| URI | m2://inv/E8GAYS14KE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regression analysis, Regression analysis (definition). Also Wikidata Q208042
History
- 2026-11-02: add by m2/dev
E8GE9QEN3D E8GE9QEN3D
| URI | m2://inv/E8GE9QEN3D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_probability_central-tendency.ptx#prop_altvar (statement). In QKM9DD2H56, proposition, section 10.5.1
History
- 2026-11-01: add by m2/v0.6.13
Resolved--intrinsic comparison: unconditional and conditional layers E8GVJ3JRX0
| URI | m2://inv/E8GVJ3JRX0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#3RF3, Resolved--intrinsic comparison: unconditional and conditional layers (statement)
History
- 2026-11-01: add by m2/v0.6.15
E8H0W0P6K6 E8H0W0P6K6
| URI | m2://inv/E8H0W0P6K6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04844#UH2B (statement). In 5MX3N62ENP/e1, corollary 10
History
- 2026-10-29: add by m2/v0.4.12
E8HCD1BC1E E8HCD1BC1E
| URI | m2://inv/E8HCD1BC1E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14055#ELSF (statement). In AKMGN13HE1/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Idun Reiten E8HFW8W353
| URI | m2://inv/E8HFW8W353 |
|---|---|
| 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#7ROK, Idun Reiten (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CHNY, Idun Reiten (unknown)
History
- 2026-11-02: add by m2/dev
E8HMSFHGN5 E8HMSFHGN5
| URI | m2://inv/E8HMSFHGN5 |
|---|---|
| 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.21403#X6W4 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Truncated order-8 triangular tiling E8HNCAJ53J
| URI | m2://inv/E8HNCAJ53J |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated order-8 triangular tiling, Truncated order-8 triangular tiling (object). Also Wikidata Q7847906
History
- 2026-11-02: add by m2/dev
E8HWC95082 E8HWC95082
| URI | m2://inv/E8HWC95082 |
|---|---|
| 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.23341#Y7UF (statement)
History
- 2026-11-02: add by m2/v0.6.17
E8HX3RGSNS E8HX3RGSNS
| URI | m2://inv/E8HX3RGSNS |
|---|---|
| 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.05661#G6I2 (statement). In FDBAQNDMF5/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
Indices of deprivation 2010 E8J121MS55
| URI | m2://inv/E8J121MS55 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deprivation index#ZX55, Indices of deprivation 2010 (unknown)
History
- 2026-11-02: add by m2/dev
E8J3JXTTAF E8J3JXTTAF
| URI | m2://inv/E8J3JXTTAF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22326#FEKG (statement). In EAABRG99V8/e1, proposition 6.7
History
- 2026-10-27: add by m2/v0.4.0
Voronoi pole E8J79WAP6C
| URI | m2://inv/E8J79WAP6C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Voronoi pole, Voronoi pole (definition). Also Wikidata Q7941851
History
- 2026-11-02: add by m2/dev
Height coordinates away from the neck waists E8J7Z1GT93
| URI | m2://inv/E8J7Z1GT93 |
|---|---|
| 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.12238#S9EW, Height coordinates away from the neck waists (statement). In E31CZYM2H8/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
Standard translation E8JAA6HXBX
| URI | m2://inv/E8JAA6HXBX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard translation, Standard translation (definition). Also Wikidata Q7598385
History
- 2026-11-02: add by m2/dev
E8JB4VFMKG E8JB4VFMKG
| URI | m2://inv/E8JB4VFMKG |
|---|---|
| Kind | definition |
| 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#C2M0 (definition). In TB1294GY5X/e1, definition B.23
History
- 2026-10-27: add by m2/v0.4.2
Ramanujan graph E8JKQ00APY
| URI | m2://inv/E8JKQ00APY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#6AAT, Ramanujan graph (definition)
History
- 2026-11-02: add by m2/dev
Jury theorem E8JTTA61JC
| URI | m2://inv/E8JTTA61JC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jury theorem, Jury theorem (statement). Also Wikidata Q107177007
History
- 2026-11-02: add by m2/dev
nilpotent element E8K2X8F5HA
| URI | m2://inv/E8K2X8F5HA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Nilpotent element 0N9R5NN6TW |
Mentions
- wikidata: Wikidata Q840023, nilpotent element (unknown). Also MathWorld NilpotentElement
- wikipedia: Wikipedia Nilpotent, Nilpotent (definition). Also Wikidata Q840023
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Gale diagram E8KBSY3WDX
| URI | m2://inv/E8KBSY3WDX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gale diagram, Gale diagram (definition). Also Wikidata Q99675552
History
- 2026-11-02: add by m2/dev
E8KESHZFA1 E8KESHZFA1
| URI | m2://inv/E8KESHZFA1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19812#E2GL (statement). In ZS89RH18QM/e1, proposition 17
History
- 2026-10-28: add by m2/v0.4.2
Moshe Carmeli E8KEZS1PT2
| URI | m2://inv/E8KEZS1PT2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#1IIO, Moshe Carmeli (unknown)
History
- 2026-11-02: add by m2/dev
E8KF6QE6HY E8KF6QE6HY
| URI | m2://inv/E8KF6QE6HY |
|---|---|
| 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 2608.24599#W05T (statement). In VG8QFWTT8S/e1, corollary 3.1
History
- 2026-10-27: add by m2/v0.3.6
E8KH2EBXNM E8KH2EBXNM
| URI | m2://inv/E8KH2EBXNM |
|---|---|
| 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.02106#ZJV4 (statement). In NGKK8ZB29J/e1, theorem 2.12
History
- 2026-10-29: add by m2/v0.4.12
Code-breaking E8KY1K3KQT
| URI | m2://inv/E8KY1K3KQT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#N4PZ, Code-breaking (topic)
History
- 2026-11-02: add by m2/dev
Map projection of the triaxial ellipsoid E8M536M8YM
| URI | m2://inv/E8M536M8YM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Map projection of the triaxial ellipsoid, Map projection of the triaxial ellipsoid (definition). Also Wikidata Q65120607
History
- 2026-11-02: add by m2/dev
Generalized dihedral group E8M764RDD4
| URI | m2://inv/E8M764RDD4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized dihedral group, Generalized dihedral group (definition). Also Wikidata Q5532468
History
- 2026-11-02: add by m2/dev
Baskakov operator E8MBHS4AB4
| URI | m2://inv/E8MBHS4AB4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baskakov operator, Baskakov operator (definition). Also Wikidata Q4867603
History
- 2026-11-02: add by m2/dev
E8MGJPNJDH E8MGJPNJDH
| URI | m2://inv/E8MGJPNJDH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.12484#18LU (statement). In GW23NX78SB/e1, lemma 2.26
History
- 2026-10-28: add by m2/v0.4.2
Associator formula E8MQEQP1YY
| URI | m2://inv/E8MQEQP1YY |
|---|---|
| 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.12483#OLQH, Associator formula (statement). In 159250CY6S/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Analytic quantitative bridge E8MRBZW128
| URI | m2://inv/E8MRBZW128 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16094#4YA0, Analytic quantitative bridge (statement). In RHBS9QDHC3/e1, theorem 5.13
History
- 2026-10-28: add by m2/v0.4.2
Theorem E8MTSP6103
| URI | m2://inv/E8MTSP6103 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abelian von Neumann algebra#K3PO, Theorem (statement)
History
- 2026-11-02: add by m2/dev
E8MTXX8GMR E8MTXX8GMR
| URI | m2://inv/E8MTXX8GMR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 0903.0651#H8LX (statement). In 6R0KH80PTK/e1, theorem 12
History
- 2026-10-27: add by m2/v0.3.5
E8MZ8DB0NP E8MZ8DB0NP
| URI | m2://inv/E8MZ8DB0NP |
|---|---|
| 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.16875#R9ZD (statement). In KS30K5JXGB/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
E8N3N1Q96Y E8N3N1Q96Y
| URI | m2://inv/E8N3N1Q96Y |
|---|---|
| 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.29894#OTRZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
E8N51TFGKV E8N51TFGKV
| URI | m2://inv/E8N51TFGKV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2306.12846#LFZU (statement). In D6XA7JXZF3/e1, theorem 4.10
History
- 2026-10-27: add by m2/v0.3.5
E8N6VWYNBG E8N6VWYNBG
| URI | m2://inv/E8N6VWYNBG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_probability_infinite-outcomes.ptx#example-1 (example). In QKM9DD2H56, example, section 10.6
History
- 2026-11-01: add by m2/v0.6.13
E8N7VVZ5Q5 E8N7VVZ5Q5
| URI | m2://inv/E8N7VVZ5Q5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37271#5Y32 (statement). In 9WP2QGKMG8/e1, corollary 2.7
History
- 2026-10-30: add by m2/v0.4.12
E8ND0AYGP0 E8ND0AYGP0
| URI | m2://inv/E8ND0AYGP0 |
|---|---|
| Kind | definition |
| 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#PG6O (definition). In 3KTZ6Z615H/e1, definition 5.10
History
- 2026-10-30: add by m2/v0.4.12
Computations E8NGVGPKV3
| URI | m2://inv/E8NGVGPKV3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skein relation#7SJL, Computations (definition)
History
- 2026-11-02: add by m2/dev
bifid E8NGVYR7JF
| URI | m2://inv/E8NGVYR7JF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#EMCN, bifid (definition)
History
- 2026-11-02: add by m2/dev
Aristotelian comprehension schema E8NJX1CQ2G
| URI | m2://inv/E8NJX1CQ2G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#JN3D, Aristotelian comprehension schema (definition)
History
- 2026-11-02: add by m2/dev
absolute E8NS8XFBQK
| URI | m2://inv/E8NS8XFBQK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#NTVG, absolute (definition)
History
- 2026-11-02: add by m2/dev
E8P27ZWV0C E8P27ZWV0C
| URI | m2://inv/E8P27ZWV0C |
|---|---|
| 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.06764#Y235 (statement). In MSWV3MJ5CE/e1, proposition 4.7
History
- 2026-10-29: add by m2/v0.4.10
Kerr–Newman–de–Sitter metric E8P81QZ67V
| URI | m2://inv/E8P81QZ67V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kerr–Newman–de–Sitter metric, Kerr–Newman–de–Sitter metric (definition). Also Wikidata Q122181995
History
- 2026-11-02: add by m2/dev
E8P823QHMQ E8P823QHMQ
| URI | m2://inv/E8P823QHMQ |
|---|---|
| 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 2509.21121#OCS5 (statement). In MTDABJF9AP/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
E8P8MT3EXN E8P8MT3EXN
| URI | m2://inv/E8P8MT3EXN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21622#RJS0 (definition). In H21X3FHNYJ/e1, definition 6.8
History
- 2026-10-27: add by m2/v0.4.2
Gaetano Fichera E8PQNPXCM7
| URI | m2://inv/E8PQNPXCM7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#71U4, Gaetano Fichera (topic)
History
- 2026-11-02: add by m2/dev
Balanced incidence family E8PRFQSQHN
| URI | m2://inv/E8PRFQSQHN |
|---|---|
| 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.32558#44JP, Balanced incidence family (statement). In SGQS629QNK/e1, proposition I.4
History
- 2026-10-31: add by m2/v0.5.6
Definition E8PXSC77SB
| URI | m2://inv/E8PXSC77SB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loop (topology)#GYFQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
E8PYC1QQ58 E8PYC1QQ58
| URI | m2://inv/E8PYC1QQ58 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08010#LYNF (statement). In 2S89BG5WPH/e1, proposition 5.4
History
- 2026-10-29: add by m2/v0.4.10
E8QCZX0N64 E8QCZX0N64
| URI | m2://inv/E8QCZX0N64 |
|---|---|
| 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.23804#EW5B (statement)
History
- 2026-11-02: add by m2/v0.6.17
Vladimir E. Zakharov E8QH4Q8JS8
| URI | m2://inv/E8QH4Q8JS8 |
|---|---|
| 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#OS00, Vladimir E. Zakharov (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ULQ2, Vladimir E. Zakharov (unknown)
History
- 2026-11-02: add by m2/dev
diagonal functor E8QTGQ3XQ9
| URI | m2://inv/E8QTGQ3XQ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#P9H9, diagonal functor (definition)
History
- 2026-11-02: add by m2/dev
E8QXQXNE43 E8QXQXNE43
| URI | m2://inv/E8QXQXNE43 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#943S (statement). In 4WPYBTARS2/e1, corollary 4.26
History
- 2026-10-29: add by m2/v0.4.12
Transshipment problem E8R4MNBAED
| URI | m2://inv/E8R4MNBAED |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transshipment problem, Transshipment problem (problem). Also Wikidata Q2478461
History
- 2026-11-02: add by m2/dev
Ambientness, including a Chow strengthening E8R9K3JENT
| URI | m2://inv/E8R9K3JENT |
|---|---|
| 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.10828#55KB, Ambientness, including a Chow strengthening (statement). In 8PTDFHV8SQ/e1, theorem C.1
History
- 2026-10-28: add by m2/v0.4.3
E8RD0QD9PQ E8RD0QD9PQ
| URI | m2://inv/E8RD0QD9PQ |
|---|---|
| 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#KURD (statement). In 3A4K47Y9F2/e1, theorem 2.19
History
- 2026-10-27: add by m2/v0.4.0
E8RFTX2TN1 E8RFTX2TN1
| URI | m2://inv/E8RFTX2TN1 |
|---|---|
| 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.06488#DMS8 (statement). In XG3BJ2QXXP/e1, corollary 3.10
History
- 2026-10-29: add by m2/v0.4.10
Applications E8RGX53KY5
| URI | m2://inv/E8RGX53KY5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Buchstab function#HW3V, Applications (example)
History
- 2026-11-02: add by m2/dev
Nuremberg Code E8RV818B5T
| URI | m2://inv/E8RV818B5T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4WTS, Nuremberg Code (definition)
History
- 2026-11-02: add by m2/dev
Statement of the theorem E8RWW68J1C
| URI | m2://inv/E8RWW68J1C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kuratowski and Ryll-Nardzewski measurable selection theorem#NBFA, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
E8S33YA343 E8S33YA343
| URI | m2://inv/E8S33YA343 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16731#O9AN (statement). In D68KBZQ4Q6/e1, proposition 3.26
History
- 2026-10-28: add by m2/v0.4.2
E8S4697Q27 E8S4697Q27
| URI | m2://inv/E8S4697Q27 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_probability_conditional.ptx#exa_twojars (example). In QKM9DD2H56, example, section 10.2
History
- 2026-11-01: add by m2/v0.6.13
E8S53PT4HC E8S53PT4HC
| URI | m2://inv/E8S53PT4HC |
|---|---|
| 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#H7LW (statement). In TB1294GY5X/e1, theorem 3.12
History
- 2026-10-27: add by m2/v0.4.2
E8S59R47AQ E8S59R47AQ
| URI | m2://inv/E8S59R47AQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.25000#XKBN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Milner–Rado paradox E8S8C5Z80X
| URI | m2://inv/E8S8C5Z80X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Milner–Rado paradox, Milner–Rado paradox (statement). Also Wikidata Q6860230
History
- 2026-11-02: add by m2/dev
E8S8DJE964 E8S8DJE964
| URI | m2://inv/E8S8DJE964 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-56 (exercise). In E9HS8K3A52, exercise, section 10.5.1
History
- 2026-11-01: add by m2/v0.6.13
E8SA7HPXA2 E8SA7HPXA2
| URI | m2://inv/E8SA7HPXA2 |
|---|---|
| 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.16225#SAU1 (definition). In H3DJV9YQW1/e1, definition 4.3
History
- 2026-10-28: add by m2/v0.4.2
Application E8SABH2WT3
| URI | m2://inv/E8SABH2WT3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological index#TBUB, Application (example)
History
- 2026-11-02: add by m2/dev
Definition E8SFJ9Q4A5
| URI | m2://inv/E8SFJ9Q4A5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riley slice#R7SA, Definition (definition)
History
- 2026-11-02: add by m2/dev
780 (number) E8SK26PDYN
| URI | m2://inv/E8SK26PDYN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#U5KL, 780 (number) (unknown)
History
- 2026-11-02: add by m2/dev
E8SW7FECYB E8SW7FECYB
| URI | m2://inv/E8SW7FECYB |
|---|---|
| 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 2403.02207#7TM8 (statement). In 1T3ZYPQZF0/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.6
E8T1K77HNE E8T1K77HNE
| URI | m2://inv/E8T1K77HNE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-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.40290#4B6D (definition). In 4K1CNBYJHF/e1, definition 4.1
History
- 2026-10-30: add by m2/v0.4.12
E8T32YCE6G E8T32YCE6G
| URI | m2://inv/E8T32YCE6G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28141#GD7H (statement)
History
- 2026-11-01: add by m2/v0.6.15
E8TCTQ0MV4 E8TCTQ0MV4
| URI | m2://inv/E8TCTQ0MV4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-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 1804.05688#DHEA (statement). In M8F4PDHH3S/e1, lemma A.5
History
- 2026-10-27: add by m2/v0.3.5
E8TFGA4AEZ E8TFGA4AEZ
| URI | m2://inv/E8TFGA4AEZ |
|---|---|
| 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.09042#GJYI (statement). In 7CS3N5K9FJ/e1, lemma 22
History
- 2026-10-29: add by m2/v0.4.10
E8TGVEQD2J E8TGVEQD2J
| URI | m2://inv/E8TGVEQD2J |
|---|---|
| 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.32599#G8V1 (statement). In E1Y93JNBJA/e1, proposition 7.1
History
- 2026-10-31: add by m2/v0.5.6
Hans-Egon Richert E8THP00YWJ
| URI | m2://inv/E8THP00YWJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#V3RJ, Hans-Egon Richert (topic)
History
- 2026-11-02: add by m2/dev
linear equation E8TJ2QYVQK
| URI | m2://inv/E8TJ2QYVQK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Linear equation 0DNNT7DBFM |
Mentions
- wikidata: Wikidata Q484637, linear equation (unknown). Also MathWorld LinearEquation, nLab linear equation
- wikipedia: Wikipedia Linear equation, Linear equation (definition). Also Wikidata Q484637
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Differential Privacy E8TM010MB8
| URI | m2://inv/E8TM010MB8 |
|---|---|
| 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.04600#AL1Q, Differential Privacy (statement). In 4V64K0DYSV/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.12
\tc{NoNecExist E8TSJ8WZZA
| URI | m2://inv/E8TSJ8WZZA |
|---|---|
| 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.36279#L13S, \tc{NoNecExist (statement). In HX1QA0MJYV/e1, theorem 7
History
- 2026-10-30: add by m2/v0.4.12
Le Mecaniche E8V3X9AHR8
| URI | m2://inv/E8V3X9AHR8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Le Mecaniche, Le Mecaniche (definition). Also Wikidata Q19134995
History
- 2026-11-02: add by m2/dev
Melvin R. Novick E8VCZ0R0H6
| URI | m2://inv/E8VCZ0R0H6 |
|---|---|
| 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#HQ12, Melvin R. Novick (topic)
History
- 2026-11-02: add by m2/dev
Seven Hills, U.S. Virgin Islands E8VE7H70EE
| URI | m2://inv/E8VE7H70EE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#P8AO, Seven Hills, U.S. Virgin Islands (unknown)
History
- 2026-11-02: add by m2/dev
E8W0B7KYC9 E8W0B7KYC9
| URI | m2://inv/E8W0B7KYC9 |
|---|---|
| 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.34339#Z6OI (statement). In 9WFSTGMQ4E/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
Orthostochastic matrix E8WD3SANJ9
| URI | m2://inv/E8WD3SANJ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named matrices#8159, Orthostochastic matrix (definition)
History
- 2026-11-02: add by m2/dev
Frénicle standard form E8WKTPCN7A
| URI | m2://inv/E8WKTPCN7A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frénicle standard form, Frénicle standard form (definition). Also Wikidata Q3077490
History
- 2026-11-02: add by m2/dev
identity theorem E8WMKJ75BD
| URI | m2://inv/E8WMKJ75BD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/1.3.5/identity-theorem, identity theorem (concept). In E59CDZA4DP, index, section 1.3.5
History
- 2026-11-01: add by m2/v0.6.13
Avoidance estimate E8WR56M1GG
| URI | m2://inv/E8WR56M1GG |
|---|---|
| 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.05204#Y4C8, Avoidance estimate (statement). In ET0TQ8YF7Z/e1, proposition 6.7
History
- 2026-10-29: add by m2/v0.4.10
E8WTP9VC1E E8WTP9VC1E
| URI | m2://inv/E8WTP9VC1E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21972#B0SB (statement)
History
- 2026-11-02: add by m2/v0.6.17
Maximal inequality for square-integrable martingales E8WY3KQ2PE
| URI | m2://inv/E8WY3KQ2PE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 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.27765#Y5VZ, Maximal inequality for square-integrable martingales (statement)
History
- 2026-11-01: add by m2/v0.6.15
E8X4Y0120W E8X4Y0120W
| URI | m2://inv/E8X4Y0120W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2305.10921#YQ6U (definition). In PD5PJ0EYG6/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.3.5
Non-compact stencil E8XG2C13HS
| URI | m2://inv/E8XG2C13HS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-compact stencil, Non-compact stencil (definition). Also Wikidata Q7048872
History
- 2026-11-02: add by m2/dev
Arend Heyting E8XKA2HTT6
| URI | m2://inv/E8XKA2HTT6 |
|---|---|
| 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 Q641771, Arend Heyting (unknown). Also nLab Arend Heyting
- wikipedia: Wikipedia Arend Heyting, Arend Heyting (topic). Also Wikidata Q641771
History
- 2026-10-26: add by m2/dev
Causal model E8XR9CDPEZ
| URI | m2://inv/E8XR9CDPEZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Causal model, Causal model (definition). Also Wikidata Q5054567
History
- 2026-11-02: add by m2/dev
Counterinduction E8XSNTHMVN
| URI | m2://inv/E8XSNTHMVN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Counterinduction, Counterinduction (definition). Also Wikidata Q5176976
History
- 2026-11-02: add by m2/dev
Vidar Thomee E8XXXDP047
| URI | m2://inv/E8XXXDP047 |
|---|---|
| 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#XM0O, Vidar Thomee (unknown)
History
- 2026-11-02: add by m2/dev
E8Y2D304GV E8Y2D304GV
| URI | m2://inv/E8Y2D304GV |
|---|---|
| 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.09672#6IDE (statement). In TXBXCPP0QH/e1, theorem 8
History
- 2026-10-29: add by m2/v0.4.10
E8Y5DBY5EQ E8Y5DBY5EQ
| URI | m2://inv/E8Y5DBY5EQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15385#8AMJ (statement). In HBZXCMYPME/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
Generalizations E8Y8CFJKXX
| URI | m2://inv/E8Y8CFJKXX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analysis of variance#VXVK, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
E8YE727ZR3 E8YE727ZR3
| URI | m2://inv/E8YE727ZR3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14803#UYBT (statement). In VAEVDTBD3B/e1, proposition 2.19
History
- 2026-10-28: add by m2/v0.4.2
E8YF1AZK4A E8YF1AZK4A
| URI | m2://inv/E8YF1AZK4A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.13260#YW1S (statement). In ZBQX9341RV/e1, lemma 6.7
History
- 2026-10-28: add by m2/v0.4.2
Udayana E8YGHBA4ZA
| URI | m2://inv/E8YGHBA4ZA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#YOBS, Udayana (topic)
History
- 2026-11-02: add by m2/dev
The global $\mu$-ordinary locus, Definition 7.4.3 E8YK3GXTF3
| URI | m2://inv/E8YK3GXTF3 |
|---|---|
| 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.33808#FUVQ, The global $\mu$-ordinary locus, Definition 7.4.3 (definition). In 328KGRNN0W/e1, definition 3.3
History
- 2026-10-30: add by m2/v0.4.12
Packed storage matrix E8YNW5ZRS2
| URI | m2://inv/E8YNW5ZRS2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Packed storage matrix, Packed storage matrix (definition). Also Wikidata Q7122936
History
- 2026-11-02: add by m2/dev
E8YPQPXRN6 E8YPQPXRN6
| URI | m2://inv/E8YPQPXRN6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#proof-5 (proof). In Y91XFCEVHQ, proof, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
Mittag-Leffler distribution E8YQDGZCP6
| URI | m2://inv/E8YQDGZCP6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mittag-Leffler distribution, Mittag-Leffler distribution (definition). Also Wikidata Q17143290
History
- 2026-11-02: add by m2/dev
APX E8YV08JAQY
| URI | m2://inv/E8YV08JAQY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia APX, APX (definition). Also Wikidata Q4653447
History
- 2026-11-02: add by m2/dev
Birkhoff--von Neumann E8Z6XEFBKY
| URI | m2://inv/E8Z6XEFBKY |
|---|---|
| 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.06653#EOZY, Birkhoff--von Neumann (statement). In 9D2N76AJAT/e1, theorem D.1
History
- 2026-10-29: add by m2/v0.4.10
E8Z71CHNBT E8Z71CHNBT
| URI | m2://inv/E8Z71CHNBT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-5.xml#activity-2 (exercise). In 649HGZKE96, activity, section 4.5.3
History
- 2026-11-01: add by m2/v0.6.13
Giuseppe Da Prato E8Z969Z8HN
| URI | m2://inv/E8Z969Z8HN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giuseppe Da Prato, Giuseppe Da Prato (topic). Also Wikidata Q24704836
History
- 2026-11-02: add by m2/dev
Σ E8ZA87RFB6
| URI | m2://inv/E8ZA87RFB6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14413, Σ (unknown). Also MathWorld Sigma, ProofWiki Symbols:Greek/Sigma
History
- 2026-10-26: add by m2/dev
Field (mathematics) E8ZD9KCVHN
| URI | m2://inv/E8ZD9KCVHN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#6XW5, Field (mathematics) (definition)
- wikipedia: Wikipedia List of commutative algebra topics#GWNX, Field (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
E8ZF3F0NDA E8ZF3F0NDA
| URI | m2://inv/E8ZF3F0NDA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/completeness/lindenbaums-lemma.tex#cor:provability-characterization (statement). In PKGMM3P5QY, cor, section 51.3
History
- 2026-11-01: add by m2/v0.6.13
Ernst Engel E8ZK71XZJW
| URI | m2://inv/E8ZK71XZJW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#D8OE, Ernst Engel (topic)
History
- 2026-11-02: add by m2/dev
Example E8ZNTYK9WC
| URI | m2://inv/E8ZNTYK9WC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Core partition#MXWW, Example (example)
History
- 2026-11-02: add by m2/dev
Riemann solver E8ZYPF475A
| URI | m2://inv/E8ZYPF475A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#VBAL, Riemann solver (definition)
History
- 2026-11-02: add by m2/dev