Inventory rows 1J
The cards of the rows of the inventory whose ids start with 1J. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Content-based filtering 1J03N6NZRX
| URI | m2://inv/1J03N6NZRX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recommender system#GFH1, Content-based filtering (unknown)
History
- 2026-11-02: add by m2/dev
1J063BH719 1J063BH719
| URI | m2://inv/1J063BH719 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02558#KFDW (statement). In 7SMKFW1KP1/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.12
1J0CVA37JD 1J0CVA37JD
| URI | m2://inv/1J0CVA37JD |
|---|---|
| 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 2511.05069#XRC9 (statement). In SFQBJBTW8K/e1, theorem 9.4
History
- 2026-10-27: add by m2/v0.3.5
Completely additive function 1J0NEMS2ZK
| URI | m2://inv/1J0NEMS2ZK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Additive function#THDT, Completely additive function (unknown)
History
- 2026-11-02: add by m2/dev
High frequency trilinear major arcs at the $3/5$ scale 1J0WAC58HV
| URI | m2://inv/1J0WAC58HV |
|---|---|
| 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.09567#9L1P, High frequency trilinear major arcs at the $3/5$ scale (statement). In 7RV6BDZAFK/e1, proposition 6.5
History
- 2026-10-29: add by m2/v0.4.10
Identifiability 1J11KNMWQS
| URI | m2://inv/1J11KNMWQS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07341#23WJ, Identifiability (definition). In 6KFS1X0MZR/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.10
Easy 1J1ABQJPKH
| URI | m2://inv/1J1ABQJPKH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-17, Easy (exercise). In E59CDZA4DP, exercise, section 10.1.4
History
- 2026-11-01: add by m2/v0.6.13
1J1DBXSRGY 1J1DBXSRGY
| URI | m2://inv/1J1DBXSRGY |
|---|---|
| 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.05427#ZA6L (statement). In 4VC60HRHH9/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
Barendregt–Geuvers–Klop conjecture 1J1JMRT4MN
| URI | m2://inv/1J1JMRT4MN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#3ZGO, Barendregt–Geuvers–Klop conjecture (definition)
History
- 2026-11-02: add by m2/dev
Daina Taimiņa 1J1Q4KJS0T
| URI | m2://inv/1J1Q4KJS0T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#27G8, Daina Taimiņa (unknown)
History
- 2026-11-02: add by m2/dev
1J1W4320X4 1J1W4320X4
| URI | m2://inv/1J1W4320X4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24041#464G (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples 1J28VV3A1W
| URI | m2://inv/1J28VV3A1W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-organizing map#TNWQ, Examples (example)
History
- 2026-11-02: add by m2/dev
Terminology 1J2B5FR851
| URI | m2://inv/1J2B5FR851 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial ring#A3ER, Terminology (definition)
History
- 2026-11-02: add by m2/dev
sphere 1J2BDNTDXH
| URI | m2://inv/1J2BDNTDXH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Sphere P9CM4GQ2T0 |
Mentions
- wikidata: Wikidata Q12507, sphere (unknown). Also EoM Sphere, MathWorld Sphere
- wikipedia: Wikipedia Sphere, Sphere (definition). Also Wikidata Q12507
History
- 2026-10-26: add by m2/dev
James W. Cannon 1J2QJEPQ98
| URI | m2://inv/1J2QJEPQ98 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#OCGZ, James W. Cannon (topic)
History
- 2026-11-02: add by m2/dev
Transylvania 1J2T9HJZPT
| URI | m2://inv/1J2T9HJZPT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#XR8Q, Transylvania (unknown)
History
- 2026-11-02: add by m2/dev
Corollary 1J34FJ7XH4
| URI | m2://inv/1J34FJ7XH4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf decomposition#490S, Corollary (statement)
History
- 2026-11-02: add by m2/dev
rough decay of $\Phi_{k,h}$ 1J35JVJ1X0
| URI | m2://inv/1J35JVJ1X0 |
|---|---|
| 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.28076#7TOE, rough decay of $\Phi_{k,h}$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
1J37Q9CAE9 1J37Q9CAE9
| URI | m2://inv/1J37Q9CAE9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08323#9OT5 (definition). In FR51ART4NF/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
1J39VJG4BS 1J39VJG4BS
| URI | m2://inv/1J39VJG4BS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/church-rosser/parallel-beta-reduction.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 36.3
History
- 2026-11-01: add by m2/v0.6.13
Example 1J3BV1B6PT
| URI | m2://inv/1J3BV1B6PT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chemical equation#NRWN, Example (example)
History
- 2026-11-02: add by m2/dev
Cohomology theory axioms 1J3E5X4JEV
| URI | m2://inv/1J3E5X4JEV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander–Spanier cohomology#TH6Y, Cohomology theory axioms (statement)
History
- 2026-11-02: add by m2/dev
Uli Wagner 1J3NG4Y7FA
| URI | m2://inv/1J3NG4Y7FA |
|---|---|
| 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 Q57637964, Uli Wagner (unknown). Also nLab Uli Wagner
History
- 2026-10-26: add by m2/dev
Doignon's theorem 1J3YQ6H3TR
| URI | m2://inv/1J3YQ6H3TR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doignon's theorem, Doignon's theorem (statement). Also Wikidata Q120210042
History
- 2026-11-02: add by m2/dev
R. R. Rockingham Gill 1J41FN34NV
| URI | m2://inv/1J41FN34NV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia R. R. Rockingham Gill, R. R. Rockingham Gill (topic). Also Wikidata Q7273938
History
- 2026-11-02: add by m2/dev
Problem 1 (Schmidt 1968) 1J427NSEPH
| URI | m2://inv/1J427NSEPH |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence lattice problem#RS1F, Problem 1 (Schmidt 1968) (problem)
History
- 2026-11-02: add by m2/dev
Construction 1J4D1HCWM7
| URI | m2://inv/1J4D1HCWM7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Associated bundle#TVZG, Construction (definition)
History
- 2026-11-02: add by m2/dev
Diffraction grating 1J4EZBFM7C
| URI | m2://inv/1J4EZBFM7C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diffraction grating, Diffraction grating (definition). Also Wikidata Q653294
History
- 2026-11-02: add by m2/dev
1J4F7NQ9S7 1J4F7NQ9S7
| URI | m2://inv/1J4F7NQ9S7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-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.17045#SHJS (statement). In PA6JQDSKQT/e1, proposition 3.25
History
- 2026-10-28: add by m2/v0.4.2
1J4PD6TRAD 1J4PD6TRAD
| URI | m2://inv/1J4PD6TRAD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30444#BHFX (statement). In RZWJ0AT8W5/e1, theorem 5.2
History
- 2026-10-31: add by m2/v0.5.6
unlabeled sensing and real phase retrieval 1J4YQJRGF6
| URI | m2://inv/1J4YQJRGF6 |
|---|---|
| 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 2006.05158#QCBK, unlabeled sensing and real phase retrieval (statement). In 4VCW6SZQXK/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
Commonality analysis 1J527HKA48
| URI | m2://inv/1J527HKA48 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commonality analysis, Commonality analysis (definition). Also Wikidata Q65121633
History
- 2026-11-02: add by m2/dev
All polynomials 1J52JC1F9C
| URI | m2://inv/1J52JC1F9C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#example-1, All polynomials (example). In RZP28ERRZV, example, section 62.2
History
- 2026-11-01: add by m2/v0.6.13
1J56R509V6 1J56R509V6
| URI | m2://inv/1J56R509V6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-61 (proof). In VNMV985MXX, proof, section 4.5
History
- 2026-11-01: add by m2/v0.6.13
1J57Q4TCVG 1J57Q4TCVG
| URI | m2://inv/1J57Q4TCVG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-53 (exercise). In E59CDZA4DP, exercise, section 2.4.4
History
- 2026-11-01: add by m2/v0.6.13
1J58T6FRYC 1J58T6FRYC
| URI | m2://inv/1J58T6FRYC |
|---|---|
| Kind | conjecture |
| 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.10581#QBGG (conjecture). In 6V42A71SPC/e1, conjecture 1
History
- 2026-10-29: add by m2/v0.4.10
Corona theorem 1J5G6QWEEC
| URI | m2://inv/1J5G6QWEEC |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5172143, Corona theorem (statement). Also Wikidata Q5172143
- thousand_plus: thousand_plus Q5172143, Corona theorem (statement). Also Wikidata Q5172143, Wikipedia Corona theorem
- wikipedia: Wikipedia Corona theorem, Corona theorem (statement). Also Wikidata Q5172143
History
- 2026-10-26: add by m2/dev
1J5GW544CG 1J5GW544CG
| URI | m2://inv/1J5GW544CG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21037#ZR0U (statement). In PYB2RFYVVE/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.4.2
1J5MV6MBNJ 1J5MV6MBNJ
| URI | m2://inv/1J5MV6MBNJ |
|---|---|
| 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.16554#TB6I (statement). In GWNT8HEZG1/e1, corollary 4.29
History
- 2026-10-27: add by m2/v0.3.6
1J5VS4BPVD 1J5VS4BPVD
| URI | m2://inv/1J5VS4BPVD |
|---|---|
| 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 2609.36725#QOJD (statement). In AR26SZ8JGN/e1, lemma 5.5
History
- 2026-10-30: add by m2/v0.4.12
Finite-sample guarantees for threshold optimization 1J66K30808
| URI | m2://inv/1J66K30808 |
|---|---|
| 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.17579#39T2, Finite-sample guarantees for threshold optimization (statement). In 1H021CTR3A/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
Notation 1J67AQ6M1C
| URI | m2://inv/1J67AQ6M1C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moore–Penrose inverse#GXSQ, Notation (definition)
History
- 2026-11-02: add by m2/dev
Moivre, Abraham de 1J6935G76R
| URI | m2://inv/1J6935G76R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#1YNX, Moivre, Abraham de (topic)
History
- 2026-11-02: add by m2/dev
Arthur Byron Coble 1J6W1EBG38
| URI | m2://inv/1J6W1EBG38 |
|---|---|
| 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#7UG1, Arthur Byron Coble (topic)
History
- 2026-11-02: add by m2/dev
simplicially enriched category 1J753S29M4
| URI | m2://inv/1J753S29M4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7520909, simplicially enriched category (unknown). Also nLab simplicially enriched category
- wikipedia: Wikipedia Simplicially enriched category, Simplicially enriched category (definition). Also Wikidata Q7520909
History
- 2026-10-26: add by m2/dev
1J7962A265 1J7962A265
| URI | m2://inv/1J7962A265 |
|---|---|
| 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.22074#RR3A (statement). In F3BKXXPR3K/e1, corollary 3.45
History
- 2026-10-27: add by m2/v0.4.2
Tarski's exponential function problem 1J7G007QRR
| URI | m2://inv/1J7G007QRR |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tarski's exponential function problem, Tarski's exponential function problem (conjecture). Also Wikidata Q7686758
History
- 2026-11-02: add by m2/dev
Alexander V. Karzanov 1J7J350QRS
| URI | m2://inv/1J7J350QRS |
|---|---|
| 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#VEAP, Alexander V. Karzanov (topic)
History
- 2026-11-02: add by m2/dev
1J7T6J7S6K 1J7T6J7S6K
| URI | m2://inv/1J7T6J7S6K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19088#QZZ6 (statement). In 90QTB4CC31/e1, proposition 3.13
History
- 2026-10-28: add by m2/v0.4.2
1J8476Q928 1J8476Q928
| URI | m2://inv/1J8476Q928 |
|---|---|
| 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 2412.14956#PBVG (statement). In T8BQ6HHZYT/e1, proposition 6.19
History
- 2026-10-27: add by m2/v0.3.5
David Preiss 1J84XSYN82
| URI | m2://inv/1J84XSYN82 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Preiss, David Preiss (topic). Also Wikidata Q720518
History
- 2026-11-02: add by m2/dev
fluid 1J868VRGEE
| URI | m2://inv/1J868VRGEE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q102205, fluid (definition). Also ProofWiki Definition:Fluid
History
- 2026-10-26: add by m2/dev
1J8CEJSA3Z 1J8CEJSA3Z
| URI | m2://inv/1J8CEJSA3Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.01410#XBBA (statement). In BE0P5W2W3T/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.4.0
Generalizations 1J8H06XC3R
| URI | m2://inv/1J8H06XC3R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maslov index#I6LG, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
1J8SW245W2 1J8SW245W2
| URI | m2://inv/1J8SW245W2 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second neighborhood problem#2PUT (problem)
History
- 2026-11-02: add by m2/dev
invariant convex cone 1J8WK1NKXZ
| URI | m2://inv/1J8WK1NKXZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#UB2H, invariant convex cone (definition)
History
- 2026-11-02: add by m2/dev
1J8YTZ11SM 1J8YTZ11SM
| URI | m2://inv/1J8YTZ11SM |
|---|---|
| Kind | problem |
| 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#3BSX (problem). In PD5PJ0EYG6/e1, problem 6.1
History
- 2026-10-27: add by m2/v0.3.5
Sophus Lie 1J8ZMXHS2Q
| URI | m2://inv/1J8ZMXHS2Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#EDYP, Sophus Lie (topic)
History
- 2026-11-02: add by m2/dev
Pierre Nicole 1J8ZPHCZ24
| URI | m2://inv/1J8ZPHCZ24 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pierre Nicole, Pierre Nicole (topic). Also Wikidata Q719942
History
- 2026-11-02: add by m2/dev
Supercell composite parameter 1J94DBVBEK
| URI | m2://inv/1J94DBVBEK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supercell composite parameter, Supercell composite parameter (definition). Also Wikidata Q139856176
History
- 2026-11-02: add by m2/dev
Frame–Stewart algorithm 1J9D75YH0C
| URI | m2://inv/1J9D75YH0C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tower of Hanoi#GJB5, Frame–Stewart algorithm (unknown)
History
- 2026-11-02: add by m2/dev
First Hurwitz triplet 1J9GWS9W7W
| URI | m2://inv/1J9GWS9W7W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia First Hurwitz triplet, First Hurwitz triplet (definition). Also Wikidata Q5453087
History
- 2026-11-02: add by m2/dev
stabilizer subgroup 1J9GXVV4W0
| URI | m2://inv/1J9GXVV4W0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10452359, stabilizer subgroup (unknown). Also EoM Stabilizer, MathWorld Stabilizer, nLab stabilizer group
History
- 2026-10-26: add by m2/dev
compatible boundary conditions 1J9KRT56XH
| URI | m2://inv/1J9KRT56XH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.06147#4OB4, compatible boundary conditions (statement). In 94RBNQA07A/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
Transfer of an entire execution 1J9MX7Y69F
| URI | m2://inv/1J9MX7Y69F |
|---|---|
| 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 2609.37482#FJWV, Transfer of an entire execution (statement). In 9QDRMZX8EY/e1, lemma 13
History
- 2026-10-30: add by m2/v0.4.12
logistic equation 1J9TVXNMVP
| URI | m2://inv/1J9TVXNMVP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Logistic equation 0CC4VC7KR3 |
Mentions
- wikidata: Wikidata Q736352, logistic equation (unknown). Also MathWorld LogisticEquation
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
1J9VM4QZZ5 1J9VM4QZZ5
| URI | m2://inv/1J9VM4QZZ5 |
|---|---|
| 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.20376#ERVD (definition). In DGTCGQX6YZ/e1, definition 2.11
History
- 2026-10-27: add by m2/v0.4.2
Statement of the theorem 1JA9GKG0KK
| URI | m2://inv/1JA9GKG0KK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berry–Esseen theorem#A9L1, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
1JAEXZ9XG0 1JAEXZ9XG0
| URI | m2://inv/1JAEXZ9XG0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12689#CRCZ (statement). In AMXK11Y802/e1, corollary 5.2
History
- 2026-10-28: add by m2/v0.4.2
Field trace 1JAH6TX4HZ
| URI | m2://inv/1JAH6TX4HZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#J139, Field trace (definition)
History
- 2026-11-02: add by m2/dev
1JARND8X4K 1JARND8X4K
| URI | m2://inv/1JARND8X4K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18620#FKBU (statement). In 6WJ0R9YEBR/e1, proposition 3.14
History
- 2026-10-28: add by m2/v0.4.2
1JB1G1TVAF 1JB1G1TVAF
| URI | m2://inv/1JB1G1TVAF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#1J0D (definition). In B9EX6K51RD/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
1JB263SJGZ 1JB263SJGZ
| URI | m2://inv/1JB263SJGZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#proof-21 (proof). In N54F33XE07, proof, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
Keplerian elements 1JBFDNC5D1
| URI | m2://inv/1JBFDNC5D1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Johannes Kepler#2HMF, Keplerian elements (definition)
History
- 2026-11-02: add by m2/dev
1JBM494XN1 1JBM494XN1
| URI | m2://inv/1JBM494XN1 |
|---|---|
| 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.21034#2Z05 (statement)
History
- 2026-11-02: add by m2/v0.6.18
1JBPY2J678 1JBPY2J678
| URI | m2://inv/1JBPY2J678 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30086#5YOR (definition)
History
- 2026-11-01: add by m2/v0.6.15
Exact rank-one-link component 1JBVDZ49YM
| URI | m2://inv/1JBVDZ49YM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20649#7Y12, Exact rank-one-link component (statement). In XDTM624YPE/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.4.2
characteristic curve 1JBWECK6H2
| URI | m2://inv/1JBWECK6H2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/4.9/characteristic-curve, characteristic curve (concept). In E9HS8K3A52, index, section 4.9
History
- 2026-11-01: add by m2/v0.6.13
Sierpinski carpet 1JC0J4QEQZ
| URI | m2://inv/1JC0J4QEQZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Sierpiński carpet PCM3H6J3EE |
Mentions
- wikidata: Wikidata Q280081, Sierpinski carpet (unknown). Also MathWorld SierpinskiCarpet
- wikipedia: Wikipedia Sierpiński carpet, Sierpiński carpet (definition). Also Wikidata Q280081
History
- 2026-10-26: add by m2/dev
Regime-switching pervasive factor model 1JCA0BJ1JM
| URI | m2://inv/1JCA0BJ1JM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.12271#7KOD, Regime-switching pervasive factor model (definition). In WGCET6KSQ7/e1, definition 28
History
- 2026-10-27: add by m2/v0.3.6
1JCEBNH6M9 1JCEBNH6M9
| URI | m2://inv/1JCEBNH6M9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37815#COLK (definition). In SVJYA0171G/e1, definition 4.1
History
- 2026-10-30: add by m2/v0.4.12
Fa\`a di Bruno's formula; cf.\ 1JCHEHPMMC
| URI | m2://inv/1JCHEHPMMC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 11-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21725#76Y8, Fa\`a di Bruno's formula; cf.\ (statement). In BQDZN6GRGF/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.4.2
Generalization 1JCMAEKCH8
| URI | m2://inv/1JCMAEKCH8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Support (mathematics)#YE1V, Generalization (statement)
History
- 2026-11-02: add by m2/dev
1JCQ077T2A 1JCQ077T2A
| URI | m2://inv/1JCQ077T2A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08226#MQFC (statement). In V6EPE8XHAD/e1, lemma 10.6
History
- 2026-10-29: add by m2/v0.4.10
predual 1JCRNK1Y6J
| URI | m2://inv/1JCRNK1Y6J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#KC66, predual (definition)
History
- 2026-11-02: add by m2/dev
1JCT5AWR5B 1JCT5AWR5B
| URI | m2://inv/1JCT5AWR5B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29653#LSAS (statement)
History
- 2026-11-01: add by m2/v0.6.15
1JCWKYGVB1 1JCWKYGVB1
| URI | m2://inv/1JCWKYGVB1 |
|---|---|
| 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.23350#Z6SO (statement)
History
- 2026-11-02: add by m2/v0.6.17
Lauricella's theorem 1JDM353NJK
| URI | m2://inv/1JDM353NJK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#1SX3, Lauricella's theorem (statement)
History
- 2026-11-02: add by m2/dev
helix 1JDRKDTJ6K
| URI | m2://inv/1JDRKDTJ6K |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.1.2/helix, helix (concept). In N54F33XE07, index, section 7.1.2
History
- 2026-11-01: add by m2/v0.6.13
1JE2CWYSSH 1JE2CWYSSH
| URI | m2://inv/1JE2CWYSSH |
|---|---|
| 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.24845#6155 (statement)
History
- 2026-11-01: add by m2/v0.6.15
involutory matrix 1JE4C2EF9N
| URI | m2://inv/1JE4C2EF9N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1052516, involutory matrix (unknown). Also MathWorld InvolutoryMatrix
- wikipedia: Wikipedia Involutory matrix, Involutory matrix (definition). Also Wikidata Q1052516
History
- 2026-10-26: add by m2/dev
Definitions 1JE53E3164
| URI | m2://inv/1JE53E3164 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complement graph#QB2H, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Mehrnoosh Sadrzadeh 1JE5F6G7Z0
| URI | m2://inv/1JE5F6G7Z0 |
|---|---|
| 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 Q60487980, Mehrnoosh Sadrzadeh (unknown). Also nLab Mehrnoosh Sadrzadeh
History
- 2026-10-26: add by m2/dev
Compatible targets and exact compression 1JE8KN118S
| URI | m2://inv/1JE8KN118S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04357#Q1V7, Compatible targets and exact compression (statement). In 6FY8BVP1F3/e1, lemma H.3
History
- 2026-10-29: add by m2/v0.4.12
Characterization of initial data for weak solutions 1JECM2X64G
| URI | m2://inv/1JECM2X64G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18797#ZKJD, Characterization of initial data for weak solutions (statement). In HVZW77G66Z/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.2
1JEJPEG90S 1JEJPEG90S
| URI | m2://inv/1JEJPEG90S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06152#2UK9 (statement). In HH35K7S17H/e1, proposition A.11
History
- 2026-10-29: add by m2/v0.4.10
The calibrated framing signs 1JEZ3YGJT5
| URI | m2://inv/1JEZ3YGJT5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29839#1NZQ, The calibrated framing signs (statement)
History
- 2026-11-01: add by m2/v0.6.15
Power method convergence 1JF1QDAX8G
| URI | m2://inv/1JF1QDAX8G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14620#YWBB, Power method convergence (statement). In B7ZR6RMWX8/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
Properties 1JF3K9ZCXN
| URI | m2://inv/1JF3K9ZCXN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clifford algebra#3H3Y, Properties (statement)
History
- 2026-11-02: add by m2/dev
1JFF67P32R 1JFF67P32R
| URI | m2://inv/1JFF67P32R |
|---|---|
| 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 math/0411039#Z1X0 (statement). In ZTBDXSKFFW/e1, lemma 9.5
History
- 2026-10-27: add by m2/v0.3.5
1JFHER4J39 1JFHER4J39
| URI | m2://inv/1JFHER4J39 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-2.xml#exercise-7 (exercise). In 649HGZKE96, exercise, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Frank J. Ayres 1JFM4HECPC
| URI | m2://inv/1JFM4HECPC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frank J. Ayres, Frank J. Ayres (topic). Also Wikidata Q16971195
History
- 2026-11-02: add by m2/dev
Examples 1JFWKSB17D
| URI | m2://inv/1JFWKSB17D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximal ideal#FXMK, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples 1JFYNV0TBT
| URI | m2://inv/1JFYNV0TBT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fokker–Planck equation#QJTY, Examples (example)
History
- 2026-11-02: add by m2/dev
Três Corações 1JH18JNEQY
| URI | m2://inv/1JH18JNEQY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#0QY6, Três Corações (unknown)
History
- 2026-11-02: add by m2/dev
1JH2CPHFYA 1JH2CPHFYA
| URI | m2://inv/1JH2CPHFYA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1310.6698#KKHF (statement). In 7AQ7DMNZEY/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
Localization on a tetrahedral tiling 1JH50ZSVPA
| URI | m2://inv/1JH50ZSVPA |
|---|---|
| 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.20910#2NQM, Localization on a tetrahedral tiling (statement). In CETHKW9EBV/e1, theorem 4.7
History
- 2026-10-27: add by m2/v0.4.2
Charles Ferris Gettemy 1JH58HD0BK
| URI | m2://inv/1JH58HD0BK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#CNBK, Charles Ferris Gettemy (unknown)
History
- 2026-11-02: add by m2/dev
Joseph A. Thas 1JH81F41H4
| URI | m2://inv/1JH81F41H4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph A. Thas, Joseph A. Thas (topic). Also Wikidata Q1706394
History
- 2026-11-02: add by m2/dev
1JH8SGG1PF 1JH8SGG1PF
| URI | m2://inv/1JH8SGG1PF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23994#KDGS (statement)
History
- 2026-11-02: add by m2/v0.6.17
1JHDZXZW05 1JHDZXZW05
| URI | m2://inv/1JHDZXZW05 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11965#RPGN (statement). In 48QX0QD0XR/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.3
Comparison with the variance refinement 1JHE15QDDY
| URI | m2://inv/1JHE15QDDY |
|---|---|
| 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 2610.14069#QUDU, Comparison with the variance refinement (statement). In ABYRBVNC3Y/e1, corollary 3.1
History
- 2026-10-28: add by m2/v0.4.2
Rajeshwari Sundaram 1JHHGSQ831
| URI | m2://inv/1JHHGSQ831 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rajeshwari Sundaram, Rajeshwari Sundaram (topic). Also Wikidata Q41560103
History
- 2026-11-02: add by m2/dev
1JHJSCV34P 1JHJSCV34P
| URI | m2://inv/1JHJSCV34P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#L2YS (statement). In RK0ZMDJ23T/e1, lemma 2.1.2
History
- 2026-10-31: add by m2/v0.5.6
1JHKQWFP5D 1JHKQWFP5D
| URI | m2://inv/1JHKQWFP5D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05299#MQR5 (statement). In 68AE571S4P/e1, corollary 2.14
History
- 2026-10-29: add by m2/v0.4.10
Square-difference-free set 1JHVDFVGGX
| URI | m2://inv/1JHVDFVGGX |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square-difference-free set, Square-difference-free set (conjecture). Also Wikidata Q28456250
History
- 2026-11-02: add by m2/dev
1JHXJHQTZE 1JHXJHQTZE
| URI | m2://inv/1JHXJHQTZE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#XC6F (statement). In M0SQY5EZN5/e1, lemma 2.9.11
History
- 2026-10-27: add by m2/v0.3.5
1JJ1FPKHKK 1JJ1FPKHKK
| URI | m2://inv/1JJ1FPKHKK |
|---|---|
| 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 2609.31126#HEXC (statement). In GK1V5GEHTK/e1, theorem 2.15
History
- 2026-10-31: add by m2/v0.5.6
1JJ35NFAZY 1JJ35NFAZY
| URI | m2://inv/1JJ35NFAZY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05512#WVLX (statement). In 2F0KX51XKM/e1, theorem 6
History
- 2026-10-29: add by m2/v0.4.10
Thomas Joannes Stieltjes 1JJ3Q45M3D
| URI | m2://inv/1JJ3Q45M3D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#KRVG, Thomas Joannes Stieltjes (topic)
History
- 2026-11-02: add by m2/dev
1JJ3XHWPNY 1JJ3XHWPNY
| URI | m2://inv/1JJ3XHWPNY |
|---|---|
| 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.12295#QTQT (statement). In 6DZPR52HRP/e1, lemma 3.11
History
- 2026-10-28: add by m2/v0.4.2
1JJ8XXGFHM 1JJ8XXGFHM
| URI | m2://inv/1JJ8XXGFHM |
|---|---|
| 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.10736#J7X8 (statement). In NCYKB4QG5P/e1, proposition 3.5
History
- 2026-10-28: add by m2/v0.4.3
1JJKK0YYKB 1JJKK0YYKB
| URI | m2://inv/1JJKK0YYKB |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/randvar.tex#proof-1 (proof). In RZP28ERRZV, proof, section 69.1
History
- 2026-11-01: add by m2/v0.6.13
1JJSJ287CR 1JJSJ287CR
| URI | m2://inv/1JJSJ287CR |
|---|---|
| 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.32651#13NP (statement). In WFJXSE3VDT/e1, corollary 5.8
History
- 2026-10-31: add by m2/v0.5.6
1JJWM2RJX2 1JJWM2RJX2
| URI | m2://inv/1JJWM2RJX2 |
|---|---|
| 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.18078#MJ67 (statement). In YVK8EFSYNJ/e1, lemma C.5
History
- 2026-10-28: add by m2/v0.4.2
Comparison with Hamilton's principle 1JJWQXKHVG
| URI | m2://inv/1JJWQXKHVG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maupertuis's principle#YF24, Comparison with Hamilton's principle (statement)
History
- 2026-11-02: add by m2/dev
DVR 1JK7DPD4BT
| URI | m2://inv/1JK7DPD4BT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#SSM2, DVR (definition)
History
- 2026-11-02: add by m2/dev
Applications 1JKEPK1FF8
| URI | m2://inv/1JKEPK1FF8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friction#6Z9W, Applications (example)
History
- 2026-11-02: add by m2/dev
Quasifree stability from finite-time matrix contraction 1JKH6SWY3J
| URI | m2://inv/1JKH6SWY3J |
|---|---|
| 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.36016#3AC6, Quasifree stability from finite-time matrix contraction (statement). In NAM9ZMPHZ9/e1, lemma C.7
History
- 2026-10-30: add by m2/v0.4.12
Examples 1JKKP99YH9
| URI | m2://inv/1JKKP99YH9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Near sets#UH7O, Examples (example)
History
- 2026-11-02: add by m2/dev
Quantitative stability under an additive threshold shift 1JKKY1ZB6Y
| URI | m2://inv/1JKKY1ZB6Y |
|---|---|
| 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.28198#D0MO, Quantitative stability under an additive threshold shift (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bernstein–von Mises theorem 1JKMHTSQ26
| URI | m2://inv/1JKMHTSQ26 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernstein–von Mises theorem, Bernstein–von Mises theorem (statement). Also Wikidata Q4894580
History
- 2026-11-02: add by m2/dev
1JKQ43TD9F 1JKQ43TD9F
| URI | m2://inv/1JKQ43TD9F |
|---|---|
| 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.13745#9QS9 (statement). In CFJH0Q39FZ/e1, proposition 4.9
History
- 2026-10-28: add by m2/v0.4.2
Zsigmondy's theorem 1JKRN6H0S6
| URI | m2://inv/1JKRN6H0S6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#IIFO, Zsigmondy's theorem (statement)
History
- 2026-11-02: add by m2/dev
Conformal mapping 1JKVFN2MD5
| URI | m2://inv/1JKVFN2MD5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#L2M5, Conformal mapping (definition)
History
- 2026-11-02: add by m2/dev
1JKX1CWKXK 1JKX1CWKXK
| URI | m2://inv/1JKX1CWKXK |
|---|---|
| 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.26386#T5FH (statement)
History
- 2026-11-01: add by m2/v0.6.15
1JM3QDNCN2 1JM3QDNCN2
| URI | m2://inv/1JM3QDNCN2 |
|---|---|
| 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 2104.05191#HT8N (statement). In CCNH3FK8YZ/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.5
Axiom independence 1JM6WZKD3B
| URI | m2://inv/1JM6WZKD3B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom independence, Axiom independence (statement). Also Wikidata Q4830547
History
- 2026-11-02: add by m2/dev
Babai's problem 1JM9VAQZQW
| URI | m2://inv/1JM9VAQZQW |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#WZ06, Babai's problem (conjecture)
History
- 2026-11-02: add by m2/dev
1JMC7XF335 1JMC7XF335
| URI | m2://inv/1JMC7XF335 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38793#QAVK (statement). In T2N92YSY5R/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
1JMCQ5DD6G 1JMCQ5DD6G
| URI | m2://inv/1JMCQ5DD6G |
|---|---|
| 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.21540#PPPW (statement)
History
- 2026-11-02: add by m2/v0.6.18
Statement 1JMCRC9D99
| URI | m2://inv/1JMCRC9D99 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sum of residues formula#CRL4, Statement (statement)
History
- 2026-11-02: add by m2/dev
Augmented reality 1JMF39QDVJ
| URI | m2://inv/1JMF39QDVJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#OAUF, Augmented reality (unknown)
History
- 2026-11-02: add by m2/dev
1JMFVX8DCB 1JMFVX8DCB
| URI | m2://inv/1JMFVX8DCB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.00596#4BEP (statement). In F8RC6AENB0/e1, theorem 6.15
History
- 2026-10-27: add by m2/v0.3.5
principle of sufficient reason 1JMNVZNBPN
| URI | m2://inv/1JMNVZNBPN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q636778, principle of sufficient reason (statement). Also ProofWiki Principle_of_Sufficient_Reason
- wikipedia: Wikipedia Principle of sufficient reason, Principle of sufficient reason (statement). Also Wikidata Q636778
History
- 2026-10-26: add by m2/dev
Properties 1JMQR716VN
| URI | m2://inv/1JMQR716VN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infimum and supremum#PWD7, Properties (statement)
History
- 2026-11-02: add by m2/dev
George Baron 1JN1GBA5C3
| URI | m2://inv/1JN1GBA5C3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Baron, George Baron (topic). Also Wikidata Q5536734
History
- 2026-11-02: add by m2/dev
Geraldine Brady 1JN1P67GHC
| URI | m2://inv/1JN1P67GHC |
|---|---|
| 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 Q79618691, Geraldine Brady (unknown). Also nLab Geraldine Brady
History
- 2026-10-26: add by m2/dev
Ranklet 1JN58GZZQF
| URI | m2://inv/1JN58GZZQF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#XHQH, Ranklet (definition)
History
- 2026-11-02: add by m2/dev
Definition 1JNF3QR9PE
| URI | m2://inv/1JNF3QR9PE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic cycle#TTSD, Definition (definition)
History
- 2026-11-02: add by m2/dev
Separation principle in stochastic control 1JNNZNH1YQ
| URI | m2://inv/1JNNZNH1YQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Separation principle in stochastic control, Separation principle in stochastic control (statement). Also Wikidata Q60794036
History
- 2026-11-02: add by m2/dev
Admissible finite resolved cut complex 1JNT9JHAMD
| URI | m2://inv/1JNT9JHAMD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20215#HNCQ, Admissible finite resolved cut complex (definition)
History
- 2026-11-02: add by m2/v0.6.18
Imaginary curve 1JNZ67M9A9
| URI | m2://inv/1JNZ67M9A9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Imaginary curve, Imaginary curve (definition). Also Wikidata Q6002508
History
- 2026-11-02: add by m2/dev
Reflexivity 1JPD65D3F6
| URI | m2://inv/1JPD65D3F6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/proof-theoretic-notions.tex#prop:reflexivity, Reflexivity (statement). In PKGMM3P5QY, prop, section 17.5
History
- 2026-11-01: add by m2/v0.6.13
N. G. Kruzhilin 1JPGTD0VR1
| URI | m2://inv/1JPGTD0VR1 |
|---|---|
| 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#ZE33, N. G. Kruzhilin (unknown)
History
- 2026-11-02: add by m2/dev
1JPMCPEAJJ 1JPMCPEAJJ
| URI | m2://inv/1JPMCPEAJJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27301#ZZ5U (definition)
History
- 2026-11-01: add by m2/v0.6.15
1JPXARWE9X 1JPXARWE9X
| URI | m2://inv/1JPXARWE9X |
|---|---|
| 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#DZHN (statement). In NGZ5AZ70NN/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.2
1JQ188MBRZ 1JQ188MBRZ
| URI | m2://inv/1JQ188MBRZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02216#XHG3 (statement). In 34JGRZ2M5F/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
1JQ311SDPA 1JQ311SDPA
| URI | m2://inv/1JQ311SDPA |
|---|---|
| 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.11441#Z7K8 (statement). In RNXV4Q58TY/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.3
1JQ6MFT86P 1JQ6MFT86P
| URI | m2://inv/1JQ6MFT86P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#example-3 (example). In E9HS8K3A52, example, section 5.1.2
History
- 2026-11-01: add by m2/v0.6.13
Argumentum e contrario 1JQAS9FMMW
| URI | m2://inv/1JQAS9FMMW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argumentum e contrario, Argumentum e contrario (definition). Also Wikidata Q798070
History
- 2026-11-02: add by m2/dev
1JQEV8RFSX 1JQEV8RFSX
| URI | m2://inv/1JQEV8RFSX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07963#VY6U (example). In HAGJKEZ1CK/e1, example 7.5
History
- 2026-10-29: add by m2/v0.4.10
Huber loss 1JQH5QH1BH
| URI | m2://inv/1JQH5QH1BH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Huber loss, Huber loss (definition). Also Wikidata Q17027770
History
- 2026-11-02: add by m2/dev
1JQV94DGCA 1JQV94DGCA
| URI | m2://inv/1JQV94DGCA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#F7DC (statement). In B9EX6K51RD/e1, theorem 2.9
History
- 2026-10-28: add by m2/v0.4.2
1JQZJJEZWK 1JQZJJEZWK
| URI | m2://inv/1JQZJJEZWK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.28337#AIZZ (definition). In 7ZJFWBTBKM/e1, definition 2.2.2
History
- 2026-10-27: add by m2/v0.3.6
Products of Dirichlet polynomials 1JR0VQ0B9G
| URI | m2://inv/1JR0VQ0B9G |
|---|---|
| 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.11487#NN8V, Products of Dirichlet polynomials (statement). In 8S0K3Y25HM/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.3
1JR6XTVA9D 1JR6XTVA9D
| URI | m2://inv/1JR6XTVA9D |
|---|---|
| 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.01812#2KMX (statement). In FQPVSYXAGC/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.12
1JRCGSYBBQ 1JRCGSYBBQ
| URI | m2://inv/1JRCGSYBBQ |
|---|---|
| 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.15316#YNTV (statement). In 3K84E4150C/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Stochastic optimization 1JRMGPY4HC
| URI | m2://inv/1JRMGPY4HC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic optimization, Stochastic optimization (definition). Also Wikidata Q1747770
History
- 2026-11-02: add by m2/dev
1JRN3878VB 1JRN3878VB
| URI | m2://inv/1JRN3878VB |
|---|---|
| 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 2412.20001#55W6 (statement). In Y6YJSB93C3/e1, theorem 9
History
- 2026-10-27: add by m2/v0.3.5
Neugebauer equations 1JRQAMQD6M
| URI | m2://inv/1JRQAMQD6M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neugebauer equations, Neugebauer equations (definition). Also Wikidata Q7001755
History
- 2026-11-02: add by m2/dev
Applications 1JRV22PMJM
| URI | m2://inv/1JRV22PMJM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Huffman coding#V7LJ, Applications (example)
History
- 2026-11-02: add by m2/dev
Alessandro Faedo 1JRXPK9WN5
| URI | m2://inv/1JRXPK9WN5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alessandro Faedo, Alessandro Faedo (topic). Also Wikidata Q3609997
History
- 2026-11-02: add by m2/dev
Wilfrid Dixon 1JS19MZJF3
| URI | m2://inv/1JS19MZJF3 |
|---|---|
| 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#LFYH, Wilfrid Dixon (topic)
History
- 2026-11-02: add by m2/dev
1JS1Y4ZCJ7 1JS1Y4ZCJ7
| URI | m2://inv/1JS1Y4ZCJ7 |
|---|---|
| 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.17541#382I (statement). In 9PHDBFMHH6/e1, lemma A.4
History
- 2026-10-28: add by m2/v0.4.2
1JS3VGRYSD 1JS3VGRYSD
| URI | m2://inv/1JS3VGRYSD |
|---|---|
| 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.03422#ZB1U (statement). In SF88CM0957/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.12
Definition 1JS7Q96BJY
| URI | m2://inv/1JS7Q96BJY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mode-k flattening#WT3E, Definition (definition)
History
- 2026-11-02: add by m2/dev
1JSQACGV6T 1JSQACGV6T
| URI | m2://inv/1JSQACGV6T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09900#89IL (statement). In ATSYBWEMMP/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.10
3109 (number) 1JST071T6G
| URI | m2://inv/1JST071T6G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3000 (number)#QRR4, 3109 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Inf-sup conditions 1JST92WG4T
| URI | m2://inv/1JST92WG4T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01501#A9A8, Inf-sup conditions (statement). In 8Q2PXZDGB5/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
Statistician 1JSTRQ5HNH
| URI | m2://inv/1JSTRQ5HNH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistician, Statistician (definition). Also Wikidata Q2732142
History
- 2026-11-02: add by m2/dev
Lie superalgebra 1JSW48XMHV
| URI | m2://inv/1JSW48XMHV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#0EKS, Lie superalgebra (definition)
- wikipedia: Wikipedia List of algebras#XVSJ, Lie superalgebra (definition)
- wikipedia: Wikipedia List of mathematical topics in quantum theory#IEUT, Lie superalgebra (definition)
- wikipedia: Wikipedia List of string theory topics#TQPE, Lie superalgebra (definition)
History
- 2026-11-02: add by m2/dev
Episode-level KL control of integrated score error 1JSZ5MF29A
| URI | m2://inv/1JSZ5MF29A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05333#4YY2, Episode-level KL control of integrated score error (statement). In N37WKFTR7Q/e1, proposition D.4
History
- 2026-10-29: add by m2/v0.4.10
Mach wave 1JT13QSAD2
| URI | m2://inv/1JT13QSAD2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mach wave, Mach wave (definition). Also Wikidata Q775708
History
- 2026-11-02: add by m2/dev
Level, threshold, rejection time, type-II errors 1JT47QXSQB
| URI | m2://inv/1JT47QXSQB |
|---|---|
| Kind | definition |
| 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.27766#J5CG, Level, threshold, rejection time, type-II errors (definition)
History
- 2026-11-01: add by m2/v0.6.15
R. Baer 1JT6GK8VP5
| URI | m2://inv/1JT6GK8VP5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#NGJC, R. Baer (topic)
History
- 2026-11-02: add by m2/dev
1JT6XE8K13 1JT6XE8K13
| URI | m2://inv/1JT6XE8K13 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/numfield.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 16.1
History
- 2026-11-01: add by m2/v0.6.13
1JTHFD5AK0 1JTHFD5AK0
| URI | m2://inv/1JTHFD5AK0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29925#QBO2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
elementary topos 1JTPX12PH8
| URI | m2://inv/1JTPX12PH8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#AAAN, elementary topos (definition)
History
- 2026-11-02: add by m2/dev
1JTQQ0RZE5 1JTQQ0RZE5
| URI | m2://inv/1JTQQ0RZE5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2412.12141#RV9A (statement). In V980ZMH759/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.4.0
Padé approximant 1JV0F78X5S
| URI | m2://inv/1JV0F78X5S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Padé approximant 1F16G4V64X |
Mentions
- wikidata: Wikidata Q2452504, Padé approximant (unknown). Also MathWorld PadeApproximant
- wikipedia: Wikipedia Padé approximant, Padé approximant (definition). Also Wikidata Q2452504
History
- 2026-10-26: add by m2/dev
1JV4MABBSA 1JV4MABBSA
| URI | m2://inv/1JV4MABBSA |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclid–Mullin sequence#Q894 (problem)
History
- 2026-11-02: add by m2/dev
Riemann–Lebesgue lemma 1JV7CNWCS9
| URI | m2://inv/1JV7CNWCS9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#7CGN, Riemann–Lebesgue lemma (statement)
- wikipedia: Wikipedia List of lemmas#5VH6, Riemann–Lebesgue lemma (statement)
History
- 2026-11-02: add by m2/dev
I-SPY 2 1JVF4NQYPF
| URI | m2://inv/1JVF4NQYPF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adaptive design (medicine)#OM4P, I-SPY 2 (unknown)
History
- 2026-11-02: add by m2/dev
1JVGT6JJP6 1JVGT6JJP6
| URI | m2://inv/1JVGT6JJP6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09133#I0Z0 (statement). In E7BPGPP9Z5/e1, theorem 3.11
History
- 2026-10-29: add by m2/v0.4.10
Joseph-Émile Barbier 1JVRJF9Z6C
| URI | m2://inv/1JVRJF9Z6C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph-Émile Barbier, Joseph-Émile Barbier (topic). Also Wikidata Q3185904
History
- 2026-11-02: add by m2/dev
Indicators of spatial association 1JVSF9HRJN
| URI | m2://inv/1JVSF9HRJN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indicators of spatial association, Indicators of spatial association (definition). Also Wikidata Q6024412
History
- 2026-11-02: add by m2/dev
1JVTWHWEWH 1JVTWHWEWH
| URI | m2://inv/1JVTWHWEWH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16332#1ZDD (definition). In JJQPFXZQ3D/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
1JVWZWV4CB 1JVWZWV4CB
| URI | m2://inv/1JVWZWV4CB |
|---|---|
| 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.36594#8WI5 (statement). In 8JDQ9FWFRK/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
Cauchy integral formula 1JVYDS0A3M
| URI | m2://inv/1JVYDS0A3M |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/B/cauchy-integral-formula, Cauchy integral formula (concept). In VNMV985MXX, index, section B
History
- 2026-11-01: add by m2/v0.6.13
Projective geometry 1JW9FQYR7J
| URI | m2://inv/1JW9FQYR7J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#SRN9, Projective geometry (definition)
History
- 2026-11-02: add by m2/dev
Cartan calculus 1JWHFRDPFY
| URI | m2://inv/1JWHFRDPFY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Élie Cartan#Q0ZO, Cartan calculus (definition)
History
- 2026-11-02: add by m2/dev
1JX929VD4F 1JX929VD4F
| URI | m2://inv/1JX929VD4F |
|---|---|
| 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.14450#HU87 (statement). In ZHTGQT07PE/e1, lemma 3.11
History
- 2026-10-28: add by m2/v0.4.2
0# 1JXBF8B77N
| URI | m2://inv/1JXBF8B77N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statements independent of ZFC#X125, 0# (definition)
History
- 2026-11-02: add by m2/dev
Applications 1JXHQEZR28
| URI | m2://inv/1JXHQEZR28 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coefficient of variation#QTRL, Applications (example)
History
- 2026-11-02: add by m2/dev
Properties 1JXJ5Y7B3R
| URI | m2://inv/1JXJ5Y7B3R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indexed language#UJF4, Properties (statement)
History
- 2026-11-02: add by m2/dev
Example 1JXQDFPBB3
| URI | m2://inv/1JXQDFPBB3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NTRUEncrypt#X3UE, Example (example)
History
- 2026-11-02: add by m2/dev
1JXVBSQXA7 1JXVBSQXA7
| URI | m2://inv/1JXVBSQXA7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30482#1RPI (statement). In KWB9M5YH9G/e1, proposition 6.1
History
- 2026-10-31: add by m2/v0.5.6
solid partition 1JXXRY63HK
| URI | m2://inv/1JXXRY63HK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17149322, solid partition (concept). Also MathWorld SolidPartition, OEIS A000293
- wikipedia: Wikipedia Solid partition, Solid partition (definition). Also Wikidata Q17149322
History
- 2026-10-26: add by m2/dev
1JY6G8QG6N 1JY6G8QG6N
| URI | m2://inv/1JY6G8QG6N |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0906.2853#LM17 (unknown). In 32ZZ1DETCX/e1, unknown 3.7
History
- 2026-10-27: add by m2/v0.3.5
1JYGQ5ZSQ4 1JYGQ5ZSQ4
| URI | m2://inv/1JYGQ5ZSQ4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07963#AA66 (definition). In HAGJKEZ1CK/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.10
1JYK0TZ300 1JYK0TZ300
| URI | m2://inv/1JYK0TZ300 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1204.5958#K3ZN (definition). In XYCBKM4WKY/e1, definition 43
History
- 2026-10-27: add by m2/v0.3.5
1JYKMFVA6Q 1JYKMFVA6Q
| URI | m2://inv/1JYKMFVA6Q |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02141#A5ZV (example). In 5AB8YPS19N/e1, example 3.9
History
- 2026-10-29: add by m2/v0.4.12
1JYPV84D05 1JYPV84D05
| URI | m2://inv/1JYPV84D05 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28781#YKEP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Guozhen Wang 1JYS924XHT
| URI | m2://inv/1JYS924XHT |
|---|---|
| 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#GU9I, Guozhen Wang (unknown)
History
- 2026-11-02: add by m2/dev
Hilbert's Nullstellensatz 1JZ0WKEHMB
| URI | m2://inv/1JZ0WKEHMB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of commutative algebra topics#QK11, Hilbert's Nullstellensatz (definition)
History
- 2026-11-02: add by m2/dev
independence result 1JZ7H2P1WT
| URI | m2://inv/1JZ7H2P1WT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#7NU7, independence result (definition)
History
- 2026-11-02: add by m2/dev
Two loop classes, one pair of framing choices 1JZ8HT3N8X
| URI | m2://inv/1JZ8HT3N8X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29839#6WGG, Two loop classes, one pair of framing choices (statement)
History
- 2026-11-01: add by m2/v0.6.15
1JZM07TCQ2 1JZM07TCQ2
| URI | m2://inv/1JZM07TCQ2 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11395#SSH0 (example). In T3W7SMWQ73/e1, example 3
History
- 2026-10-28: add by m2/v0.4.3
Compound of great icosahedron and great stellated dodecahedron 1JZMYFEGY4
| URI | m2://inv/1JZMYFEGY4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#OU81, Compound of great icosahedron and great stellated dodecahedron (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#HROG, Compound of great icosahedron and great stellated dodecahedron (definition)
History
- 2026-11-02: add by m2/dev
Kenneth W. Wachter 1JZV8E5VM6
| URI | m2://inv/1JZV8E5VM6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kenneth W. Wachter, Kenneth W. Wachter (topic)
History
- 2026-11-02: add by m2/dev
Chow group 1JZWVDYY2E
| URI | m2://inv/1JZWVDYY2E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#NJN2, Chow group (definition)
History
- 2026-11-02: add by m2/dev