Inventory rows 4E
The cards of the rows of the inventory whose ids start with 4E. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
An expensive autonomous limit 4E04R3QXTH
| URI | m2://inv/4E04R3QXTH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04271#T4Q2, An expensive autonomous limit (statement). In WBXAW9G4JB/e1, proposition 15.6
History
- 2026-10-29: add by m2/v0.4.12
Simulated annealing 4E068P310Q
| URI | m2://inv/4E068P310Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#IXZ6, Simulated annealing (definition)
- wikipedia: Wikipedia List of statistics articles#H0MZ, Simulated annealing (definition)
- wikipedia: Wikipedia List of computability and complexity topics#ZDB3, Simulated annealing (definition)
History
- 2026-11-02: add by m2/dev
Relevant outer quotient 4E06SPQK6D
| URI | m2://inv/4E06SPQK6D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27042#EOVD, Relevant outer quotient (definition)
History
- 2026-11-01: add by m2/v0.6.15
Applications 4E0D0GG127
| URI | m2://inv/4E0D0GG127 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Garbled circuit#ECN0, Applications (example)
History
- 2026-11-02: add by m2/dev
4E0D4RWBEX 4E0D4RWBEX
| URI | m2://inv/4E0D4RWBEX |
|---|---|
| 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.17602#VZ4E (statement). In BH62508WHJ/e1, lemma 9
History
- 2026-10-28: add by m2/v0.4.2
Decay of correlations from LI for the tracial state 4E0E86KHEJ
| URI | m2://inv/4E0E86KHEJ |
|---|---|
| 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.31858#V6LO, Decay of correlations from LI for the tracial state (statement). In QV16PHDXKJ/e1, theorem 4.13
History
- 2026-10-31: add by m2/v0.5.6
The threshold root stays in the support 4E0P1Y7DQA
| URI | m2://inv/4E0P1Y7DQA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09602#AHCE, The threshold root stays in the support (statement). In 4AQ48WSBDQ/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.10
4E0SVP93AV 4E0SVP93AV
| URI | m2://inv/4E0SVP93AV |
|---|---|
| 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.26401#0P0A (statement)
History
- 2026-11-01: add by m2/v0.6.15
Reward improvement over vanilla OPD 4E0W45RYBW
| URI | m2://inv/4E0W45RYBW |
|---|---|
| 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.38025#W24L, Reward improvement over vanilla OPD (statement). In B7CAM06Q77/e1, theorem 5
History
- 2026-10-30: add by m2/v0.4.12
James Cogdell 4E10PCZEKV
| URI | m2://inv/4E10PCZEKV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Cogdell, James Cogdell (topic). Also Wikidata Q60235080
History
- 2026-11-02: add by m2/dev
Dot plot (statistics) 4E12R4NTGB
| URI | m2://inv/4E12R4NTGB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YSAZ, Dot plot (statistics) (definition)
History
- 2026-11-02: add by m2/dev
4E15JECJH3 4E15JECJH3
| URI | m2://inv/4E15JECJH3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#63N4 (statement). In 3A4K47Y9F2/e1, theorem 5.33
History
- 2026-10-27: add by m2/v0.4.0
Contingencies 4E16YKAT4W
| URI | m2://inv/4E16YKAT4W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia American Academy of Actuaries#83PK, Contingencies (unknown)
History
- 2026-11-02: add by m2/dev
Fano surface 4E1BYQY2TN
| URI | m2://inv/4E1BYQY2TN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#N6YP, Fano surface (definition)
History
- 2026-11-02: add by m2/dev
4E1HE5W8A1 4E1HE5W8A1
| URI | m2://inv/4E1HE5W8A1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22924#CG44 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Noisy rotation on the torus 4E1JS1M3B0
| URI | m2://inv/4E1JS1M3B0 |
|---|---|
| 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.13916#MOLO, Noisy rotation on the torus (example). In JS2JSD0507/e1, example 3.17
History
- 2026-10-28: add by m2/v0.4.2
4E1KF7D6AW 4E1KF7D6AW
| URI | m2://inv/4E1KF7D6AW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31689#90B0 (definition). In Z7M2JSF6HA/e1, definition 2.4
History
- 2026-10-31: add by m2/v0.5.6
4E1NG4B31K 4E1NG4B31K
| URI | m2://inv/4E1NG4B31K |
|---|---|
| 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.28350#7DY8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
4E1R7MVZDY 4E1R7MVZDY
| URI | m2://inv/4E1R7MVZDY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ImagesInverseImages.tex#problem-2 (exercise). In P1C114YBXG, problem, section C
History
- 2026-11-01: add by m2/v0.6.13
Discrete observations with degenerate interactions 4E1WSAKQDQ
| URI | m2://inv/4E1WSAKQDQ |
|---|---|
| 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 2610.20090#MEM9, Discrete observations with degenerate interactions (statement). In 2RV3YSN1NX/e1, theorem 4
History
- 2026-10-27: add by m2/v0.4.2
4E1X5GH5ZA 4E1X5GH5ZA
| URI | m2://inv/4E1X5GH5ZA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30067#27R7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hannan Medal 4E219ZJG3S
| URI | m2://inv/4E219ZJG3S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hannan Medal, Hannan Medal (definition). Also Wikidata Q3853499
History
- 2026-11-02: add by m2/dev
4E222DPZ6V 4E222DPZ6V
| URI | m2://inv/4E222DPZ6V |
|---|---|
| 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.14616#82EV (statement). In 17ACAG0N9C/e1, lemma 9.3
History
- 2026-10-28: add by m2/v0.4.2
Proof of Bochner--Martinelli 4E24T9NY4K
| URI | m2://inv/4E24T9NY4K |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-65, Proof of Bochner--Martinelli (proof). In VNMV985MXX, proof, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Survey Methodology 4E25NAMNM5
| URI | m2://inv/4E25NAMNM5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Survey Methodology, Survey Methodology (definition). Also Wikidata Q338439
History
- 2026-11-02: add by m2/dev
4E2DPHZ22P 4E2DPHZ22P
| URI | m2://inv/4E2DPHZ22P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23528#2XBY (statement)
History
- 2026-11-02: add by m2/v0.6.17
Chisholming 4E2KN4XV62
| URI | m2://inv/4E2KN4XV62 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roderick Chisholm#3LUJ, Chisholming (unknown)
History
- 2026-11-02: add by m2/dev
4E2NGGZMN2 4E2NGGZMN2
| URI | m2://inv/4E2NGGZMN2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09900#RQYL (definition). In ATSYBWEMMP/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
Statement of the theorem 4E2PFHR3QY
| URI | m2://inv/4E2PFHR3QY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Folkman's theorem#X7BU, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
locally contractible space 4E2QFG32MG
| URI | m2://inv/4E2QFG32MG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15832668, locally contractible space (unknown). Also nLab locally contractible space
History
- 2026-10-26: add by m2/dev
4E2TCFVVCV 4E2TCFVVCV
| URI | m2://inv/4E2TCFVVCV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.07573#5YMM (example). In 78X5SKJX8J/e1, example 7.10
History
- 2026-10-27: add by m2/v0.3.5
4E307FX6PS 4E307FX6PS
| URI | m2://inv/4E307FX6PS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12326#1DG3 (statement). In 9S7HGSEX6Q/e1, corollary 4.5
History
- 2026-10-28: add by m2/v0.4.2
Applications 4E327VMCY7
| URI | m2://inv/4E327VMCY7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marginal likelihood#4SYJ, Applications (example)
History
- 2026-11-02: add by m2/dev
variable, type 4E32S1EK8F
| URI | m2://inv/4E32S1EK8F |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.6/variable-type, variable, type (concept). In N54F33XE07, index, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
4E32TFJ74A 4E32TFJ74A
| URI | m2://inv/4E32TFJ74A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18084#IEE9 (statement). In PKPT8NY665/e1, lemma 1.1
History
- 2026-10-28: add by m2/v0.4.2
4E33VMR8GW 4E33VMR8GW
| URI | m2://inv/4E33VMR8GW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2209.08186#V9I5 (statement). In X6VGVPQH8V/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
4E34G3PNJN 4E34G3PNJN
| URI | m2://inv/4E34G3PNJN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31615#DB85 (statement). In TNV6XTEWEG/e1, lemma 6.2
History
- 2026-10-31: add by m2/v0.5.6
Applications 4E36VK59X6
| URI | m2://inv/4E36VK59X6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curve-shortening flow#QQIY, Applications (example)
History
- 2026-11-02: add by m2/dev
Grace Marie Bareis 4E3GPHYMSJ
| URI | m2://inv/4E3GPHYMSJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grace Marie Bareis, Grace Marie Bareis (topic). Also Wikidata Q27178264
History
- 2026-11-02: add by m2/dev
Completely normal 4E3RS7VRKW
| URI | m2://inv/4E3RS7VRKW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#KIA8, Completely normal (definition)
History
- 2026-11-02: add by m2/dev
Roulette 4E3SG1DRS4
| URI | m2://inv/4E3SG1DRS4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#A4GK, Roulette (definition)
- wikipedia: Wikipedia List of curves#Z096, Roulette (definition)
History
- 2026-11-02: add by m2/dev
Transverse redundancy check 4E3TPD047Y
| URI | m2://inv/4E3TPD047Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#6JLZ, Transverse redundancy check (unknown)
History
- 2026-11-02: add by m2/dev
4E3WM66M5F 4E3WM66M5F
| URI | m2://inv/4E3WM66M5F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ModularArithmetic.tex#theorem-7 (statement). In P1C114YBXG, theorem, section F
History
- 2026-11-01: add by m2/v0.6.13
Corollary 4E43CX9CN1
| URI | m2://inv/4E43CX9CN1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Auerbach's lemma#QQAJ, Corollary (statement)
History
- 2026-11-02: add by m2/dev
stick number 4E44CVZPHK
| URI | m2://inv/4E44CVZPHK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7616237, stick number (unknown). Also MathWorld StickNumber
- wikipedia: Wikipedia Stick number, Stick number (definition). Also Wikidata Q7616237
History
- 2026-10-26: add by m2/dev
4E44FZEGBZ 4E44FZEGBZ
| URI | m2://inv/4E44FZEGBZ |
|---|---|
| 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 2301.04933#VAWR (definition). In Q70CTMCJTP/e1, definition 3.15
History
- 2026-10-27: add by m2/v0.3.5
digamma function 4E48SK772V
| URI | m2://inv/4E48SK772V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Digamma function HWRRXB0YXS |
Mentions
- wikidata: Wikidata Q905326, digamma function (definition). Also EoM Psi-function, MathWorld DigammaFunction, ProofWiki Definition:Digamma_Function
- wikipedia: Wikipedia Digamma function, Digamma function (definition). Also Wikidata Q905326
History
- 2026-10-26: add by m2/dev
4E4FAVQHWB 4E4FAVQHWB
| URI | m2://inv/4E4FAVQHWB |
|---|---|
| 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 2406.07116#IMNN (statement). In 5B030CB2RK/e1, proposition 8.5
History
- 2026-10-27: add by m2/v0.3.6
Charles Ehresmann 4E4FFAXSJJ
| URI | m2://inv/4E4FFAXSJJ |
|---|---|
| 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 Q304712, Charles Ehresmann (unknown). Also nLab Charles Ehresmann
- wikipedia: Wikipedia Charles Ehresmann, Charles Ehresmann (topic). Also Wikidata Q304712
History
- 2026-10-26: add by m2/dev
Fresnel equations 4E4PQ6X4FT
| URI | m2://inv/4E4PQ6X4FT |
|---|---|
| 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#ZFAI, Fresnel equations (definition)
History
- 2026-11-02: add by m2/dev
Finite-episode score learning with variance-balanced DSM 4E4SVQH8VS
| URI | m2://inv/4E4SVQH8VS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05333#TZ9J, Finite-episode score learning with variance-balanced DSM (statement). In N37WKFTR7Q/e1, theorem F.2
History
- 2026-10-29: add by m2/v0.4.10
4E5HF76QBH 4E5HF76QBH
| URI | m2://inv/4E5HF76QBH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39531#LL5G (statement). In SN9RSTHQ07/e1, lemma H.2
History
- 2026-10-30: add by m2/v0.4.12
4E5TP7BNRP 4E5TP7BNRP
| URI | m2://inv/4E5TP7BNRP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.16655#ARJU (definition). In EJHAXRV685/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
4E61QVDBBR 4E61QVDBBR
| URI | m2://inv/4E61QVDBBR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18847#S2I2 (statement). In DZ12XTTJSM/e1, lemma 1.7
History
- 2026-10-28: add by m2/v0.4.2
Glossary of commutative algebra 4E66MB8ECE
| URI | m2://inv/4E66MB8ECE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra, Glossary of commutative algebra (topic). Also Wikidata Q17077756
History
- 2026-11-02: add by m2/dev
4E7E9148XG 4E7E9148XG
| URI | m2://inv/4E7E9148XG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-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 2409.00806#WJBR (statement). In SBN06J39DG/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
𝔟 4E7F6AK1DN
| URI | m2://inv/4E7F6AK1DN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#NLKM, 𝔟 (definition)
History
- 2026-11-02: add by m2/dev
SPRT 4E7MKA5F8E
| URI | m2://inv/4E7MKA5F8E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#EHB7, SPRT (definition)
History
- 2026-11-02: add by m2/dev
Definition 4E7MQ46520
| URI | m2://inv/4E7MQ46520 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal form (natural deduction)#43T0, Definition (definition)
History
- 2026-11-02: add by m2/dev
Coprime ideals 4E7PG05XNK
| URI | m2://inv/4E7PG05XNK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coprime integers#P3Y6, Coprime ideals (unknown)
History
- 2026-11-02: add by m2/dev
Unit ball and norm comparison 4E7T37QPJB
| URI | m2://inv/4E7T37QPJB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38453#VEZ5, Unit ball and norm comparison (statement). In DWKWF242Y0/e1, proposition 6
History
- 2026-10-30: add by m2/v0.4.12
4E7XQSK95X 4E7XQSK95X
| URI | m2://inv/4E7XQSK95X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.02207#6BIJ (statement). In 1T3ZYPQZF0/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.6
4E7ZY5BRQY 4E7ZY5BRQY
| URI | m2://inv/4E7ZY5BRQY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#7M1W (definition). In 5KR3MHYVV6/e1, definition 3.8
History
- 2026-10-28: add by m2/v0.4.2
Wolfgang Sternberg 4E8C0FYR6Y
| URI | m2://inv/4E8C0FYR6Y |
|---|---|
| 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#O6RB, Wolfgang Sternberg (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#PPK7, Wolfgang Sternberg (topic)
History
- 2026-11-02: add by m2/dev
Elena Prieto-Rodriguez 4E8PV2T0DW
| URI | m2://inv/4E8PV2T0DW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elena Prieto-Rodriguez, Elena Prieto-Rodriguez (topic). Also Wikidata Q57451771
History
- 2026-11-02: add by m2/dev
Examples 4E8RDGH647
| URI | m2://inv/4E8RDGH647 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extension (predicate logic)#SQ42, Examples (example)
History
- 2026-11-02: add by m2/dev
4E8V1MP8VX 4E8V1MP8VX
| URI | m2://inv/4E8V1MP8VX |
|---|---|
| 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.28540#1L8G (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example 4E8XE028KE
| URI | m2://inv/4E8XE028KE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baily–Borel compactification#ARJQ, Example (example)
History
- 2026-11-02: add by m2/dev
4E95NKYYHQ 4E95NKYYHQ
| URI | m2://inv/4E95NKYYHQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17325#1WEZ (statement). In SE16BAED46/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Examples 4E99KN592W
| URI | m2://inv/4E99KN592W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homogeneity and heterogeneity (statistics)#V29V, Examples (example)
History
- 2026-11-02: add by m2/dev
covering relation 4E99TZ8AZ2
| URI | m2://inv/4E99TZ8AZ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Covering relation 4HHDPZ4BDY |
Mentions
- wikidata: Wikidata Q5179263, covering relation (unknown). Also nLab covering relation
- wikipedia: Wikipedia Covering relation, Covering relation (definition). Also Wikidata Q5179263
History
- 2026-10-26: add by m2/dev
4E9M6Q7K00 4E9M6Q7K00
| URI | m2://inv/4E9M6Q7K00 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10902#NC90 (statement). In 96T1K6C3NZ/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.3
Thirteen left elements 4E9MNHF6SH
| URI | m2://inv/4E9MNHF6SH |
|---|---|
| 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.32078#OSL3, Thirteen left elements (statement). In 5PN85N6EJF/e1, theorem 12.1
History
- 2026-10-31: add by m2/v0.5.6
Periodic inputs on finite records 4E9SYYJNDG
| URI | m2://inv/4E9SYYJNDG |
|---|---|
| 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.39895#DCQM, Periodic inputs on finite records (statement). In B3TZBWZNM4/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
4EA2JFXP63 4EA2JFXP63
| URI | m2://inv/4EA2JFXP63 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#SXOA (statement). In VN084GGZGK/e1, proposition 3.27
History
- 2026-10-28: add by m2/v0.4.3
Dominik Szulc 4EAB3F8T52
| URI | m2://inv/4EAB3F8T52 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dominik Szulc, Dominik Szulc (topic). Also Wikidata Q5290992
History
- 2026-11-02: add by m2/dev
Example 4EACZ1YZGD
| URI | m2://inv/4EACZ1YZGD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cycle index#E1AE, Example (example)
History
- 2026-11-02: add by m2/dev
Mixing properties of $\Omega$-regularization 4EADGM3YN5
| URI | m2://inv/4EADGM3YN5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14988#JHEG, Mixing properties of $\Omega$-regularization (statement). In B29M4E6KGC/e1, lemma G.2
History
- 2026-10-28: add by m2/v0.4.2
4EAS1SWRN6 4EAS1SWRN6
| URI | m2://inv/4EAS1SWRN6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01433#GN7W (definition). In 160PQ7F1AS/e1, definition 4.2
History
- 2026-10-29: add by m2/v0.4.12
Enumeration 4EAVN721BE
| URI | m2://inv/4EAVN721BE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypohamiltonian graph#0BA9, Enumeration (definition)
History
- 2026-11-02: add by m2/dev
4EAYPDRQ0P 4EAYPDRQ0P
| URI | m2://inv/4EAYPDRQ0P |
|---|---|
| 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.13723#HISX (statement). In HPBCRT0Z0V/e1, corollary 1.1
History
- 2026-10-28: add by m2/v0.4.2
Japan 4EAZTJETS7
| URI | m2://inv/4EAZTJETS7 |
|---|---|
| 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 Q17, Japan (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Japan
History
- 2026-10-26: add by m2/dev
Freydoon Shahidi 4EB307GBY1
| URI | m2://inv/4EB307GBY1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Freydoon Shahidi, Freydoon Shahidi (topic). Also Wikidata Q5503313
History
- 2026-11-02: add by m2/dev
Density of Random Periodic Points 4EBD8CTTNH
| URI | m2://inv/4EBD8CTTNH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1612.08394#2FXW, Density of Random Periodic Points (statement). In 1P8D88DKG5/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
4EBGN2RK59 4EBGN2RK59
| URI | m2://inv/4EBGN2RK59 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.08081#LHDM (statement). In FJ8XVQ6F0T/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.4.0
Nancy Gordon 4EBYFHQ559
| URI | m2://inv/4EBYFHQ559 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#HWHG, Nancy Gordon (topic)
History
- 2026-11-02: add by m2/dev
Carlson's inequality 4EBZB1R57T
| URI | m2://inv/4EBZB1R57T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#OKWL, Carlson's inequality (topic)
History
- 2026-11-02: add by m2/dev
Laws of evaluation: Identity, nullity, and complement 4EC01JZYY4
| URI | m2://inv/4EC01JZYY4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propositional formula#VFQ4, Laws of evaluation: Identity, nullity, and complement (statement)
History
- 2026-11-02: add by m2/dev
Dijkstra–Scholten algorithm 4EC8AYR2KY
| URI | m2://inv/4EC8AYR2KY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dijkstra–Scholten algorithm, Dijkstra–Scholten algorithm (definition). Also Wikidata Q5276493
History
- 2026-11-02: add by m2/dev
4ECF69BH8Q 4ECF69BH8Q
| URI | m2://inv/4ECF69BH8Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10937#OS0P (statement). In 6VVK3YTABP/e1, corollary 2.13
History
- 2026-10-28: add by m2/v0.4.3
Jacques Dixmier 4ECGXFEVD7
| URI | m2://inv/4ECGXFEVD7 |
|---|---|
| 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 Q762461, Jacques Dixmier (unknown). Also nLab Jacques Dixmier
- wikipedia: Wikipedia Jacques Dixmier, Jacques Dixmier (topic). Also Wikidata Q762461
History
- 2026-10-26: add by m2/dev
Quantitative inverse-metric estimate 4ECMBR48HX
| URI | m2://inv/4ECMBR48HX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32680#1O62, Quantitative inverse-metric estimate (statement). In XVJGVCZA7V/e1, lemma 7.3
History
- 2026-10-31: add by m2/v0.5.6
4ECWVMS8XN 4ECWVMS8XN
| URI | m2://inv/4ECWVMS8XN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10469#9438 (statement). In Q39BEKW6D9/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
4ECY6C868P 4ECY6C868P
| URI | m2://inv/4ECY6C868P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11693#DG6G (statement). In F8QNPNTBTZ/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.3
Uncertain database 4ED15JKZ8X
| URI | m2://inv/4ED15JKZ8X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uncertain database, Uncertain database (definition). Also Wikidata Q124792592
History
- 2026-11-02: add by m2/dev
Sazonov's theorem 4ED30E27JF
| URI | m2://inv/4ED30E27JF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#TXJJ, Sazonov's theorem (statement)
History
- 2026-11-02: add by m2/dev
Lefschetz $(1,1)$-theorem 4ED5Y56VKV
| URI | m2://inv/4ED5Y56VKV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13939#60KY, Lefschetz $(1,1)$-theorem (statement). In T0NQ0Q9WVD/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
4ED6JKPG4D 4ED6JKPG4D
| URI | m2://inv/4ED6JKPG4D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11847#YNHD (statement). In MP2YM69XW8/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.3
First-order optimization bound 4EDG77PK43
| URI | m2://inv/4EDG77PK43 |
|---|---|
| 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.20687#O994, First-order optimization bound (statement)
History
- 2026-11-02: add by m2/v0.6.18
Dominic Bezzina 4EDH5PQEY5
| URI | m2://inv/4EDH5PQEY5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dominic Bezzina, Dominic Bezzina (topic). Also Wikidata Q5290465
History
- 2026-11-02: add by m2/dev
4EDMZGGC5P 4EDMZGGC5P
| URI | m2://inv/4EDMZGGC5P |
|---|---|
| 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 0805.4273#QBN6 (statement). In ZX3NV58FRX/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.3.5
Tutte 4EE8VGFRG8
| URI | m2://inv/4EE8VGFRG8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#IQKR, Tutte (statement)
History
- 2026-11-01: add by m2/v0.6.15
Patrick Bernard 4EEDQA42SB
| URI | m2://inv/4EEDQA42SB |
|---|---|
| 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#DONM, Patrick Bernard (unknown)
History
- 2026-11-02: add by m2/dev
Rarity of the bad event 4EEG4DQVQG
| URI | m2://inv/4EEG4DQVQG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00453#MOY1, Rarity of the bad event (statement). In ESPJMBH2R2/e1, corollary 6.2
History
- 2026-10-30: add by m2/v0.4.12
4EEN0TRV83 4EEN0TRV83
| URI | m2://inv/4EEN0TRV83 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12486#Y519 (statement). In CWQ2YHT24E/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities 4EEPC09XYM
| URI | m2://inv/4EEPC09XYM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q116048291, An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities (unknown). Also ProofWiki Book:George_Boole/An_Investigation_of_the_Laws_of_Thought
History
- 2026-10-26: add by m2/dev
4EEYKK41QY 4EEYKK41QY
| URI | m2://inv/4EEYKK41QY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15099#GDDT (definition). In PF5JJ9DS8Q/e1, definition 7.2.3
History
- 2026-10-28: add by m2/v0.4.2
4EF0S7RHAW 4EF0S7RHAW
| URI | m2://inv/4EF0S7RHAW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09133#KT73 (definition). In E7BPGPP9Z5/e1, definition 3.5
History
- 2026-10-29: add by m2/v0.4.10
Important theorems 4EF3NRESEN
| URI | m2://inv/4EF3NRESEN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic topology#WBPO, Important theorems (statement)
History
- 2026-11-02: add by m2/dev
Solomon Marcus 4EF4QTMGF8
| URI | m2://inv/4EF4QTMGF8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#G1GQ, Solomon Marcus (unknown)
History
- 2026-11-02: add by m2/dev
Density increment lemma 4EF51QTWQE
| URI | m2://inv/4EF51QTWQE |
|---|---|
| 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 1806.05002#DVWU, Density increment lemma (statement). In JBAQ7DTW7B/e1, lemma 7.1
History
- 2026-10-27: add by m2/v0.3.5
4EF7WHERF9 4EF7WHERF9
| URI | m2://inv/4EF7WHERF9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20060#RY27 (statement)
History
- 2026-11-02: add by m2/v0.6.18
4EFAPHK8P8 4EFAPHK8P8
| URI | m2://inv/4EFAPHK8P8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39981#K5JG (definition). In PMMV6YAEVR/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
Recurrent neural network 4EFD04362B
| URI | m2://inv/4EFD04362B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recurrent neural network, Recurrent neural network (definition). Also Wikidata Q1457734
History
- 2026-11-02: add by m2/dev
4EFFQWPF6A 4EFFQWPF6A
| URI | m2://inv/4EFFQWPF6A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/dets.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 56.1
History
- 2026-11-01: add by m2/v0.6.13
4EFG6JB76N 4EFG6JB76N
| URI | m2://inv/4EFG6JB76N |
|---|---|
| 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.29699#DJNW (statement)
History
- 2026-11-01: add by m2/v0.6.15
hypothesis 4EFS0Z4KHP
| URI | m2://inv/4EFS0Z4KHP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.2.2/hypothesis, hypothesis (concept). In Y91XFCEVHQ, index, section 1.2.2
History
- 2026-11-01: add by m2/v0.6.13
Differential games with random time horizon 4EFYPWVHKP
| URI | m2://inv/4EFYPWVHKP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential game#OSIX, Differential games with random time horizon (unknown)
History
- 2026-11-02: add by m2/dev
Quantization preserves information 4EG02SJHYS
| URI | m2://inv/4EG02SJHYS |
|---|---|
| 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.18935#VTFE, Quantization preserves information (statement). In HPEEJY1S3S/e1, lemma 9
History
- 2026-10-28: add by m2/v0.4.2
Carry formulation 4EG0XMD7XY
| URI | m2://inv/4EG0XMD7XY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 35-XX, 47-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26055#EZ5Y, Carry formulation (statement)
History
- 2026-11-01: add by m2/v0.6.15
4EG8882TN0 4EG8882TN0
| URI | m2://inv/4EG8882TN0 |
|---|---|
| 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.36922#TLFW (definition). In BMHWE5QTTR/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
4EGA07HHTF 4EGA07HHTF
| URI | m2://inv/4EGA07HHTF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05320#CR7U (example). In MVXZWHKEX8/e1, example 8.4
History
- 2026-10-29: add by m2/v0.4.10
Averages along linear flows 4EH71DJ5BH
| URI | m2://inv/4EH71DJ5BH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12434#WMF1, Averages along linear flows (statement). In YCRZC9SDCE/e1, lemma 9.4
History
- 2026-10-28: add by m2/v0.4.2
Trigamma function 4EH72TCHGR
| URI | m2://inv/4EH72TCHGR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Trigamma function 5VGVPENA0F |
Mentions
- wikidata: Wikidata Q1244426, Trigamma function (unknown). Also MathWorld TrigammaFunction
- wikipedia: Wikipedia Trigamma function, Trigamma function (definition). Also Wikidata Q1244426
History
- 2026-10-26: add by m2/dev
4EHB7TA7MG 4EHB7TA7MG
| URI | m2://inv/4EHB7TA7MG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 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 2610.18302#2PGX (statement). In VJTRH1S4JA/e1, corollary 3.21
History
- 2026-10-28: add by m2/v0.4.2
4EHMDZGDM3 4EHMDZGDM3
| URI | m2://inv/4EHMDZGDM3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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 2602.15812#VQUI (definition). In GAAZD3SGPN/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
4EHNADKY44 4EHNADKY44
| URI | m2://inv/4EHNADKY44 |
|---|---|
| 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.05459#F03Q (statement). In VYW16D089Y/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.10
Exact direct-sum criterion for the NTK 4EHNBZPFD7
| URI | m2://inv/4EHNBZPFD7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04357#TC5Y, Exact direct-sum criterion for the NTK (statement). In 6FY8BVP1F3/e1, corollary D.5
History
- 2026-10-29: add by m2/v0.4.12
Explained variation 4EHPBSA6QS
| URI | m2://inv/4EHPBSA6QS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Explained variation, Explained variation (definition). Also Wikidata Q2510752
History
- 2026-11-02: add by m2/dev
4EHR98YC7Y 4EHR98YC7Y
| URI | m2://inv/4EHR98YC7Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#QVNP (statement). In M0SQY5EZN5/e1, lemma 4.4.6
History
- 2026-10-27: add by m2/v0.3.5
Functional equation and unitarity 4EHSM1PX3M
| URI | m2://inv/4EHSM1PX3M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25925#7GIX, Functional equation and unitarity (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sturm–Liouville theory 4EHSWGEYM2
| URI | m2://inv/4EHSWGEYM2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#7VND, Sturm–Liouville theory (definition)
History
- 2026-11-02: add by m2/dev
abuse, of notation 4EHVVD7TF2
| URI | m2://inv/4EHVVD7TF2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.14/abuse-of-notation, abuse, of notation (concept). In N54F33XE07, index, section 1.14
History
- 2026-11-01: add by m2/v0.6.13
IDEA NXT 4EHY5CS3NJ
| URI | m2://inv/4EHY5CS3NJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia IDEA NXT, IDEA NXT (definition). Also Wikidata Q1389431
History
- 2026-11-02: add by m2/dev
Marc Krasner 4EJ1WPYN8K
| URI | m2://inv/4EJ1WPYN8K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marc Krasner, Marc Krasner (topic). Also Wikidata Q1892667
History
- 2026-11-02: add by m2/dev
Megagon 4EJ2DJ998C
| URI | m2://inv/4EJ2DJ998C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#O2OF, Megagon (definition)
History
- 2026-11-02: add by m2/dev
4EJ44K7WRB 4EJ44K7WRB
| URI | m2://inv/4EJ44K7WRB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.31445#HWKH (statement). In 7V2PVZS04C/e1, lemma 5.7
History
- 2026-10-31: add by m2/v0.5.6
Armitage–Doll multistage model of carcinogenesis 4EJ6MBSCDJ
| URI | m2://inv/4EJ6MBSCDJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#XYW3, Armitage–Doll multistage model of carcinogenesis (definition)
History
- 2026-11-02: add by m2/dev
4EJ7RTPXWG 4EJ7RTPXWG
| URI | m2://inv/4EJ7RTPXWG |
|---|---|
| Kind | example |
| 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.30544#Q2UW (example). In CB35ZBBBPT/e1, example 4.15
History
- 2026-10-31: add by m2/v0.5.6
Index of accounting articles 4EJBAVD0DQ
| URI | m2://inv/4EJBAVD0DQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Index of accounting articles, Index of accounting articles (topic). Also Wikidata Q3532100
History
- 2026-11-02: add by m2/dev
strict, order 4EJFPGFNH3
| URI | m2://inv/4EJFPGFNH3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.6/strict-order, strict, order (concept). In N54F33XE07, index, section B.6
History
- 2026-11-01: add by m2/v0.6.13
4EJN0X61Y9 4EJN0X61Y9
| URI | m2://inv/4EJN0X61Y9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33108#1607 (definition). In 5JK5N2RRMS/e1, definition 2.3
History
- 2026-10-30: add by m2/v0.4.12
4EJY19QJA7 4EJY19QJA7
| URI | m2://inv/4EJY19QJA7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-intro.tex#exer:field_ideal (exercise). In RZP28ERRZV, exercise, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
Definition 4EJZ3EME99
| URI | m2://inv/4EJZ3EME99 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial functor (type theory)#SNWW, Definition (definition)
History
- 2026-11-02: add by m2/dev
4EK3S865BY 4EK3S865BY
| URI | m2://inv/4EK3S865BY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23994#3BIZ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Statement of the theorem 4EK52VXJVV
| URI | m2://inv/4EK52VXJVV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov's three-series theorem#NMQH, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
4EK5YK0E00 4EK5YK0E00
| URI | m2://inv/4EK5YK0E00 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00614#129D (statement). In NC5Z77F6H4/e1, proposition 4.3
History
- 2026-10-30: add by m2/v0.4.12
Uniform Fixed-Parameter Higher-Order Family 4EKDQEFVKS
| URI | m2://inv/4EKDQEFVKS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12239#DQ4U, Uniform Fixed-Parameter Higher-Order Family (statement). In CW9MNA6K58/e1, proposition 9.22
History
- 2026-10-28: add by m2/v0.4.2
Goudreau Museum of Mathematics in Art and Science 4EKTJMVBK7
| URI | m2://inv/4EKTJMVBK7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goudreau Museum of Mathematics in Art and Science, Goudreau Museum of Mathematics in Art and Science (definition). Also Wikidata Q5588171
History
- 2026-11-02: add by m2/dev
Wei Ho 4EKW7C4SH9
| URI | m2://inv/4EKW7C4SH9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wei Ho, Wei Ho (topic). Also Wikidata Q102395575
History
- 2026-11-02: add by m2/dev
4EM3G3QEY0 4EM3G3QEY0
| URI | m2://inv/4EM3G3QEY0 |
|---|---|
| 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.25656#KJ0X (statement)
History
- 2026-11-01: add by m2/v0.6.15
4EM6KP1C3A 4EM6KP1C3A
| URI | m2://inv/4EM6KP1C3A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22642#AKBT (statement)
History
- 2026-11-02: add by m2/v0.6.17
Jennifer Hom 4EM8SSB4VW
| URI | m2://inv/4EM8SSB4VW |
|---|---|
| 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#TFHF, Jennifer Hom (topic)
History
- 2026-11-02: add by m2/dev
mathematics, classical 4EM9GEBTHP
| URI | m2://inv/4EM9GEBTHP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u7/mathematics-classical, mathematics, classical (concept). In N54F33XE07, index, section u1.u7
History
- 2026-11-01: add by m2/v0.6.13
Algorithms 4EMAWDB4YT
| URI | m2://inv/4EMAWDB4YT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signed distance function#LAON, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Examples 4EMD1ZDZJN
| URI | m2://inv/4EMD1ZDZJN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohort study#YNCQ, Examples (example)
History
- 2026-11-02: add by m2/dev
Reasonable doubt 4EMD920SQR
| URI | m2://inv/4EMD920SQR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reasonable doubt, Reasonable doubt (definition). Also Wikidata Q2905670
History
- 2026-11-02: add by m2/dev
4EMDAWCZWM 4EMDAWCZWM
| URI | m2://inv/4EMDAWCZWM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2507.12309#8S18 (definition). In ZR53K3E0FR/e1, definition 33
History
- 2026-10-27: add by m2/v0.3.6
John Kemp 4EMGRYK4CZ
| URI | m2://inv/4EMGRYK4CZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Kemp (mathematician), John Kemp (topic). Also Wikidata Q18671911
History
- 2026-11-02: add by m2/dev
4EN146FKE3 4EN146FKE3
| URI | m2://inv/4EN146FKE3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10964#77HV (statement). In 16KVMD76PZ/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.3
Hermitian matrix 4EN4K3KAKS
| URI | m2://inv/4EN4K3KAKS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Charles Hermite#Y315, Hermitian matrix (definition)
History
- 2026-11-02: add by m2/dev
Variational Extension Formula 4ENAQYMP9Q
| URI | m2://inv/4ENAQYMP9Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12239#5UJ8, Variational Extension Formula (statement). In CW9MNA6K58/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Khrushchev's Lemma 4ENBEWRHMH
| URI | m2://inv/4ENBEWRHMH |
|---|---|
| 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 2403.08723#EXK4, Khrushchev's Lemma (statement). In HGE2NCQW29/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.5
4ENBQWB86Z 4ENBQWB86Z
| URI | m2://inv/4ENBQWB86Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26089#C5PS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fatou set 4ENH8ZTW46
| URI | m2://inv/4ENH8ZTW46 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#KDXC, Fatou set (definition)
History
- 2026-11-02: add by m2/dev
Ramanujan Institute for Advanced Study in Mathematics 4ENP5889QF
| URI | m2://inv/4ENP5889QF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#FT85, Ramanujan Institute for Advanced Study in Mathematics (definition)
History
- 2026-11-02: add by m2/dev
Yong-Geun Oh 4ENQ7RE5VA
| URI | m2://inv/4ENQ7RE5VA |
|---|---|
| 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#M9XO, Yong-Geun Oh (topic)
History
- 2026-11-02: add by m2/dev
4ENZ0FDPE5 4ENZ0FDPE5
| URI | m2://inv/4ENZ0FDPE5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21960#S8R1 (statement). In QX77AN49J0/e1, proposition 8.20
History
- 2026-10-27: add by m2/v0.4.2
4ENZYMAX3R 4ENZYMAX3R
| URI | m2://inv/4ENZYMAX3R |
|---|---|
| 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 2609.25718#W2PV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example 4EP36FMX0S
| URI | m2://inv/4EP36FMX0S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Butcher group#BXOX, Example (example)
History
- 2026-11-02: add by m2/dev
4EP9CG390X 4EP9CG390X
| URI | m2://inv/4EP9CG390X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13670#WV8P (statement). In 4PGTZ19B26/e1, lemma 3.14
History
- 2026-10-28: add by m2/v0.4.2
4EP9GKKE6Z 4EP9GKKE6Z
| URI | m2://inv/4EP9GKKE6Z |
|---|---|
| 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.21047#GSY9 (statement)
History
- 2026-11-02: add by m2/v0.6.18
4EPA2DXYXE 4EPA2DXYXE
| URI | m2://inv/4EPA2DXYXE |
|---|---|
| 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 2002.01498#7ULB (statement). In 2H7TQ695XW/e1, fact 4.6
History
- 2026-10-27: add by m2/v0.3.5
Terminology 4EPARHYNY2
| URI | m2://inv/4EPARHYNY2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concatenation#9ZWR, Terminology (definition)
History
- 2026-11-02: add by m2/dev
4EPE7YQS5H 4EPE7YQS5H
| URI | m2://inv/4EPE7YQS5H |
|---|---|
| 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.11902#1XBR (statement). In K66QKM4N5E/e1, corollary 3.6
History
- 2026-10-28: add by m2/v0.4.3
Segal 4EPGK2JXE6
| URI | m2://inv/4EPGK2JXE6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#UIW5, Segal (definition)
History
- 2026-11-02: add by m2/dev
4EPMVA3VRP 4EPMVA3VRP
| URI | m2://inv/4EPMVA3VRP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/p-adic.tex#example-2 (example). In RZP28ERRZV, example, section 33.2.3
History
- 2026-11-01: add by m2/v0.6.13
Covariance operator 4EPZDTYC5Q
| URI | m2://inv/4EPZDTYC5Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covariance operator, Covariance operator (definition). Also Wikidata Q5178900
History
- 2026-11-02: add by m2/dev
Properties of $\Psi_\varepsilon\ast 1_{\overline{B}_r(x)}$ 4EQ2R2F9B9
| URI | m2://inv/4EQ2R2F9B9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24451#0U0L, Properties of $\Psi_\varepsilon\ast 1_{\overline{B}_r(x)}$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
4EQCSM9EJ3 4EQCSM9EJ3
| URI | m2://inv/4EQCSM9EJ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#1236 (statement). In M0SQY5EZN5/e1, corollary 2.8.15
History
- 2026-10-27: add by m2/v0.3.5
Examples 4EQFA8D78Z
| URI | m2://inv/4EQFA8D78Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson manifold#GHPR, Examples (example)
History
- 2026-11-02: add by m2/dev
Agata Smoktunowicz 4EQFKKBKWG
| URI | m2://inv/4EQFKKBKWG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#I138, Agata Smoktunowicz (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ILRR, Agata Smoktunowicz (topic)
History
- 2026-11-02: add by m2/dev
4EQJPPP3MD 4EQJPPP3MD
| URI | m2://inv/4EQJPPP3MD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/functors.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 37.7
History
- 2026-11-01: add by m2/v0.6.13
4EQN1TV9QV 4EQN1TV9QV
| URI | m2://inv/4EQN1TV9QV |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1804.06366#A3QB (proof). In 89XYDVXG38/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Definition 4EQT1EBSJX
| URI | m2://inv/4EQT1EBSJX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classical orthogonal polynomials#BRX3, Definition (definition)
History
- 2026-11-02: add by m2/dev
4ER5JDDS8Z 4ER5JDDS8Z
| URI | m2://inv/4ER5JDDS8Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03422#1H0R (statement). In SF88CM0957/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.12
STREM 4ER6TXVMVZ
| URI | m2://inv/4ER6TXVMVZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Science, technology, engineering, and mathematics#D5MI, STREM (unknown)
History
- 2026-11-02: add by m2/dev
4ER90AKG55 4ER90AKG55
| URI | m2://inv/4ER90AKG55 |
|---|---|
| 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.33238#BZD3 (statement). In MVWXMDFP3P/e1, lemma A.1
History
- 2026-10-30: add by m2/v0.4.12
4ERHSHAG1Y 4ERHSHAG1Y
| URI | m2://inv/4ERHSHAG1Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#RJS5 (statement)
History
- 2026-11-02: add by m2/v0.6.18
$\Site$ is a category 4ERRD96SS6
| URI | m2://inv/4ERRD96SS6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26270#WT1Z, $\Site$ is a category (statement)
History
- 2026-11-01: add by m2/v0.6.15
4ERSQN51Q2 4ERSQN51Q2
| URI | m2://inv/4ERSQN51Q2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11596#IDDJ (statement). In 76850E2X7T/e1, theorem 2.11
History
- 2026-10-28: add by m2/v0.4.3
Applications 4ERY86SG4T
| URI | m2://inv/4ERY86SG4T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vertex cover in hypergraphs#A02D, Applications (example)
History
- 2026-11-02: add by m2/dev
4ERYCJ39TD 4ERYCJ39TD
| URI | m2://inv/4ERYCJ39TD |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#proof-17 (proof). In N54F33XE07, proof, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
4ERYDWDGPE 4ERYDWDGPE
| URI | m2://inv/4ERYDWDGPE |
|---|---|
| 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.10406#UOY1 (statement). In VQA35Q7C00/e1, corollary 7.8
History
- 2026-10-29: add by m2/v0.4.10
4ES6QBSQXJ 4ES6QBSQXJ
| URI | m2://inv/4ES6QBSQXJ |
|---|---|
| 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.19573#5O2P (statement). In NM6Z2R61CN/e1, lemma A.3
History
- 2026-10-28: add by m2/v0.4.2
4ES7AV4B54 4ES7AV4B54
| URI | m2://inv/4ES7AV4B54 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04498#URD6 (statement). In HHF08X70P6/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
Matthew T. Dickerson 4ES847YFKD
| URI | m2://inv/4ES847YFKD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ECOT, Matthew T. Dickerson (unknown)
History
- 2026-11-02: add by m2/dev
Moment-resolved Gaussian optimality 4ESCN3GW8G
| URI | m2://inv/4ESCN3GW8G |
|---|---|
| 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.22308#ZRQ2, Moment-resolved Gaussian optimality (statement). In 4QN87R0P1G/e1, theorem 2
History
- 2026-10-27: add by m2/v0.4.0
4ESFCTSBT3 4ESFCTSBT3
| URI | m2://inv/4ESFCTSBT3 |
|---|---|
| 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.04398#OKJ3 (statement). In DFZWC9HY0T/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
4ESREDRE3H 4ESREDRE3H
| URI | m2://inv/4ESREDRE3H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-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 2303.09207#75PE (definition). In 9DQKY7KGE8/e1, definition B.12
History
- 2026-10-31: add by m2/v0.5.6
Ramanathan Gnanadesikan 4ET3E6DG9M
| URI | m2://inv/4ET3E6DG9M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#47RN, Ramanathan Gnanadesikan (topic)
History
- 2026-11-02: add by m2/dev
projective orthogonal group 4ETE44Y1MM
| URI | m2://inv/4ETE44Y1MM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7249468, projective orthogonal group (unknown). Also MathWorld ProjectiveGeneralOrthogonalGroup
- wikipedia: Wikipedia Projective orthogonal group, Projective orthogonal group (definition). Also Wikidata Q7249468
History
- 2026-10-26: add by m2/dev
American Epidemiological Society 4ETR6WPKVY
| URI | m2://inv/4ETR6WPKVY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia American Epidemiological Society, American Epidemiological Society (definition). Also Wikidata Q24534646
History
- 2026-11-02: add by m2/dev
Stable manifold 4ETS7X8PYE
| URI | m2://inv/4ETS7X8PYE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable manifold, Stable manifold (definition). Also Wikidata Q3554830
History
- 2026-11-02: add by m2/dev
Goldman--Wentworth 4ETY3RBPYG
| URI | m2://inv/4ETY3RBPYG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35858#MR7R, Goldman--Wentworth (statement). In R2K4HZN8RW/e1, theorem 5.7
History
- 2026-10-30: add by m2/v0.4.12
Schmidt 4ETZ4562PE
| URI | m2://inv/4ETZ4562PE |
|---|---|
| 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.33027#LNV1, Schmidt (statement). In E2AF84709B/e1, theorem 10
History
- 2026-10-31: add by m2/v0.5.6
Graded Lie algebra 4EV5CFYWHB
| URI | m2://inv/4EV5CFYWHB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#QXRZ, Graded Lie algebra (definition)
History
- 2026-11-02: add by m2/dev
4EV9V2T18B 4EV9V2T18B
| URI | m2://inv/4EV9V2T18B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/line-bundles.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 85.4
History
- 2026-11-01: add by m2/v0.6.13
Glivenko's translation 4EVDD8323P
| URI | m2://inv/4EVDD8323P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double-negation translation#B59Y, Glivenko's translation (unknown)
History
- 2026-11-02: add by m2/dev
Characterization 4EVHN3CSNR
| URI | m2://inv/4EVHN3CSNR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strategyproofness#F5U9, Characterization (statement)
History
- 2026-11-02: add by m2/dev
Properties 4EVMEGGKF1
| URI | m2://inv/4EVMEGGKF1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Practical number#EV7Y, Properties (statement)
History
- 2026-11-02: add by m2/dev
Average-case persistence from the second-best gap 4EVRNGG0MP
| URI | m2://inv/4EVRNGG0MP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08152#ECPG, Average-case persistence from the second-best gap (statement). In T1GYQ6SCCZ/e1, corollary 3.6
History
- 2026-10-29: add by m2/v0.4.10
Schunck class 4EVTSK07H9
| URI | m2://inv/4EVTSK07H9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formation (group theory)#W97L, Schunck class (unknown)
History
- 2026-11-02: add by m2/dev
4EW3WJGVZ8 4EW3WJGVZ8
| URI | m2://inv/4EW3WJGVZ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#defn-18 (definition). In E59CDZA4DP, defn, section 4.6.1
History
- 2026-11-01: add by m2/v0.6.13
Christopher Deninger 4EW7JEK7NY
| URI | m2://inv/4EW7JEK7NY |
|---|---|
| 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 Q120413, Christopher Deninger (unknown). Also nLab Christopher Deninger
- wikipedia: Wikipedia Christopher Deninger, Christopher Deninger (topic). Also Wikidata Q120413
History
- 2026-10-26: add by m2/dev
A word on notation and the axiom of choice 4EW985F91A
| URI | m2://inv/4EW985F91A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinitary logic#7Q4O, A word on notation and the axiom of choice (statement)
History
- 2026-11-02: add by m2/dev
Abel's integral equation 4EWA55VBHK
| URI | m2://inv/4EWA55VBHK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tautochrone curve#ZP79, Abel's integral equation (unknown)
History
- 2026-11-02: add by m2/dev
Definition 4EWB88D646
| URI | m2://inv/4EWB88D646 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Piecewise linear function#V42I, Definition (definition)
History
- 2026-11-02: add by m2/dev
Friedman 4EWBRAXQXY
| URI | m2://inv/4EWBRAXQXY |
|---|---|
| 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 2209.00108#FANQ, Friedman (statement). In V2G422ZMPW/e1, lemma 9
History
- 2026-10-27: add by m2/v0.3.5
Hecke algebra of a finite group 4EWHAMWMM2
| URI | m2://inv/4EWHAMWMM2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hecke algebra of a finite group, Hecke algebra of a finite group (definition). Also Wikidata Q48970269
History
- 2026-11-02: add by m2/dev
4EWHD3KHDH 4EWHD3KHDH
| URI | m2://inv/4EWHD3KHDH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25321#253W (statement)
History
- 2026-11-01: add by m2/v0.6.15
Giovanni Parmigiani 4EWPGQ87VN
| URI | m2://inv/4EWPGQ87VN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giovanni Parmigiani, Giovanni Parmigiani (topic). Also Wikidata Q58270840
History
- 2026-11-02: add by m2/dev
Condorcet method 4EX112F127
| URI | m2://inv/4EX112F127 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics-based methods#9JBI, Condorcet method (definition)
History
- 2026-11-02: add by m2/dev
Canfell 4EX2H7YWK3
| URI | m2://inv/4EX2H7YWK3 |
|---|---|
| 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.20760#ZNAT, Canfell (statement). In 6G9JSJ5JMP/e1, theorem 19
History
- 2026-10-27: add by m2/v0.4.2
4EX8Y9XG5C 4EX8Y9XG5C
| URI | m2://inv/4EX8Y9XG5C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24206#ZVQG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lwów–Warsaw school 4EX9TMNJ8G
| URI | m2://inv/4EX9TMNJ8G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lwów–Warsaw school, Lwów–Warsaw school (definition). Also Wikidata Q1306927
History
- 2026-11-02: add by m2/dev
4EXC94YMNH 4EXC94YMNH
| URI | m2://inv/4EXC94YMNH |
|---|---|
| Kind | problem |
| 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.26745#2PUY (problem)
History
- 2026-11-01: add by m2/v0.6.15
4EXCHVDF2R 4EXCHVDF2R
| URI | m2://inv/4EXCHVDF2R |
|---|---|
| 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.12188#RZT6 (statement). In 52HWCGK5QJ/e1, theorem 2.5
History
- 2026-10-28: add by m2/v0.4.2
Amoeba order 4EXDB6MWKT
| URI | m2://inv/4EXDB6MWKT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amoeba order, Amoeba order (definition). Also Wikidata Q17560804
History
- 2026-11-02: add by m2/dev
spin group 4EXFYA3N6J
| URI | m2://inv/4EXFYA3N6J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Spin group JJSXXJQGEH |
Mentions
- wikidata: Wikidata Q2031467, spin group (unknown). Also MathWorld SpinGroup, nLab spin group
- wikipedia: Wikipedia Spin group, Spin group (definition). Also Wikidata Q2031467
History
- 2026-10-26: add by m2/dev
Legendre's constant 4EXHCXJWJ3
| URI | m2://inv/4EXHCXJWJ3 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Adrien-Marie Legendre#S84J, Legendre's constant (object)
History
- 2026-11-02: add by m2/dev
DNS Certification Authority Authorization 4EXMEMHBMM
| URI | m2://inv/4EXMEMHBMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DNS Certification Authority Authorization, DNS Certification Authority Authorization (definition). Also Wikidata Q20707880
History
- 2026-11-02: add by m2/dev
Ramification stability 4EXS83YCXZ
| URI | m2://inv/4EXS83YCXZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#RJ1W, Ramification stability (definition). In 8BNPFYQDQX/e1, definition 2.7
History
- 2026-10-29: add by m2/v0.4.10
4EXVXBKMTY 4EXVXBKMTY
| URI | m2://inv/4EXVXBKMTY |
|---|---|
| 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.32374#PECB (statement). In 96D6N9AXQM/e1, theorem 1.3
History
- 2026-10-31: add by m2/v0.5.6
Applications 4EYEG5NEGZ
| URI | m2://inv/4EYEG5NEGZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Business intelligence#00WZ, Applications (example)
History
- 2026-11-02: add by m2/dev
Reflexivity 4EYNG348Y7
| URI | m2://inv/4EYNG348Y7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/proof-theoretic-notions.tex#prop:reflexivity, Reflexivity (statement). In PKGMM3P5QY, prop, section 15.1
History
- 2026-11-01: add by m2/v0.6.13
Cramér–Rao bound 4EYNTY3B3E
| URI | m2://inv/4EYNTY3B3E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#N3Z8, Cramér–Rao bound (definition)
History
- 2026-11-02: add by m2/dev
4EYP3PNT6A 4EYP3PNT6A
| URI | m2://inv/4EYP3PNT6A |
|---|---|
| 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.12912#2HIN (definition). In PDKBKKJ4BV/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
4EYRFM0ZBE 4EYRFM0ZBE
| URI | m2://inv/4EYRFM0ZBE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#DB16 (statement). In M4ZVJWM8YA/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.2
Applications 4EYRQA9Y1A
| URI | m2://inv/4EYRQA9Y1A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fanno flow#B9FL, Applications (example)
History
- 2026-11-02: add by m2/dev
Borel summation 4EYSN6G82P
| URI | m2://inv/4EYSN6G82P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Borel summation 8DJPSYSHGJ |
Mentions
- wikidata: Wikidata Q2329388, Borel summation (unknown). Also nLab Borel summation
- wikipedia: Wikipedia Borel summation, Borel summation (definition). Also Wikidata Q2329388
History
- 2026-10-26: add by m2/dev
4EYYD8XJAC 4EYYD8XJAC
| URI | m2://inv/4EYYD8XJAC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13532#2AXN (statement). In 9B0X8YPF3P/e1, theorem 10.1
History
- 2026-10-28: add by m2/v0.4.2
4EZ0JWZRS0 4EZ0JWZRS0
| URI | m2://inv/4EZ0JWZRS0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29449#NOS4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Regressive discrete Fourier series 4EZ3PQ6BAS
| URI | m2://inv/4EZ3PQ6BAS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regressive discrete Fourier series, Regressive discrete Fourier series (definition). Also Wikidata Q7309544
History
- 2026-11-02: add by m2/dev
4EZ6CC9CMT 4EZ6CC9CMT
| URI | m2://inv/4EZ6CC9CMT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07927#8B0T (definition). In GKM19DHQTM/e1, definition 4.5
History
- 2026-10-29: add by m2/v0.4.10
Demihypercube 4EZK0MHPN0
| URI | m2://inv/4EZK0MHPN0 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#FNU9, Demihypercube (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#AVKA, Demihypercube (object)
History
- 2026-11-02: add by m2/dev
Representation theory of groups 4EZQ5R88W1
| URI | m2://inv/4EZQ5R88W1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#YMN0, Representation theory of groups (definition)
History
- 2026-11-02: add by m2/dev
4EZSWDMYH2 4EZSWDMYH2
| URI | m2://inv/4EZSWDMYH2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.25468#DK13 (statement)
History
- 2026-11-01: add by m2/v0.6.15
PRESS statistic 4EZVKJZAEJ
| URI | m2://inv/4EZVKJZAEJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PRESS statistic, PRESS statistic (definition). Also Wikidata Q7120293
History
- 2026-11-02: add by m2/dev
Separability and time consistency 4EZVX3QYDB
| URI | m2://inv/4EZVX3QYDB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11917#VJE4, Separability and time consistency (statement). In 7BB6PY94G9/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.3