Inventory rows VJ
The cards of the rows of the inventory whose ids start with VJ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
VJ016BR09W VJ016BR09W
| URI | m2://inv/VJ016BR09W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-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.07695#JFQD (statement). In 8Z47D12KSX/e1, proposition 7.4
History
- 2026-10-29: add by m2/v0.4.10
VJ01H55B3K VJ01H55B3K
| URI | m2://inv/VJ01H55B3K |
|---|---|
| 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.22296#M2SB (statement)
History
- 2026-11-02: add by m2/v0.6.17
Geoffrey Colin Shephard VJ06THPGEJ
| URI | m2://inv/VJ06THPGEJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#36MN, Geoffrey Colin Shephard (topic)
History
- 2026-11-02: add by m2/dev
VJ0AQ6113F VJ0AQ6113F
| URI | m2://inv/VJ0AQ6113F |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07671#3T7I (example). In XHHBGCVG90/e1, example 2.1.2
History
- 2026-10-29: add by m2/v0.4.10
VJ0B9JV97T VJ0B9JV97T
| URI | m2://inv/VJ0B9JV97T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.25539#IMSL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties VJ0ENTZMWR
| URI | m2://inv/VJ0ENTZMWR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Selberg class#XVJ2, Properties (statement)
History
- 2026-11-02: add by m2/dev
VJ0H4HXWCY VJ0H4HXWCY
| URI | m2://inv/VJ0H4HXWCY |
|---|---|
| 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 1907.01440#HXBS (statement). In QDRYC6WJJ7/e1, theorem 15
History
- 2026-10-27: add by m2/v0.3.5
VJ0Q136QQ9 VJ0Q136QQ9
| URI | m2://inv/VJ0Q136QQ9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-26 (exercise). In QKM9DD2H56, exercise, section 7
History
- 2026-11-01: add by m2/v0.6.13
weighted median VJ0Q4A55X4
| URI | m2://inv/VJ0Q4A55X4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#S92N, weighted median (definition)
History
- 2026-11-02: add by m2/dev
Exact local decomposition of the incompressible kernel VJ0QKGY3XE
| URI | m2://inv/VJ0QKGY3XE |
|---|---|
| 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.38871#2PT2, Exact local decomposition of the incompressible kernel (statement). In X705R2Q780/e1, lemma 4.10
History
- 2026-10-30: add by m2/v0.4.12
Andreas Blass VJ0WS02ZSJ
| URI | m2://inv/VJ0WS02ZSJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#90IZ, Andreas Blass (topic)
History
- 2026-11-02: add by m2/dev
Strong gauge criterion VJ13W91DQJ
| URI | m2://inv/VJ13W91DQJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27966#4FZM, Strong gauge criterion (statement)
History
- 2026-11-01: add by m2/v0.6.15
Olli Lehto VJ15ZYD3ZQ
| URI | m2://inv/VJ15ZYD3ZQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#50OU, Olli Lehto (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NK0I, Olli Lehto (topic)
History
- 2026-11-02: add by m2/dev
VJ1AH14REB VJ1AH14REB
| URI | m2://inv/VJ1AH14REB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18346#9EUO (statement). In QVPNGHTMEX/e1, theorem 3.6
History
- 2026-10-28: add by m2/v0.4.2
Base conversion VJ1C3SMKTS
| URI | m2://inv/VJ1C3SMKTS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positional notation#9AMW, Base conversion (unknown)
History
- 2026-11-02: add by m2/dev
VJ1J2YF9ZV VJ1J2YF9ZV
| URI | m2://inv/VJ1J2YF9ZV |
|---|---|
| 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 2305.13184#07XX (statement). In SKYG9GMA96/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.6
Proof: completed. VJ1P0A75MS
| URI | m2://inv/VJ1P0A75MS |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/history/set-theory/cantor-plane.tex#proof-2, Proof: completed. (proof). In PKGMM3P5QY, proof, section 25.8
History
- 2026-11-01: add by m2/v0.6.13
VJ1P3QAPC0 VJ1P3QAPC0
| URI | m2://inv/VJ1P3QAPC0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32088#LYX4 (definition). In 7781ARDE06/e1, definition 3.2
History
- 2026-10-31: add by m2/v0.5.6
VJ2485HTE1 VJ2485HTE1
| URI | m2://inv/VJ2485HTE1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07401#FFKM (statement). In FQ5435B36D/e1, corollary 5.5
History
- 2026-10-29: add by m2/v0.4.10
Definitions VJ29WKMJX8
| URI | m2://inv/VJ29WKMJX8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stratifold#GICH, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Kott, Phillip VJ2JVWX2KA
| URI | m2://inv/VJ2JVWX2KA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#MDBO, Kott, Phillip (topic)
History
- 2026-11-02: add by m2/dev
Chinese mathematics VJ2QP7MSRN
| URI | m2://inv/VJ2QP7MSRN |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 01A25 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q540129, Chinese mathematics (topic)
- wikipedia: Wikipedia Chinese mathematics, Chinese mathematics (definition). Also Wikidata Q540129
History
- 2026-10-26: add by m2/dev
VJ2S81TGMV VJ2S81TGMV
| URI | m2://inv/VJ2S81TGMV |
|---|---|
| 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.10928#M68S (statement). In 8M7BFVQYMM/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.3
4800 VJ2SSJ4WCS
| URI | m2://inv/VJ2SSJ4WCS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 4000 (number)#D7O9, 4800 (unknown)
History
- 2026-11-02: add by m2/dev
Markov logic network VJ2SWTMHDK
| URI | m2://inv/VJ2SWTMHDK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#2E4F, Markov logic network (definition)
History
- 2026-11-02: add by m2/dev
Theories of truth VJ33V8GZP2
| URI | m2://inv/VJ33V8GZP2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theories of truth, Theories of truth (definition). Also Wikidata Q118930683
History
- 2026-11-02: add by m2/dev
Causally convex sets VJ37S522YF
| URI | m2://inv/VJ37S522YF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10051#C7YU, Causally convex sets (definition). In VCHH2AC34R/e1, definition 2.13
History
- 2026-10-29: add by m2/v0.4.10
Applications VJ39T7XGJW
| URI | m2://inv/VJ39T7XGJW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Critical phenomena#545C, Applications (example)
History
- 2026-11-02: add by m2/dev
VJ3BB79VRB VJ3BB79VRB
| URI | m2://inv/VJ3BB79VRB |
|---|---|
| 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.16727#KSDF (statement). In Z5QS3MD8HN/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
Definition VJ3HFSGVP0
| URI | m2://inv/VJ3HFSGVP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PPA (complexity)#VFMY, Definition (definition)
History
- 2026-11-02: add by m2/dev
Hard-wall transition and hard-edge tail VJ3QD9GEH5
| URI | m2://inv/VJ3QD9GEH5 |
|---|---|
| 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#ZEWA, Hard-wall transition and hard-edge tail (statement)
History
- 2026-11-01: add by m2/v0.6.15
VJ3XVRKTWB VJ3XVRKTWB
| URI | m2://inv/VJ3XVRKTWB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ImagesInverseImages.tex#problem-3 (exercise). In P1C114YBXG, problem, section C
History
- 2026-11-01: add by m2/v0.6.13
Elkies trinomial curves VJ424V0AW7
| URI | m2://inv/VJ424V0AW7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elkies trinomial curves, Elkies trinomial curves (definition). Also Wikidata Q3821087
History
- 2026-11-02: add by m2/dev
Multilevel table VJ42KADWY9
| URI | m2://inv/VJ42KADWY9 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39233#B2HZ, Multilevel table (unknown). In Y7NC12TBNP/e1, unknown
History
- 2026-10-30: add by m2/v0.4.12
Tight lower bound VJ45TN2S5S
| URI | m2://inv/VJ45TN2S5S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Upper and lower bounds#MXLN, Tight lower bound (unknown)
History
- 2026-11-02: add by m2/dev
VJ46CAEJKJ VJ46CAEJKJ
| URI | m2://inv/VJ46CAEJKJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-1.xml#example-2 (example). In 649HGZKE96, example, section 2.1.2
History
- 2026-11-01: add by m2/v0.6.13
Popoviciu's inequality on variances VJ47C1E6VP
| URI | m2://inv/VJ47C1E6VP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KWUY, Popoviciu's inequality on variances (statement)
- wikipedia: Wikipedia List of inequalities#HPHO, Popoviciu's inequality on variances (statement)
History
- 2026-11-02: add by m2/dev
VJ47JXQME7 VJ47JXQME7
| URI | m2://inv/VJ47JXQME7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26114#CZ0A (definition)
History
- 2026-11-01: add by m2/v0.6.15
Neumayer Station III VJ4BCR1QYY
| URI | m2://inv/VJ4BCR1QYY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#IDOA, Neumayer Station III (unknown)
History
- 2026-11-02: add by m2/dev
subgraph, spanning VJ4BGQ109R
| URI | m2://inv/VJ4BGQ109R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.1/subgraph-spanning, subgraph, spanning (concept). In QKM9DD2H56, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
VJ4EYNZMHS VJ4EYNZMHS
| URI | m2://inv/VJ4EYNZMHS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14441#3ZT0 (statement). In 4A5K50EVBT/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
Grothendieck–Hirzebruch–Riemann–Roch theorem VJ4QM3A880
| URI | m2://inv/VJ4QM3A880 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#OLBM, Grothendieck–Hirzebruch–Riemann–Roch theorem (statement)
History
- 2026-11-02: add by m2/dev
Quadratic residuosity problem VJ4WZNMGBG
| URI | m2://inv/VJ4WZNMGBG |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#LOXQ, Quadratic residuosity problem (problem)
History
- 2026-11-02: add by m2/dev
locally presentable category VJ5662G0JK
| URI | m2://inv/VJ5662G0JK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q123015498, locally presentable category (unknown). Also nLab locally presentable category
History
- 2026-10-26: add by m2/dev
Limit geodesics with a regular endpoint VJ5D2VF0AF
| URI | m2://inv/VJ5D2VF0AF |
|---|---|
| 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.05204#P14T, Limit geodesics with a regular endpoint (statement). In ET0TQ8YF7Z/e1, lemma 7.10
History
- 2026-10-29: add by m2/v0.4.10
Directional overlapping-gadget lifting VJ5MHSPRFT
| URI | m2://inv/VJ5MHSPRFT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.02407#TZUM, Directional overlapping-gadget lifting (statement). In ZZER8ZBSCR/e1, theorem 6.9
History
- 2026-10-29: add by m2/v0.4.12
Niels Henrik Abel VJ5TA0HX6K
| URI | m2://inv/VJ5TA0HX6K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#K739, Niels Henrik Abel (topic)
- wikipedia: Wikipedia List of mathematicians born in the 19th century#BZM8, Niels Henrik Abel (topic)
History
- 2026-11-02: add by m2/dev
Sheldon Axler VJ61ZVC5KC
| URI | m2://inv/VJ61ZVC5KC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UWV2, Sheldon Axler (topic)
History
- 2026-11-02: add by m2/dev
VJ6375EX6G VJ6375EX6G
| URI | m2://inv/VJ6375EX6G |
|---|---|
| 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.27078#BTW4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
VJ63DG43JE VJ63DG43JE
| URI | m2://inv/VJ63DG43JE |
|---|---|
| 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 2406.19866#GZEK (statement). In 9F94CEQ1ZM/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
Anscombe, Francis VJ64DAV5MY
| URI | m2://inv/VJ64DAV5MY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#KKZZ, Anscombe, Francis (topic)
History
- 2026-11-02: add by m2/dev
VJ671F2RHM VJ671F2RHM
| URI | m2://inv/VJ671F2RHM |
|---|---|
| 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 1902.04230#N668 (statement). In 22JZ68FGCW/e1, proposition 6.34
History
- 2026-10-27: add by m2/v0.3.5
Examples VJ67906QHC
| URI | m2://inv/VJ67906QHC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Full and faithful functors#5ZLR, Examples (example)
History
- 2026-11-02: add by m2/dev
VJ6CJCATBA VJ6CJCATBA
| URI | m2://inv/VJ6CJCATBA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 9.9.1
History
- 2026-11-01: add by m2/v0.6.13
VJ6GVSTS2S VJ6GVSTS2S
| URI | m2://inv/VJ6GVSTS2S |
|---|---|
| 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.21388#9KUK (statement)
History
- 2026-11-02: add by m2/v0.6.18
Properties VJ6N57XAV9
| URI | m2://inv/VJ6N57XAV9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonical ring#UAAG, Properties (statement)
History
- 2026-11-02: add by m2/dev
Fixed-point representation VJ6RHRS0TG
| URI | m2://inv/VJ6RHRS0TG |
|---|---|
| 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#H15Y, Fixed-point representation (statement). In 7BB6PY94G9/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.3
Markov chain VJ6W5BW4PG
| URI | m2://inv/VJ6W5BW4PG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SC2K, Markov chain (definition)
- wikipedia: Wikipedia List of probability topics#YHMJ, Markov chain (definition)
History
- 2026-11-02: add by m2/dev
VJ6YPEZDMX VJ6YPEZDMX
| URI | m2://inv/VJ6YPEZDMX |
|---|---|
| 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.24192#UP5L (statement)
History
- 2026-11-01: add by m2/v0.6.15
VJ70G2NAR0 VJ70G2NAR0
| URI | m2://inv/VJ70G2NAR0 |
|---|---|
| Kind | statement |
| 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#3IKP (statement). In 9DQKY7KGE8/e1, lemma 3.18
History
- 2026-10-27: add by m2/v0.3.5
Geometry, radial deficit, and the shell product VJ70JXN2NF
| URI | m2://inv/VJ70JXN2NF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37704#3EFI, Geometry, radial deficit, and the shell product (statement). In HGTFJ325A4/e1, lemma 6.6
History
- 2026-10-30: add by m2/v0.4.12
VJ72E4SSNG VJ72E4SSNG
| URI | m2://inv/VJ72E4SSNG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19787#RPGN (statement). In A4VP56CT7B/e1, proposition 6.5
History
- 2026-10-28: add by m2/v0.4.2
Bárbara M. Brizuela VJ7365230E
| URI | m2://inv/VJ7365230E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bárbara M. Brizuela, Bárbara M. Brizuela (topic). Also Wikidata Q4859109
History
- 2026-11-02: add by m2/dev
VJ78ZBE5VZ VJ78ZBE5VZ
| URI | m2://inv/VJ78ZBE5VZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-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 2609.27886#UTLF (statement)
History
- 2026-11-01: add by m2/v0.6.15
VJ7G61WA17 VJ7G61WA17
| URI | m2://inv/VJ7G61WA17 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-58 (exercise). In E59CDZA4DP, exercise, section 4.5.6
History
- 2026-11-01: add by m2/v0.6.13
Sublinear Entropy at Fixed Degree VJ7GKE3PSN
| URI | m2://inv/VJ7GKE3PSN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.02407#6MOU, Sublinear Entropy at Fixed Degree (statement). In ZZER8ZBSCR/e1, corollary 5.14
History
- 2026-10-29: add by m2/v0.4.12
VJ7K30WM2Z VJ7K30WM2Z
| URI | m2://inv/VJ7K30WM2Z |
|---|---|
| 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-17 (exercise). In Y91XFCEVHQ, exercise, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
VJ7MZSNPZX VJ7MZSNPZX
| URI | m2://inv/VJ7MZSNPZX |
|---|---|
| Kind | example |
| 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 2404.18704#JLIX (example). In T4MQVXFGWC/e1, example 5.1
History
- 2026-10-27: add by m2/v0.3.5
National Transportation Atlas Database VJ7SYCVDCB
| URI | m2://inv/VJ7SYCVDCB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bureau of Transportation Statistics#LH38, National Transportation Atlas Database (unknown)
History
- 2026-11-02: add by m2/dev
converse of Shapley–Folkman lemma VJ7ZVR3S4M
| URI | m2://inv/VJ7ZVR3S4M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shapley–Folkman lemma#QGS9, converse of Shapley–Folkman lemma (statement)
History
- 2026-11-02: add by m2/dev
quefrency VJ80QTGRE9
| URI | m2://inv/VJ80QTGRE9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cepstrum#Q46O, quefrency (definition)
History
- 2026-11-02: add by m2/dev
VJ80S2GDRK VJ80S2GDRK
| URI | m2://inv/VJ80S2GDRK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15316#RW03 (statement). In 3K84E4150C/e1, proposition 4.7
History
- 2026-10-28: add by m2/v0.4.2
generic point VJ8EDKMHHF
| URI | m2://inv/VJ8EDKMHHF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#CM3N, generic point (definition)
History
- 2026-11-02: add by m2/dev
Reliability index VJ91X3JA79
| URI | m2://inv/VJ91X3JA79 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reliability index, Reliability index (definition). Also Wikidata Q112132187
History
- 2026-11-02: add by m2/dev
VJ9GD5QJ5B VJ9GD5QJ5B
| URI | m2://inv/VJ9GD5QJ5B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24845#JID3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
European Cup Winners' Cup VJ9KAP9367
| URI | m2://inv/VJ9KAP9367 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Borussia Dortmund records and statistics#51CJ, European Cup Winners' Cup (unknown)
History
- 2026-11-02: add by m2/dev
Lamellar vector field VJ9W2J1DG3
| URI | m2://inv/VJ9W2J1DG3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of multivariable calculus topics#M5F1, Lamellar vector field (definition)
History
- 2026-11-02: add by m2/dev
Applications VJ9WATWE2G
| URI | m2://inv/VJ9WATWE2G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete spatial randomness#5KVF, Applications (example)
History
- 2026-11-02: add by m2/dev
Homotopy VJ9WF28ZNF
| URI | m2://inv/VJ9WF28ZNF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#FNCN, Homotopy (definition)
History
- 2026-11-02: add by m2/dev
Definition of a pseudo-Anosov map VJ9WF73EZH
| URI | m2://inv/VJ9WF73EZH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-Anosov map#RY57, Definition of a pseudo-Anosov map (definition)
History
- 2026-11-02: add by m2/dev
Hecke correspondence VJA01YJG0E
| URI | m2://inv/VJA01YJG0E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Erich Hecke#V1L1, Hecke correspondence (definition)
History
- 2026-11-02: add by m2/dev
Ladyzhenskaya VJA3JDNMFH
| URI | m2://inv/VJA3JDNMFH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02714#A8DP, Ladyzhenskaya (statement). In R9AXCJWK8F/e1, lemma 8
History
- 2026-10-29: add by m2/v0.4.12
VJA41K60JS VJA41K60JS
| URI | m2://inv/VJA41K60JS |
|---|---|
| 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.24235#TG1N (statement)
History
- 2026-11-01: add by m2/v0.6.15
luminiferous aether VJA54GYDD2
| URI | m2://inv/VJA54GYDD2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q208702, luminiferous aether (definition). Also ProofWiki Definition:Aether_(Physics)
History
- 2026-10-26: add by m2/dev
Alfred Enneper VJA6FX4JTK
| URI | m2://inv/VJA6FX4JTK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfred Enneper, Alfred Enneper (topic). Also Wikidata Q68521
History
- 2026-11-02: add by m2/dev
VJAHV8DWT8 VJAHV8DWT8
| URI | m2://inv/VJAHV8DWT8 |
|---|---|
| Kind | example |
| 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#9X1B (example). In WNFW6GY38C/e1, example 4.3
History
- 2026-10-30: add by m2/v0.4.12
primary ideal VJAKF8E5WG
| URI | m2://inv/VJAKF8E5WG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Primary ideal TMTPWVETQK |
Mentions
- wikidata: Wikidata Q1142699, primary ideal (definition). Also MathWorld PrimaryIdeal, ProofWiki Definition:Primary_Ideal
- wikipedia: Wikipedia Primary ideal, Primary ideal (definition). Also Wikidata Q1142699
History
- 2026-10-26: add by m2/dev
Open-loop model VJAQ8CSP31
| URI | m2://inv/VJAQ8CSP31 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Open-loop model, Open-loop model (definition). Also Wikidata Q7095707
History
- 2026-11-02: add by m2/dev
VJAWTZF2DS VJAWTZF2DS
| URI | m2://inv/VJAWTZF2DS |
|---|---|
| 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.19437#ZIK0 (statement). In 9PXXGQ978Z/e1, lemma 4.21
History
- 2026-10-28: add by m2/v0.4.2
Muthu Alagappan VJAXN6G951
| URI | m2://inv/VJAXN6G951 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Muthu Alagappan, Muthu Alagappan (topic). Also Wikidata Q16148744
History
- 2026-11-02: add by m2/dev
discrete logarithm problem VJB15SBTST
| URI | m2://inv/VJB15SBTST |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Discrete logarithm 0HJHYMGN3C |
Mentions
- wikidata: Wikidata Q124295907, discrete logarithm problem (unknown). Also MathWorld DiscreteLogarithm
- wikidata: Wikidata Q864003, discrete logarithm (unknown). Also MathWorld DiscreteLogarithm
- wikipedia: Wikipedia Discrete logarithm, Discrete logarithm (conjecture). Also Wikidata Q864003
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Zariski topology on $\Aff^2$ VJB29AD4H2
| URI | m2://inv/VJB29AD4H2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/zariski.tex#example-2, Zariski topology on $\Aff^2$ (example). In RZP28ERRZV, example, section 29.2
History
- 2026-11-01: add by m2/v0.6.13
Example VJB9K3JP91
| URI | m2://inv/VJB9K3JP91 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss's lemma (number theory)#L37R, Example (example)
History
- 2026-11-02: add by m2/dev
Möbius μ function VJBD99Y54F
| URI | m2://inv/VJBD99Y54F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical functions#R3BL, Möbius μ function (definition)
History
- 2026-11-02: add by m2/dev
Bilinear identity VJBEZZ4WDQ
| URI | m2://inv/VJBEZZ4WDQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20643#K207, Bilinear identity (statement)
History
- 2026-11-02: add by m2/v0.6.18
Emily H. Griffith VJBG96D00Z
| URI | m2://inv/VJBG96D00Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emily H. Griffith, Emily H. Griffith (topic). Also Wikidata Q102334027
History
- 2026-11-02: add by m2/dev
Slither Link VJBNRHNG55
| URI | m2://inv/VJBNRHNG55 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#CFT9, Slither Link (unknown)
History
- 2026-11-02: add by m2/dev
Theorem VJBNW1FHTE
| URI | m2://inv/VJBNW1FHTE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension theory (algebra)#9T49, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Euclidean sphere net VJBS7GS2WW
| URI | m2://inv/VJBS7GS2WW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20520#RCHL, Euclidean sphere net (statement)
History
- 2026-11-02: add by m2/v0.6.18
VJBWCYVZR8 VJBWCYVZR8
| URI | m2://inv/VJBWCYVZR8 |
|---|---|
| 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.20008#YSVD (statement)
History
- 2026-11-02: add by m2/v0.6.18
R v Adams VJBX09HQJW
| URI | m2://inv/VJBX09HQJW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YO9M, R v Adams (definition)
History
- 2026-11-02: add by m2/dev
Numerical cognition VJBYX6S4VM
| URI | m2://inv/VJBYX6S4VM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerical cognition, Numerical cognition (topic). Also Wikidata Q337432
History
- 2026-11-02: add by m2/dev
Definitions VJCBC5B83K
| URI | m2://inv/VJCBC5B83K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cuntz algebra#JRUR, Definitions (definition)
History
- 2026-11-02: add by m2/dev
VJD4HRN9BM VJD4HRN9BM
| URI | m2://inv/VJD4HRN9BM |
|---|---|
| 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.19694#H2HV (statement). In EP0M4RSZ9P/e1, theorem 2.7
History
- 2026-10-28: add by m2/v0.4.2
VJD5MPNFC7 VJD5MPNFC7
| URI | m2://inv/VJD5MPNFC7 |
|---|---|
| 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.16203#0VS9 (statement). In 43TBS9P2PX/e1, proposition 6.6
History
- 2026-10-28: add by m2/v0.4.2
2 + 2 = 5 VJDA76HGH9
| URI | m2://inv/VJDA76HGH9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2 + 2 = 5, 2 + 2 = 5 (definition). Also Wikidata Q1097227
History
- 2026-11-02: add by m2/dev
VJDZFQKS33 VJDZFQKS33
| URI | m2://inv/VJDZFQKS33 |
|---|---|
| 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#9PY8 (statement). In PKPT8NY665/e1, proposition 1.5
History
- 2026-10-28: add by m2/v0.4.2
VJE02J7J21 VJE02J7J21
| URI | m2://inv/VJE02J7J21 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.16205#6GQN (definition). In 3GE9PS9AH0/e1, definition 2.0.1
History
- 2026-10-27: add by m2/v0.3.5
Kermack–McKendrick theory VJE1PM24M8
| URI | m2://inv/VJE1PM24M8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kermack–McKendrick theory, Kermack–McKendrick theory (definition). Also Wikidata Q17067396
History
- 2026-11-02: add by m2/dev
VJE4FQQG03 VJE4FQQG03
| URI | m2://inv/VJE4FQQG03 |
|---|---|
| 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 2407.08004#8NYT (statement). In TYS65EG479/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
VJE6YP96RS VJE6YP96RS
| URI | m2://inv/VJE6YP96RS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-addmult.ptx#exercise-13 (exercise). In Y91XFCEVHQ, exercise, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Michael J. D. Powell VJE9BZ0N16
| URI | m2://inv/VJE9BZ0N16 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael J. D. Powell, Michael J. D. Powell (topic). Also Wikidata Q588371
History
- 2026-11-02: add by m2/dev
Algorithms VJEAQM0NHP
| URI | m2://inv/VJEAQM0NHP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolakoski sequence#006T, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
The linear certificate controls both base matrices VJEGAZ68E8
| URI | m2://inv/VJEGAZ68E8 |
|---|---|
| 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#821I, The linear certificate controls both base matrices (statement). In 6FY8BVP1F3/e1, lemma K.6
History
- 2026-10-29: add by m2/v0.4.12
Sharp lower bound in dimension eight VJEJ2WGJYS
| URI | m2://inv/VJEJ2WGJYS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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 2610.05421#TGAZ, Sharp lower bound in dimension eight (statement). In 4R1MMSAAVK/e1, proposition 6.4
History
- 2026-10-29: add by m2/v0.4.10
VJEK8N3VG1 VJEK8N3VG1
| URI | m2://inv/VJEK8N3VG1 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chi-bounded#XW6J (problem)
History
- 2026-11-02: add by m2/dev
False position method VJEMGRRJQW
| URI | m2://inv/VJEMGRRJQW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#O25J, False position method (definition)
History
- 2026-11-02: add by m2/dev
group scheme VJENNCC9ZF
| URI | m2://inv/VJENNCC9ZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Group scheme TJ04VQP4NB |
Mentions
- wikidata: Wikidata Q5611270, group scheme (unknown). Also nLab group scheme
- wikipedia: Wikipedia Group scheme, Group scheme (definition). Also Wikidata Q5611270
History
- 2026-10-26: add by m2/dev
VJESGKWKNQ VJESGKWKNQ
| URI | m2://inv/VJESGKWKNQ |
|---|---|
| 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 2608.24606#JS9J (statement). In VFV3FFB7Q7/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
VJETG48R5A VJETG48R5A
| URI | m2://inv/VJETG48R5A |
|---|---|
| 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#KR2E (statement)
History
- 2026-11-02: add by m2/v0.6.17
Fermi–Pasta–Ulam–Tsingou problem VJEXRWB784
| URI | m2://inv/VJEXRWB784 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermi–Pasta–Ulam–Tsingou problem, Fermi–Pasta–Ulam–Tsingou problem (problem). Also Wikidata Q462254
History
- 2026-11-02: add by m2/dev
VJEZCJA1HT VJEZCJA1HT
| URI | m2://inv/VJEZCJA1HT |
|---|---|
| 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.13875#JQ1X (statement). In W6FK624JRQ/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Elliptic function VJF528P8TY
| URI | m2://inv/VJF528P8TY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#QKV7, Elliptic function (definition)
History
- 2026-11-02: add by m2/dev
Applications VJF7Q2S7EB
| URI | m2://inv/VJF7Q2S7EB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum Hall effect#M949, Applications (example)
History
- 2026-11-02: add by m2/dev
First-order zero-chain VJF9KK574X
| URI | m2://inv/VJF9KK574X |
|---|---|
| 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.33360#QOB9, First-order zero-chain (definition). In GH6FSDK4YB/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Adolfo Rumbos VJFCF63QQX
| URI | m2://inv/VJFCF63QQX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adolfo Rumbos, Adolfo Rumbos (topic). Also Wikidata Q102131222
History
- 2026-11-02: add by m2/dev
VJFFFAQJBB VJFFFAQJBB
| URI | m2://inv/VJFFFAQJBB |
|---|---|
| Kind | definition |
| 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.22825#0HIO (definition)
History
- 2026-11-02: add by m2/v0.6.17
Rafael Artzy VJFGQS6GNT
| URI | m2://inv/VJFGQS6GNT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#E3O6, Rafael Artzy (topic)
History
- 2026-11-02: add by m2/dev
VJFGYXNM64 VJFGYXNM64
| URI | m2://inv/VJFGYXNM64 |
|---|---|
| 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 2609.20860#HL10 (definition)
History
- 2026-11-02: add by m2/v0.6.18
VJFMGQ2QAY VJFMGQ2QAY
| URI | m2://inv/VJFMGQ2QAY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2503.22636#8O5E (statement). In 2X2A6MT0QD/e1, theorem 2.18
History
- 2026-10-27: add by m2/v0.3.5
Johannes van der Corput VJFQVNQTWM
| URI | m2://inv/VJFQVNQTWM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#641D, Johannes van der Corput (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#KFCH, Johannes van der Corput (topic)
History
- 2026-11-02: add by m2/dev
VJFW34FTJP VJFW34FTJP
| URI | m2://inv/VJFW34FTJP |
|---|---|
| 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.20126#4MHU (statement). In KVXDWX9B11/e1, corollary 2.6
History
- 2026-10-27: add by m2/v0.4.2
Incompleteness theorems VJFYGV76YE
| URI | m2://inv/VJFYGV76YE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kurt Gödel#QD6J, Incompleteness theorems (statement)
History
- 2026-11-02: add by m2/dev
VJG17FCC0M VJG17FCC0M
| URI | m2://inv/VJG17FCC0M |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10937#GDC3 (example). In 6VVK3YTABP/e1, example 8.3
History
- 2026-10-28: add by m2/v0.4.3
kaon VJG231YHJT
| URI | m2://inv/VJG231YHJT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q843503, kaon (unknown). Also nLab kaon
History
- 2026-10-26: add by m2/dev
VJG243EDSD VJG243EDSD
| URI | m2://inv/VJG243EDSD |
|---|---|
| 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.02870#NXRJ (statement). In JJQQJ4KX94/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.12
VJG4QRD7G9 VJG4QRD7G9
| URI | m2://inv/VJG4QRD7G9 |
|---|---|
| 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#B7MT (statement)
History
- 2026-11-02: add by m2/v0.6.18
Jacobson VJG6NW418G
| URI | m2://inv/VJG6NW418G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.21703#1FGQ, Jacobson (statement)
History
- 2026-11-02: add by m2/v0.6.18
The cumulative cutoff VJG7H3VS89
| URI | m2://inv/VJG7H3VS89 |
|---|---|
| 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.14509#3WDX, The cumulative cutoff (statement). In N6GD8392QB/e1, proposition 18.1
History
- 2026-10-28: add by m2/v0.4.2
Example VJG987H6WM
| URI | m2://inv/VJG987H6WM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NTRUEncrypt#313W, Example (example)
History
- 2026-11-02: add by m2/dev
Marie A. Vitulli VJGMCTDXNE
| URI | m2://inv/VJGMCTDXNE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marie A. Vitulli, Marie A. Vitulli (topic). Also Wikidata Q50363699
History
- 2026-11-02: add by m2/dev
Category of relations VJGN2GHA2W
| URI | m2://inv/VJGN2GHA2W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Category of relations, Category of relations (definition). Also Wikidata Q5051849
History
- 2026-11-02: add by m2/dev
History decimal number VJGS4MDWGA
| URI | m2://inv/VJGS4MDWGA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decimal#N60X, History decimal number (unknown)
History
- 2026-11-02: add by m2/dev
homotopy, group, of sphere VJGVT78XXQ
| URI | m2://inv/VJGVT78XXQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.5/homotopy-group-of-sphere, homotopy, group, of sphere (concept). In N54F33XE07, index, section 7.5
History
- 2026-11-01: add by m2/v0.6.13
VJGW19AAZJ VJGW19AAZJ
| URI | m2://inv/VJGW19AAZJ |
|---|---|
| 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.25823#1D79 (statement)
History
- 2026-11-01: add by m2/v0.6.15
VJGW6M0AAW VJGW6M0AAW
| URI | m2://inv/VJGW6M0AAW |
|---|---|
| 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.20135#D7EE (statement). In ZQQEN3J866/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.4.2
C. F. Gauss VJH62T0RQ9
| URI | m2://inv/VJH62T0RQ9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#MGIZ, C. F. Gauss (topic)
History
- 2026-11-02: add by m2/dev
Jackson q-Bessel function VJHB0HXTAF
| URI | m2://inv/VJHB0HXTAF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jackson q-Bessel function, Jackson q-Bessel function (definition). Also Wikidata Q6117832
History
- 2026-11-02: add by m2/dev
Nonlinear bookkeeping VJHBT04AJX
| URI | m2://inv/VJHBT04AJX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04894#XJNY, Nonlinear bookkeeping (statement). In AZZ35SDENN/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
VJHG99DTGM VJHG99DTGM
| URI | m2://inv/VJHG99DTGM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-1.xml#example-3 (example). In 649HGZKE96, example, section 7.1.2
History
- 2026-11-01: add by m2/v0.6.13
VJHRMBWHKQ VJHRMBWHKQ
| URI | m2://inv/VJHRMBWHKQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#example-15 (example). In E59CDZA4DP, example, section 10.4
History
- 2026-11-01: add by m2/v0.6.13
VJHS969TCZ VJHS969TCZ
| URI | m2://inv/VJHS969TCZ |
|---|---|
| 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 2609.20718#78H4 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Wirtinger's inequality for functions VJJ2TKGB7E
| URI | m2://inv/VJJ2TKGB7E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#NOVW, Wirtinger's inequality for functions (statement)
History
- 2026-11-02: add by m2/dev
F\"uredi-Sudakov VJJ4YBJTF9
| URI | m2://inv/VJJ4YBJTF9 |
|---|---|
| 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.22393#UXHM, F\"uredi-Sudakov (statement)
History
- 2026-11-02: add by m2/v0.6.17
John Colson VJJBHE4NPC
| URI | m2://inv/VJJBHE4NPC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Colson, John Colson (topic). Also Wikidata Q1394680
History
- 2026-11-02: add by m2/dev
C-theorem VJJC2PS24F
| URI | m2://inv/VJJC2PS24F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#QN2R, C-theorem (statement)
History
- 2026-11-02: add by m2/dev
Riemannian metric VJJDNX6FJX
| URI | m2://inv/VJJDNX6FJX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7888899, Riemannian metric (unknown). Also EoM Riemannian_metric, MathWorld RiemannianMetric, nLab Riemannian metric
History
- 2026-10-26: add by m2/dev
VJJGMGHV0B VJJGMGHV0B
| URI | m2://inv/VJJGMGHV0B |
|---|---|
| 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.32977#J24J (statement). In 4KT9TK3MG4/e1, lemma F.7
History
- 2026-10-31: add by m2/v0.5.6
VJJGSFF0X7 VJJGSFF0X7
| URI | m2://inv/VJJGSFF0X7 |
|---|---|
| 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 2204.01073#3OVP (statement). In W4TYN4PGE8/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
VJJRK91XK4 VJJRK91XK4
| URI | m2://inv/VJJRK91XK4 |
|---|---|
| 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.08193#FEOO (statement). In 8XAKGH8S2D/e1, corollary 3.18
History
- 2026-10-29: add by m2/v0.4.10
VJJYB81F4X VJJYB81F4X
| URI | m2://inv/VJJYB81F4X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.05069#VSB7 (statement). In SFQBJBTW8K/e1, theorem 9.1
History
- 2026-10-27: add by m2/v0.3.5
Fundamental group VJK126H8T5
| URI | m2://inv/VJK126H8T5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of undecidable problems#O66P, Fundamental group (definition)
History
- 2026-11-02: add by m2/dev
VJK1SDP4D4 VJK1SDP4D4
| URI | m2://inv/VJK1SDP4D4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19463#3Z0D (statement). In Q4HWFFK0R9/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Applications VJKBQC5PTN
| URI | m2://inv/VJKBQC5PTN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Net treatment benefit#TKQD, Applications (example)
History
- 2026-11-02: add by m2/dev
Catalan number VJKHVGX95A
| URI | m2://inv/VJKHVGX95A |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/2.5/catalan-number, Catalan number (concept). In QKM9DD2H56, index, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
anti-foundation axiom VJKMD323FT
| URI | m2://inv/VJKMD323FT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#HU02, anti-foundation axiom (definition)
History
- 2026-11-02: add by m2/dev
VJKT6694FG VJKT6694FG
| URI | m2://inv/VJKT6694FG |
|---|---|
| Kind | conjecture |
| 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#GLRG (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
VJMAGWJ64M VJMAGWJ64M
| URI | m2://inv/VJMAGWJ64M |
|---|---|
| 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#79TH (statement). In 5PN85N6EJF/e1, lemma A.2
History
- 2026-10-31: add by m2/v0.5.6
Definition VJME5GT809
| URI | m2://inv/VJME5GT809 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Möbius function#GJBK, Definition (definition)
History
- 2026-11-02: add by m2/dev
Theorem VJMEZGC8YM
| URI | m2://inv/VJMEZGC8YM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl algebra#JOB0, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Journal of Statistical Computation and Simulation VJMJD75W3F
| URI | m2://inv/VJMJD75W3F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#4LIC, Journal of Statistical Computation and Simulation (definition)
History
- 2026-11-02: add by m2/dev
Minkowski's first inequality for convex bodies VJMK4F7KY6
| URI | m2://inv/VJMK4F7KY6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#4P09, Minkowski's first inequality for convex bodies (statement)
History
- 2026-11-02: add by m2/dev
VJMNPBN0YS VJMNPBN0YS
| URI | m2://inv/VJMNPBN0YS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_induction_proofs.ptx#prop_sumodd (statement). In QKM9DD2H56, proposition, section 3.8
History
- 2026-11-01: add by m2/v0.6.13
Pairing VJMRWJXAG5
| URI | m2://inv/VJMRWJXAG5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pairing, Pairing (definition). Also Wikidata Q11681459
History
- 2026-11-02: add by m2/dev
Recovery by Ergodic Averaging for Tensor PCA VJMSV5XYSD
| URI | m2://inv/VJMSV5XYSD |
|---|---|
| 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.16705#9YRL, Recovery by Ergodic Averaging for Tensor PCA (statement). In B48YQVGAF5/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
Takagi or Blancmange curve VJMSW9Q3W8
| URI | m2://inv/VJMSW9Q3W8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#BML9, Takagi or Blancmange curve (definition)
History
- 2026-11-02: add by m2/dev
Roger Penrose VJMXECEBPN
| URI | m2://inv/VJMXECEBPN |
|---|---|
| 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 Q193803, Roger Penrose (unknown). Also nLab Roger Penrose
- wikipedia: Wikipedia Roger Penrose, Roger Penrose (topic). Also Wikidata Q193803
History
- 2026-10-26: add by m2/dev
Statement VJN6C2MF84
| URI | m2://inv/VJN6C2MF84 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of total probability#IL18, Statement (statement)
History
- 2026-11-02: add by m2/dev
VJN7HRKPDK VJN7HRKPDK
| URI | m2://inv/VJN7HRKPDK |
|---|---|
| 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.09650#HY1Y (definition). In 628KM8869P/e1, definition 6.10
History
- 2026-10-29: add by m2/v0.4.10
VJN838HYNA VJN838HYNA
| URI | m2://inv/VJN838HYNA |
|---|---|
| Kind | definition |
| 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.24154#2NFF (definition)
History
- 2026-11-02: add by m2/v0.6.17
Cramer's rule VJNA5W5652
| URI | m2://inv/VJNA5W5652 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Cramer's rule 0977KZ6PQB |
Mentions
- wikidata: Wikidata Q322666, Cramer's rule (statement). Also EoM Cramer_rule, MathWorld CramersRule
- wikipedia: Wikipedia Cramer's rule, Cramer's rule (definition). Also Wikidata Q322666
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
VJNCWPTCYK VJNCWPTCYK
| URI | m2://inv/VJNCWPTCYK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.13523#O45Z (example). In DDA62XQTWW/e1, example 3.10
History
- 2026-10-27: add by m2/v0.3.5
Shoelace algorithm VJNFA841ND
| URI | m2://inv/VJNFA841ND |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#CBYD, Shoelace algorithm (statement)
History
- 2026-11-02: add by m2/dev
Shannon's theorem VJNG6611VG
| URI | m2://inv/VJNG6611VG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#XZXL, Shannon's theorem (statement)
History
- 2026-11-02: add by m2/dev
Journal of Statistical Mechanics: Theory and Experiment VJNPRSVE15
| URI | m2://inv/VJNPRSVE15 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#KX1H, Journal of Statistical Mechanics: Theory and Experiment (unknown)
History
- 2026-11-02: add by m2/dev
VJNQK9KMRS VJNQK9KMRS
| URI | m2://inv/VJNQK9KMRS |
|---|---|
| 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 2606.11100#TML3 (statement). In K6TFPPVEF9/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Lemma (Campbell 1897) VJNSCYKF15
| URI | m2://inv/VJNSCYKF15 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baker–Campbell–Hausdorff formula#7MSV, Lemma (Campbell 1897) (statement)
History
- 2026-11-02: add by m2/dev
Denis Cosgrove VJNZRC6CQ9
| URI | m2://inv/VJNZRC6CQ9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#L65M, Denis Cosgrove (unknown)
History
- 2026-11-02: add by m2/dev
Definition VJP1VQT6AC
| URI | m2://inv/VJP1VQT6AC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia B-spline#1QW2, Definition (definition)
History
- 2026-11-02: add by m2/dev
all horses are the same color VJPD9EGWGZ
| URI | m2://inv/VJPD9EGWGZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1091396, all horses are the same color (statement). Also ProofWiki All_Horses_are_the_Same_Colour
- wikipedia: Wikipedia All horses are the same color, All horses are the same color (definition). Also Wikidata Q1091396
History
- 2026-10-26: add by m2/dev
Robert Irving Soare VJPFJDJ0KX
| URI | m2://inv/VJPFJDJ0KX |
|---|---|
| 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#FQMO, Robert Irving Soare (topic)
History
- 2026-11-02: add by m2/dev
Daniel Gorenstein VJPQGM67EF
| URI | m2://inv/VJPQGM67EF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniel Gorenstein, Daniel Gorenstein (topic). Also Wikidata Q1160901
History
- 2026-11-02: add by m2/dev
William Fielding Ogburn VJPT8Z4FYD
| URI | m2://inv/VJPT8Z4FYD |
|---|---|
| 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#0WH6, William Fielding Ogburn (unknown)
History
- 2026-11-02: add by m2/dev
Polsby–Popper test VJPY6SGHES
| URI | m2://inv/VJPY6SGHES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polsby–Popper test, Polsby–Popper test (definition). Also Wikidata Q30592740
History
- 2026-11-02: add by m2/dev
Tacit collusion VJQ29ZP1MY
| URI | m2://inv/VJQ29ZP1MY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tacit collusion, Tacit collusion (definition). Also Wikidata Q3683307
History
- 2026-11-02: add by m2/dev
A factorization in type $A_3$ VJQA62J4H4
| URI | m2://inv/VJQA62J4H4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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 2610.12531#7CCC, A factorization in type $A_3$ (example). In D6RAQZ2DSK/e1, example 4.12
History
- 2026-10-28: add by m2/v0.4.2
Warm-start removal VJQBGH0NMD
| URI | m2://inv/VJQBGH0NMD |
|---|---|
| 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.16248#6LYO, Warm-start removal (statement). In TP61DYMBMK/e1, theorem 5
History
- 2026-10-28: add by m2/v0.4.2
quadratic polynomial VJQMDCDXDX
| URI | m2://inv/VJQMDCDXDX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q50697, quadratic polynomial (unknown). Also MathWorld QuadraticPolynomial
History
- 2026-10-26: add by m2/dev
VJQP63ERSW VJQP63ERSW
| URI | m2://inv/VJQP63ERSW |
|---|---|
| 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.36423#ACEQ (statement). In Q5Z178SAHP/e1, lemma 7.4
History
- 2026-10-30: add by m2/v0.4.12
Generalizations VJQZME61RM
| URI | m2://inv/VJQZME61RM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function composition#WKU4, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
VJRAQGG9FN VJRAQGG9FN
| URI | m2://inv/VJRAQGG9FN |
|---|---|
| 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#NLCK (statement). In HHF08X70P6/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.12
VJRC40KN86 VJRC40KN86
| URI | m2://inv/VJRC40KN86 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23884#3KSB (statement)
History
- 2026-11-02: add by m2/v0.6.17
VJRGC0PWMC VJRGC0PWMC
| URI | m2://inv/VJRGC0PWMC |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#proof-24 (proof). In E59CDZA4DP, proof, section 11.4.2
History
- 2026-11-01: add by m2/v0.6.13
inner model VJRHA6ZA1G
| URI | m2://inv/VJRHA6ZA1G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#8WQ7, inner model (definition)
History
- 2026-11-02: add by m2/dev
Dirichlet Divisor Problem VJRHYJXSKB
| URI | m2://inv/VJRHYJXSKB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q81421260, Dirichlet Divisor Problem (concept). Also MathWorld DirichletDivisorProblem
History
- 2026-10-26: add by m2/dev
Properties VJRM7PDSFX
| URI | m2://inv/VJRM7PDSFX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime zeta function#15BD, Properties (statement)
History
- 2026-11-02: add by m2/dev
Theorem VJS3878D1B
| URI | m2://inv/VJS3878D1B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Malgrange–Zerner theorem#ZVUE, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Energy comparison on the constraint surface VJS62QWR74
| URI | m2://inv/VJS62QWR74 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00241#WBCS, Energy comparison on the constraint surface (statement). In VBRQTN2RXN/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
Schrödinger–Newton equation VJS64TVAS8
| URI | m2://inv/VJS64TVAS8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schrödinger–Newton equation, Schrödinger–Newton equation (definition). Also Wikidata Q7432925
History
- 2026-11-02: add by m2/dev
VJS7YZEH5A VJS7YZEH5A
| URI | m2://inv/VJS7YZEH5A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09390#DZZP (statement). In 7SSKW778T8/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
THROBAC VJS8J1BTQQ
| URI | m2://inv/VJS8J1BTQQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Claude Shannon#WKWP, THROBAC (unknown)
History
- 2026-11-02: add by m2/dev
Definition VJSK7J53Y7
| URI | m2://inv/VJSK7J53Y7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deductive reasoning#KIQ1, Definition (definition)
History
- 2026-11-02: add by m2/dev
VJSR1EVEA3 VJSR1EVEA3
| URI | m2://inv/VJSR1EVEA3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2610.05259#UMMR (definition). In X1J5HKPS3R/e1, definition 1.16
History
- 2026-10-29: add by m2/v0.4.10
VJSVKEMSCT VJSVKEMSCT
| URI | m2://inv/VJSVKEMSCT |
|---|---|
| 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#91EQ (definition). In BMHWE5QTTR/e1, definition 1.4
History
- 2026-10-30: add by m2/v0.4.12
Solution VJSZ9M3CK6
| URI | m2://inv/VJSZ9M3CK6 |
|---|---|
| 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 2609.28454#WPLF, Solution (definition)
History
- 2026-11-01: add by m2/v0.6.15
Banach *-algebra VJT04JRCCK
| URI | m2://inv/VJT04JRCCK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach algebra#ELYO, Banach *-algebra (unknown)
History
- 2026-11-02: add by m2/dev
VJT0N97YF4 VJT0N97YF4
| URI | m2://inv/VJT0N97YF4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24577#OBS1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties VJT97RA9ZQ
| URI | m2://inv/VJT97RA9ZQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuant (mathematics)#9AHZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Hilbert transform VJTAE5K626
| URI | m2://inv/VJTAE5K626 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 44-XX |
| Sources | 4 |
| Outcome | open |
| Node | Hilbert transform NSCEBXM7ZM |
Mentions
- mathlib_1000: mathlib_1000 Q685437, Titchmarsh theorem (statement). Also Wikidata Q685437
- thousand_plus: thousand_plus Q685437, Titchmarsh theorem (statement). Also Wikidata Q685437
- wikidata: Wikidata Q685437, Hilbert transform (unknown). Also MathWorld HilbertTransform
- wikipedia: Wikipedia Hilbert transform, Hilbert transform (definition). Also Wikidata Q685437
History
- 2026-10-26: add by m2/dev
G-expectation VJTB6H69E9
| URI | m2://inv/VJTB6H69E9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia G-expectation, G-expectation (definition). Also Wikidata Q5511943
History
- 2026-11-02: add by m2/dev
Mathematical models of convection VJTHHGMC5Z
| URI | m2://inv/VJTHHGMC5Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convection#FZZH, Mathematical models of convection (unknown)
History
- 2026-11-02: add by m2/dev
VJTKFFT1TQ VJTKFFT1TQ
| URI | m2://inv/VJTKFFT1TQ |
|---|---|
| Kind | definition |
| 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.12873#WOMX (definition). In 9MMD2N7DQ1/e1, definition
History
- 2026-10-28: add by m2/v0.4.2
Jeff Kahn VJTN66V53S
| URI | m2://inv/VJTN66V53S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jeff Kahn (mathematician), Jeff Kahn (topic). Also Wikidata Q117631
History
- 2026-11-02: add by m2/dev
Jin Akiyama VJTQN5NRKH
| URI | m2://inv/VJTQN5NRKH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ATOM, Jin Akiyama (unknown)
History
- 2026-11-02: add by m2/dev
VJTRK2E9V5 VJTRK2E9V5
| URI | m2://inv/VJTRK2E9V5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-104 (exercise). In E9HS8K3A52, exercise, section 4.7.1
History
- 2026-11-01: add by m2/v0.6.13
Example VJTSMGGJ0X
| URI | m2://inv/VJTSMGGJ0X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum Fourier transform#FOOV, Example (example)
History
- 2026-11-02: add by m2/dev
inductive VJTTNW5YZT
| URI | m2://inv/VJTTNW5YZT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#6M9C, inductive (definition)
History
- 2026-11-02: add by m2/dev
Dusa McDuff VJTYN8V07C
| URI | m2://inv/VJTYN8V07C |
|---|---|
| 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 Q450373, Dusa McDuff (unknown). Also nLab Dusa McDuff
- wikipedia: Wikipedia Dusa McDuff, Dusa McDuff (topic). Also Wikidata Q450373
History
- 2026-10-26: add by m2/dev
Detrended correspondence analysis VJV1XRJM75
| URI | m2://inv/VJV1XRJM75 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#XOKU, Detrended correspondence analysis (definition)
History
- 2026-11-02: add by m2/dev
VJVB3X7QWM VJVB3X7QWM
| URI | m2://inv/VJVB3X7QWM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29925#2W4P (statement)
History
- 2026-11-01: add by m2/v0.6.15
Qiu--Zhang VJVEKD4F31
| URI | m2://inv/VJVEKD4F31 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08145#LEB7, Qiu--Zhang (statement). In N0QVPPFFC3/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.10
Collectively exhaustive events VJVFHQRFKG
| URI | m2://inv/VJVFHQRFKG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#NL4V, Collectively exhaustive events (definition)
History
- 2026-11-02: add by m2/dev
List of National University of Singapore presidents VJVQB5ST7K
| URI | m2://inv/VJVQB5ST7K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National University of Singapore#4F2B, List of National University of Singapore presidents (unknown)
History
- 2026-11-02: add by m2/dev
VJVSX1V9YE VJVSX1V9YE
| URI | m2://inv/VJVSX1V9YE |
|---|---|
| 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.03856#HFQZ (statement). In HTBRYNPHSJ/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.12
VJVT4MPWMR VJVT4MPWMR
| URI | m2://inv/VJVT4MPWMR |
|---|---|
| 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.02535#QV88 (statement). In S26PXDSWM9/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.12
Rank union bound VJVTR2WGJ5
| URI | m2://inv/VJVTR2WGJ5 |
|---|---|
| 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.29688#8U86, Rank union bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
Metric entropy of the space of probability measures VJVVQVSDMJ
| URI | m2://inv/VJVVQVSDMJ |
|---|---|
| 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 2204.09167#ECB6, Metric entropy of the space of probability measures (statement). In S1MENYEAG5/e1, proposition 8.2
History
- 2026-10-27: add by m2/v0.3.5
Beta negative binomial distribution VJVWM2CFFM
| URI | m2://inv/VJVWM2CFFM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3Y3R, Beta negative binomial distribution (definition)
History
- 2026-11-02: add by m2/dev
Projective resolution VJVXSR5G5M
| URI | m2://inv/VJVXSR5G5M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of homological algebra topics#V0J9, Projective resolution (definition)
History
- 2026-11-02: add by m2/dev
VJWD2Y5DA4 VJWD2Y5DA4
| URI | m2://inv/VJWD2Y5DA4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12295#DPE3 (statement). In 6DZPR52HRP/e1, lemma 3.8
History
- 2026-10-28: add by m2/v0.4.2
William S. Massey VJWME7SX79
| URI | m2://inv/VJWME7SX79 |
|---|---|
| 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 Q8017979, William S. Massey (unknown). Also nLab William S. Massey
- wikipedia: Wikipedia William S. Massey, William S. Massey (topic). Also Wikidata Q8017979
History
- 2026-10-26: add by m2/dev
Fourier-transform spectroscopy VJWZ26ZDVJ
| URI | m2://inv/VJWZ26ZDVJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph Fourier#MGKX, Fourier-transform spectroscopy (unknown)
History
- 2026-11-02: add by m2/dev
Fibonacci nim VJX1N22FJP
| URI | m2://inv/VJX1N22FJP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28136219, Fibonacci nim (definition). Also ProofWiki Definition:Fibonacci_Nim
- wikipedia: Wikipedia Fibonacci nim, Fibonacci nim (definition). Also Wikidata Q28136219
History
- 2026-10-26: add by m2/dev
Edward Reingold VJX3ESJA2H
| URI | m2://inv/VJX3ESJA2H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LIEN, Edward Reingold (unknown)
History
- 2026-11-02: add by m2/dev
Victor Goryunov VJX8RK7XWC
| URI | m2://inv/VJX8RK7XWC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Victor Goryunov, Victor Goryunov (topic). Also Wikidata Q7925942
History
- 2026-11-02: add by m2/dev
Mackey–Arens theorem VJXAGC9SS7
| URI | m2://inv/VJXAGC9SS7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual topology#CSWB, Mackey–Arens theorem (statement)
History
- 2026-11-02: add by m2/dev
Paley VJXK8ZYR5V
| URI | m2://inv/VJXK8ZYR5V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#DB4W, Paley (definition)
History
- 2026-11-02: add by m2/dev
Joseph Saurin VJY2PS0AJ3
| URI | m2://inv/VJY2PS0AJ3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Saurin, Joseph Saurin (topic). Also Wikidata Q501936
History
- 2026-11-02: add by m2/dev
VJY3H3J09T VJY3H3J09T
| URI | m2://inv/VJY3H3J09T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27872#L4KE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tsirelson's inequality VJY6RPRH35
| URI | m2://inv/VJY6RPRH35 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#BZ9H, Tsirelson's inequality (definition)
History
- 2026-11-02: add by m2/dev
Delta-ring VJY7K2AB7X
| URI | m2://inv/VJY7K2AB7X |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3021903, Delta-ring (concept). Also MathWorld Delta-Ring
- wikipedia: Wikipedia Delta-ring, Delta-ring (definition). Also Wikidata Q3021903
History
- 2026-10-26: add by m2/dev
VJY94TH5BH VJY94TH5BH
| URI | m2://inv/VJY94TH5BH |
|---|---|
| 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/provability-propositional.tex#prop:provability-land (statement). In PKGMM3P5QY, prop, section 15.4
History
- 2026-11-01: add by m2/v0.6.13
Generalized Burgers' equation VJYAHR0HZ5
| URI | m2://inv/VJYAHR0HZ5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burgers' equation#NO7F, Generalized Burgers' equation (unknown)
History
- 2026-11-02: add by m2/dev
Definition VJYAQPJSZE
| URI | m2://inv/VJYAQPJSZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glaisher–Kinkelin constant#6WEY, Definition (definition)
History
- 2026-11-02: add by m2/dev
VJYB4G21SZ VJYB4G21SZ
| URI | m2://inv/VJYB4G21SZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/holomorphic.tex#definition-1 (definition). In RZP28ERRZV, definition, section 39.3
History
- 2026-11-01: add by m2/v0.6.13
Metric invariant VJYCZDNKX9
| URI | m2://inv/VJYCZDNKX9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#G9T4, Metric invariant (definition)
History
- 2026-11-02: add by m2/dev
Neil Hindman VJYV58FFV9
| URI | m2://inv/VJYV58FFV9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neil Hindman, Neil Hindman (topic). Also Wikidata Q102183400
History
- 2026-11-02: add by m2/dev
Homeomorphism VJYY57R72F
| URI | m2://inv/VJYY57R72F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#J9RS, Homeomorphism (definition)
History
- 2026-11-02: add by m2/dev
VJZ21TJTRA VJZ21TJTRA
| URI | m2://inv/VJZ21TJTRA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27872#TBUA (statement)
History
- 2026-11-01: add by m2/v0.6.15
axiom, of replacement VJZ25V8B78
| URI | m2://inv/VJZ25V8B78 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.5/axiom-of-replacement, axiom, of replacement (concept). In N54F33XE07, index, section C.5
History
- 2026-11-01: add by m2/v0.6.13
VJZEV6NDBZ VJZEV6NDBZ
| URI | m2://inv/VJZEV6NDBZ |
|---|---|
| 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.23803#OPHU (statement)
History
- 2026-11-02: add by m2/v0.6.17
R\'enyi divergence: order monotonicity and the limit at one VJZF8JY9QJ
| URI | m2://inv/VJZF8JY9QJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27765#TISB, R\'enyi divergence: order monotonicity and the limit at one (statement)
History
- 2026-11-01: add by m2/v0.6.15
VJZJX6T8PV VJZJX6T8PV
| URI | m2://inv/VJZJX6T8PV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29712#SQM4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
VJZNM4N2SP VJZNM4N2SP
| URI | m2://inv/VJZNM4N2SP |
|---|---|
| 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.26477#9AO7 (statement)
History
- 2026-11-01: add by m2/v0.6.15