Inventory rows J7
The cards of the rows of the inventory whose ids start with J7. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Laurel Beckett J7013CSPR7
| URI | m2://inv/J7013CSPR7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#B8RD, Laurel Beckett (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#ORJY, Laurel Beckett (topic)
History
- 2026-11-02: add by m2/dev
J701N37DZB J701N37DZB
| URI | m2://inv/J701N37DZB |
|---|---|
| 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.03144#N6ZX (statement). In 9QW88325GS/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
project J702S0EHYN
| URI | m2://inv/J702S0EHYN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-40, project (exercise). In E9HS8K3A52, exercise, section 8.5.3
History
- 2026-11-01: add by m2/v0.6.13
Hahn–Banach theorem J70B2PRCVV
| URI | m2://inv/J70B2PRCVV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hahn–Banach theorem#H0G8, Hahn–Banach theorem (statement)
History
- 2026-11-02: add by m2/dev
A face-interior point need not be exposable J70JQWE0JP
| URI | m2://inv/J70JQWE0JP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33472#EN9J, A face-interior point need not be exposable (example). In WBQQBZ4FCJ/e1, example B.2
History
- 2026-10-30: add by m2/v0.4.12
Applications J70JTK458X
| URI | m2://inv/J70JTK458X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gibbs–Duhem equation#92SP, Applications (example)
History
- 2026-11-02: add by m2/dev
J70MGKDH8H J70MGKDH8H
| URI | m2://inv/J70MGKDH8H |
|---|---|
| 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 2207.07461#ORRY (statement). In GAG532VMPF/e1, lemma 3.2.3
History
- 2026-10-27: add by m2/v0.3.5
Formal definition J70QZR1KEN
| URI | m2://inv/J70QZR1KEN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nondeterministic finite automaton#X6XO, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
J70Z8FZ42F J70Z8FZ42F
| URI | m2://inv/J70Z8FZ42F |
|---|---|
| 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 2510.09873#GCZ0 (statement). In KNB3ZCNC9Q/e1, theorem 9.4
History
- 2026-10-27: add by m2/v0.3.5
Topological sort J7109E0K0Z
| URI | m2://inv/J7109E0K0Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#UHQ8, Topological sort (definition)
History
- 2026-11-02: add by m2/dev
BCH code J711VWN372
| URI | m2://inv/J711VWN372 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q795705, BCH code (unknown). Also MathWorld BCHCode
- wikipedia: Wikipedia BCH code, BCH code (definition). Also Wikidata Q795705
History
- 2026-10-26: add by m2/dev
finitary relation J7170WRQNW
| URI | m2://inv/J7170WRQNW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q203066, finitary relation (unknown). Also EoM Relation, MathWorld Relation
- wikipedia: Wikipedia Finitary relation, Finitary relation (definition). Also Wikidata Q203066
History
- 2026-10-26: add by m2/dev
\bf Randomized lower bound J71JS1AZ5F
| URI | m2://inv/J71JS1AZ5F |
|---|---|
| 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.16295#D70T, \bf Randomized lower bound (statement). In J1SKCVMNCB/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
J71RD23VD3 J71RD23VD3
| URI | m2://inv/J71RD23VD3 |
|---|---|
| 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.28009#1VMA (statement)
History
- 2026-11-01: add by m2/v0.6.15
generalized Cauchy integral formula J720ZEXD5H
| URI | m2://inv/J720ZEXD5H |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/4.1/generalized-cauchy-integral-formula, generalized Cauchy integral formula (concept). In VNMV985MXX, index, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Gorny, Zabaykalsky Krai J722QYJEHB
| URI | m2://inv/J722QYJEHB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#KNF1, Gorny, Zabaykalsky Krai (unknown)
History
- 2026-11-02: add by m2/dev
Theorems J72ADZEFW9
| URI | m2://inv/J72ADZEFW9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse-Wishart distribution#YC93, Theorems (statement)
History
- 2026-11-02: add by m2/dev
Squircle J72BB6A4ZJ
| URI | m2://inv/J72BB6A4ZJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Squircle, Squircle (definition). Also Wikidata Q2645130
History
- 2026-11-02: add by m2/dev
Butler group J72GN6WZ1N
| URI | m2://inv/J72GN6WZ1N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Butler group, Butler group (definition). Also Wikidata Q24890449
History
- 2026-11-02: add by m2/dev
Sphere theorem J72N9G54GA
| URI | m2://inv/J72N9G54GA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#1YYE, Sphere theorem (statement)
History
- 2026-11-02: add by m2/dev
The Mathematical Magpie J72QT5MRJS
| URI | m2://inv/J72QT5MRJS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Mathematical Magpie, The Mathematical Magpie (definition). Also Wikidata Q7750658
History
- 2026-11-02: add by m2/dev
Examples J72X8PDE13
| URI | m2://inv/J72X8PDE13 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prewellordering#CAIT, Examples (example)
History
- 2026-11-02: add by m2/dev
J730MBRANM J730MBRANM
| URI | m2://inv/J730MBRANM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34731#0TXT (statement). In MH54AS0Y61/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
Real part J732M9HY6D
| URI | m2://inv/J732M9HY6D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#MF7F, Real part (definition)
History
- 2026-11-02: add by m2/dev
Castelnuovo–Mumford regularity J732XK8GD4
| URI | m2://inv/J732XK8GD4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#VBP3, Castelnuovo–Mumford regularity (definition)
History
- 2026-11-02: add by m2/dev
C-chart J733E6JVK2
| URI | m2://inv/J733E6JVK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia C-chart, C-chart (definition). Also Wikidata Q5005933
History
- 2026-11-02: add by m2/dev
307 (Number) J7377X6527
| URI | m2://inv/J7377X6527 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#PB1D, 307 (Number) (unknown)
History
- 2026-11-02: add by m2/dev
Chip-firing game J7396FEYEM
| URI | m2://inv/J7396FEYEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chip-firing game, Chip-firing game (definition). Also Wikidata Q33072077
History
- 2026-11-02: add by m2/dev
J73A27C9YV J73A27C9YV
| URI | m2://inv/J73A27C9YV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32138#DZTD (statement). In ZG0GNHTCWB/e1, proposition 4.2
History
- 2026-10-31: add by m2/v0.5.6
Marcel Riesz J73A39YDPY
| URI | m2://inv/J73A39YDPY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#Y7AE, Marcel Riesz (unknown)
History
- 2026-11-02: add by m2/dev
J73AM8VQAH J73AM8VQAH
| URI | m2://inv/J73AM8VQAH |
|---|---|
| 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.18152#0KWH (statement). In AAVGAGCWTE/e1, corollary 4.2
History
- 2026-10-28: add by m2/v0.4.2
Definition J73BEJK3FD
| URI | m2://inv/J73BEJK3FD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plücker matrix#I81U, Definition (definition)
History
- 2026-11-02: add by m2/dev
Gaussian Kernel J73D2ARCB0
| URI | m2://inv/J73D2ARCB0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19861#IRJU, Gaussian Kernel (definition). In 5ZPQ60TM6J/e1, definition 23
History
- 2026-10-28: add by m2/v0.4.2
J73HNVZQ5Q J73HNVZQ5Q
| URI | m2://inv/J73HNVZQ5Q |
|---|---|
| Kind | conjecture |
| 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.08334#51TW (conjecture). In FQ3DS8B3H1/e1, conjecture 1.1
History
- 2026-10-29: add by m2/v0.4.10
Udi Manber J73JAHNTFM
| URI | m2://inv/J73JAHNTFM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#E6BE, Udi Manber (unknown)
History
- 2026-11-02: add by m2/dev
Regina S. Burachik J73KTF26AS
| URI | m2://inv/J73KTF26AS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regina S. Burachik, Regina S. Burachik (topic). Also Wikidata Q20763598
History
- 2026-11-02: add by m2/dev
J73MAV1EB5 J73MAV1EB5
| URI | m2://inv/J73MAV1EB5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#N3VI (definition). In CC6S1HVK0T/e1, definition 3.11
History
- 2026-10-28: add by m2/v0.4.2
Neyman–Pearson lemma J73R0SHRW9
| URI | m2://inv/J73R0SHRW9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neyman–Pearson lemma#AXCC, Neyman–Pearson lemma (statement)
History
- 2026-11-02: add by m2/dev
Auguste Kerckhoffs J73RY50KQJ
| URI | m2://inv/J73RY50KQJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#T31A, Auguste Kerckhoffs (topic)
History
- 2026-11-02: add by m2/dev
Automatic differentiation J749DVCGSK
| URI | m2://inv/J749DVCGSK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automatic differentiation, Automatic differentiation (definition). Also Wikidata Q787371
History
- 2026-11-02: add by m2/dev
uniqueness, principle, propositional, for dependent pair types J74KSN121B
| URI | m2://inv/J74KSN121B |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.7/uniqueness-principle-propositional-for-dependent-pair-types, uniqueness, principle, propositional, for dependent pair types (concept). In N54F33XE07, index, section 1.7
History
- 2026-11-01: add by m2/v0.6.13
Plurigenera J74Z6KPMCN
| URI | m2://inv/J74Z6KPMCN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonical ring#E0UQ, Plurigenera (unknown)
History
- 2026-11-02: add by m2/dev
J7539NJZZX J7539NJZZX
| URI | m2://inv/J7539NJZZX |
|---|---|
| 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 1905.00573#W03X (statement). In 74RNQVBM2G/e1, lemma 3.26
History
- 2026-10-27: add by m2/v0.3.5
Definition J75KG1JJJS
| URI | m2://inv/J75KG1JJJS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deligne–Mumford stack#Z3K4, Definition (definition)
History
- 2026-11-02: add by m2/dev
Rodrigues formula for Bessel polynomials J75X5PDYKE
| URI | m2://inv/J75X5PDYKE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bessel polynomials#ORA8, Rodrigues formula for Bessel polynomials (statement)
History
- 2026-11-02: add by m2/dev
J75YQYEWCF J75YQYEWCF
| URI | m2://inv/J75YQYEWCF |
|---|---|
| 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.21752#GM31 (statement). In E4DJTPKHAX/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.4.2
J75YZ7SBVH J75YZ7SBVH
| URI | m2://inv/J75YZ7SBVH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35625#SESK (statement). In 7N144YJM0R/e1, proposition 2.2
History
- 2026-10-30: add by m2/v0.4.12
Addendum to the lemma J763JGT487
| URI | m2://inv/J763JGT487 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proofs of quadratic reciprocity#7AHH, Addendum to the lemma (statement)
History
- 2026-11-02: add by m2/dev
J765X209T8 J765X209T8
| URI | m2://inv/J765X209T8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 01-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.10591#M3WZ (example). In FTEA0TM35J/e1, example 3
History
- 2026-10-29: add by m2/v0.4.10
J767BA27FR J767BA27FR
| URI | m2://inv/J767BA27FR |
|---|---|
| Kind | problem |
| 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.27641#8NO7 (problem)
History
- 2026-11-01: add by m2/v0.6.15
Cauchy's mean value theorem J7699HQ3ZB
| URI | m2://inv/J7699HQ3ZB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean value theorem#6O2A, Cauchy's mean value theorem (statement)
History
- 2026-11-02: add by m2/dev
589 (number) J76BAAV0H5
| URI | m2://inv/J76BAAV0H5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#7ZRR, 589 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Formal definition J76BNXJJ0Y
| URI | m2://inv/J76BNXJJ0Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centrosymmetric matrix#QAZX, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Lakkoju Sanjeevaraya Sharma J76D7TKXZG
| URI | m2://inv/J76D7TKXZG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#52VL, Lakkoju Sanjeevaraya Sharma (topic)
History
- 2026-11-02: add by m2/dev
Definition J76DNP1QQJ
| URI | m2://inv/J76DNP1QQJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haefliger structure#ZMWR, Definition (definition)
History
- 2026-11-02: add by m2/dev
J76KH3BGCH J76KH3BGCH
| URI | m2://inv/J76KH3BGCH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#L1H4 (statement). In G1RP4JY5PE/e1, corollary 2.5.5
History
- 2026-10-31: add by m2/v0.5.6
Fermat's conjecture J76KSTX9KX
| URI | m2://inv/J76KSTX9KX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermat's Last Theorem#E1Y4, Fermat's conjecture (statement)
History
- 2026-11-02: add by m2/dev
Mean square J76NXVR8TF
| URI | m2://inv/J76NXVR8TF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean square, Mean square (definition). Also Wikidata Q85784623
History
- 2026-11-02: add by m2/dev
Null set J776Z0PEXB
| URI | m2://inv/J776Z0PEXB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of integration and measure theory topics#UGIB, Null set (definition)
History
- 2026-11-02: add by m2/dev
J77S5XBE9G J77S5XBE9G
| URI | m2://inv/J77S5XBE9G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 54-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 2609.20683#MGMO (statement)
History
- 2026-11-02: add by m2/v0.6.18
John of Salisbury J77VR8B1FX
| URI | m2://inv/J77VR8B1FX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John of Salisbury, John of Salisbury (topic). Also Wikidata Q264028
History
- 2026-11-02: add by m2/dev
sinc function J788ZDV3P9
| URI | m2://inv/J788ZDV3P9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Sinc function P1T98BECWR |
Mentions
- wikidata: Wikidata Q855949, sinc function (unknown). Also MathWorld SincFunction
- wikipedia: Wikipedia Sinc function, Sinc function (definition). Also Wikidata Q855949
History
- 2026-10-26: add by m2/dev
Complexity at fixed parameters J789SG2VYW
| URI | m2://inv/J789SG2VYW |
|---|---|
| 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.31535#B51I, Complexity at fixed parameters (statement). In BAWCMJQGVA/e1, theorem 4.6
History
- 2026-10-31: add by m2/v0.5.6
J78G493MAN J78G493MAN
| URI | m2://inv/J78G493MAN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20028#1PWE (statement)
History
- 2026-11-02: add by m2/v0.6.18
J78P5AN7J3 J78P5AN7J3
| URI | m2://inv/J78P5AN7J3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#P8DH (definition). In M0SQY5EZN5/e1, definition 1.2.3
History
- 2026-10-27: add by m2/v0.3.5
J78T6SB4XG J78T6SB4XG
| URI | m2://inv/J78T6SB4XG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32860#P8N9 (statement). In H71AJ341B3/e1, corollary 6.3
History
- 2026-10-31: add by m2/v0.5.6
Propagation identity, multiple reveals J78XSASP4S
| URI | m2://inv/J78XSASP4S |
|---|---|
| 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.04989#6FH1, Propagation identity, multiple reveals (statement). In 1T4SYTCKW8/e1, theorem S1
History
- 2026-10-29: add by m2/v0.4.12
Trusted timestamping J7933ZZYY0
| URI | m2://inv/J7933ZZYY0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trusted timestamping, Trusted timestamping (definition). Also Wikidata Q3132224
History
- 2026-11-02: add by m2/dev
Gregory Freiman J794X80K24
| URI | m2://inv/J794X80K24 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#L5YG, Gregory Freiman (topic)
History
- 2026-11-02: add by m2/dev
Heide Gluesing-Luerssen J79J0Y25RR
| URI | m2://inv/J79J0Y25RR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#COAV, Heide Gluesing-Luerssen (topic)
History
- 2026-11-02: add by m2/dev
Sharpness of the conditional-covariance-stabilization exponent J79JCTADFZ
| URI | m2://inv/J79JCTADFZ |
|---|---|
| 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.40338#44EC, Sharpness of the conditional-covariance-stabilization exponent (statement). In K5H6GS0SGQ/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
Vladimir Sverak J79VJ001W8
| URI | m2://inv/J79VJ001W8 |
|---|---|
| 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#LJK2, Vladimir Sverak (unknown)
History
- 2026-11-02: add by m2/dev
Ragni Piene J79Z5CWVXY
| URI | m2://inv/J79Z5CWVXY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#XUDM, Ragni Piene (topic)
History
- 2026-11-02: add by m2/dev
Special cases J7A35FZXYB
| URI | m2://inv/J7A35FZXYB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete Fourier transform over a ring#QKUG, Special cases (statement)
History
- 2026-11-02: add by m2/dev
A necessary condition in the finite setting J7AMK776BM
| URI | m2://inv/J7AMK776BM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.03424#PKG0, A necessary condition in the finite setting (statement). In Q6HRJP4AWA/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.12
J7ARGR3VCP J7ARGR3VCP
| URI | m2://inv/J7ARGR3VCP |
|---|---|
| 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.09201#FBY7 (statement). In JQFPH09JG8/e1, lemma 9.1
History
- 2026-10-29: add by m2/v0.4.10
Special cases J7AWD1C0N6
| URI | m2://inv/J7AWD1C0N6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Filter (mathematics)#5V26, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Taylor-coefficient and evaluation rank characterization J7AWZF0TX1
| URI | m2://inv/J7AWZF0TX1 |
|---|---|
| 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#7L1K, Taylor-coefficient and evaluation rank characterization (statement). In 6FY8BVP1F3/e1, proposition D.6
History
- 2026-10-29: add by m2/v0.4.12
J7B36BCJW1 J7B36BCJW1
| URI | m2://inv/J7B36BCJW1 |
|---|---|
| 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 2609.40207#WD15 (definition). In JXTG8KP95P/e1, definition 2.8
History
- 2026-10-30: add by m2/v0.4.12
Failure of \algname{PolyakSEG} without interpolation J7BAFWX9CY
| URI | m2://inv/J7BAFWX9CY |
|---|---|
| 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.26581#ZBC7, Failure of \algname{PolyakSEG} without interpolation (statement)
History
- 2026-11-01: add by m2/v0.6.15
Polynomial-time approximation scheme J7BEQ75Z65
| URI | m2://inv/J7BEQ75Z65 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial-time approximation scheme, Polynomial-time approximation scheme (definition). Also Wikidata Q843550
History
- 2026-11-02: add by m2/dev
Oskar Anderson J7BQMA7QDN
| URI | m2://inv/J7BQMA7QDN |
|---|---|
| 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#F1U6, Oskar Anderson (topic)
- wikipedia: Wikipedia List of German mathematicians#Z39Y, Oskar Anderson (topic)
History
- 2026-11-02: add by m2/dev
Synopsis of Pure Mathematics J7BX0DBX7K
| URI | m2://inv/J7BX0DBX7K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Synopsis of Pure Mathematics, Synopsis of Pure Mathematics (definition). Also Wikidata Q7662605
History
- 2026-11-02: add by m2/dev
Properties J7BYDE8RBT
| URI | m2://inv/J7BYDE8RBT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kronecker symbol#X6KI, Properties (statement)
History
- 2026-11-02: add by m2/dev
Paul Peter Ewald J7C1GC0HV6
| URI | m2://inv/J7C1GC0HV6 |
|---|---|
| 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#FQY4, Paul Peter Ewald (unknown)
History
- 2026-11-02: add by m2/dev
J7C1SBX0RH J7C1SBX0RH
| URI | m2://inv/J7C1SBX0RH |
|---|---|
| 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.17608#4GU0 (statement). In VAGWC38NSF/e1, lemma 3.9
History
- 2026-10-28: add by m2/v0.4.2
J7C2KM5JVC J7C2KM5JVC
| URI | m2://inv/J7C2KM5JVC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05314#EJN2 (statement). In PA3B6C0WY7/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.10
J7C97NQ4GW J7C97NQ4GW
| URI | m2://inv/J7C97NQ4GW |
|---|---|
| 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.13793#JQQ7 (statement). In XZKMFDAABC/e1, theorem 5.3
History
- 2026-10-28: add by m2/v0.4.2
J7CEQG1SXS J7CEQG1SXS
| URI | m2://inv/J7CEQG1SXS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.04870#UJYR (statement). In X765ZXXVC3/e1, proposition 6.4
History
- 2026-10-29: add by m2/v0.4.12
Misinformation effect J7CF5YKBWT
| URI | m2://inv/J7CF5YKBWT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#MIOU, Misinformation effect (unknown)
History
- 2026-11-02: add by m2/dev
Gyrovector space J7CHR109YK
| URI | m2://inv/J7CHR109YK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gyrovector space, Gyrovector space (definition). Also Wikidata Q5625530
History
- 2026-11-02: add by m2/dev
J7CJZQ1ZTY J7CJZQ1ZTY
| URI | m2://inv/J7CJZQ1ZTY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#YNQS (definition). In Z7E16PFFCP/e1, definition 5.8
History
- 2026-10-30: add by m2/v0.4.12
Stadium J7CNC2KKWT
| URI | m2://inv/J7CNC2KKWT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#L5NA, Stadium (definition)
- wikipedia: Wikipedia List of curves#6FMU, Stadium (definition)
History
- 2026-11-02: add by m2/dev
J7CP1F1YT0 J7CP1F1YT0
| URI | m2://inv/J7CP1F1YT0 |
|---|---|
| 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 2011.08789#1R1K (statement). In 43AGRMP7T3/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.5
J7CT5XXBKE J7CT5XXBKE
| URI | m2://inv/J7CT5XXBKE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/morphism.tex#definition-2 (definition). In RZP28ERRZV, definition, section 86.4
History
- 2026-11-01: add by m2/v0.6.13
J7CTT9TNFW J7CTT9TNFW
| URI | m2://inv/J7CTT9TNFW |
|---|---|
| Kind | problem |
| 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.35323#IOHF (problem). In 5CKPXBWSCX/e1, problem 4.7
History
- 2026-10-30: add by m2/v0.4.12
MANOVA J7CXY5W31Z
| URI | m2://inv/J7CXY5W31Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4Y23, MANOVA (definition)
History
- 2026-11-02: add by m2/dev
Arbitrariness of the sign J7D1AQBGRQ
| URI | m2://inv/J7D1AQBGRQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arbitrariness#JQKV, Arbitrariness of the sign (unknown)
History
- 2026-11-02: add by m2/dev
Aline Bonami J7DDHRKBZ1
| URI | m2://inv/J7DDHRKBZ1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aline Bonami, Aline Bonami (topic). Also Wikidata Q41154421
History
- 2026-11-02: add by m2/dev
J7DEWAAZR5 J7DEWAAZR5
| URI | m2://inv/J7DEWAAZR5 |
|---|---|
| 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.26324#966O (statement)
History
- 2026-11-01: add by m2/v0.6.15
J7DG5K2CSA J7DG5K2CSA
| URI | m2://inv/J7DG5K2CSA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-conc.ptx#exercise-10 (exercise). In Y91XFCEVHQ, exercise, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
Fyodor Shcherbatskoy J7DGCFQPJS
| URI | m2://inv/J7DGCFQPJS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fyodor Shcherbatskoy, Fyodor Shcherbatskoy (topic). Also Wikidata Q1341741
History
- 2026-11-02: add by m2/dev
J7DGECX05X J7DGECX05X
| URI | m2://inv/J7DGECX05X |
|---|---|
| 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.32439#PA3X (statement). In GD8D1YH7K4/e1, theorem 2.3
History
- 2026-10-31: add by m2/v0.5.6
J7DJVTGJ9J J7DJVTGJ9J
| URI | m2://inv/J7DJVTGJ9J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.04870#IBQT (statement). In X765ZXXVC3/e1, corollary 5.11
History
- 2026-10-29: add by m2/v0.4.12
Laplace's method J7DRN3XHPV
| URI | m2://inv/J7DRN3XHPV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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 2211.04407#WLO9, Laplace's method (statement). In XCZS191H6Q/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.6
List of knapsack problems J7DXGXHTY5
| URI | m2://inv/J7DXGXHTY5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knapsack problems, List of knapsack problems (topic). Also Wikidata Q4433780
History
- 2026-11-02: add by m2/dev
State error for the reduced formulations J7E05888DM
| URI | m2://inv/J7E05888DM |
|---|---|
| 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.12017#Y42F, State error for the reduced formulations (statement). In WW04MP0NAZ/e1, corollary 4.5
History
- 2026-10-28: add by m2/v0.4.3
Examples J7E698ES9H
| URI | m2://inv/J7E698ES9H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vacuum solution#T4EK, Examples (example)
History
- 2026-11-02: add by m2/dev
J7EAVWZTE6 J7EAVWZTE6
| URI | m2://inv/J7EAVWZTE6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38188#L682 (statement). In 7615KVXDB5/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
J7EF1HFSMP J7EF1HFSMP
| URI | m2://inv/J7EF1HFSMP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33771#555L (definition). In ZXQA7QH0H0/e1, definition 3.11
History
- 2026-10-30: add by m2/v0.4.12
acceptance J7EGKKED13
| URI | m2://inv/J7EGKKED13 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.11/acceptance, acceptance (concept). In N54F33XE07, index, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
Euclidean rhythm J7EJA40KS8
| URI | m2://inv/J7EJA40KS8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean rhythm, Euclidean rhythm (definition). Also Wikidata Q5406119
History
- 2026-11-02: add by m2/dev
J7ER1TCW64 J7ER1TCW64
| URI | m2://inv/J7ER1TCW64 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.13533#PPPB (statement). In DK9GQ8G0T4/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.3.5
Generalizations J7ET13D02V
| URI | m2://inv/J7ET13D02V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isomonodromic deformation#3EA8, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Local existence and continuation J7EZ4TN8VD
| URI | m2://inv/J7EZ4TN8VD |
|---|---|
| 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.19453#CAF0, Local existence and continuation (statement). In TX82YAVS5V/e1, proposition 1.1
History
- 2026-10-28: add by m2/v0.4.2
Abakumov, Borichev, Fedorovskiy J7EZDMGWYH
| URI | m2://inv/J7EZDMGWYH |
|---|---|
| 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.21121#5JWH, Abakumov, Borichev, Fedorovskiy (statement)
History
- 2026-11-02: add by m2/v0.6.18
BaBar experiment J7F7JRB1V4
| URI | m2://inv/J7F7JRB1V4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q797428, BaBar experiment (unknown). Also nLab BaBar experiment
History
- 2026-10-26: add by m2/dev
J7FAQ3M940 J7FAQ3M940
| URI | m2://inv/J7FAQ3M940 |
|---|---|
| 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.21475#XLQR (statement). In TTRSZVT4VX/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.4.2
Loubignac iteration J7FBBKTGT8
| URI | m2://inv/J7FBBKTGT8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loubignac iteration, Loubignac iteration (definition). Also Wikidata Q48844720
History
- 2026-11-02: add by m2/dev
Singularity function J7FC4WRWT4
| URI | m2://inv/J7FC4WRWT4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singularity function, Singularity function (definition). Also Wikidata Q7524277
History
- 2026-11-02: add by m2/dev
Statement J7FKKS2FWQ
| URI | m2://inv/J7FKKS2FWQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bombieri–Lang conjecture#RG4R, Statement (statement)
History
- 2026-11-02: add by m2/dev
J7FT5V96MP J7FT5V96MP
| URI | m2://inv/J7FT5V96MP |
|---|---|
| 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.10152#8Y8L (statement). In KCJ53C7AXY/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
J7FTBQ1DQH J7FTBQ1DQH
| URI | m2://inv/J7FTBQ1DQH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31249#4YUX (statement). In RAVR2W9S0B/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
coloring, proper J7FVDC2Z0J
| URI | m2://inv/J7FVDC2Z0J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.4/coloring-proper, coloring, proper (concept). In QKM9DD2H56, index, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
Galvin's theorem J7FXTYFVZE
| URI | m2://inv/J7FXTYFVZE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dinitz theorem#T5PL, Galvin's theorem (statement)
History
- 2026-11-02: add by m2/dev
J7FZ4439C4 J7FZ4439C4
| URI | m2://inv/J7FZ4439C4 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.01837#IYB8 (problem). In 2XBYZ1QP22/e1, problem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Free occurrences of !!a{variable} J7GA72HNE5
| URI | m2://inv/J7GA72HNE5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/free-vars-sentences.tex#defn:free-occ, Free occurrences of !!a{variable} (definition). In PKGMM3P5QY, defn, section 19.9
History
- 2026-11-01: add by m2/v0.6.13
Centrally closed subgroup J7GAYG3VFX
| URI | m2://inv/J7GAYG3VFX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centrally closed subgroup, Centrally closed subgroup (definition). Also Wikidata Q5062197
History
- 2026-11-02: add by m2/dev
⟗ J7GB2EZEDF
| URI | m2://inv/J7GB2EZEDF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relational algebra#Y0FC, ⟗ (unknown)
History
- 2026-11-02: add by m2/dev
J7GD9WY54E J7GD9WY54E
| URI | m2://inv/J7GD9WY54E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35396#7W7U (definition). In 51N4SF53EV/e1, definition 2.4
History
- 2026-10-30: add by m2/v0.4.12
Theorem C (groups) J7GFXF3F8N
| URI | m2://inv/J7GFXF3F8N |
|---|---|
| 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 Isomorphism theorems#0DQX, Theorem C (groups) (statement)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Helmut Hasse J7GG6J37EW
| URI | m2://inv/J7GG6J37EW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#I7T7, Helmut Hasse (topic)
History
- 2026-11-02: add by m2/dev
Compact resolvent and Fredholm property J7GKR222MY
| URI | m2://inv/J7GKR222MY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03745#G3TN, Compact resolvent and Fredholm property (statement). In YWXVX6AX8F/e1, theorem 7.3
History
- 2026-10-29: add by m2/v0.4.12
J7H1605DHA J7H1605DHA
| URI | m2://inv/J7H1605DHA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10474#5M8L (statement). In MB29RAAQMG/e1, proposition 3.6
History
- 2026-10-29: add by m2/v0.4.10
Synergetics coordinates J7H1N4DQDP
| URI | m2://inv/J7H1N4DQDP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17103876, Synergetics coordinates (concept). Also MathWorld SynergeticsCoordinates
History
- 2026-10-26: add by m2/dev
J7H3MT360Z J7H3MT360Z
| URI | m2://inv/J7H3MT360Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20131#SJ2S (definition). In 29D4TTE3J2/e1, definition 10.2
History
- 2026-10-27: add by m2/v0.4.2
Twenty Mile Stand, Ohio J7H4GA6JG3
| URI | m2://inv/J7H4GA6JG3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#2PEX, Twenty Mile Stand, Ohio (unknown)
History
- 2026-11-02: add by m2/dev
J. H. C. Whitehead J7H8GC87F7
| URI | m2://inv/J7H8GC87F7 |
|---|---|
| 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#BDCV, J. H. C. Whitehead (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#V469, J. H. C. Whitehead (topic)
History
- 2026-11-02: add by m2/dev
cellular J7HAWBBHKN
| URI | m2://inv/J7HAWBBHKN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#X5KB, cellular (definition)
History
- 2026-11-02: add by m2/dev
Barnard's test J7HCZ30MFH
| URI | m2://inv/J7HCZ30MFH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barnard's test, Barnard's test (definition). Also Wikidata Q17004680
History
- 2026-11-02: add by m2/dev
Jeffery–Williams Prize J7HDZM6YMY
| URI | m2://inv/J7HDZM6YMY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jeffery–Williams Prize, Jeffery–Williams Prize (definition). Also Wikidata Q2815287
History
- 2026-11-02: add by m2/dev
J7HJC2CZGD J7HJC2CZGD
| URI | m2://inv/J7HJC2CZGD |
|---|---|
| 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 2011.14561#4YCJ (statement). In V2XJJJX1Z8/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.3.5
Dexter Kozen J7HK2TTXRX
| URI | m2://inv/J7HK2TTXRX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YCW5, Dexter Kozen (unknown)
History
- 2026-11-02: add by m2/dev
J7HT0XATEG J7HT0XATEG
| URI | m2://inv/J7HT0XATEG |
|---|---|
| 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.26769#LW73 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Les Deux Frères J7HZBEXXVZ
| URI | m2://inv/J7HZBEXXVZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#6NWH, Les Deux Frères (unknown)
History
- 2026-11-02: add by m2/dev
Increment variance J7HZDWXZE6
| URI | m2://inv/J7HZDWXZE6 |
|---|---|
| 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.00453#IYS3, Increment variance (statement). In ESPJMBH2R2/e1, lemma 2.6
History
- 2026-10-30: add by m2/v0.4.12
Bishop–Gromov inequality J7J3YQYKFA
| URI | m2://inv/J7J3YQYKFA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#4VU1, Bishop–Gromov inequality (statement)
History
- 2026-11-02: add by m2/dev
J7JFC5RX5B J7JFC5RX5B
| URI | m2://inv/J7JFC5RX5B |
|---|---|
| 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 2504.14383#T5KX (statement). In QD0X3XJS6T/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
J7JRDNPBQ1 J7JRDNPBQ1
| URI | m2://inv/J7JRDNPBQ1 |
|---|---|
| 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#6F00 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Epoch and block counts J7JSRTHNHG
| URI | m2://inv/J7JSRTHNHG |
|---|---|
| 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.14988#FFP7, Epoch and block counts (statement). In B29M4E6KGC/e1, lemma H.16
History
- 2026-10-28: add by m2/v0.4.2
Duhamel's principle J7K1V078QG
| URI | m2://inv/J7K1V078QG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wave equation#76JF, Duhamel's principle (statement)
History
- 2026-11-02: add by m2/dev
J7K2VD61A6 J7K2VD61A6
| URI | m2://inv/J7K2VD61A6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20513#5L8A (statement)
History
- 2026-11-02: add by m2/v0.6.18
J7KBMW89H1 J7KBMW89H1
| URI | m2://inv/J7KBMW89H1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40123#X78B (statement). In WK2YHYEDZ9/e1, proposition 5.4
History
- 2026-10-30: add by m2/v0.4.12
Endoreversible thermodynamics J7KC91Q67B
| URI | m2://inv/J7KC91Q67B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Endoreversible thermodynamics, Endoreversible thermodynamics (definition). Also Wikidata Q5376394
History
- 2026-11-02: add by m2/dev
J7KD86XDVB J7KD86XDVB
| URI | m2://inv/J7KD86XDVB |
|---|---|
| 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 2411.17227#UGYQ (statement). In DDNP38CHQJ/e1, lemma 7.6
History
- 2026-10-27: add by m2/v0.3.5
Correction-depth character linearization J7KFE358K6
| URI | m2://inv/J7KFE358K6 |
|---|---|
| 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.10583#8FZI, Correction-depth character linearization (statement). In 5BZQS1KY9A/e1, proposition 9.12
History
- 2026-10-29: add by m2/v0.4.10
Examples J7KGFSD5EB
| URI | m2://inv/J7KGFSD5EB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simplicial polytope#D1Z6, Examples (example)
History
- 2026-11-02: add by m2/dev
J7KMXHRMAM J7KMXHRMAM
| URI | m2://inv/J7KMXHRMAM |
|---|---|
| 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.28374#JE2X (statement)
History
- 2026-11-01: add by m2/v0.6.15
J7KN679BXD J7KN679BXD
| URI | m2://inv/J7KN679BXD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/machines-computations/halting-states.tex#ex-1 (example). In PKGMM3P5QY, ex, section 85.6
History
- 2026-11-01: add by m2/v0.6.13
Keith Bullen J7M2PW2RY7
| URI | m2://inv/J7M2PW2RY7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Keith Bullen (mathematician), Keith Bullen (topic). Also Wikidata Q1361292
History
- 2026-11-02: add by m2/dev
Martin Stokhof J7M8C07YQG
| URI | m2://inv/J7M8C07YQG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#5EVW, Martin Stokhof (topic)
History
- 2026-11-02: add by m2/dev
J7MDVHFQE5 J7MDVHFQE5
| URI | m2://inv/J7MDVHFQE5 |
|---|---|
| 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.05784#GZJC (statement). In 6NVP3YRWVA/e1, corollary 4.18
History
- 2026-10-29: add by m2/v0.4.10
J7MRHRXJTP J7MRHRXJTP
| URI | m2://inv/J7MRHRXJTP |
|---|---|
| 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.23526#QSS0 (statement)
History
- 2026-11-02: add by m2/v0.6.17
J7MT57ER28 J7MT57ER28
| URI | m2://inv/J7MT57ER28 |
|---|---|
| Kind | example |
| 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#GXKD (example)
History
- 2026-11-01: add by m2/v0.6.15
J7N15EKW37 J7N15EKW37
| URI | m2://inv/J7N15EKW37 |
|---|---|
| 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.28203#7THZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hyperuniformity test J7N1D2VG4X
| URI | m2://inv/J7N1D2VG4X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27961#DED5, Hyperuniformity test (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mark Stern J7N22WQJH3
| URI | m2://inv/J7N22WQJH3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mark Stern, Mark Stern (topic). Also Wikidata Q24332655
History
- 2026-11-02: add by m2/dev
Developable roller J7N2G7JVTA
| URI | m2://inv/J7N2G7JVTA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of surfaces#R18Q, Developable roller (definition)
History
- 2026-11-02: add by m2/dev
J7N6GZZS8V J7N6GZZS8V
| URI | m2://inv/J7N6GZZS8V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.28289#2C5K (statement)
History
- 2026-11-01: add by m2/v0.6.15
J7ND4TBK0H J7ND4TBK0H
| URI | m2://inv/J7ND4TBK0H |
|---|---|
| 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.35404#641U (statement). In DH84PYVRCF/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Pavel Urysohn J7NDYAJ626
| URI | m2://inv/J7NDYAJ626 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#NLSH, Pavel Urysohn (topic)
History
- 2026-11-02: add by m2/dev
J7NEDK25J0 J7NEDK25J0
| URI | m2://inv/J7NEDK25J0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#exercise-1 (exercise). In Y91XFCEVHQ, exercise, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
Multilevel model J7NSVGZAPK
| URI | m2://inv/J7NSVGZAPK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multilevel model, Multilevel model (definition). Also Wikidata Q374758
History
- 2026-11-02: add by m2/dev
Oracle rejection sampler J7P1QMQ2M9
| URI | m2://inv/J7P1QMQ2M9 |
|---|---|
| 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.31607#Z7D2, Oracle rejection sampler (definition). In H9X9WZ17TT/e1, definition 21
History
- 2026-10-31: add by m2/v0.5.6
J7PACBFD55 J7PACBFD55
| URI | m2://inv/J7PACBFD55 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07741#GRDE (statement). In K4YV2SF9MG/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Example J7PBMDJMDK
| URI | m2://inv/J7PBMDJMDK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Householder transformation#WQE1, Example (example)
History
- 2026-11-02: add by m2/dev
J7PGZ24NYW J7PGZ24NYW
| URI | m2://inv/J7PGZ24NYW |
|---|---|
| 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.13392#PF0D (statement). In 2FVND41HVS/e1, lemma 5.7
History
- 2026-10-28: add by m2/v0.4.2
J7PMW1KNA9 J7PMW1KNA9
| URI | m2://inv/J7PMW1KNA9 |
|---|---|
| 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.32903#T79W (statement). In S8NB83KQX3/e1, lemma 22
History
- 2026-10-31: add by m2/v0.5.6
Joseph A. Wolf J7PVXKGZAA
| URI | m2://inv/J7PVXKGZAA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph A. Wolf, Joseph A. Wolf (topic). Also Wikidata Q15235731
History
- 2026-11-02: add by m2/dev
J7PY9N81AX J7PY9N81AX
| URI | m2://inv/J7PY9N81AX |
|---|---|
| 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.01818#CBZ7 (statement). In DA31J9XJ4J/e1, lemma A.2
History
- 2026-10-29: add by m2/v0.4.12
William Rowan Hamilton J7PYBAT448
| URI | m2://inv/J7PYBAT448 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#NDNI, William Rowan Hamilton (topic)
History
- 2026-11-02: add by m2/dev
Weyl connection J7PYT8R21Q
| URI | m2://inv/J7PYT8R21Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl connection, Weyl connection (definition). Also Wikidata Q123144203
History
- 2026-11-02: add by m2/dev
J7Q535NW0E J7Q535NW0E
| URI | m2://inv/J7Q535NW0E |
|---|---|
| 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.02993#W9WM (statement). In TJH58FRGEN/e1, lemma 8.19
History
- 2026-10-29: add by m2/v0.4.12
J7Q7S8Y0MX J7Q7S8Y0MX
| URI | m2://inv/J7Q7S8Y0MX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36306#14LB (definition). In NHQEAVMJE1/e1, definition 6
History
- 2026-10-30: add by m2/v0.4.12
Birmingham Statistical Society J7Q8J45VEK
| URI | m2://inv/J7Q8J45VEK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birmingham Statistical Society, Birmingham Statistical Society (definition). Also Wikidata Q16842328
History
- 2026-11-02: add by m2/dev
J7Q8K4DC1A J7Q8K4DC1A
| URI | m2://inv/J7Q8K4DC1A |
|---|---|
| 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.14458#5OD5 (statement). In WJ76MVYAZQ/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Transmission line J7QF2VSH3D
| URI | m2://inv/J7QF2VSH3D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transmission line, Transmission line (definition). Also Wikidata Q693004
History
- 2026-11-02: add by m2/dev
Rama Cont J7QKWDHQM9
| URI | m2://inv/J7QKWDHQM9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#6RFV, Rama Cont (topic)
History
- 2026-11-02: add by m2/dev
J7QW5JGZM4 J7QW5JGZM4
| URI | m2://inv/J7QW5JGZM4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32077#C3SD (definition). In WYXQDSQR9B/e1, definition 2.1
History
- 2026-10-31: add by m2/v0.5.6
J7R09RWWQN J7R09RWWQN
| URI | m2://inv/J7R09RWWQN |
|---|---|
| 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.20140#49X4 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Circular layout J7R17XEWPJ
| URI | m2://inv/J7R17XEWPJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17007886, Circular layout (unknown). Also MathWorld CircularEmbedding
- wikipedia: Wikipedia Circular layout, Circular layout (definition). Also Wikidata Q17007886
History
- 2026-10-26: add by m2/dev
Dmitry Kaledin J7R1T1C5GE
| URI | m2://inv/J7R1T1C5GE |
|---|---|
| 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 Q18228251, Dmitry Kaledin (unknown). Also nLab Dmitry Kaledin
History
- 2026-10-26: add by m2/dev
Rudolf Schauffler J7R9XCX9M6
| URI | m2://inv/J7R9XCX9M6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rudolf Schauffler, Rudolf Schauffler (topic). Also Wikidata Q70484311
History
- 2026-11-02: add by m2/dev
Global linear rate from a phase-energy certificate J7RGK19P9H
| URI | m2://inv/J7RGK19P9H |
|---|---|
| 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.09356#LQAY, Global linear rate from a phase-energy certificate (statement). In 3VVGPXWH6R/e1, theorem 5.2
History
- 2026-10-29: add by m2/v0.4.10
J7RMRB03N5 J7RMRB03N5
| URI | m2://inv/J7RMRB03N5 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard Model#5G43 (problem)
History
- 2026-11-02: add by m2/dev
Cook–Levin theorem J7RP2A1T5S
| URI | m2://inv/J7RP2A1T5S |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q377276, Cook's theorem (statement). Also Wikidata Q377276
- thousand_plus: thousand_plus Q377276, Cook's theorem (statement). Also Wikidata Q377276, Wikipedia Cook's theorem
- wikipedia: Wikipedia Cook–Levin theorem, Cook–Levin theorem (statement). Also Wikidata Q377276
History
- 2026-10-26: add by m2/dev
Stationary representatives and critical functions J7RSSQVCW4
| URI | m2://inv/J7RSSQVCW4 |
|---|---|
| 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 2609.30301#2W59, Stationary representatives and critical functions (definition). In 7NS75J7HAM/e1, definition 4.1
History
- 2026-10-31: add by m2/v0.5.6
Covering sieve J7RV4NE4PY
| URI | m2://inv/J7RV4NE4PY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sieve (category theory)#5HGB, Covering sieve (unknown)
History
- 2026-11-02: add by m2/dev
J7S0VMWR13 J7S0VMWR13
| URI | m2://inv/J7S0VMWR13 |
|---|---|
| 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-93 (exercise). In E9HS8K3A52, exercise, section 4.6.1
History
- 2026-11-01: add by m2/v0.6.13
Historian's fallacy J7S2BHD66C
| URI | m2://inv/J7S2BHD66C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Historian's fallacy, Historian's fallacy (definition). Also Wikidata Q2917166
History
- 2026-11-02: add by m2/dev
J7S2PR3R2R J7S2PR3R2R
| URI | m2://inv/J7S2PR3R2R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26417#JPC8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Alexander polynomial J7S616NR80
| URI | m2://inv/J7S616NR80 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#QAEC, Alexander polynomial (definition)
History
- 2026-11-02: add by m2/dev
J7S6RSDGNW J7S6RSDGNW
| URI | m2://inv/J7S6RSDGNW |
|---|---|
| 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.26600#YBG8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Weighted additive fits J7SA33HV9Y
| URI | m2://inv/J7SA33HV9Y |
|---|---|
| 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#H7P2, Weighted additive fits (statement). In 9D2N76AJAT/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
Inverse Mills ratio J7SB034SWS
| URI | m2://inv/J7SB034SWS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mills ratio#C3LH, Inverse Mills ratio (unknown)
History
- 2026-11-02: add by m2/dev
Kirkwood approximation J7SV69XF5X
| URI | m2://inv/J7SV69XF5X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#AH0R, Kirkwood approximation (definition)
History
- 2026-11-02: add by m2/dev
J7T44EMVJW J7T44EMVJW
| URI | m2://inv/J7T44EMVJW |
|---|---|
| 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.12054#W1ST (statement). In 1A01NFHBGA/e1, proposition 1.17
History
- 2026-10-28: add by m2/v0.4.3
Sobolev space via post-composition J7T5H467Z1
| URI | m2://inv/J7T5H467Z1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.04317#E4J1, Sobolev space via post-composition (definition). In 49V3ANDZTY/e1, definition 6.1
History
- 2026-10-27: add by m2/v0.3.5
J7TA9ZFK59 J7TA9ZFK59
| URI | m2://inv/J7TA9ZFK59 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/FiniteSets.tex#thm:finiteSetsSameCardinality (statement). In P1C114YBXG, theorem, section B
History
- 2026-11-01: add by m2/v0.6.13
Examples J7TC4F49ZC
| URI | m2://inv/J7TC4F49ZC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Residue (complex analysis)#2KRT, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties J7TDXNGV5W
| URI | m2://inv/J7TDXNGV5W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary matrix#AB10, Properties (statement)
History
- 2026-11-02: add by m2/dev
Factor analysis J7TF1KQHMJ
| URI | m2://inv/J7TF1KQHMJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GZ2E, Factor analysis (definition)
History
- 2026-11-02: add by m2/dev
J7TF1VKQ0N J7TF1VKQ0N
| URI | m2://inv/J7TF1VKQ0N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.22082#DGCS (statement). In 7PACGDW3N7/e1, corollary 4.1
History
- 2026-10-27: add by m2/v0.4.0
Definition of a diffiety J7TG8ZW0NW
| URI | m2://inv/J7TG8ZW0NW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diffiety#D8UI, Definition of a diffiety (definition)
History
- 2026-11-02: add by m2/dev
challenging J7TKPRXXRY
| URI | m2://inv/J7TKPRXXRY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-65, challenging (exercise). In E9HS8K3A52, exercise, section 10.6.4
History
- 2026-11-01: add by m2/v0.6.13
J7TNZW7NRV J7TNZW7NRV
| URI | m2://inv/J7TNZW7NRV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20656#OPA8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
J7TXG4B5W9 J7TXG4B5W9
| URI | m2://inv/J7TXG4B5W9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#G8H0 (statement). In 7MVPNFPRKB/e1, theorem 15.2
History
- 2026-10-30: add by m2/v0.4.12
J7V071VBTQ J7V071VBTQ
| URI | m2://inv/J7V071VBTQ |
|---|---|
| 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 2610.08039#NDAW (statement). In Y1K8WE4MDP/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
Results J7V5ZY81K3
| URI | m2://inv/J7V5ZY81K3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stonewall Workplace Equality Index#5C42, Results (statement)
History
- 2026-11-02: add by m2/dev
J7V765F6E5 J7V765F6E5
| URI | m2://inv/J7V765F6E5 |
|---|---|
| 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.13670#49FM (statement). In 4PGTZ19B26/e1, lemma 6.4
History
- 2026-10-28: add by m2/v0.4.2
J7V7YVX4KR J7V7YVX4KR
| URI | m2://inv/J7V7YVX4KR |
|---|---|
| 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.32140#HMF7 (statement). In 96Z8GEEFH4/e1, theorem 1.1
History
- 2026-10-31: add by m2/v0.5.6
J7VA7RAXW3 J7VA7RAXW3
| URI | m2://inv/J7VA7RAXW3 |
|---|---|
| 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 2602.03058#DXO6 (statement). In XQ0ZXH8KAC/e1, lemma 15
History
- 2026-10-27: add by m2/v0.3.5
Haar integral J7VB72HTKY
| URI | m2://inv/J7VB72HTKY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haar measure#GBNE, Haar integral (unknown)
History
- 2026-11-02: add by m2/dev
Ihara zeta function J7VBJF8T92
| URI | m2://inv/J7VBJF8T92 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of zeta functions#E663, Ihara zeta function (definition)
History
- 2026-11-02: add by m2/dev
A generalization J7VE40BTHM
| URI | m2://inv/J7VE40BTHM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Mordell inequality#68U4, A generalization (statement)
History
- 2026-11-02: add by m2/dev
Robbins CLT J7VRCBY08N
| URI | m2://inv/J7VRCBY08N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central limit theorem#MID4, Robbins CLT (statement)
History
- 2026-11-02: add by m2/dev
nonlinear equation J7VS0V6G8X
| URI | m2://inv/J7VS0V6G8X |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.9/nonlinear-equation, nonlinear equation (concept). In E9HS8K3A52, index, section 6.9
History
- 2026-11-01: add by m2/v0.6.13
bilinear form J7VT962JES
| URI | m2://inv/J7VT962JES |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 16-XX |
| Sources | 3 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Bilinear form 0SQZMXB6GP |
Mentions
- arxiv: arXiv 2610.12489#0IFH, Bilinear form (definition). In FDWFVD08SE/e1, definition 2.7
- wikidata: Wikidata Q837924, bilinear form (definition). Also EoM Bilinear_form, MathWorld BilinearForm, nLab bilinear form, ProofWiki Definition:Bilinear_Form
- wikipedia: Wikipedia Bilinear form, Bilinear form (definition). Also Wikidata Q837924
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
- 2026-10-31: merge by m2/v0.5.6
J7VTKS0NK7 J7VTKS0NK7
| URI | m2://inv/J7VTKS0NK7 |
|---|---|
| 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 0903.1569#B2MN (statement). In ZM7WZ2A9H2/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.3.5
J7VVZQ75ZT J7VVZQ75ZT
| URI | m2://inv/J7VVZQ75ZT |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 03-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 2609.25495#F354 (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Conditional forward invariance J7VWJRKP8Q
| URI | m2://inv/J7VWJRKP8Q |
|---|---|
| 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.21580#4J50, Conditional forward invariance (statement)
History
- 2026-11-02: add by m2/v0.6.18
J7W1YG1MYT J7W1YG1MYT
| URI | m2://inv/J7W1YG1MYT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.35001#W0H4 (statement). In 1PN6NESQER/e1, lemma 2.9
History
- 2026-10-30: add by m2/v0.4.12
Normalization of the integrability hypotheses J7W5S5M449
| URI | m2://inv/J7W5S5M449 |
|---|---|
| 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.14065#VY1U, Normalization of the integrability hypotheses (statement). In PV7V3X78JH/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
J7W99X5KH3 J7W99X5KH3
| URI | m2://inv/J7W99X5KH3 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05194#3D0T (problem). In 77R8YQ16JH/e1, problem 2.1
History
- 2026-10-29: add by m2/v0.4.10
J7WGD93KQ0 J7WGD93KQ0
| URI | m2://inv/J7WGD93KQ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.22882#Q8E4 (statement). In YNE0Q2X61Y/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
root mean square J7WHXVWKCG
| URI | m2://inv/J7WHXVWKCG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q223323, root mean square (unknown). Also MathWorld Root-Mean-Square
- wikipedia: Wikipedia Root mean square, Root mean square (definition). Also Wikidata Q223323
History
- 2026-10-26: add by m2/dev
Bailey, Rosemary A. J7WS625GQB
| URI | m2://inv/J7WS625GQB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#8MV2, Bailey, Rosemary A. (topic)
History
- 2026-11-02: add by m2/dev
Uniform properties of the auxiliary family J7WW40F4MC
| URI | m2://inv/J7WW40F4MC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37615#KV8L, Uniform properties of the auxiliary family (statement). In T2B54J7121/e1, lemma 4.7
History
- 2026-10-30: add by m2/v0.4.12
Sylvester expansion J7WXK7PNWN
| URI | m2://inv/J7WXK7PNWN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after James Joseph Sylvester#CNY4, Sylvester expansion (definition)
History
- 2026-11-02: add by m2/dev
Anna C. Gilbert J7X312ZSMH
| URI | m2://inv/J7X312ZSMH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anna C. Gilbert, Anna C. Gilbert (topic). Also Wikidata Q21823364
History
- 2026-11-02: add by m2/dev
J7X3552NZF J7X3552NZF
| URI | m2://inv/J7X3552NZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20513#0RI9 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Albert Pighius J7X6016N65
| URI | m2://inv/J7X6016N65 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Albert Pighius, Albert Pighius (topic). Also Wikidata Q2361366
History
- 2026-11-02: add by m2/dev
J7X97G4JFT J7X97G4JFT
| URI | m2://inv/J7X97G4JFT |
|---|---|
| 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 1909.03896#1U6L (statement). In CX9RVPQVBM/e1, lemma 15
History
- 2026-10-27: add by m2/v0.3.5
J7XAF8C8J4 J7XAF8C8J4
| URI | m2://inv/J7XAF8C8J4 |
|---|---|
| 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.03719#ZLC7 (statement). In 8MDK189ZMB/e1, proposition 3.9
History
- 2026-10-29: add by m2/v0.4.12
Danny Everett J7XCPBMZ37
| URI | m2://inv/J7XCPBMZ37 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#XJT2, Danny Everett (unknown)
History
- 2026-11-02: add by m2/dev
John E. Freund J7XJ3Q6NTM
| URI | m2://inv/J7XJ3Q6NTM |
|---|---|
| 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#QLLV, John E. Freund (topic)
History
- 2026-11-02: add by m2/dev
J7XRFENTEM J7XRFENTEM
| URI | m2://inv/J7XRFENTEM |
|---|---|
| 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.21963#W2JZ (statement). In HR9R8RPKN8/e1, lemma 5.5
History
- 2026-10-27: add by m2/v0.4.2
Johann Rafelski J7XYN4D8WH
| URI | m2://inv/J7XYN4D8WH |
|---|---|
| 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 Q119499, Johann Rafelski (unknown). Also nLab Johann Rafelski
History
- 2026-10-26: add by m2/dev
J7YBRJC6J6 J7YBRJC6J6
| URI | m2://inv/J7YBRJC6J6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/normal-logics.tex#defn-3 (definition). In PKGMM3P5QY, defn, section 50.7
History
- 2026-11-01: add by m2/v0.6.13
clique-width J7YD5KH2DE
| URI | m2://inv/J7YD5KH2DE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#K531, clique-width (definition)
History
- 2026-11-02: add by m2/dev
J7Z4F7N02X J7Z4F7N02X
| URI | m2://inv/J7Z4F7N02X |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-42 (exercise). In E9HS8K3A52, exercise, section 6.3.3
History
- 2026-11-01: add by m2/v0.6.13
J7ZGV9ZPWQ J7ZGV9ZPWQ
| URI | m2://inv/J7ZGV9ZPWQ |
|---|---|
| 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 2506.16491#BFV5 (definition). In P9J6P06Y40/e1, definition 5.5
History
- 2026-10-27: add by m2/v0.3.5
J7ZP7756YX J7ZP7756YX
| URI | m2://inv/J7ZP7756YX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#JW3Y (definition)
History
- 2026-11-02: add by m2/v0.6.18
Finite subdivision rule J7ZVQCHJJ5
| URI | m2://inv/J7ZVQCHJJ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite subdivision rule, Finite subdivision rule (definition). Also Wikidata Q5450407
History
- 2026-11-02: add by m2/dev
J7ZWBEZ0ZQ J7ZWBEZ0ZQ
| URI | m2://inv/J7ZWBEZ0ZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-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.10591#HCG9 (statement). In FTEA0TM35J/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.10
Endpoint normal product law J7ZXMGV7Y4
| URI | m2://inv/J7ZXMGV7Y4 |
|---|---|
| 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.24481#IPLG, Endpoint normal product law (statement)
History
- 2026-11-01: add by m2/v0.6.15
J7ZZN5R4R0 J7ZZN5R4R0
| URI | m2://inv/J7ZZN5R4R0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07401#XQCN (statement). In FQ5435B36D/e1, theorem 5.3
History
- 2026-10-29: add by m2/v0.4.10