Inventory rows JN
The cards of the rows of the inventory whose ids start with JN. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
JN07BMDM7S JN07BMDM7S
| URI | m2://inv/JN07BMDM7S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28211#QLA4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
JN09YTN0RA JN09YTN0RA
| URI | m2://inv/JN09YTN0RA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20316#4GOX (definition). In YRJS76169Z/e1, definition 4.3
History
- 2026-10-27: add by m2/v0.4.2
JN0D02G557 JN0D02G557
| URI | m2://inv/JN0D02G557 |
|---|---|
| Kind | conjecture |
| 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.13295#1ROG (conjecture). In 8Q7QXTWD0S/e1, conjecture 5.4
History
- 2026-10-28: add by m2/v0.4.2
Minimum empirical rate stability JN0EGBX081
| URI | m2://inv/JN0EGBX081 |
|---|---|
| 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.10640#5BHV, Minimum empirical rate stability (statement). In BAQVK6N0RD/e1, lemma 16
History
- 2026-10-29: add by m2/v0.4.10
Generalizations JN0JC71XVZ
| URI | m2://inv/JN0JC71XVZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factoriangular number#7XKZ, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Properties JN0MQJPA2P
| URI | m2://inv/JN0MQJPA2P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sheffer sequence#5BIJ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Lemma JN0NPXMMK3
| URI | m2://inv/JN0NPXMMK3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Landau kernel#6JP8, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Applications JN0P8THS42
| URI | m2://inv/JN0P8THS42 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luce's choice axiom#8UGT, Applications (example)
History
- 2026-11-02: add by m2/dev
JN0PWMCN5C JN0PWMCN5C
| URI | m2://inv/JN0PWMCN5C |
|---|---|
| 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.15313#JEIO (statement). In KWKY1CWG1Z/e1, corollary 4.5
History
- 2026-10-28: add by m2/v0.4.2
Central datum in positive genus JN0R5TEM8A
| URI | m2://inv/JN0R5TEM8A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20572#SKLT, Central datum in positive genus (statement)
History
- 2026-11-02: add by m2/v0.6.18
JN0S56HBGE JN0S56HBGE
| URI | m2://inv/JN0S56HBGE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09390#A1VU (statement). In 7SSKW778T8/e1, corollary 7.4
History
- 2026-10-29: add by m2/v0.4.10
JN0S88VG8Y JN0S88VG8Y
| URI | m2://inv/JN0S88VG8Y |
|---|---|
| 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 0807.1620#1XWZ (statement). In 2AREGC7WB6/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
Uniqueness from agreement on open sets JN0SX69DBQ
| URI | m2://inv/JN0SX69DBQ |
|---|---|
| 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#8Y9M, Uniqueness from agreement on open sets (statement)
History
- 2026-11-02: add by m2/v0.6.18
Spectral width JN0X9JFDT5
| URI | m2://inv/JN0X9JFDT5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral width, Spectral width (definition). Also Wikidata Q3217909
History
- 2026-11-02: add by m2/dev
Example JN107RZDP5
| URI | m2://inv/JN107RZDP5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic coding#Y37V, Example (example)
History
- 2026-11-02: add by m2/dev
JN12NVT5AE JN12NVT5AE
| URI | m2://inv/JN12NVT5AE |
|---|---|
| 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.33682#QH2H (statement). In GN608RC9ES/e1, theorem 4.7
History
- 2026-10-30: add by m2/v0.4.12
JN15V0QY8B JN15V0QY8B
| URI | m2://inv/JN15V0QY8B |
|---|---|
| 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.36113#XD5B (statement). In FSGSVD0XYH/e1, corollary 19
History
- 2026-10-30: add by m2/v0.4.12
JN1GS3HPXA JN1GS3HPXA
| URI | m2://inv/JN1GS3HPXA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14837#T68L (statement). In J4P6HXMJCH/e1, proposition 5.4
History
- 2026-10-28: add by m2/v0.4.2
JN1N90XSFB JN1N90XSFB
| URI | m2://inv/JN1N90XSFB |
|---|---|
| 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.27641#EJE5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
JN1NKZ51D4 JN1NKZ51D4
| URI | m2://inv/JN1NKZ51D4 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27931#PPWW (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
algebraic equation JN2BBTDA3X
| URI | m2://inv/JN2BBTDA3X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q50698, algebraic equation (unknown). Also EoM Algebraic_equation, MathWorld AlgebraicEquation, nLab algebraic equation
- wikipedia: Wikipedia Algebraic equation, Algebraic equation (definition). Also Wikidata Q50698
History
- 2026-10-26: add by m2/dev
JN31GYCAPH JN31GYCAPH
| URI | m2://inv/JN31GYCAPH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-23 (exercise). In E59CDZA4DP, exercise, section 8.3.4
History
- 2026-11-01: add by m2/v0.6.13
Infinite polytope JN3B68MNF5
| URI | m2://inv/JN3B68MNF5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular polytope#QZRF, Infinite polytope (unknown)
History
- 2026-11-02: add by m2/dev
Uniformiser JN3BZGNTAD
| URI | m2://inv/JN3BZGNTAD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete valuation ring#57BI, Uniformiser (unknown)
History
- 2026-11-02: add by m2/dev
PL/I JN3CP0GV6Z
| URI | m2://inv/JN3CP0GV6Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q223433, PL/I (unknown). Also EoM PL/I
History
- 2026-10-26: add by m2/dev
Posterior and Evidence at Finite $L$ JN3E932RMR
| URI | m2://inv/JN3E932RMR |
|---|---|
| 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 2212.14457#RC1N, Posterior and Evidence at Finite $L$ (statement). In PNRHHWGHM2/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.6
Sidor Belarsky JN3EJTTSNT
| URI | m2://inv/JN3EJTTSNT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#ZWUE, Sidor Belarsky (unknown)
History
- 2026-11-02: add by m2/dev
JN3PXR7AQG JN3PXR7AQG
| URI | m2://inv/JN3PXR7AQG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-trees.ptx#exercise-7 (exercise). In Y91XFCEVHQ, exercise, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
Icosagon JN3QPS96TP
| URI | m2://inv/JN3QPS96TP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#MVVA, Icosagon (definition)
History
- 2026-11-02: add by m2/dev
JN3RVPE7T3 JN3RVPE7T3
| URI | m2://inv/JN3RVPE7T3 |
|---|---|
| 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.18358#H79C (statement). In SPZ446XNDW/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
JN3SK3XM8Y JN3SK3XM8Y
| URI | m2://inv/JN3SK3XM8Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07280#BMGA (statement). In 1FJKW4WGEN/e1, theorem 3.4
History
- 2026-10-29: add by m2/v0.4.10
Alexandru Zaharescu JN3XH92F9J
| URI | m2://inv/JN3XH92F9J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#1OXV, Alexandru Zaharescu (topic)
History
- 2026-11-02: add by m2/dev
JN3ZSJ0JZB JN3ZSJ0JZB
| URI | m2://inv/JN3ZSJ0JZB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2305.10921#CUVT (example). In PD5PJ0EYG6/e1, example 3.2
History
- 2026-10-27: add by m2/v0.3.5
Technometrics JN454Q3QZY
| URI | m2://inv/JN454Q3QZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Technometrics, Technometrics (definition). Also Wikidata Q7692636
History
- 2026-11-02: add by m2/dev
Combinatorial modelling JN45C0ME34
| URI | m2://inv/JN45C0ME34 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorial modelling, Combinatorial modelling (definition). Also Wikidata Q65046122
History
- 2026-11-02: add by m2/dev
Exact permutation covariance JN4ACF8F38
| URI | m2://inv/JN4ACF8F38 |
|---|---|
| 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.14081#IBDA, Exact permutation covariance (statement). In DCCKKQ7Y21/e1, theorem VI.1
History
- 2026-10-28: add by m2/v0.4.2
JN4F10W1AZ JN4F10W1AZ
| URI | m2://inv/JN4F10W1AZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37815#X4PN (definition). In SVJYA0171G/e1, definition 4.7
History
- 2026-10-30: add by m2/v0.4.12
Non-linear inverse problems JN4M5GF6QX
| URI | m2://inv/JN4M5GF6QX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse problem#RYMU, Non-linear inverse problems (unknown)
History
- 2026-11-02: add by m2/dev
Theorem JN4PVB2K71
| URI | m2://inv/JN4PVB2K71 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Green's theorem#SK1R, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Rellich JN4QF71W5T
| URI | m2://inv/JN4QF71W5T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#XOBY, Rellich (definition)
History
- 2026-11-02: add by m2/dev
Exact shifted expectation JN4TQ8ENX1
| URI | m2://inv/JN4TQ8ENX1 |
|---|---|
| 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.02436#TLN3, Exact shifted expectation (statement). In J9WZBK6KAY/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
JN4WWY8CFH JN4WWY8CFH
| URI | m2://inv/JN4WWY8CFH |
|---|---|
| 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 2609.37761#SN68 (statement). In 4TAQ65KZKN/e1, proposition 3.6
History
- 2026-10-30: add by m2/v0.4.12
JN4WZAGBGC JN4WZAGBGC
| URI | m2://inv/JN4WZAGBGC |
|---|---|
| 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.20285#N2V0 (statement). In RQA728RB77/e1, lemma 5
History
- 2026-10-27: add by m2/v0.4.2
Lovász Local Lemma (Symmetric) JN51ND23MK
| URI | m2://inv/JN51ND23MK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_kitchensink_lovasz-local.ptx#lem_LLL-sym, Lovász Local Lemma (Symmetric) (statement). In QKM9DD2H56, lemma, section 16.7
History
- 2026-11-01: add by m2/v0.6.13
sum of subspaces JN56MBD6F4
| URI | m2://inv/JN56MBD6F4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Sum of subspaces 0JMTY8MF54 |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Fundamentals > sum of subspaces, sum of subspaces (unknown). Also Mathlib Submodule.completeLattice
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
JN57ETW6C8 JN57ETW6C8
| URI | m2://inv/JN57ETW6C8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#exercise-6 (exercise). In RZP28ERRZV, exercise, section 9.9.2
History
- 2026-11-01: add by m2/v0.6.13
G\aa rding and ideal G\aa rding elliptic operators JN599RVW86
| URI | m2://inv/JN599RVW86 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15434#C6N1, G\aa rding and ideal G\aa rding elliptic operators (definition). In PWF23QSGDX/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Definition 2 JN5GCHRMHV
| URI | m2://inv/JN5GCHRMHV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Series–parallel graph#0MUM, Definition 2 (definition)
History
- 2026-11-02: add by m2/dev
JN5H5WB18Y JN5H5WB18Y
| URI | m2://inv/JN5H5WB18Y |
|---|---|
| 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 2409.03730#BATJ (statement). In ADEX39KM1T/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.4.0
Properties JN5TNSWWM0
| URI | m2://inv/JN5TNSWWM0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bézier curve#W4X6, Properties (statement)
History
- 2026-11-02: add by m2/dev
JN5V0PJPCR JN5V0PJPCR
| URI | m2://inv/JN5V0PJPCR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.16580#36YF (statement). In MQPBZX4DR6/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
Symmetry JN64K88VHS
| URI | m2://inv/JN64K88VHS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#CX18, Symmetry (definition)
History
- 2026-11-02: add by m2/dev
JN64TF5TZF JN64TF5TZF
| URI | m2://inv/JN64TF5TZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10821#X1KI (statement). In RWNP4FEE65/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.3
Thermoelectric effect JN68S946BJ
| URI | m2://inv/JN68S946BJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermoelectric effect, Thermoelectric effect (definition). Also Wikidata Q552456
History
- 2026-11-02: add by m2/dev
JN6949FXE9 JN6949FXE9
| URI | m2://inv/JN6949FXE9 |
|---|---|
| Kind | conjecture |
| 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.28848#AG0Q (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Mixed radix JN698ZZX7R
| URI | m2://inv/JN698ZZX7R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixed radix, Mixed radix (definition). Also Wikidata Q6884002
History
- 2026-11-02: add by m2/dev
Riemann problem JN6F94984K
| URI | m2://inv/JN6F94984K |
|---|---|
| Kind | example |
| 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 2604.11825#ZS1A, Riemann problem (example). In 6H76S52BG7/e1, example A.6
History
- 2026-10-27: add by m2/v0.4.0
Definitions JN6HERJMFY
| URI | m2://inv/JN6HERJMFY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haagerup property#NLF0, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Helge von Koch JN6R0VQN3X
| URI | m2://inv/JN6R0VQN3X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helge von Koch, Helge von Koch (topic). Also Wikidata Q313872
History
- 2026-11-02: add by m2/dev
JN6S5FB1AX JN6S5FB1AX
| URI | m2://inv/JN6S5FB1AX |
|---|---|
| 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.36827#CSK0 (statement). In VSHAQTB2CA/e1, proposition A.1
History
- 2026-10-30: add by m2/v0.4.12
JN6S7NX4C7 JN6S7NX4C7
| URI | m2://inv/JN6S7NX4C7 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_total-order-N.ptx#proof-5 (proof). In QKM9DD2H56, proof, section B.11
History
- 2026-11-01: add by m2/v0.6.13
JN7KZ3940D JN7KZ3940D
| URI | m2://inv/JN7KZ3940D |
|---|---|
| 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.14610#JKR6 (statement). In 2M0S561GTR/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
JN7MNQZW23 JN7MNQZW23
| URI | m2://inv/JN7MNQZW23 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20783#3X1U (statement)
History
- 2026-11-02: add by m2/v0.6.18
Paley–Wiener theorem JN7SGB2SNB
| URI | m2://inv/JN7SGB2SNB |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 42-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1119094, Paley–Wiener theorem (statement). Also Wikidata Q1119094
- thousand_plus: thousand_plus Q1119094, Paley–Wiener theorem (statement). Also Wikidata Q1119094, Wikipedia Paley–Wiener theorem
- wikipedia: Wikipedia Paley–Wiener theorem, Paley–Wiener theorem (statement). Also Wikidata Q1119094
History
- 2026-10-26: add by m2/dev
Examples JN80M7A2VS
| URI | m2://inv/JN80M7A2VS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Witt group#LHN1, Examples (example)
History
- 2026-11-02: add by m2/dev
JN815N1BZA JN815N1BZA
| URI | m2://inv/JN815N1BZA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#proposition-1 (statement). In RZP28ERRZV, proposition, section 9.8
History
- 2026-11-01: add by m2/v0.6.13
bra–ket JN820NW7AB
| URI | m2://inv/JN820NW7AB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#23I3, bra–ket (definition)
History
- 2026-11-02: add by m2/dev
JN894RZRGN JN894RZRGN
| URI | m2://inv/JN894RZRGN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21491#RH1A (definition)
History
- 2026-11-02: add by m2/v0.6.18
Wirtinger sextic JN8BXTJTNC
| URI | m2://inv/JN8BXTJTNC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wirtinger sextic, Wirtinger sextic (definition). Also Wikidata Q8027033
History
- 2026-11-02: add by m2/dev
Properties JN8FH2W9Y3
| URI | m2://inv/JN8FH2W9Y3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom A#0T8R, Properties (statement)
History
- 2026-11-02: add by m2/dev
Lemma JN8R215ZSX
| URI | m2://inv/JN8R215ZSX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Identity theorem#3R5U, Lemma (statement)
History
- 2026-11-02: add by m2/dev
JN9AB6GQ4E JN9AB6GQ4E
| URI | m2://inv/JN9AB6GQ4E |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20881#FM97 (example)
History
- 2026-11-02: add by m2/v0.6.18
Albert H. Bowker JN9AZ67FBJ
| URI | m2://inv/JN9AZ67FBJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#HZ1M, Albert H. Bowker (unknown)
History
- 2026-11-02: add by m2/dev
$N=4$, $m=13$ JN9DD30RM9
| URI | m2://inv/JN9DD30RM9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36088#AD11, $N=4$, $m=13$ (example). In QJD3MZMJHW/e1, example 5.7
History
- 2026-10-30: add by m2/v0.4.12
Griffith Conrad Evans JN9FBVF7HC
| URI | m2://inv/JN9FBVF7HC |
|---|---|
| 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#JZ1C, Griffith Conrad Evans (topic)
History
- 2026-11-02: add by m2/dev
JN9FXDNZ1H JN9FXDNZ1H
| URI | m2://inv/JN9FXDNZ1H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25524#1G6L (definition)
History
- 2026-11-01: add by m2/v0.6.15
Notation JN9GGST7ZF
| URI | m2://inv/JN9GGST7ZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Good–Turing frequency estimation#VI43, Notation (definition)
History
- 2026-11-02: add by m2/dev
Definition JN9GTRT17K
| URI | m2://inv/JN9GTRT17K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Buchholz psi functions#H7HW, Definition (definition)
History
- 2026-11-02: add by m2/dev
JN9PKMCA9F JN9PKMCA9F
| URI | m2://inv/JN9PKMCA9F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.17516#JL75 (statement). In Z16NBNM4AK/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
JN9QWSG050 JN9QWSG050
| URI | m2://inv/JN9QWSG050 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.27872#SUBR (statement)
History
- 2026-11-01: add by m2/v0.6.15
JN9TATWQFY JN9TATWQFY
| URI | m2://inv/JN9TATWQFY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11823#SZXK (statement). In YNQHA63Z2B/e1, lemma 9.3
History
- 2026-10-28: add by m2/v0.4.3
Control point (mathematics) JN9XET1E3B
| URI | m2://inv/JN9XET1E3B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#KH60, Control point (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
JNA1FHXDFW JNA1FHXDFW
| URI | m2://inv/JNA1FHXDFW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32650#JV23 (statement). In PHXJ87HKYB/e1, theorem 2.7
History
- 2026-10-31: add by m2/v0.5.6
uniqueness quantification JNACNVQHC8
| URI | m2://inv/JNACNVQHC8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Uniqueness quantifier 0QAJHFGZZJ |
Mentions
- wikidata: Wikidata Q2502253, uniqueness quantification (unknown). Also MathWorld Unique, nLab uniqueness quantifier
- wikipedia: Wikipedia Uniqueness quantification, Uniqueness quantification (definition). Also Wikidata Q2502253
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Exploratory factor analysis JNAG7R01V4
| URI | m2://inv/JNAG7R01V4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CFWK, Exploratory factor analysis (definition)
History
- 2026-11-02: add by m2/dev
JNAHS3PHFF JNAHS3PHFF
| URI | m2://inv/JNAHS3PHFF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/rep-alg.tex#definition-5 (definition). In RZP28ERRZV, definition, section 80.2
History
- 2026-11-01: add by m2/v0.6.13
Uniform log-approximation bound JNASBAAXCG
| URI | m2://inv/JNASBAAXCG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19715#JP1U, Uniform log-approximation bound (statement). In XXMP1Z495D/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
Applications JNATC75QKH
| URI | m2://inv/JNATC75QKH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Octonion#37T7, Applications (example)
History
- 2026-11-02: add by m2/dev
Infinite cardinal arithmetic is trivial JNBZ5PZXNA
| URI | m2://inv/JNBZ5PZXNA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/cardinal.tex#theorem-2, Infinite cardinal arithmetic is trivial (statement). In RZP28ERRZV, theorem, section 89.4
History
- 2026-11-01: add by m2/v0.6.13
T puzzle JNCH4GK7DX
| URI | m2://inv/JNCH4GK7DX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2383174, T puzzle (unknown). Also MathWorld T-Puzzle
History
- 2026-10-26: add by m2/dev
JNCHG9QG84 JNCHG9QG84
| URI | m2://inv/JNCHG9QG84 |
|---|---|
| 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.23287#1EHK (definition)
History
- 2026-11-02: add by m2/v0.6.17
JNCJ213WGM JNCJ213WGM
| URI | m2://inv/JNCJ213WGM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.00596#L7RD (statement). In F8RC6AENB0/e1, lemma 7.2
History
- 2026-10-27: add by m2/v0.3.5
orientable manifold JNCJM27K9Y
| URI | m2://inv/JNCJM27K9Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q116966067, orientable manifold (unknown). Also MathWorld OrientableManifold
History
- 2026-10-26: add by m2/dev
Donald Marquardt JNCRS4EC4F
| URI | m2://inv/JNCRS4EC4F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donald Marquardt, Donald Marquardt (topic). Also Wikidata Q3036061
History
- 2026-11-02: add by m2/dev
Examples JNCS4GQFAB
| URI | m2://inv/JNCS4GQFAB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Betti number#4D3Q, Examples (example)
History
- 2026-11-02: add by m2/dev
JNCTHNDDJG JNCTHNDDJG
| URI | m2://inv/JNCTHNDDJG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28824#UYP8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
JNCTYWW4PH JNCTYWW4PH
| URI | m2://inv/JNCTYWW4PH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#QVHY (statement). In 13GSWBXPCM/e1, theorem 4.9
History
- 2026-10-27: add by m2/v0.3.5
Spengler, Joseph J. JNCYB6HF6P
| URI | m2://inv/JNCYB6HF6P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#GJ9W, Spengler, Joseph J. (unknown)
History
- 2026-11-02: add by m2/dev
William Browder JND2QP7H22
| URI | m2://inv/JND2QP7H22 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Browder (mathematician), William Browder (topic). Also Wikidata Q1398951
History
- 2026-11-02: add by m2/dev
Definition JND4DWJCG0
| URI | m2://inv/JND4DWJCG0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic algebra#0MSC, Definition (definition)
History
- 2026-11-02: add by m2/dev
JNDANY4D20 JNDANY4D20
| URI | m2://inv/JNDANY4D20 |
|---|---|
| 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.17267#W5ZB (statement). In 5VWB4A47R5/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Definition JNDDBTC0ZR
| URI | m2://inv/JNDDBTC0ZR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brewer sum#MDOX, Definition (definition)
History
- 2026-11-02: add by m2/dev
Synergetics JNDFJM8XV0
| URI | m2://inv/JNDFJM8XV0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1506712, Synergetics (unknown). Also MathWorld Synergetics
History
- 2026-10-26: add by m2/dev
Hiroshi Toda JNDJ4RQ6MW
| URI | m2://inv/JNDJ4RQ6MW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1620287, Hiroshi Toda (unknown). Also nLab Hiroshi Toda
- wikipedia: Wikipedia Hiroshi Toda, Hiroshi Toda (topic). Also Wikidata Q1620287
History
- 2026-10-26: add by m2/dev
Lemma JNDJ8DA7RH
| URI | m2://inv/JNDJ8DA7RH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixing (mathematics)#6ALA, Lemma (statement)
History
- 2026-11-02: add by m2/dev
JNDMGC2ZRQ JNDMGC2ZRQ
| URI | m2://inv/JNDMGC2ZRQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34813#HW2I (statement). In P3V3ZGCHV7/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Annals of Mathematics JNDT5GTFQ5
| URI | m2://inv/JNDT5GTFQ5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Annals of Mathematics, Annals of Mathematics (topic). Also Wikidata Q564426
History
- 2026-11-02: add by m2/dev
Examples JNDW222E7A
| URI | m2://inv/JNDW222E7A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudoelementary class#95TI, Examples (example)
History
- 2026-11-02: add by m2/dev
Mary Mulry JNDWVRBX70
| URI | m2://inv/JNDWVRBX70 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary Mulry, Mary Mulry (topic). Also Wikidata Q102137337
History
- 2026-11-02: add by m2/dev
Marjorie Devaney JNDXRGSNDC
| URI | m2://inv/JNDXRGSNDC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marjorie Devaney, Marjorie Devaney (topic). Also Wikidata Q65940231
History
- 2026-11-02: add by m2/dev
Transposition cipher JNE7HR68JF
| URI | m2://inv/JNE7HR68JF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transposition cipher, Transposition cipher (definition). Also Wikidata Q840498
History
- 2026-11-02: add by m2/dev
JNEBEB0FQT JNEBEB0FQT
| URI | m2://inv/JNEBEB0FQT |
|---|---|
| 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#CHD0 (statement). In DA31J9XJ4J/e1, lemma C.1
History
- 2026-10-29: add by m2/v0.4.12
Use JNEH94JZD5
| URI | m2://inv/JNEH94JZD5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scientific wild-ass guess#GCUC, Use (example)
History
- 2026-11-02: add by m2/dev
JNEM12GCXA JNEM12GCXA
| URI | m2://inv/JNEM12GCXA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#WE6K (statement). In ESDKTYDHC8/e1, corollary 29
History
- 2026-10-29: add by m2/v0.4.12
Example JNEPGP6ACF
| URI | m2://inv/JNEPGP6ACF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singular value decomposition#Q5HB, Example (example)
History
- 2026-11-02: add by m2/dev
JNEPN11MZK JNEPN11MZK
| URI | m2://inv/JNEPN11MZK |
|---|---|
| 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 math/0003117#HBCZ (definition). In WD2NCBV9F0/e1, definition 14.1
History
- 2026-10-27: add by m2/v0.3.5
Sign descent JNES9RTZYP
| URI | m2://inv/JNES9RTZYP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic gradient descent#4KZ7, Sign descent (unknown)
History
- 2026-11-02: add by m2/dev
Analysis of rhythmic variance JNEXTKFV52
| URI | m2://inv/JNEXTKFV52 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6249, Analysis of rhythmic variance (definition)
History
- 2026-11-02: add by m2/dev
outcomes JNEZBFP4JG
| URI | m2://inv/JNEZBFP4JG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/10.1/outcomes, outcomes (concept). In QKM9DD2H56, index, section 10.1
History
- 2026-11-01: add by m2/v0.6.13
Up JNEZQS0DA2
| URI | m2://inv/JNEZQS0DA2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Up (game theory), Up (definition). Also Wikidata Q140167827
History
- 2026-11-02: add by m2/dev
JNF02BDSPS JNF02BDSPS
| URI | m2://inv/JNF02BDSPS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08697#UO9I (example). In GJ4ZMDQF3C/e1, example 1
History
- 2026-10-29: add by m2/v0.4.10
Deanna Haunsperger JNF0N73NGT
| URI | m2://inv/JNF0N73NGT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deanna Haunsperger, Deanna Haunsperger (topic). Also Wikidata Q29452975
History
- 2026-11-02: add by m2/dev
Formal definition JNF5J9QHDV
| URI | m2://inv/JNF5J9QHDV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One-sided limit#O9I3, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
JNF7Y5RZDN JNF7Y5RZDN
| URI | m2://inv/JNF7Y5RZDN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06066#RCLS (statement). In V2YFQ5RF6V/e1, proposition 4
History
- 2026-10-29: add by m2/v0.4.10
JNFB0DGYWR JNFB0DGYWR
| URI | m2://inv/JNFB0DGYWR |
|---|---|
| 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.29677#B9H2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
JNFB424J0S JNFB424J0S
| URI | m2://inv/JNFB424J0S |
|---|---|
| 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.03358#6QVX (statement). In KCXEY7HJ8V/e1, proposition 2.4
History
- 2026-10-29: add by m2/v0.4.12
Equality of weighted solutions JNFBFCV6R5
| URI | m2://inv/JNFBFCV6R5 |
|---|---|
| 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.17524#4QX2, Equality of weighted solutions (statement). In MKA4QH9VRE/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
JNFG2WS6C7 JNFG2WS6C7
| URI | m2://inv/JNFG2WS6C7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39593#F9HU (statement). In BF0RYHPMS1/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
Interpolation JNFGH9M7C4
| URI | m2://inv/JNFGH9M7C4 |
|---|---|
| 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.02714#I0P3, Interpolation (statement). In R9AXCJWK8F/e1, lemma 9
History
- 2026-10-29: add by m2/v0.4.12
JNFRFT9T52 JNFRFT9T52
| URI | m2://inv/JNFRFT9T52 |
|---|---|
| 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.04069#KOZH (statement). In ZA7WXGZYWC/e1, proposition 2.8
History
- 2026-10-29: add by m2/v0.4.12
JNFTK4ARDX JNFTK4ARDX
| URI | m2://inv/JNFTK4ARDX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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.11800#YTF2 (statement). In 8TSZ2E32K3/e1, theorem 6.6
History
- 2026-10-28: add by m2/v0.4.3
JNFW3P9JRV JNFW3P9JRV
| URI | m2://inv/JNFW3P9JRV |
|---|---|
| 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.17677#K18L (statement). In 5E9G06XJKC/e1, lemma F.33
History
- 2026-10-28: add by m2/v0.4.2
Littlewood's Tauberian theorem JNG1E34QTH
| URI | m2://inv/JNG1E34QTH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Littlewood's Tauberian theorem, Littlewood's Tauberian theorem (statement). Also Wikidata Q16249478
History
- 2026-11-02: add by m2/dev
Sparse grid JNGJPRA2HN
| URI | m2://inv/JNGJPRA2HN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sparse grid, Sparse grid (definition). Also Wikidata Q7573793
History
- 2026-11-02: add by m2/dev
Composition ring JNGN4XJDS6
| URI | m2://inv/JNGN4XJDS6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Composition ring, Composition ring (definition). Also Wikidata Q5156801
History
- 2026-11-02: add by m2/dev
JNGSEVKNMG JNGSEVKNMG
| URI | m2://inv/JNGSEVKNMG |
|---|---|
| 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.01354#FA59 (statement). In BWD76W20W8/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.12
Replicator equation JNGVQ7YDK3
| URI | m2://inv/JNGVQ7YDK3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Replicator equation, Replicator equation (definition). Also Wikidata Q2145081
History
- 2026-11-02: add by m2/dev
Keraia (diacritic) JNH1VFYZJV
| URI | m2://inv/JNH1VFYZJV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greek numerals#WANI, Keraia (diacritic) (unknown)
History
- 2026-11-02: add by m2/dev
XOR cipher JNH491AB45
| URI | m2://inv/JNH491AB45 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia XOR cipher, XOR cipher (definition). Also Wikidata Q629303
History
- 2026-11-02: add by m2/dev
William Rowan Hamilton JNH5YMXSGR
| URI | m2://inv/JNH5YMXSGR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11887, William Rowan Hamilton (unknown). Also nLab William Rowan Hamilton, ProofWiki Mathematician:William_Rowan_Hamilton
- wikipedia: Wikipedia William Rowan Hamilton, William Rowan Hamilton (topic). Also Wikidata Q11887
History
- 2026-10-26: add by m2/dev
letter JNHA8JZEM1
| URI | m2://inv/JNHA8JZEM1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/2.1/letter, letter (concept). In QKM9DD2H56, index, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Hadamard conjecture JNHQ2AXRFD
| URI | m2://inv/JNHQ2AXRFD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard matrix#VX0Z, Hadamard conjecture (statement)
History
- 2026-11-02: add by m2/dev
definiens JNHTTB3WMY
| URI | m2://inv/JNHTTB3WMY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#QH3A, definiens (definition)
History
- 2026-11-02: add by m2/dev
JNHV6HF9NS JNHV6HF9NS
| URI | m2://inv/JNHV6HF9NS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36068#EQFS (statement). In CKNAB8QY5B/e1, theorem 17
History
- 2026-10-30: add by m2/v0.4.12
ReLU JNJ64KV68K
| URI | m2://inv/JNJ64KV68K |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09044#186T, ReLU (example). In 4KYENHR0J8/e1, example 1
History
- 2026-10-29: add by m2/v0.4.10
Heteroscedasticity-consistent standard errors JNJFD4879B
| URI | m2://inv/JNJFD4879B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#2C9I, Heteroscedasticity-consistent standard errors (definition)
History
- 2026-11-02: add by m2/dev
JNJR6ZE56H JNJR6ZE56H
| URI | m2://inv/JNJR6ZE56H |
|---|---|
| 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.09084#9WBO (statement). In F5VT2K2QYX/e1, fact 34
History
- 2026-10-29: add by m2/v0.4.10
Geary's C JNJVXH854X
| URI | m2://inv/JNJVXH854X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geary's C, Geary's C (definition). Also Wikidata Q3150394
History
- 2026-11-02: add by m2/dev
smooth function JNJY09JTMJ
| URI | m2://inv/JNJY09JTMJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/1/smooth-function, smooth function (concept). In VNMV985MXX, index, section 1
History
- 2026-11-01: add by m2/v0.6.13
JNK0SPWKZB JNK0SPWKZB
| URI | m2://inv/JNK0SPWKZB |
|---|---|
| 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.29903#JYWT (statement)
History
- 2026-11-01: add by m2/v0.6.15
JNK13RVPZM JNK13RVPZM
| URI | m2://inv/JNK13RVPZM |
|---|---|
| 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.29501#2G2G (statement)
History
- 2026-11-01: add by m2/v0.6.15
JNK57GF33N JNK57GF33N
| URI | m2://inv/JNK57GF33N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19260#TYLP (statement). In PWXT7J9JX3/e1, proposition 6.3
History
- 2026-10-28: add by m2/v0.4.2
JNKFG32ES7 JNKFG32ES7
| URI | m2://inv/JNKFG32ES7 |
|---|---|
| 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 2011.12496#WUS1 (statement). In 1DH15ZJFRZ/e1, theorem 6
History
- 2026-10-27: add by m2/v0.3.5
Margaret Jarman Hagood JNKJ0DD9HT
| URI | m2://inv/JNKJ0DD9HT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#2A9J, Margaret Jarman Hagood (unknown)
History
- 2026-11-02: add by m2/dev
Monomial conjecture JNKSPWDM47
| URI | m2://inv/JNKSPWDM47 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monomial conjecture, Monomial conjecture (statement). Also Wikidata Q6901740
History
- 2026-11-02: add by m2/dev
JNKTHM7RSN JNKTHM7RSN
| URI | m2://inv/JNKTHM7RSN |
|---|---|
| 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.24078#CF6I (statement)
History
- 2026-11-02: add by m2/v0.6.17
Sun Tzu JNKXPK94CM
| URI | m2://inv/JNKXPK94CM |
|---|---|
| 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 Q2634383, Sun Tzu (unknown). Also ProofWiki Mathematician:Sun_Tzu
History
- 2026-10-26: add by m2/dev
JNM1G3VEQ4 JNM1G3VEQ4
| URI | m2://inv/JNM1G3VEQ4 |
|---|---|
| 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#5J1X (statement). In 43AGRMP7T3/e1, proposition
History
- 2026-10-27: add by m2/v0.3.5
Non-interactive local differential privacy JNMANCQ1WK
| URI | m2://inv/JNMANCQ1WK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21033#584O, Non-interactive local differential privacy (definition). In A8C1M9BSWH/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.4.2
Pauli Pylkkö JNMGMQPMDJ
| URI | m2://inv/JNMGMQPMDJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pauli Pylkkö, Pauli Pylkkö (topic). Also Wikidata Q15707376
History
- 2026-11-02: add by m2/dev
Properties JNMK62QW81
| URI | m2://inv/JNMK62QW81 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Star domain#DQLP, Properties (statement)
History
- 2026-11-02: add by m2/dev
Jason Rhoades JNMKZWVAM5
| URI | m2://inv/JNMKZWVAM5 |
|---|---|
| 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#FY3A, Jason Rhoades (unknown)
History
- 2026-11-02: add by m2/dev
JNMP0RTB2B JNMP0RTB2B
| URI | m2://inv/JNMP0RTB2B |
|---|---|
| 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 2111.00496#0LNH (statement). In 5XJR7QGZXW/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
JNMPM9PP3C JNMPM9PP3C
| URI | m2://inv/JNMPM9PP3C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09678#XUHR (statement). In 9VG7PNZHZT/e1, lemma 5.10
History
- 2026-10-29: add by m2/v0.4.10
Unstability of the periodic orbit $13223122$ JNMZE1QW0P
| URI | m2://inv/JNMZE1QW0P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2512.24812#IB09, Unstability of the periodic orbit $13223122$ (statement). In F4JB0RR5JV/e1, theorem 7.3
History
- 2026-10-27: add by m2/v0.3.5
Statement JNN0TTD0AY
| URI | m2://inv/JNN0TTD0AY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brun–Titchmarsh theorem#MOHI, Statement (statement)
History
- 2026-11-02: add by m2/dev
JNN15RR33Y JNN15RR33Y
| URI | m2://inv/JNN15RR33Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12908#J51L (statement). In TNC658NVMQ/e1, fact 3.1
History
- 2026-10-28: add by m2/v0.4.2
Definition JNN38D36XM
| URI | m2://inv/JNN38D36XM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Osserman manifold#JA2B, Definition (definition)
History
- 2026-11-02: add by m2/dev
JNN4AR9ZGS JNN4AR9ZGS
| URI | m2://inv/JNN4AR9ZGS |
|---|---|
| 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.17585#PBY3 (statement). In FBWDPA01XY/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
scope JNN4B2N2FM
| URI | m2://inv/JNN4B2N2FM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#4QA2, scope (definition)
History
- 2026-11-02: add by m2/dev
Remark JNN66EW7W2
| URI | m2://inv/JNN66EW7W2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adele ring#YS4G, Remark (unknown)
History
- 2026-11-02: add by m2/dev
Remark JNNCYDPHQR
| URI | m2://inv/JNNCYDPHQR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doob–Dynkin lemma#EC8I, Remark (unknown)
History
- 2026-11-02: add by m2/dev
Polish Logic JNNM31T3VH
| URI | m2://inv/JNNM31T3VH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polish Logic, Polish Logic (definition). Also Wikidata Q7209940
History
- 2026-11-02: add by m2/dev
List of large cardinal properties JNNXDXKQM0
| URI | m2://inv/JNNXDXKQM0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of set theory topics#F8IN, List of large cardinal properties (topic)
History
- 2026-11-02: add by m2/dev
Dana S. Richards JNNXNF4QRM
| URI | m2://inv/JNNXNF4QRM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#W0YN, Dana S. Richards (topic)
History
- 2026-11-02: add by m2/dev
Hyperbolic function JNNYCT1SQ1
| URI | m2://inv/JNNYCT1SQ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#UG2I, Hyperbolic function (definition)
- wikipedia: Wikipedia List of exponential topics#3HU8, Hyperbolic function (definition)
History
- 2026-11-02: add by m2/dev
Definition JNP5PY16W8
| URI | m2://inv/JNP5PY16W8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relation (mathematics)#88OK, Definition (definition)
History
- 2026-11-02: add by m2/dev
JNPC9MCV68 JNPC9MCV68
| URI | m2://inv/JNPC9MCV68 |
|---|---|
| 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.23671#JBQY (statement)
History
- 2026-11-02: add by m2/v0.6.17
JNPEXQ0FQV JNPEXQ0FQV
| URI | m2://inv/JNPEXQ0FQV |
|---|---|
| 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.03488#D64G (statement). In 9GXR1WEYWT/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
JNPFW074W6 JNPFW074W6
| URI | m2://inv/JNPFW074W6 |
|---|---|
| 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#HI08 (statement). In GAG532VMPF/e1, proposition 5.0.1
History
- 2026-10-27: add by m2/v0.3.5
Carleman linearization JNPGJ4VJR6
| URI | m2://inv/JNPGJ4VJR6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carleman linearization, Carleman linearization (definition). Also Wikidata Q116214231
History
- 2026-11-02: add by m2/dev
JNPH53G4CY JNPH53G4CY
| URI | m2://inv/JNPH53G4CY |
|---|---|
| Kind | example |
| 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 2302.04470#G042 (example). In PVRF0WS223/e1, example 3.7
History
- 2026-10-27: add by m2/v0.3.6
Kanakanahalli Ramachandra JNPKMSBARK
| URI | m2://inv/JNPKMSBARK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kanakanahalli Ramachandra, Kanakanahalli Ramachandra (topic). Also Wikidata Q6360403
History
- 2026-11-02: add by m2/dev
Theorem \refthm:GAC JNPQ7SEXSF
| URI | m2://inv/JNPQ7SEXSF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24553#69PH, Theorem \refthm:GAC (statement)
History
- 2026-11-01: add by m2/v0.6.15
JNQ5VDSY5K JNQ5VDSY5K
| URI | m2://inv/JNQ5VDSY5K |
|---|---|
| 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.38436#IKHN (statement). In 702AF3E4AF/e1, theorem 7.8
History
- 2026-10-30: add by m2/v0.4.12
Matrix-based formula JNQ9E500ZE
| URI | m2://inv/JNQ9E500ZE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi method#CV0W, Matrix-based formula (statement)
History
- 2026-11-02: add by m2/dev
JNQAS0DSQR JNQAS0DSQR
| URI | m2://inv/JNQAS0DSQR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.04593#1IK4 (statement). In PEXJPV3NP8/e1, theorem 6.6
History
- 2026-10-27: add by m2/v0.3.5
// what the fuck? JNQC5YQHG2
| URI | m2://inv/JNQC5YQHG2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fast inverse square root#02JQ, // what the fuck? (unknown)
History
- 2026-11-02: add by m2/dev
Rabbi Nehemiah JNQD2819ZM
| URI | m2://inv/JNQD2819ZM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics related to π#508W, Rabbi Nehemiah (unknown)
History
- 2026-11-02: add by m2/dev
JNQEEZNNYH JNQEEZNNYH
| URI | m2://inv/JNQEEZNNYH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15403#PB8W (statement). In BSWNH3NW1M/e1, proposition 10.3
History
- 2026-10-27: add by m2/v0.4.0
JNQN3ETN4W JNQN3ETN4W
| URI | m2://inv/JNQN3ETN4W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.13782#1FW0 (statement). In 12RSHWCNMX/e1, lemma 9
History
- 2026-10-27: add by m2/v0.3.5
JNQW0TKDFF JNQW0TKDFF
| URI | m2://inv/JNQW0TKDFF |
|---|---|
| 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.05706#P7PM (statement). In 8EHE8CX1KJ/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
JNR12BMVX6 JNR12BMVX6
| URI | m2://inv/JNR12BMVX6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#PUMC (statement)
History
- 2026-11-01: add by m2/v0.6.15
JNR3GXNCV6 JNR3GXNCV6
| URI | m2://inv/JNR3GXNCV6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07530#6E3H (example). In C7QZ0VPBC8/e1, example A.2
History
- 2026-10-29: add by m2/v0.4.10
JNR662C0CH JNR662C0CH
| URI | m2://inv/JNR662C0CH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26410#AAOW (statement)
History
- 2026-11-01: add by m2/v0.6.15
JNRA1ZMTVG JNRA1ZMTVG
| URI | m2://inv/JNRA1ZMTVG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28781#FQKI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Penholodigital JNRD708208
| URI | m2://inv/JNRD708208 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pandigital number#MQAM, Penholodigital (unknown)
History
- 2026-11-02: add by m2/dev
Brocard circle JNRFG19727
| URI | m2://inv/JNRFG19727 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1932324, Brocard circle (concept). Also MathWorld BrocardCircle
- wikipedia: Wikipedia Brocard circle, Brocard circle (definition). Also Wikidata Q1932324
History
- 2026-10-26: add by m2/dev
logistic map JNRGWS0TMG
| URI | m2://inv/JNRGWS0TMG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Logistic map QN9X9BNKTX |
Mentions
- wikidata: Wikidata Q587182, logistic map (unknown). Also MathWorld LogisticMap
- wikipedia: Wikipedia Logistic map, Logistic map (definition). Also Wikidata Q587182
History
- 2026-10-26: add by m2/dev
Bouncing ball JNRVS7SB2Y
| URI | m2://inv/JNRVS7SB2Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bouncing ball, Bouncing ball (definition). Also Wikidata Q4949838
History
- 2026-11-02: add by m2/dev
JNS2X56BNF JNS2X56BNF
| URI | m2://inv/JNS2X56BNF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/zorn-lemma.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 94.6
History
- 2026-11-01: add by m2/v0.6.13
JNS9R8P1Z4 JNS9R8P1Z4
| URI | m2://inv/JNS9R8P1Z4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21915#B77U (statement)
History
- 2026-11-02: add by m2/v0.6.17
Error induced by an approximate Schur transform JNSAVVJVME
| URI | m2://inv/JNSAVVJVME |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39992#1I5J, Error induced by an approximate Schur transform (statement). In WF64CGYVK1/e1, lemma S15
History
- 2026-10-30: add by m2/v0.4.12
Seven Oaks, South Carolina JNSDBZH0GD
| URI | m2://inv/JNSDBZH0GD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#39CB, Seven Oaks, South Carolina (unknown)
History
- 2026-11-02: add by m2/dev
O'Brien–Fleming boundary JNSKN2QVYC
| URI | m2://inv/JNSKN2QVYC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia O'Brien–Fleming boundary, O'Brien–Fleming boundary (definition). Also Wikidata Q136289101
History
- 2026-11-02: add by m2/dev
microlitre JNSSV1JMK2
| URI | m2://inv/JNSSV1JMK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2282891, microlitre (definition). Also ProofWiki Definition:Metric_System/Volume/Microlitre
History
- 2026-10-26: add by m2/dev
Philippe Malbos JNSWEZV0E9
| URI | m2://inv/JNSWEZV0E9 |
|---|---|
| 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 Q93944821, Philippe Malbos (unknown). Also nLab Philippe Malbos
History
- 2026-10-26: add by m2/dev
JNSWYMXFPF JNSWYMXFPF
| URI | m2://inv/JNSWYMXFPF |
|---|---|
| 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.36418#Z1LD (statement). In 7GBRPD97HY/e1, theorem 2.1
History
- 2026-10-30: add by m2/v0.4.12
JNSXMVKMV0 JNSXMVKMV0
| URI | m2://inv/JNSXMVKMV0 |
|---|---|
| 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#BX3R (statement)
History
- 2026-11-01: add by m2/v0.6.15
Exterior power JNSZADYXNE
| URI | m2://inv/JNSZADYXNE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of tensor theory#ERQX, Exterior power (definition)
History
- 2026-11-02: add by m2/dev
Applications JNTH8WA1C7
| URI | m2://inv/JNTH8WA1C7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasideterminant#NZJ2, Applications (example)
History
- 2026-11-02: add by m2/dev
JNTHDFXM08 JNTHDFXM08
| URI | m2://inv/JNTHDFXM08 |
|---|---|
| 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#SBCR (statement). In 1A01NFHBGA/e1, lemma 1.16
History
- 2026-10-28: add by m2/v0.4.3
Bahn, Anita K. JNTMC2R9H6
| URI | m2://inv/JNTMC2R9H6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#UYJL, Bahn, Anita K. (topic)
History
- 2026-11-02: add by m2/dev
$\aleph_1$ is regular JNTQJN4RJV
| URI | m2://inv/JNTQJN4RJV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/cardinal.tex#example-5, $\aleph_1$ is regular (example). In RZP28ERRZV, example, section 89.6
History
- 2026-11-01: add by m2/v0.6.13
JNTS8GE5A3 JNTS8GE5A3
| URI | m2://inv/JNTS8GE5A3 |
|---|---|
| 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 2310.02073#NCOJ (statement). In 3PNCRG6J62/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Stone's representation theorem for Boolean algebras JNTV6MAMHB
| URI | m2://inv/JNTV6MAMHB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#1F75, Stone's representation theorem for Boolean algebras (statement)
History
- 2026-11-02: add by m2/dev
Definitions JNTW0YGZ5D
| URI | m2://inv/JNTW0YGZ5D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimum bottleneck spanning tree#5WUH, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Net wall formula JNTXP2DGEZ
| URI | m2://inv/JNTXP2DGEZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04189#AZ5G, Net wall formula (statement). In 1KRZ5ACTKE/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
Real closed field JNTXTYD53W
| URI | m2://inv/JNTXTYD53W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#DF55, Real closed field (definition)
History
- 2026-11-02: add by m2/dev
Methods JNV8VGZQCJ
| URI | m2://inv/JNV8VGZQCJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meta-optimization#QEOK, Methods (definition)
History
- 2026-11-02: add by m2/dev
JNVB72DP7P JNVB72DP7P
| URI | m2://inv/JNVB72DP7P |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-53 (exercise). In E59CDZA4DP, exercise, section 10.4.1
History
- 2026-11-01: add by m2/v0.6.13
JNVJ1TD6SE JNVJ1TD6SE
| URI | m2://inv/JNVJ1TD6SE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03373#NDKP (statement). In ZA7DBT3NWR/e1, lemma 3.10
History
- 2026-10-29: add by m2/v0.4.12
Erez Lapid JNVTS74JPM
| URI | m2://inv/JNVTS74JPM |
|---|---|
| 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#2JSY, Erez Lapid (topic)
History
- 2026-11-02: add by m2/dev
JNVX0CXK1P JNVX0CXK1P
| URI | m2://inv/JNVX0CXK1P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33068#NOQN (statement). In V9Z9Z0V5Y0/e1, corollary 5
History
- 2026-10-30: add by m2/v0.4.12
JNVYSMKAGR JNVYSMKAGR
| URI | m2://inv/JNVYSMKAGR |
|---|---|
| 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.16059#K685 (statement). In 51W7AECQDA/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Cauchy–Schwarz inequality JNVYZSWTTH
| URI | m2://inv/JNVYZSWTTH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inequality (mathematics)#9LF7, Cauchy–Schwarz inequality (statement)
History
- 2026-11-02: add by m2/dev
Löwenheim–Skolem theorem JNVZETDEQ3
| URI | m2://inv/JNVZETDEQ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia First-order logic#KWIJ, Löwenheim–Skolem theorem (statement)
History
- 2026-11-02: add by m2/dev
Spherical variety JNW5Q9HFV7
| URI | m2://inv/JNW5Q9HFV7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spherical variety, Spherical variety (definition). Also Wikidata Q16982099
History
- 2026-11-02: add by m2/dev
Scheme-theoretic fiber JNWET7AR87
| URI | m2://inv/JNWET7AR87 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fiber product of schemes#BRJS, Scheme-theoretic fiber (unknown)
History
- 2026-11-02: add by m2/dev
JNWG90A73A JNWG90A73A
| URI | m2://inv/JNWG90A73A |
|---|---|
| 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.27628#8ZZS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Harriet Padberg JNWQ081A02
| URI | m2://inv/JNWQ081A02 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harriet Padberg, Harriet Padberg (topic). Also Wikidata Q94410901
History
- 2026-11-02: add by m2/dev
Hirzebruch–Riemann–Roch theorem JNWRSZKSX8
| URI | m2://inv/JNWRSZKSX8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atiyah–Singer index theorem#8SNY, Hirzebruch–Riemann–Roch theorem (statement)
History
- 2026-11-02: add by m2/dev
San Francisco Proposition G JNX3XG2TAB
| URI | m2://inv/JNX3XG2TAB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia San Francisco Proposition G (March 2024), San Francisco Proposition G (statement). Also Wikidata Q124655606
History
- 2026-11-02: add by m2/dev
Cindy Shih JNXAV7X1DD
| URI | m2://inv/JNXAV7X1DD |
|---|---|
| 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#W7FW, Cindy Shih (unknown)
History
- 2026-11-02: add by m2/dev
Gilbert Baumslag JNXB7AR8VR
| URI | m2://inv/JNXB7AR8VR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gilbert Baumslag, Gilbert Baumslag (topic). Also Wikidata Q5560794
History
- 2026-11-02: add by m2/dev
JNXBHZPB06 JNXBHZPB06
| URI | m2://inv/JNXBHZPB06 |
|---|---|
| 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.04135#O5YH (statement). In 587PWJ6W5D/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.12
completeness of $l^2$ JNXJZ73K0T
| URI | m2://inv/JNXJZ73K0T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Topology > Hilbert spaces > completeness of $l^2$, completeness of $l^2$ (unknown). Also Mathlib lp.completeSpace
History
- 2026-10-26: add by m2/dev
JNXS33TGNS JNXS33TGNS
| URI | m2://inv/JNXS33TGNS |
|---|---|
| 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#RXWC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Zariski's main theorem: topological form JNY1F9EE4F
| URI | m2://inv/JNY1F9EE4F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zariski's main theorem#LKYN, Zariski's main theorem: topological form (statement)
History
- 2026-11-02: add by m2/dev
JNY98PB6AA JNY98PB6AA
| URI | m2://inv/JNY98PB6AA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.10559#6MG9 (statement). In WEP0PNJW09/e1, corollary 4.1
History
- 2026-10-29: add by m2/v0.4.10
JNYBCF35PZ JNYBCF35PZ
| URI | m2://inv/JNYBCF35PZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21937#95PK (statement)
History
- 2026-11-02: add by m2/v0.6.17
JNYBET3BDX JNYBET3BDX
| URI | m2://inv/JNYBET3BDX |
|---|---|
| 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#Z2KE (statement). In H71AJ341B3/e1, proposition 5.3
History
- 2026-10-31: add by m2/v0.5.6
BLS digital signature JNYER512C9
| URI | m2://inv/JNYER512C9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BLS digital signature, BLS digital signature (definition). Also Wikidata Q4835869
History
- 2026-11-02: add by m2/dev
JNYFGS3TZ1 JNYFGS3TZ1
| URI | m2://inv/JNYFGS3TZ1 |
|---|---|
| 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.30892#GAMR (statement). In F7C1RM5VA4/e1, theorem 1.5
History
- 2026-10-31: add by m2/v0.5.6
Werner Römisch JNYJZQXGYS
| URI | m2://inv/JNYJZQXGYS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Werner Römisch, Werner Römisch (topic). Also Wikidata Q102182394
History
- 2026-11-02: add by m2/dev
JNYMQK5TQ0 JNYMQK5TQ0
| URI | m2://inv/JNYMQK5TQ0 |
|---|---|
| Kind | problem |
| 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 2410.18564#S6IM (problem). In MC8ZBZ14PM/e1, problem 5.3
History
- 2026-10-27: add by m2/v0.3.5
Zhegalkin polynomial JNZ1B22AAC
| URI | m2://inv/JNZ1B22AAC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#K38Q, Zhegalkin polynomial (definition)
History
- 2026-11-02: add by m2/dev
Circular uniform distribution JNZ9AGZJ09
| URI | m2://inv/JNZ9AGZJ09 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circular uniform distribution, Circular uniform distribution (definition). Also Wikidata Q5121680
History
- 2026-11-02: add by m2/dev
Examples JNZG1XQBY1
| URI | m2://inv/JNZG1XQBY1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perturbation function#CMTX, Examples (example)
History
- 2026-11-02: add by m2/dev
DeWayne Walker JNZJ57VB7M
| URI | m2://inv/JNZJ57VB7M |
|---|---|
| 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#BZG7, DeWayne Walker (unknown)
History
- 2026-11-02: add by m2/dev
Chi-squared test JNZRQ0TSGH
| URI | m2://inv/JNZRQ0TSGH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#UD3Q, Chi-squared test (definition)
- wikipedia: Wikipedia List of analyses of categorical data#W5MY, Chi-squared test (definition)
- wikipedia: Wikipedia List of statistics articles#H044, Chi-squared test (definition)
History
- 2026-11-02: add by m2/dev
Numerical extinction JNZSNPH1WG
| URI | m2://inv/JNZSNPH1WG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29524#2CT1, Numerical extinction (statement)
History
- 2026-11-01: add by m2/v0.6.15
Euclidean symmetries JNZT6G45PQ
| URI | m2://inv/JNZT6G45PQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetry (geometry)#G0NO, Euclidean symmetries (unknown)
History
- 2026-11-02: add by m2/dev
Marian Smoluchowski JNZW6WWRWS
| URI | m2://inv/JNZW6WWRWS |
|---|---|
| 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#TQVN, Marian Smoluchowski (unknown)
History
- 2026-11-02: add by m2/dev
Properties of $\Vds$ JNZYB519KW
| URI | m2://inv/JNZYB519KW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.38132#836S, Properties of $\Vds$ (statement). In K6CP8GP51H/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12