Inventory rows JD
The cards of the rows of the inventory whose ids start with JD. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
allegory JD00FQQAD6
| URI | m2://inv/JD00FQQAD6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4731385, allegory (unknown). Also MathWorld Allegory, nLab allegory
- wikipedia: Wikipedia Allegory (mathematics), Allegory (definition). Also Wikidata Q4731385
History
- 2026-10-26: add by m2/dev
JD05X3AJY8 JD05X3AJY8
| URI | m2://inv/JD05X3AJY8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.37606#N9SG (statement). In WNFW6GY38C/e1, proposition 8.3
History
- 2026-10-30: add by m2/v0.4.12
Georg Ignaz von Metzburg JD07TWK87S
| URI | m2://inv/JD07TWK87S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Georg Ignaz von Metzburg, Georg Ignaz von Metzburg (topic). Also Wikidata Q51119899
History
- 2026-11-02: add by m2/dev
JD0QD7T4A9 JD0QD7T4A9
| URI | m2://inv/JD0QD7T4A9 |
|---|---|
| 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.36818#7ENT (statement). In SK6AP2B9JH/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
equality, heterogeneous JD0SH2MX8T
| URI | m2://inv/JD0SH2MX8T |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.2/equality-heterogeneous, equality, heterogeneous (concept). In N54F33XE07, index, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
Identity theorem JD0XPQ2VN3
| URI | m2://inv/JD0XPQ2VN3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function of several complex variables#24GC, Identity theorem (statement)
History
- 2026-11-02: add by m2/dev
JD0Z4ZEW2C JD0Z4ZEW2C
| URI | m2://inv/JD0Z4ZEW2C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-109 (exercise). In VNMV985MXX, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Properties JD11AJK5A5
| URI | m2://inv/JD11AJK5A5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine hull#FZSB, Properties (statement)
History
- 2026-11-02: add by m2/dev
JD14834MXY JD14834MXY
| URI | m2://inv/JD14834MXY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15817#A4I4 (definition). In NVJMA8ARHP/e1, definition 3.0.1
History
- 2026-10-28: add by m2/v0.4.2
JD19VN9VCJ JD19VN9VCJ
| URI | m2://inv/JD19VN9VCJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09900#M0JP (statement). In ATSYBWEMMP/e1, proposition 7.4
History
- 2026-10-29: add by m2/v0.4.10
Applications JD1ADBP7SP
| URI | m2://inv/JD1ADBP7SP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Szemerédi regularity lemma#SU1Z, Applications (example)
History
- 2026-11-02: add by m2/dev
Wiener–Lévy theorem JD1KT2FJEP
| URI | m2://inv/JD1KT2FJEP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener–Lévy theorem, Wiener–Lévy theorem (statement). Also Wikidata Q25303764
History
- 2026-11-02: add by m2/dev
All spatial cutoff radii JD1KW1622D
| URI | m2://inv/JD1KW1622D |
|---|---|
| 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.28503#DSER, All spatial cutoff radii (statement)
History
- 2026-11-01: add by m2/v0.6.15
Pólya's shire theorem JD1NST5RK1
| URI | m2://inv/JD1NST5RK1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pólya's shire theorem, Pólya's shire theorem (statement). Also Wikidata Q134613723
History
- 2026-11-02: add by m2/dev
S. L. Woronowicz JD1NYJQFTN
| URI | m2://inv/JD1NYJQFTN |
|---|---|
| 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#I6PU, S. L. Woronowicz (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#J60M, S. L. Woronowicz (topic)
History
- 2026-11-02: add by m2/dev
Optical theorem JD1P1FWCRF
| URI | m2://inv/JD1P1FWCRF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#9L1K, Optical theorem (statement)
History
- 2026-11-02: add by m2/dev
JD1PENNYT7 JD1PENNYT7
| URI | m2://inv/JD1PENNYT7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-19 (exercise). In E9HS8K3A52, exercise, section 9.2.1
History
- 2026-11-01: add by m2/v0.6.13
Protection interval JD1RRS7KRR
| URI | m2://inv/JD1RRS7KRR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#GJBH, Protection interval (unknown)
History
- 2026-11-02: add by m2/dev
JD1VTCRZE4 JD1VTCRZE4
| URI | m2://inv/JD1VTCRZE4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-3 (exercise). In Y91XFCEVHQ, exercise, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
JD264GJP81 JD264GJP81
| URI | m2://inv/JD264GJP81 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21866#GTPT (problem). In Q3NMYW8ANH/e1, problem 5.2
History
- 2026-10-27: add by m2/v0.4.2
Generalization JD297A4QRS
| URI | m2://inv/JD297A4QRS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Casus irreducibilis#653M, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Henstock–Kurzweil integral JD29DC7R85
| URI | m2://inv/JD29DC7R85 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of integration and measure theory topics#RS0S, Henstock–Kurzweil integral (definition)
History
- 2026-11-02: add by m2/dev
JD2DVQJE4M JD2DVQJE4M
| URI | m2://inv/JD2DVQJE4M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19534#XZ12 (statement). In 22G1ATP2RA/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
JD2FVRE2DM JD2FVRE2DM
| URI | m2://inv/JD2FVRE2DM |
|---|---|
| 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.19853#VJWK (statement). In BDD1M5GZR3/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.2
Existence of Lyapunov Functions in {$\R_D$ JD2GMYP5PM
| URI | m2://inv/JD2GMYP5PM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.08233#7JZA, Existence of Lyapunov Functions in {$\R_D$ (example). In 2TXXQ2575Y/e1, example 4.3
History
- 2026-10-27: add by m2/v0.3.5
Axioms JD3200GFMD
| URI | m2://inv/JD3200GFMD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gyrovector space#QWNG, Axioms (statement)
History
- 2026-11-02: add by m2/dev
Fang Kaitai JD322M0S85
| URI | m2://inv/JD322M0S85 |
|---|---|
| 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#ZLMF, Fang Kaitai (topic)
History
- 2026-11-02: add by m2/dev
JD32CMSQ80 JD32CMSQ80
| URI | m2://inv/JD32CMSQ80 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#A6D2 (statement). In WJD9YPGGYH/e1, lemma 5.7
History
- 2026-10-27: add by m2/v0.3.5
JD385P6MF2 JD385P6MF2
| URI | m2://inv/JD385P6MF2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17476#K4SF (statement). In 6HXD74FA4S/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
Examples JD38NPH7ES
| URI | m2://inv/JD38NPH7ES |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Price of anarchy#0HDV, Examples (example)
History
- 2026-11-02: add by m2/dev
JD39Y4GH28 JD39Y4GH28
| URI | m2://inv/JD39Y4GH28 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05314#DBMB (statement). In PA3B6C0WY7/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.10
JD3BV9CC7B JD3BV9CC7B
| URI | m2://inv/JD3BV9CC7B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10968#4OX7 (definition). In KJRV9ZW833/e1, definition
History
- 2026-10-28: add by m2/v0.4.3
Adjusted R-squared JD3BZCHE6N
| URI | m2://inv/JD3BZCHE6N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coefficient of determination#S3ID, Adjusted R-squared (unknown)
History
- 2026-11-02: add by m2/dev
JD3C5MR3PX JD3C5MR3PX
| URI | m2://inv/JD3C5MR3PX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21092#29D4 (statement). In AGJE43FTF8/e1, proposition 7.7
History
- 2026-10-27: add by m2/v0.4.2
Rape in Italy JD3E75PQ9H
| URI | m2://inv/JD3E75PQ9H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rape statistics#1O8H, Rape in Italy (unknown)
History
- 2026-11-02: add by m2/dev
JD3F2GG1AF JD3F2GG1AF
| URI | m2://inv/JD3F2GG1AF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book induction.tex#thm:nat-uniq (statement). In N54F33XE07, thm, section 8.1
History
- 2026-11-01: add by m2/v0.6.13
JD3FYSGJAW JD3FYSGJAW
| URI | m2://inv/JD3FYSGJAW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#exercise-3 (exercise). In QKM9DD2H56, exercise, section 5
History
- 2026-11-01: add by m2/v0.6.13
JD3HJRBWYB JD3HJRBWYB
| URI | m2://inv/JD3HJRBWYB |
|---|---|
| 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.13833#K24A (statement). In VD4JP4HVBX/e1, lemma 8.17
History
- 2026-10-28: add by m2/v0.4.2
Applications JD3JZ4QECY
| URI | m2://inv/JD3JZ4QECY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MS-CHAP#V982, Applications (example)
History
- 2026-11-02: add by m2/dev
JD3W62SVP3 JD3W62SVP3
| URI | m2://inv/JD3W62SVP3 |
|---|---|
| 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.25367#84G5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Pizza theorem JD4GHWJ3WP
| URI | m2://inv/JD4GHWJ3WP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#SSG5, Pizza theorem (statement)
History
- 2026-11-02: add by m2/dev
JD4P1159GS JD4P1159GS
| URI | m2://inv/JD4P1159GS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37313#5EX7 (statement). In Z1F6SXQ6XW/e1, proposition 1.6
History
- 2026-10-30: add by m2/v0.4.12
L. R. Ford Jr. JD52F0AJ7G
| URI | m2://inv/JD52F0AJ7G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L. R. Ford Jr., L. R. Ford Jr. (topic). Also Wikidata Q1820973
History
- 2026-11-02: add by m2/dev
JD59D4CG93 JD59D4CG93
| URI | m2://inv/JD59D4CG93 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.01473#US8U (definition). In ABS9M47F4K/e1, definition 3.24
History
- 2026-10-27: add by m2/v0.3.6
Incidence algebra JD59NHEG4B
| URI | m2://inv/JD59NHEG4B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#CVID, Incidence algebra (definition)
- wikipedia: Wikipedia List of algebras#9QR7, Incidence algebra (definition)
History
- 2026-11-02: add by m2/dev
range of solution set JD5DPNETHW
| URI | m2://inv/JD5DPNETHW |
|---|---|
| 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 2409.03461#Z9UJ, range of solution set (statement). In XJVZSGCX5V/e1, corollary 2
History
- 2026-10-27: add by m2/v0.3.5
Examples JD5FXTTCV8
| URI | m2://inv/JD5FXTTCV8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of undetermined coefficients#J72P, Examples (example)
History
- 2026-11-02: add by m2/dev
Incomplete contracts JD5QXWSQVN
| URI | m2://inv/JD5QXWSQVN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incomplete contracts, Incomplete contracts (definition). Also Wikidata Q25304581
History
- 2026-11-02: add by m2/dev
Integral element JD5RRDSSZ3
| URI | m2://inv/JD5RRDSSZ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral element, Integral element (definition). Also Wikidata Q1493740
History
- 2026-11-02: add by m2/dev
JD5TJXWA5V JD5TJXWA5V
| URI | m2://inv/JD5TJXWA5V |
|---|---|
| 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.29631#KXKG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition JD5TNY7SQB
| URI | m2://inv/JD5TNY7SQB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bloch sphere#CYKZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Signature (logic) JD5VYEGMED
| URI | m2://inv/JD5VYEGMED |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#Z05C, Signature (logic) (definition)
History
- 2026-11-02: add by m2/dev
Gérard Biau JD5WHJ36J2
| URI | m2://inv/JD5WHJ36J2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gérard Biau, Gérard Biau (topic). Also Wikidata Q102415953
History
- 2026-11-02: add by m2/dev
Hardy distribution JD5YMZQP1Q
| URI | m2://inv/JD5YMZQP1Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hardy distribution, Hardy distribution (definition). Also Wikidata Q120497958
History
- 2026-11-02: add by m2/dev
JD5Z2KGJC3 JD5Z2KGJC3
| URI | m2://inv/JD5Z2KGJC3 |
|---|---|
| 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.06108#49TM (statement). In D3WKY1PW64/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.10
Ore's theorem JD6058C1T2
| URI | m2://inv/JD6058C1T2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#MUX2, Ore's theorem (statement)
History
- 2026-11-02: add by m2/dev
Mount Mikuni (Gifu) JD60BQ0RMM
| URI | m2://inv/JD60BQ0RMM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#VPHF, Mount Mikuni (Gifu) (unknown)
History
- 2026-11-02: add by m2/dev
hyperbolic partial differential equation JD64R6MFP2
| URI | m2://inv/JD64R6MFP2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hyperbolic partial differential equation 92C3S03AQZ |
Mentions
- wikidata: Wikidata Q2627459, hyperbolic partial differential equation (unknown). Also EoM Hyperbolic_partial_differential_equation
- wikipedia: Wikipedia Hyperbolic partial differential equation, Hyperbolic partial differential equation (definition). Also Wikidata Q2627459
History
- 2026-10-26: add by m2/dev
JD67VD1XPB JD67VD1XPB
| URI | m2://inv/JD67VD1XPB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/preliminaries.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 62.6
History
- 2026-11-01: add by m2/v0.6.13
JD6PV0W4A4 JD6PV0W4A4
| URI | m2://inv/JD6PV0W4A4 |
|---|---|
| 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 1303.4328#605R (statement). In HCTYW6VH87/e1, proposition 6.2
History
- 2026-10-27: add by m2/v0.3.5
JD6WY85AWM JD6WY85AWM
| URI | m2://inv/JD6WY85AWM |
|---|---|
| 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 2512.08487#QSJ3 (statement). In 77TVQVYN0Z/e1, lemma 6
History
- 2026-10-27: add by m2/v0.3.6
Formal Statement JD707S1XNF
| URI | m2://inv/JD707S1XNF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kamp's theorem#3DEL, Formal Statement (statement)
History
- 2026-11-02: add by m2/dev
po JD70BFQSEQ
| URI | m2://inv/JD70BFQSEQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#RGKG, po (definition)
History
- 2026-11-02: add by m2/dev
Definition JD71TKM1VP
| URI | m2://inv/JD71TKM1VP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov decision process#5JPQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
JD78QP6RDN JD78QP6RDN
| URI | m2://inv/JD78QP6RDN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38556#3QRX (statement). In GC2H0HS7ZM/e1, lemma 5.5
History
- 2026-10-30: add by m2/v0.4.12
Riemannian group JD7B3P4KSB
| URI | m2://inv/JD7B3P4KSB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#2ZXB, Riemannian group (unknown)
History
- 2026-11-02: add by m2/dev
Satisfaction equilibrium JD7JTVE3SC
| URI | m2://inv/JD7JTVE3SC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Satisfaction equilibrium, Satisfaction equilibrium (definition). Also Wikidata Q110470089
History
- 2026-11-02: add by m2/dev
corresponding eigenfunction JD7MC1QJM9
| URI | m2://inv/JD7MC1QJM9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/5.1.2/corresponding-eigenfunction, corresponding eigenfunction (concept). In E9HS8K3A52, index, section 5.1.2
History
- 2026-11-01: add by m2/v0.6.13
Peter Landin JD7MCBM3HT
| URI | m2://inv/JD7MCBM3HT |
|---|---|
| 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 Q92952, Peter Landin (unknown). Also nLab Peter Landin
History
- 2026-10-26: add by m2/dev
Applications JD7X4RT6CG
| URI | m2://inv/JD7X4RT6CG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weak ordering#U50H, Applications (example)
History
- 2026-11-02: add by m2/dev
JD871ZXF0C JD871ZXF0C
| URI | m2://inv/JD871ZXF0C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02681#5CSJ (statement). In 7BBJMB97N7/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
Luigi Guido Grandi JD8C5AK6ZJ
| URI | m2://inv/JD8C5AK6ZJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#RJUR, Luigi Guido Grandi (unknown)
History
- 2026-11-02: add by m2/dev
Ernst Witt JD8ECEXVR3
| URI | m2://inv/JD8ECEXVR3 |
|---|---|
| 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 Q68559, Ernst Witt (unknown). Also nLab Ernst Witt
- wikipedia: Wikipedia Ernst Witt, Ernst Witt (topic). Also Wikidata Q68559
History
- 2026-10-26: add by m2/dev
JD8FFPTDQA JD8FFPTDQA
| URI | m2://inv/JD8FFPTDQA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-paths.ptx#exercise-4 (exercise). In Y91XFCEVHQ, exercise, section 5.5
History
- 2026-11-01: add by m2/v0.6.13
Igor Rodnianski JD8S8ZV7DY
| URI | m2://inv/JD8S8ZV7DY |
|---|---|
| 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#K4HK, Igor Rodnianski (topic)
History
- 2026-11-02: add by m2/dev
JD8SAWFMQM JD8SAWFMQM
| URI | m2://inv/JD8SAWFMQM |
|---|---|
| Kind | statement |
| 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#C5G6 (statement). In 78X5SKJX8J/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
arity JD906R2D15
| URI | m2://inv/JD906R2D15 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#I37T, arity (definition)
History
- 2026-11-02: add by m2/dev
Discrete threshold convergence on the box JD9GB6NGMC
| URI | m2://inv/JD9GB6NGMC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29524#QXRM, Discrete threshold convergence on the box (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bias JD9MBSMAZ7
| URI | m2://inv/JD9MBSMAZ7 |
|---|---|
| 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.15974#Q3G0, Bias (statement). In 61ZHQ7BTKP/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Example JD9ZZ55EG0
| URI | m2://inv/JD9ZZ55EG0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial solutions of P-recursive equations#GFW1, Example (example)
History
- 2026-11-02: add by m2/dev
Applications JDA255C2DN
| URI | m2://inv/JDA255C2DN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov chain#4QMX, Applications (example)
History
- 2026-11-02: add by m2/dev
JDA9253D1K JDA9253D1K
| URI | m2://inv/JDA9253D1K |
|---|---|
| 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 1003.2117#4ANH (statement). In H4D4RFNH2V/e1, lemma 3.12
History
- 2026-10-27: add by m2/v0.3.5
JDADPWXZSQ JDADPWXZSQ
| URI | m2://inv/JDADPWXZSQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14044#WXY0 (definition). In 5452SJRWDT/e1, definition 6.1
History
- 2026-10-28: add by m2/v0.4.2
JDAM0NP1WA JDAM0NP1WA
| URI | m2://inv/JDAM0NP1WA |
|---|---|
| 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 2502.08738#AK99 (definition). In 9GMTVSTAVN/e1, definition 4.5
History
- 2026-10-27: add by m2/v0.3.5
JDAMQ477X3 JDAMQ477X3
| URI | m2://inv/JDAMQ477X3 |
|---|---|
| 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.24541#E1E6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Excess risk JDAXYWESM6
| URI | m2://inv/JDAXYWESM6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LVEG, Excess risk (definition)
History
- 2026-11-02: add by m2/dev
JDB3FS2QQM JDB3FS2QQM
| URI | m2://inv/JDB3FS2QQM |
|---|---|
| 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 0809.4587#6QWV (statement). In KQ8JPHDKKE/e1, proposition 9.2.8
History
- 2026-10-27: add by m2/v0.3.5
Representation theory JDB70XTV6R
| URI | m2://inv/JDB70XTV6R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#WCXB, Representation theory (topic)
History
- 2026-11-02: add by m2/dev
JDB7PDQWXH JDB7PDQWXH
| URI | m2://inv/JDB7PDQWXH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#problem-6 (exercise). In RZP28ERRZV, problem, section 95.6
History
- 2026-11-01: add by m2/v0.6.13
Simon Tavaré JDB8F084V7
| URI | m2://inv/JDB8F084V7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#W6EK, Simon Tavaré (unknown)
History
- 2026-11-02: add by m2/dev
JDBC8EBYB4 JDBC8EBYB4
| URI | m2://inv/JDBC8EBYB4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12633#M5TK (statement). In NGZ5AZ70NN/e1, proposition 4.14
History
- 2026-10-28: add by m2/v0.4.2
Use JDBEPAZ69W
| URI | m2://inv/JDBEPAZ69W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Van der Waals equation#6LGL, Use (example)
History
- 2026-11-02: add by m2/dev
Spieker center JDBGRRYE5A
| URI | m2://inv/JDBGRRYE5A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7577104, Spieker center (unknown). Also MathWorld SpiekerCenter
- wikipedia: Wikipedia Spieker center, Spieker center (definition). Also Wikidata Q7577104
History
- 2026-10-26: add by m2/dev
JDBMNFM9R7 JDBMNFM9R7
| URI | m2://inv/JDBMNFM9R7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#RC-Lipschitz-on-interval (exercise). In N54F33XE07, ex, section B.6
History
- 2026-11-01: add by m2/v0.6.13
JDBR3SBR91 JDBR3SBR91
| URI | m2://inv/JDBR3SBR91 |
|---|---|
| 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 2609.34852#7ZGP (statement). In TZXEMCBK5V/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
Representations JDBXT18EWE
| URI | m2://inv/JDBXT18EWE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mertens function#SDJ0, Representations (definition)
History
- 2026-11-02: add by m2/dev
Kisdeltile JDC1RJ7GMB
| URI | m2://inv/JDC1RJ7GMB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated hexagonal tiling#V5L0, Kisdeltile (unknown)
History
- 2026-11-02: add by m2/dev
Properties JDC9383964
| URI | m2://inv/JDC9383964 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nine-point center#HYQU, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples JDCJ46MT1H
| URI | m2://inv/JDCJ46MT1H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of averages#EQRR, Examples (example)
History
- 2026-11-02: add by m2/dev
Amy Ashurst Gooch JDCJDY1QGJ
| URI | m2://inv/JDCJDY1QGJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#6U6I, Amy Ashurst Gooch (unknown)
History
- 2026-11-02: add by m2/dev
tungsten-185 JDCWSGAE1K
| URI | m2://inv/JDCWSGAE1K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18882869, tungsten-185 (definition). Also ProofWiki Definition:Tungsten/185
History
- 2026-10-26: add by m2/dev
JDCZ65BVDV JDCZ65BVDV
| URI | m2://inv/JDCZ65BVDV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20165#3WYY (statement). In QTD3BP5GA0/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.2
Itô's theorem JDE5M8DXNT
| URI | m2://inv/JDE5M8DXNT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Itô's theorem, Itô's theorem (statement). Also Wikidata Q60739808
History
- 2026-11-02: add by m2/dev
Uniform local flip JDECVP3R5H
| URI | m2://inv/JDECVP3R5H |
|---|---|
| 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.10002#ER2B, Uniform local flip (statement). In 5ZYWF6HAXJ/e1, lemma 16
History
- 2026-10-29: add by m2/v0.4.10
Kantorovich problem JDEPS1GYSP
| URI | m2://inv/JDEPS1GYSP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transportation theory (mathematics)#CGN6, Kantorovich problem (unknown)
History
- 2026-11-02: add by m2/dev
JDEW3411G8 JDEW3411G8
| URI | m2://inv/JDEW3411G8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-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 math/9902147#OXFM (statement). In 7CK21JGM5A/e1, lemma 4.12
History
- 2026-10-27: add by m2/v0.4.2
JDF5946WN2 JDF5946WN2
| URI | m2://inv/JDF5946WN2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20513#H9NX (statement)
History
- 2026-11-02: add by m2/v0.6.18
Heisuke Hironaka JDFCFV1T9X
| URI | m2://inv/JDFCFV1T9X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#8ERV, Heisuke Hironaka (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#R70A, Heisuke Hironaka (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XFEL, Heisuke Hironaka (topic)
History
- 2026-11-02: add by m2/dev
G\aa rding and ideal G\aa rding polynomials JDFDCG3YEV
| URI | m2://inv/JDFDCG3YEV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15434#YSYV, G\aa rding and ideal G\aa rding polynomials (definition). In PWF23QSGDX/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Useful characterizations JDFKVF5GZY
| URI | m2://inv/JDFKVF5GZY |
|---|---|
| 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.08821#DIOD, Useful characterizations (statement). In KP1THB2C09/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
Gradient flow trajectory JDFSNKET11
| URI | m2://inv/JDFSNKET11 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#NXSE, Gradient flow trajectory (definition). In KM3Q791JY0/e1, definition 4.15
History
- 2026-10-27: add by m2/v0.4.2
JDFV2STAMG JDFV2STAMG
| URI | m2://inv/JDFV2STAMG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21929#E9QW (statement). In 2PP4XRVS0J/e1, corollary 5.6
History
- 2026-10-27: add by m2/v0.4.2
JDG29M59YN JDG29M59YN
| URI | m2://inv/JDG29M59YN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06438#LMZH (statement). In Z633BH3HER/e1, proposition 1.2
History
- 2026-10-29: add by m2/v0.4.10
Negative-potential propagation JDG5NY8SVZ
| URI | m2://inv/JDG5NY8SVZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-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.18788#4JAN, Negative-potential propagation (statement). In KFEASG3ZHS/e1, lemma 5.13
History
- 2026-10-28: add by m2/v0.4.2
Statement JDG64ZJ1YX
| URI | m2://inv/JDG64ZJ1YX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Witt's theorem#KL30, Statement (statement)
History
- 2026-11-02: add by m2/dev
JDG7PEM7D1 JDG7PEM7D1
| URI | m2://inv/JDG7PEM7D1 |
|---|---|
| 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.29605#NOLQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
JDG7ZG8CS8 JDG7ZG8CS8
| URI | m2://inv/JDG7ZG8CS8 |
|---|---|
| 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 2211.14214#WEWI (statement). In SY85Y9E45A/e1, theorem 33
History
- 2026-10-27: add by m2/v0.3.5
JDGFCSJS63 JDGFCSJS63
| URI | m2://inv/JDGFCSJS63 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-140 (exercise). In VNMV985MXX, exercise, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
Applications JDGHK1WY2S
| URI | m2://inv/JDGHK1WY2S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite subgroups of SU(2)#XWD6, Applications (example)
History
- 2026-11-02: add by m2/dev
A5/1 JDGNHS9AY3
| URI | m2://inv/JDGNHS9AY3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#2MOD, A5/1 (definition)
History
- 2026-11-02: add by m2/dev
Anatoly Maltsev JDGSRAF2XY
| URI | m2://inv/JDGSRAF2XY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#MKTT, Anatoly Maltsev (unknown)
History
- 2026-11-02: add by m2/dev
JDHJ7Z7P9P JDHJ7Z7P9P
| URI | m2://inv/JDHJ7Z7P9P |
|---|---|
| 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.07290#BIYJ (statement). In WC7BN66XSN/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
GNOME Calculator JDHJVF576P
| URI | m2://inv/JDHJVF576P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GNOME Calculator, GNOME Calculator (definition). Also Wikidata Q1050905
History
- 2026-11-02: add by m2/dev
Stewart Shapiro JDHKMDDXH8
| URI | m2://inv/JDHKMDDXH8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stewart Shapiro, Stewart Shapiro (topic). Also Wikidata Q448724
History
- 2026-11-02: add by m2/dev
Examples JDHN8YYR4B
| URI | m2://inv/JDHN8YYR4B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chevalley–Shephard–Todd theorem#NYOU, Examples (example)
History
- 2026-11-02: add by m2/dev
Proca lagrangian JDHQTASZ2Z
| URI | m2://inv/JDHQTASZ2Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#G6XC, Proca lagrangian (unknown)
History
- 2026-11-02: add by m2/dev
Hilda Geiringer JDHZP0RCJX
| URI | m2://inv/JDHZP0RCJX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#RUHY, Hilda Geiringer (topic)
History
- 2026-11-02: add by m2/dev
Methods of detecting exoplanets JDJ0VWYFNZ
| URI | m2://inv/JDJ0VWYFNZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Methods of detecting exoplanets, Methods of detecting exoplanets (definition). Also Wikidata Q591022
History
- 2026-11-02: add by m2/dev
EXPSPACE JDJ1FR7CQ9
| URI | m2://inv/JDJ1FR7CQ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia EXPSPACE, EXPSPACE (definition). Also Wikidata Q1141985
History
- 2026-11-02: add by m2/dev
JDJ1VTQBT8 JDJ1VTQBT8
| URI | m2://inv/JDJ1VTQBT8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07770#3CSD (statement). In 6GHT4P7E8X/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
PDHG parameter-dependent metric JDJCK0W1C4
| URI | m2://inv/JDJCK0W1C4 |
|---|---|
| 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.20270#H5QA, PDHG parameter-dependent metric (statement). In GV0QGZH67P/e1, proposition F.4
History
- 2026-10-27: add by m2/v0.4.2
5-cubic honeycomb JDJKSK76W3
| URI | m2://inv/JDJKSK76W3 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 5-cubic honeycomb, 5-cubic honeycomb (object). Also Wikidata Q4639651
History
- 2026-11-02: add by m2/dev
Perfect mean-field comparison for the Jump-Over Exclusion Process JDJMWGQPSM
| URI | m2://inv/JDJMWGQPSM |
|---|---|
| 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.31187#HQJ3, Perfect mean-field comparison for the Jump-Over Exclusion Process (statement). In 2535DQ1DEG/e1, proposition 2
History
- 2026-10-31: add by m2/v0.5.6
JDJN8MAX1X JDJN8MAX1X
| URI | m2://inv/JDJN8MAX1X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_intro-functions.ptx#example-4 (example). In Y91XFCEVHQ, example, section 1.4.1
History
- 2026-11-01: add by m2/v0.6.13
Quantile function JDJRXP30S7
| URI | m2://inv/JDJRXP30S7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WQTI, Quantile function (definition)
History
- 2026-11-02: add by m2/dev
Applications JDJW1ZWQ5J
| URI | m2://inv/JDJW1ZWQ5J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric distribution#335Z, Applications (example)
History
- 2026-11-02: add by m2/dev
Formula calculator JDJWHC60HF
| URI | m2://inv/JDJWHC60HF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formula calculator, Formula calculator (statement). Also Wikidata Q5470337
History
- 2026-11-02: add by m2/dev
Emmy Noether Fellowship JDJXTM1Z10
| URI | m2://inv/JDJXTM1Z10 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emmy Noether Fellowship, Emmy Noether Fellowship (definition). Also Wikidata Q104834259
History
- 2026-11-02: add by m2/dev
JDK0KMR7GK JDK0KMR7GK
| URI | m2://inv/JDK0KMR7GK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31783#B37A (statement). In CGNVT4C47F/e1, corollary 2.7
History
- 2026-10-31: add by m2/v0.5.6
JDK0Q2CS9K JDK0Q2CS9K
| URI | m2://inv/JDK0Q2CS9K |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#ex:acconn (exercise). In N54F33XE07, ex, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
parametric statistics JDK5WBNGF5
| URI | m2://inv/JDK5WBNGF5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1849855, parametric statistics (unknown). Also MathWorld ParametricStatistics
- wikipedia: Wikipedia Parametric statistics, Parametric statistics (topic). Also Wikidata Q1849855
History
- 2026-10-26: add by m2/dev
Examples JDK75F43T7
| URI | m2://inv/JDK75F43T7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dieudonné module#F66H, Examples (example)
History
- 2026-11-02: add by m2/dev
JDK7EETS40 JDK7EETS40
| URI | m2://inv/JDK7EETS40 |
|---|---|
| Kind | definition |
| 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 1806.00752#1AS8 (definition). In GGW2N4JHXM/e1, definition 9
History
- 2026-10-27: add by m2/v0.3.5
Hilda Phoebe Hudson JDKAGFQEQ1
| URI | m2://inv/JDKAGFQEQ1 |
|---|---|
| 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#0OIV, Hilda Phoebe Hudson (unknown)
History
- 2026-11-02: add by m2/dev
Existence of smooth wider globally hyperbolic structures JDKGRCE7XW
| URI | m2://inv/JDKGRCE7XW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11911#TTXH, Existence of smooth wider globally hyperbolic structures (statement). In 5BYE5NYB89/e1, theorem 3.15
History
- 2026-10-28: add by m2/v0.4.3
JDKHCK9EEF JDKHCK9EEF
| URI | m2://inv/JDKHCK9EEF |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/identity.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
Monotone likelihood ratio JDKJ25GH8A
| URI | m2://inv/JDKJ25GH8A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotone likelihood ratio, Monotone likelihood ratio (definition). Also Wikidata Q6902029
History
- 2026-11-02: add by m2/dev
JDKJBTHRM1 JDKJBTHRM1
| URI | m2://inv/JDKJBTHRM1 |
|---|---|
| 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.08050#7BW6 (statement). In K9Q0GZXRN3/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Finite torus families JDKK8Y8JMV
| URI | m2://inv/JDKK8Y8JMV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14065#Z83C, Finite torus families (statement). In PV7V3X78JH/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Hardness of approximation JDKK9EFS1V
| URI | m2://inv/JDKK9EFS1V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#M0FE, Hardness of approximation (definition)
History
- 2026-11-02: add by m2/dev
JDKQ9HYQ6D JDKQ9HYQ6D
| URI | m2://inv/JDKQ9HYQ6D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33377#06E2 (statement). In RQ1R5VTRAR/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
JDKZ62CVG6 JDKZ62CVG6
| URI | m2://inv/JDKZ62CVG6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-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.02901#JUUQ (statement). In NSP90G5XCQ/e1, lemma 2.11
History
- 2026-10-29: add by m2/v0.4.12
JDM2VW549G JDM2VW549G
| URI | m2://inv/JDM2VW549G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29489#0JSF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Michael J. Fischer JDM7FVQ6RZ
| URI | m2://inv/JDM7FVQ6RZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#1QCL, Michael J. Fischer (unknown)
History
- 2026-11-02: add by m2/dev
Mackey–Ulam theorem JDM8ZQZC0W
| URI | m2://inv/JDM8ZQZC0W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bornological space#N8H0, Mackey–Ulam theorem (statement)
History
- 2026-11-02: add by m2/dev
JDMATCDE82 JDMATCDE82
| URI | m2://inv/JDMATCDE82 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34876#J4YV (example). In XXQAW3ZBDF/e1, example 3.4
History
- 2026-10-30: add by m2/v0.4.12
stability by derivation JDMDSMSD2D
| URI | m2://inv/JDMDSMSD2D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Spaces $\mathcal{S}(\R^d)$ > stability by derivation, stability by derivation (unknown). Also Mathlib SchwartzMap.fderivCLM
History
- 2026-10-26: add by m2/dev
JDMMA4F3YV JDMMA4F3YV
| URI | m2://inv/JDMMA4F3YV |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/large-laws.tex#proof-1 (proof). In RZP28ERRZV, proof, section 64.3.3
History
- 2026-11-01: add by m2/v0.6.13
Peter P. Vazirani JDMTV0V8P8
| URI | m2://inv/JDMTV0V8P8 |
|---|---|
| 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#NY7B, Peter P. Vazirani (unknown)
History
- 2026-11-02: add by m2/dev
JDN6VP7NRW JDN6VP7NRW
| URI | m2://inv/JDN6VP7NRW |
|---|---|
| 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.03336#2PXZ (statement). In 4ZD20W8BVF/e1, corollary 5.6
History
- 2026-10-29: add by m2/v0.4.12
JDN9K6QPTK JDN9K6QPTK
| URI | m2://inv/JDN9K6QPTK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20825#NW1H (statement). In K9G02J8MXT/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.4.2
JDNBXWYEA2 JDNBXWYEA2
| URI | m2://inv/JDNBXWYEA2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26600#M1X5 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Relativistic Lagrangian mechanics JDNFGAA8HA
| URI | m2://inv/JDNFGAA8HA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relativistic Lagrangian mechanics, Relativistic Lagrangian mechanics (definition). Also Wikidata Q25303649
History
- 2026-11-02: add by m2/dev
Applications JDNJ3Y4P55
| URI | m2://inv/JDNJ3Y4P55 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scheffé's lemma#AQ5W, Applications (example)
History
- 2026-11-02: add by m2/dev
JDNJDAK06T JDNJDAK06T
| URI | m2://inv/JDNJDAK06T |
|---|---|
| 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.28200#3IWY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications JDNNDDZ701
| URI | m2://inv/JDNNDDZ701 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hybrid argument (cryptography)#5WWA, Applications (example)
History
- 2026-11-02: add by m2/dev
JDNSYM6VDR JDNSYM6VDR
| URI | m2://inv/JDNSYM6VDR |
|---|---|
| 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.07049#OXKH (statement). In GMF552ESG6/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
JDNW5C14K4 JDNW5C14K4
| URI | m2://inv/JDNW5C14K4 |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.00752#QK9W (statement)
History
- 2026-10-27: add by m2/v0.3.5
JDNZAD54P8 JDNZAD54P8
| URI | m2://inv/JDNZAD54P8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09672#IF2F (statement). In TXBXCPP0QH/e1, theorem 47
History
- 2026-10-29: add by m2/v0.4.10
One-sided comparison with the frozen source JDNZG2KF43
| URI | m2://inv/JDNZG2KF43 |
|---|---|
| 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.28791#V5AL, One-sided comparison with the frozen source (statement)
History
- 2026-11-01: add by m2/v0.6.15
definite integral, constant multiple rule JDP2T1KER3
| URI | m2://inv/JDP2T1KER3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/4.3.3/definite-integral-constant-multiple-rule, definite integral, constant multiple rule (concept). In 907G4C4EJ1, index, section 4.3.3
History
- 2026-11-01: add by m2/v0.6.13
Method of moments JDP5M5G2VM
| URI | m2://inv/JDP5M5G2VM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of moments (statistics), Method of moments (definition). Also Wikidata Q1925212
History
- 2026-11-02: add by m2/dev
Clique sum JDP8DX53KE
| URI | m2://inv/JDP8DX53KE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-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.19669#BAWN, Clique sum (definition). In 1QPAA94Q76/e1, definition 7
History
- 2026-10-28: add by m2/v0.4.2
Real hyperelliptic curve JDPAZ3CECQ
| URI | m2://inv/JDPAZ3CECQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real hyperelliptic curve, Real hyperelliptic curve (definition). Also Wikidata Q7301158
History
- 2026-11-02: add by m2/dev
Lila Kari JDPBHWVMPZ
| URI | m2://inv/JDPBHWVMPZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#3UXS, Lila Kari (unknown)
History
- 2026-11-02: add by m2/dev
JDPFZ17EDW JDPFZ17EDW
| URI | m2://inv/JDPFZ17EDW |
|---|---|
| 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.07049#WADH (statement). In GMF552ESG6/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Uniform algebra JDPKWNNXGQ
| URI | m2://inv/JDPKWNNXGQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform algebra, Uniform algebra (definition). Also Wikidata Q7885096
History
- 2026-11-02: add by m2/dev
JDPPF85RD9 JDPPF85RD9
| URI | m2://inv/JDPPF85RD9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08039#2QNL (statement). In Y1K8WE4MDP/e1, lemma A.6
History
- 2026-10-29: add by m2/v0.4.10
James Goodnight JDPRD3DRV3
| URI | m2://inv/JDPRD3DRV3 |
|---|---|
| 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#2E3K, James Goodnight (topic)
History
- 2026-11-02: add by m2/dev
Gerard Debreu JDPS5AYH7R
| URI | m2://inv/JDPS5AYH7R |
|---|---|
| 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#NDYA, Gerard Debreu (unknown)
History
- 2026-11-02: add by m2/dev
Sparsified power method convergence JDPSX5HCB3
| URI | m2://inv/JDPSX5HCB3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14620#VANO, Sparsified power method convergence (statement). In B7ZR6RMWX8/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
JDQ331YG16 JDQ331YG16
| URI | m2://inv/JDQ331YG16 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04164#ECH2 (statement). In KR7WXN4EWR/e1, theorem 3.4
History
- 2026-10-29: add by m2/v0.4.12
JDQE6JT52N JDQE6JT52N
| URI | m2://inv/JDQE6JT52N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#TVWA (statement). In E7W2HDNEKJ/e1, theorem 6.17
History
- 2026-10-30: add by m2/v0.4.12
Properties JDQKZBZZBE
| URI | m2://inv/JDQKZBZZBE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Piecewise-deterministic Markov process#Q828, Properties (statement)
History
- 2026-11-02: add by m2/dev
Q-Gaussian distribution JDQNKJGRV1
| URI | m2://inv/JDQNKJGRV1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JJMV, Q-Gaussian distribution (definition)
History
- 2026-11-02: add by m2/dev
Mayer-Vietoris Sequence JDQPMETFZF
| URI | m2://inv/JDQPMETFZF |
|---|---|
| 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 0809.0068#GPV4, Mayer-Vietoris Sequence (statement). In MBKYGM01FK/e1, proposition 1.8
History
- 2026-10-27: add by m2/v0.3.5
One-factor-at-a-time method JDQRET1ATG
| URI | m2://inv/JDQRET1ATG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One-factor-at-a-time method, One-factor-at-a-time method (definition). Also Wikidata Q7092309
History
- 2026-11-02: add by m2/dev
Landsberg–Schaar relation JDQTPJ63JJ
| URI | m2://inv/JDQTPJ63JJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3147824, Landsberg–Schaar relation (statement). Also MathWorld SchaarsIdentity
History
- 2026-10-26: add by m2/dev
James Cooley JDQVDTSEDN
| URI | m2://inv/JDQVDTSEDN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Cooley, James Cooley (topic). Also Wikidata Q1384972
History
- 2026-11-02: add by m2/dev
Normal cone JDR0ZFAW7H
| URI | m2://inv/JDR0ZFAW7H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal cone (algebraic geometry), Normal cone (definition). Also Wikidata Q25303612
History
- 2026-11-02: add by m2/dev
Constantin Carathéodry JDR2NBYFQA
| URI | m2://inv/JDR2NBYFQA |
|---|---|
| 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#2ZIJ, Constantin Carathéodry (topic)
History
- 2026-11-02: add by m2/dev
Donald A. Dawson JDR3G8S37D
| URI | m2://inv/JDR3G8S37D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#GA2B, Donald A. Dawson (unknown)
History
- 2026-11-02: add by m2/dev
JDR498AHHQ JDR498AHHQ
| URI | m2://inv/JDR498AHHQ |
|---|---|
| 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 2210.02997#2EMY (definition). In KEXVYV0SNS/e1, definition 7
History
- 2026-10-27: add by m2/v0.3.5
Wasserstein distance JDR87E0G41
| URI | m2://inv/JDR87E0G41 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20798#50G3, Wasserstein distance (definition). In 947GFWDY7C/e1, definition A.1
History
- 2026-10-27: add by m2/v0.4.2
Sipser–Lautemann theorem JDRWNZXWV9
| URI | m2://inv/JDRWNZXWV9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#08UU, Sipser–Lautemann theorem (statement)
History
- 2026-11-02: add by m2/dev
unitary representation JDS06W78JR
| URI | m2://inv/JDS06W78JR |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 22D10 |
| Sources | 2 |
| Outcome | open |
| Node | Unitary representation 74BPYJNZTM |
Mentions
- wikidata: Wikidata Q10359539, unitary representation (topic). Also nLab unitary representation
- wikipedia: Wikipedia Unitary representation, Unitary representation (definition). Also Wikidata Q10359539
History
- 2026-10-26: add by m2/dev
algorithmic graph theory JDSFH9GEKA
| URI | m2://inv/JDSFH9GEKA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122897664, algorithmic graph theory (unknown). Also MathWorld AlgorithmicGraphTheory
History
- 2026-10-26: add by m2/dev
An eventual-period bound JDSGF8HGJD
| URI | m2://inv/JDSGF8HGJD |
|---|---|
| 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.06925#V90Q, An eventual-period bound (statement). In P0NV7337EK/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.10
David Raymond Curtiss JDSQRKKVSB
| URI | m2://inv/JDSQRKKVSB |
|---|---|
| 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#UAKJ, David Raymond Curtiss (topic)
History
- 2026-11-02: add by m2/dev
Atle Selberg JDSSQAK2RF
| URI | m2://inv/JDSSQAK2RF |
|---|---|
| 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 Q211041, Atle Selberg (unknown). Also nLab Atle Selberg
- wikipedia: Wikipedia Atle Selberg, Atle Selberg (topic). Also Wikidata Q211041
History
- 2026-10-26: add by m2/dev
JDT1BCXS5R JDT1BCXS5R
| URI | m2://inv/JDT1BCXS5R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2510.05499#KRUI (definition). In WRMNCC8VBC/e1, definition 26
History
- 2026-10-27: add by m2/v0.3.6
Hermitian matrices have real eigenvalues JDT451VY2H
| URI | m2://inv/JDT451VY2H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/transpose.tex#theorem-5, Hermitian matrices have real eigenvalues (statement). In RZP28ERRZV, theorem, section 61.5
History
- 2026-11-01: add by m2/v0.6.13
JDT94A10E0 JDT94A10E0
| URI | m2://inv/JDT94A10E0 |
|---|---|
| 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.15352#16FC (statement). In R39P7AFXM8/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.2
Continuous data JDTA7HHKNF
| URI | m2://inv/JDTA7HHKNF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous or discrete variable#XT02, Continuous data (unknown)
History
- 2026-11-02: add by m2/dev
JDTNY19H3X JDTNY19H3X
| URI | m2://inv/JDTNY19H3X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34295#QES1 (statement). In A93R925Z24/e1, theorem A
History
- 2026-10-30: add by m2/v0.4.12
Biaugmented truncated cube JDTS003T00
| URI | m2://inv/JDTS003T00 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#NMY3, Biaugmented truncated cube (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#770P, Biaugmented truncated cube (definition)
History
- 2026-11-02: add by m2/dev
JDV7XFD721 JDV7XFD721
| URI | m2://inv/JDV7XFD721 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02379#J54J (statement). In W9E40AZJ03/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.12
Public scalar exposure JDVD3MAFCN
| URI | m2://inv/JDVD3MAFCN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38668#HSBK, Public scalar exposure (statement). In VB1EZ9K6YW/e1, statement 2.2
History
- 2026-10-30: add by m2/v0.4.12
Example JDVG5HGYP0
| URI | m2://inv/JDVG5HGYP0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poincaré residue#TUDI, Example (example)
History
- 2026-11-02: add by m2/dev
JDVH0F7M3F JDVH0F7M3F
| URI | m2://inv/JDVH0F7M3F |
|---|---|
| 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#K6A1 (statement). In HHF08X70P6/e1, theorem 5.4
History
- 2026-10-29: add by m2/v0.4.12
Message authentication hypothesis JDVJN7RJQ1
| URI | m2://inv/JDVJN7RJQ1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scytale#LC2M, Message authentication hypothesis (statement)
History
- 2026-11-02: add by m2/dev
JDVRFD4TEP JDVRFD4TEP
| URI | m2://inv/JDVRFD4TEP |
|---|---|
| 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.35030#F6P3 (statement). In DPT4P2BTEW/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
JDVT1Y3HRN JDVT1Y3HRN
| URI | m2://inv/JDVT1Y3HRN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.06581#7IZY (example). In WXJ2V3HA2R/e1, example E.10
History
- 2026-10-27: add by m2/v0.3.5
Distance from a point to a line JDW1NKD8KD
| URI | m2://inv/JDW1NKD8KD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distance from a point to a line, Distance from a point to a line (definition). Also Wikidata Q2485106
History
- 2026-11-02: add by m2/dev
relation, bitotal JDWB22RS0T
| URI | m2://inv/JDWB22RS0T |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.5/relation-bitotal, relation, bitotal (concept). In N54F33XE07, index, section C.5
History
- 2026-11-01: add by m2/v0.6.13
JDX17VVBZ8 JDX17VVBZ8
| URI | m2://inv/JDX17VVBZ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#OXL2 (statement). In CY1FE8W1ZW/e1, fact 0.251
History
- 2026-10-27: add by m2/v0.3.5
Expectile distribution JDX6BZYAGG
| URI | m2://inv/JDX6BZYAGG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#TZ24, Expectile distribution (unknown)
History
- 2026-11-02: add by m2/dev
John P. Vinti JDX9E7V1N4
| URI | m2://inv/JDX9E7V1N4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John P. Vinti, John P. Vinti (topic). Also Wikidata Q113334884
History
- 2026-11-02: add by m2/dev
HP-25 JDX9G8A59P
| URI | m2://inv/JDX9G8A59P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HP-25, HP-25 (definition). Also Wikidata Q608913
History
- 2026-11-02: add by m2/dev
Viatcheslav Mukhanov JDXT81VGMR
| URI | m2://inv/JDXT81VGMR |
|---|---|
| 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 Q1844592, Viatcheslav Mukhanov (unknown). Also nLab Viatcheslav Mukhanov
History
- 2026-10-26: add by m2/dev
JDXXMV99S4 JDXXMV99S4
| URI | m2://inv/JDXXMV99S4 |
|---|---|
| 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.25307#4IPP (statement)
History
- 2026-11-01: add by m2/v0.6.15
JDY6RRE1H2 JDY6RRE1H2
| URI | m2://inv/JDY6RRE1H2 |
|---|---|
| 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 0907.5545#91JM (statement). In K3GWCTV5YE/e1, lemma 8
History
- 2026-10-27: add by m2/v0.3.5
Grothendieck inequality of a graph JDYBSSB6X3
| URI | m2://inv/JDYBSSB6X3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grothendieck inequality#N7PX, Grothendieck inequality of a graph (statement)
History
- 2026-11-02: add by m2/dev
JDYC5ZXZ8J JDYC5ZXZ8J
| URI | m2://inv/JDYC5ZXZ8J |
|---|---|
| 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 2206.05392#3NDJ (statement). In 58D1ZC82DW/e1, proposition 5
History
- 2026-10-27: add by m2/v0.3.5
JDYEGN7PWG JDYEGN7PWG
| URI | m2://inv/JDYEGN7PWG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20656#AU72 (statement)
History
- 2026-11-02: add by m2/v0.6.18
exterior algebra JDYGRE382G
| URI | m2://inv/JDYGRE382G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Exterior algebra 0MDMZ965VE |
Mentions
- wikidata: Wikidata Q1196652, exterior algebra (unknown). Also MathWorld ExteriorAlgebra, nLab exterior algebra
- wikipedia: Wikipedia Exterior algebra, Exterior algebra (definition). Also Wikidata Q1196652
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Generalisation: Coisotropic Embedding Theorem JDYJ3YXJP1
| URI | m2://inv/JDYJ3YXJP1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weinstein's neighbourhood theorem#RQNO, Generalisation: Coisotropic Embedding Theorem (statement)
History
- 2026-11-02: add by m2/dev
JDYN0QNPBE JDYN0QNPBE
| URI | m2://inv/JDYN0QNPBE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21016#4RKJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Riverbank Laboratories JDYX5M3PC2
| URI | m2://inv/JDYX5M3PC2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riverbank Laboratories, Riverbank Laboratories (definition). Also Wikidata Q7338064
History
- 2026-11-02: add by m2/dev
Notation JDYYNXMQ27
| URI | m2://inv/JDYYNXMQ27 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GNOME Calculator#47A5, Notation (definition)
History
- 2026-11-02: add by m2/dev
Quasinormal mode JDZ24PVV0X
| URI | m2://inv/JDZ24PVV0X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#MFYQ, Quasinormal mode (definition)
History
- 2026-11-02: add by m2/dev
JDZ6J21XVC JDZ6J21XVC
| URI | m2://inv/JDZ6J21XVC |
|---|---|
| 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.25431#MZ7M (statement)
History
- 2026-11-01: add by m2/v0.6.15
Robert F. Coleman JDZ8HRFRR5
| URI | m2://inv/JDZ8HRFRR5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QTKT, Robert F. Coleman (topic)
History
- 2026-11-02: add by m2/dev
JDZBVR0B9R JDZBVR0B9R
| URI | m2://inv/JDZBVR0B9R |
|---|---|
| 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.04264#JLM1 (statement). In 5YRJ4HGY4N/e1, proposition 5
History
- 2026-10-29: add by m2/v0.4.12
JDZD31CGQ4 JDZD31CGQ4
| URI | m2://inv/JDZD31CGQ4 |
|---|---|
| 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 2506.00952#MB0L (statement). In GX0TV70D4N/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
Faà di Bruno's formula JDZKE1S7TG
| URI | m2://inv/JDZKE1S7TG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#4LBI, Faà di Bruno's formula (definition)
History
- 2026-11-02: add by m2/dev
Indirect self-reference JDZPV31FEJ
| URI | m2://inv/JDZPV31FEJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-reference#K1OV, Indirect self-reference (unknown)
History
- 2026-11-02: add by m2/dev
JDZWH0A3V2 JDZWH0A3V2
| URI | m2://inv/JDZWH0A3V2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#UKBX (statement). In JW8HH6EPG2/e1, theorem 2.5
History
- 2026-10-29: add by m2/v0.4.10
Integer complexity JDZX9XQ0VX
| URI | m2://inv/JDZX9XQ0VX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25304002, Integer complexity (concept). Also MathWorld IntegerComplexity
- wikipedia: Wikipedia Integer complexity, Integer complexity (definition). Also Wikidata Q25304002
History
- 2026-10-26: add by m2/dev