Inventory rows V9
The cards of the rows of the inventory whose ids start with V9. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
V902A1EXBT V902A1EXBT
| URI | m2://inv/V902A1EXBT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.37580#UUPE (statement). In WJQQBTDARA/e1, lemma 9
History
- 2026-10-30: add by m2/v0.4.12
hook length formula V90CYG1T51
| URI | m2://inv/V90CYG1T51 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hook length formula VCMS1CP91N |
Mentions
- wikidata: Wikidata Q17163411, hook length formula (statement). Also MathWorld HookLengthFormula
- wikipedia: Wikipedia Hook length formula, Hook length formula (statement). Also Wikidata Q17163411
History
- 2026-10-26: add by m2/dev
Otto Schilling V90T787P60
| URI | m2://inv/V90T787P60 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#92I3, Otto Schilling (topic)
History
- 2026-11-02: add by m2/dev
Properties V90V64GABM
| URI | m2://inv/V90V64GABM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triply periodic minimal surface#TIU5, Properties (statement)
History
- 2026-11-02: add by m2/dev
Eigenvalue algorithm V90W9RBXQR
| URI | m2://inv/V90W9RBXQR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eigenvalue algorithm, Eigenvalue algorithm (definition). Also Wikidata Q6766437
History
- 2026-11-02: add by m2/dev
V90WJZJGM2 V90WJZJGM2
| URI | m2://inv/V90WJZJGM2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12483#72R1 (statement). In 159250CY6S/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
List of properties of sets of reals V916HWVTXD
| URI | m2://inv/V916HWVTXD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of set theory topics#QN9R, List of properties of sets of reals (topic)
- wikipedia: Wikipedia Lists of mathematics topics#74ZM, List of properties of sets of reals (topic)
History
- 2026-11-02: add by m2/dev
Fourier decay V91AJFVZXF
| URI | m2://inv/V91AJFVZXF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.05002#YD2H, Fourier decay (statement). In JBAQ7DTW7B/e1, lemma 12.4
History
- 2026-10-27: add by m2/v0.3.5
Electronic Transactions on Numerical Analysis V91CYSDRBM
| URI | m2://inv/V91CYSDRBM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electronic Transactions on Numerical Analysis, Electronic Transactions on Numerical Analysis (definition). Also Wikidata Q13359467
History
- 2026-11-02: add by m2/dev
V91D903SKS V91D903SKS
| URI | m2://inv/V91D903SKS |
|---|---|
| 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 1004.4564#D1V9 (statement). In BZ54C9SKYS/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.3.5
subtree V91EH35D1H
| URI | m2://inv/V91EH35D1H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#30WE, subtree (definition)
History
- 2026-11-02: add by m2/dev
RS1 model V91KP616BT
| URI | m2://inv/V91KP616BT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Randall–Sundrum model#6MBN, RS1 model (unknown)
History
- 2026-11-02: add by m2/dev
V91VCRRN1B V91VCRRN1B
| URI | m2://inv/V91VCRRN1B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#8WYQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications V91Y1HH9KT
| URI | m2://inv/V91Y1HH9KT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet negative multinomial distribution#2ALY, Applications (example)
History
- 2026-11-02: add by m2/dev
Summation identities V92DN0Q20K
| URI | m2://inv/V92DN0Q20K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical identities#VTU5, Summation identities (definition)
History
- 2026-11-02: add by m2/dev
V92F99AXVA V92F99AXVA
| URI | m2://inv/V92F99AXVA |
|---|---|
| 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.23779#D1AK (statement)
History
- 2026-11-02: add by m2/v0.6.17
William J. Cook V92FP4K4ZJ
| URI | m2://inv/V92FP4K4ZJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William J. Cook, William J. Cook (topic). Also Wikidata Q2578302
History
- 2026-11-02: add by m2/dev
Atbash V92SAH1YB8
| URI | m2://inv/V92SAH1YB8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atbash, Atbash (definition). Also Wikidata Q259563
History
- 2026-11-02: add by m2/dev
V930BTHR63 V930BTHR63
| URI | m2://inv/V930BTHR63 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08091#MGEF (statement). In MS13WE3CSD/e1, corollary 4.7
History
- 2026-10-29: add by m2/v0.4.10
Cardy formula V930SEH292
| URI | m2://inv/V930SEH292 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cardy formula, Cardy formula (statement). Also Wikidata Q15302927
History
- 2026-11-02: add by m2/dev
Index-like mode V937172C4J
| URI | m2://inv/V937172C4J |
|---|---|
| Kind | definition |
| 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.28029#2P71, Index-like mode (definition)
History
- 2026-11-01: add by m2/v0.6.15
V93C6DJCWB V93C6DJCWB
| URI | m2://inv/V93C6DJCWB |
|---|---|
| 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.12731#SAL5 (statement). In 2NCV1M6WYS/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Properties V93JVE45DW
| URI | m2://inv/V93JVE45DW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Periodic point#YONS, Properties (statement)
History
- 2026-11-02: add by m2/dev
Properties V93R2656TK
| URI | m2://inv/V93R2656TK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal property#3J8Z, Properties (statement)
History
- 2026-11-02: add by m2/dev
V943MS1C9K V943MS1C9K
| URI | m2://inv/V943MS1C9K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00843#I24Y (statement). In 1K7M5TD0M2/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
V9440SHQF3 V9440SHQF3
| URI | m2://inv/V9440SHQF3 |
|---|---|
| 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 2610.17476#KW5F (definition). In 6HXD74FA4S/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Properties V945E5HHZZ
| URI | m2://inv/V945E5HHZZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absorbing element#W9AR, Properties (statement)
History
- 2026-11-02: add by m2/dev
V94B5HVJRR V94B5HVJRR
| URI | m2://inv/V94B5HVJRR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33283#8S5X (statement). In CXPFSDMEPB/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
V94H4NTAZC V94H4NTAZC
| URI | m2://inv/V94H4NTAZC |
|---|---|
| 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.17571#W028 (statement). In SWFN2HCEE7/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Christiaan Huygens V94RHDV2B1
| URI | m2://inv/V94RHDV2B1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#E2Q1, Christiaan Huygens (topic)
History
- 2026-11-02: add by m2/dev
V94RMV8QZP V94RMV8QZP
| URI | m2://inv/V94RMV8QZP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/provability-consistency.tex#prop:provability-contr (statement). In PKGMM3P5QY, prop, section 17.7
History
- 2026-11-01: add by m2/v0.6.13
Casson handle V94ZQY82B4
| URI | m2://inv/V94ZQY82B4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Casson handle, Casson handle (definition). Also Wikidata Q5049506
History
- 2026-11-02: add by m2/dev
V9509EHJKT V9509EHJKT
| URI | m2://inv/V9509EHJKT |
|---|---|
| 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.04603#25VQ (statement). In HEAG8V2JM1/e1, proposition 2.5
History
- 2026-10-29: add by m2/v0.4.12
V953B9D7AZ V953B9D7AZ
| URI | m2://inv/V953B9D7AZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39204#4BC2 (statement). In K6W2TMCYQA/e1, theorem 5.1
History
- 2026-10-30: add by m2/v0.4.12
Predicate calculus V95793E91K
| URI | m2://inv/V95793E91K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of formal systems#369Q, Predicate calculus (definition)
History
- 2026-11-02: add by m2/dev
V959SFHY7W V959SFHY7W
| URI | m2://inv/V959SFHY7W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_planar.ptx#thm_max-edge-planar (statement). In QKM9DD2H56, theorem, section 5.5
History
- 2026-11-01: add by m2/v0.6.13
V95DGKQB8B V95DGKQB8B
| URI | m2://inv/V95DGKQB8B |
|---|---|
| Kind | example |
| 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.17258#TWNL (example). In F4M67ZVBF2/e1, example 3.6
History
- 2026-10-28: add by m2/v0.4.2
\myindex{Weierstrass division theorem} V95GNMCBH1
| URI | m2://inv/V95GNMCBH1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-22, \myindex{Weierstrass division theorem} (statement). In VNMV985MXX, thm, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
Rectangle method V95JQWAJ0K
| URI | m2://inv/V95JQWAJ0K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#F3V7, Rectangle method (definition)
History
- 2026-11-02: add by m2/dev
V95KRPPY65 V95KRPPY65
| URI | m2://inv/V95KRPPY65 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26357#03RE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Descriptive research V95VANRWJ0
| URI | m2://inv/V95VANRWJ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of psychological research methods#SJO7, Descriptive research (definition)
- wikipedia: Wikipedia List of statistics articles#NP49, Descriptive research (definition)
History
- 2026-11-02: add by m2/dev
minimal logic V95WGNWYST
| URI | m2://inv/V95WGNWYST |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3257974, minimal logic (unknown). Also nLab minimal logic
- wikipedia: Wikipedia Minimal logic, Minimal logic (definition). Also Wikidata Q3257974
History
- 2026-10-26: add by m2/dev
V95XDS8M8J V95XDS8M8J
| URI | m2://inv/V95XDS8M8J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises6-5.xml#exercise-2 (exercise). In 649HGZKE96, exercise, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
V95YCNPPPV V95YCNPPPV
| URI | m2://inv/V95YCNPPPV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.05539#12CY (statement). In 8SVVEVGMNE/e1, corollary 4.16
History
- 2026-10-27: add by m2/v0.3.5
Immigration and crime in the Netherlands V95ZZNH74H
| URI | m2://inv/V95ZZNH74H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Immigration and crime#Y710, Immigration and crime in the Netherlands (unknown)
History
- 2026-11-02: add by m2/dev
V96318SD23 V96318SD23
| URI | m2://inv/V96318SD23 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37761#48EZ (statement). In 4TAQ65KZKN/e1, corollary C
History
- 2026-10-30: add by m2/v0.4.12
Locally cyclic group V96CDPZRJW
| URI | m2://inv/V96CDPZRJW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#X9BD, Locally cyclic group (unknown)
History
- 2026-11-02: add by m2/dev
V96EQZMBTF V96EQZMBTF
| URI | m2://inv/V96EQZMBTF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13908#SHAF (statement). In 9C684206F0/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
V96SV7RTKB V96SV7RTKB
| URI | m2://inv/V96SV7RTKB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-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.10262#6VDH (statement). In MVSGDTN2PB/e1, lemma 6.6
History
- 2026-10-29: add by m2/v0.4.10
Justification V96W6QNEYZ
| URI | m2://inv/V96W6QNEYZ |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#WBIO, Justification (unknown). In QNBFHFZ3H0/e1, unknown 5
History
- 2026-10-28: add by m2/v0.4.2
Sklar's theorem V9710PG5BZ
| URI | m2://inv/V9710PG5BZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Copula (statistics)#FFPZ, Sklar's theorem (statement)
History
- 2026-11-02: add by m2/dev
flexible polyhedron V972QXQ7GD
| URI | m2://inv/V972QXQ7GD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Flexible polyhedron ZGD3TQX0K6 |
Mentions
- wikidata: Wikidata Q3889052, flexible polyhedron (unknown). Also MathWorld BellowsConjecture
- wikipedia: Wikipedia Flexible polyhedron, Flexible polyhedron (definition). Also Wikidata Q3889052
History
- 2026-10-26: add by m2/dev
Symmetry V97DARCKHB
| URI | m2://inv/V97DARCKHB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-4 hexagonal tiling#11G1, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
V97HCG7QTZ V97HCG7QTZ
| URI | m2://inv/V97HCG7QTZ |
|---|---|
| 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.20273#OWB1 (statement). In AEGHDSD5S7/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.4.2
Generalizations V97J3099F1
| URI | m2://inv/V97J3099F1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sobolev inequality#F9L1, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Remark V97NFTKTTF
| URI | m2://inv/V97NFTKTTF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integer square root#34PD, Remark (unknown)
History
- 2026-11-02: add by m2/dev
Crossing number inequality V97RCMBCSS
| URI | m2://inv/V97RCMBCSS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probabilistic proofs of non-probabilistic theorems#MH7X, Crossing number inequality (statement)
History
- 2026-11-02: add by m2/dev
flag collapses are labelled $3$-determined V983ZN9AY0
| URI | m2://inv/V983ZN9AY0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32733#2H6B, flag collapses are labelled $3$-determined (statement). In PCAS8S14J6/e1, proposition 5.3
History
- 2026-10-31: add by m2/v0.5.6
V9847YZXDA V9847YZXDA
| URI | m2://inv/V9847YZXDA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.28742#PPHP (statement)
History
- 2026-11-01: add by m2/v0.6.15
V98FEF23RY V98FEF23RY
| URI | m2://inv/V98FEF23RY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13980#6SGV (statement). In 6DNZE6RT72/e1, corollary 5.5
History
- 2026-10-28: add by m2/v0.4.2
V98G39ZST4 V98G39ZST4
| URI | m2://inv/V98G39ZST4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25094#RD43 (statement)
History
- 2026-11-01: add by m2/v0.6.15
V98MJBWVND V98MJBWVND
| URI | m2://inv/V98MJBWVND |
|---|---|
| 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#5HWZ (statement). In 9F94CEQ1ZM/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
V98W9P71KP V98W9P71KP
| URI | m2://inv/V98W9P71KP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09596#Q91C (statement). In HXFA55BREZ/e1, proposition B.5
History
- 2026-10-29: add by m2/v0.4.10
BQP V98Y42VST3
| URI | m2://inv/V98Y42VST3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BQP, BQP (definition). Also Wikidata Q601325
History
- 2026-11-02: add by m2/dev
King Frederick VI Coast V990S7159V
| URI | m2://inv/V990S7159V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#N4KC, King Frederick VI Coast (unknown)
History
- 2026-11-02: add by m2/dev
Poincaré inequality V992NVQK20
| URI | m2://inv/V992NVQK20 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Henri Poincaré#84WW, Poincaré inequality (statement)
- wikipedia: Wikipedia List of inequalities#E4Z1, Poincaré inequality (statement)
History
- 2026-11-02: add by m2/dev
Half Moon, North Carolina V996FQMKME
| URI | m2://inv/V996FQMKME |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#RVQ8, Half Moon, North Carolina (unknown)
History
- 2026-11-02: add by m2/dev
multiplicity V99ADRPF6A
| URI | m2://inv/V99ADRPF6A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2228257, multiplicity (unknown). Also MathWorld Multiplicity
- wikipedia: Wikipedia Multiplicity (mathematics), Multiplicity (definition). Also Wikidata Q2228257
History
- 2026-10-26: add by m2/dev
Upper bound on the $L^1$-bias for anisotropic Nikol'skii classes V99CAXCZXZ
| URI | m2://inv/V99CAXCZXZ |
|---|---|
| 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.11760#LUK2, Upper bound on the $L^1$-bias for anisotropic Nikol'skii classes (statement). In NBNERWXW53/e1, proposition S4.1
History
- 2026-10-28: add by m2/v0.4.3
Data for Black Lives V99MQKDQF9
| URI | m2://inv/V99MQKDQF9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data for Black Lives, Data for Black Lives (definition). Also Wikidata Q109700971
History
- 2026-11-02: add by m2/dev
Distance correlation V99NF374DC
| URI | m2://inv/V99NF374DC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distance correlation, Distance correlation (definition). Also Wikidata Q5282862
History
- 2026-11-02: add by m2/dev
V99XJ7GHJE V99XJ7GHJE
| URI | m2://inv/V99XJ7GHJE |
|---|---|
| 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 0803.0074#6WPS (statement). In NWJEN5GWFV/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.3.5
Hans Schneider V9A09V00MP
| URI | m2://inv/V9A09V00MP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TX2U, Hans Schneider (topic)
History
- 2026-11-02: add by m2/dev
Example V9A0NFVQF6
| URI | m2://inv/V9A0NFVQF6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unbounded operator#JJ1N, Example (example)
History
- 2026-11-02: add by m2/dev
V9A8C9W6WB V9A8C9W6WB
| URI | m2://inv/V9A8C9W6WB |
|---|---|
| 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 1707.06795#2V9E (statement). In 32MMSEVHYN/e1, corollary 2.21
History
- 2026-10-27: add by m2/v0.3.5
V9ADRGJQZ3 V9ADRGJQZ3
| URI | m2://inv/V9ADRGJQZ3 |
|---|---|
| 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 2102.09374#Z9S4 (statement). In TGAHH1F8K5/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.3.6
V9AM8M41GA V9AM8M41GA
| URI | m2://inv/V9AM8M41GA |
|---|---|
| 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 2610.16475#U34B (statement). In FM9SKN560Q/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.2
V9AZC0RJR1 V9AZC0RJR1
| URI | m2://inv/V9AZC0RJR1 |
|---|---|
| Kind | example |
| 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.31269#YSYE (example). In ZPT9XCCAPQ/e1, example 1.2.7
History
- 2026-10-31: add by m2/v0.5.6
V9B0KWKC1J V9B0KWKC1J
| URI | m2://inv/V9B0KWKC1J |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.00560#1AHX (example). In KH1H3TSWPS/e1, example 4.17
History
- 2026-10-27: add by m2/v0.3.6
small retrosnub icosicosidodecahedron V9B0V4RBGJ
| URI | m2://inv/V9B0V4RBGJ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q62446, small retrosnub icosicosidodecahedron (unknown). Also MathWorld SmallRetrosnubIcosicosidodecahedron
- wikipedia: Wikipedia Small retrosnub icosicosidodecahedron, Small retrosnub icosicosidodecahedron (object). Also Wikidata Q62446
History
- 2026-10-26: add by m2/dev
Statement V9B1ACNHHA
| URI | m2://inv/V9B1ACNHHA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local Tate duality#4BL9, Statement (statement)
History
- 2026-11-02: add by m2/dev
Wei-Ming Ni V9B5R2ATVD
| URI | m2://inv/V9B5R2ATVD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Taiwanese mathematicians#39UO, Wei-Ming Ni (topic)
History
- 2026-11-02: add by m2/dev
V9BHB1RDCC V9BHB1RDCC
| URI | m2://inv/V9BHB1RDCC |
|---|---|
| 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 2610.13888#I419 (statement). In XJWYBPS14M/e1, proposition 6.10
History
- 2026-10-28: add by m2/v0.4.2
Formulation V9BHH76CA3
| URI | m2://inv/V9BHH76CA3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics of cyclic redundancy checks#2ROU, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Poincaré disk model V9BKN74FTS
| URI | m2://inv/V9BKN74FTS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Poincaré disk model 85MM2EA0TK |
Mentions
- wikidata: Wikidata Q2617832, Poincaré disk model (unknown). Also MathWorld PoincareHyperbolicDisk
- wikipedia: Wikipedia Poincaré disk model, Poincaré disk model (definition). Also Wikidata Q2617832
History
- 2026-10-26: add by m2/dev
Carlo Somigliana V9BVAKXWHE
| URI | m2://inv/V9BVAKXWHE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#4327, Carlo Somigliana (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9OWI, Carlo Somigliana (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#H3LW, Carlo Somigliana (unknown)
History
- 2026-11-02: add by m2/dev
V9BZMC54J3 V9BZMC54J3
| URI | m2://inv/V9BZMC54J3 |
|---|---|
| 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.08028#2XKO (statement). In Z19XDA8QY9/e1, proposition 17
History
- 2026-10-29: add by m2/v0.4.10
Lemma V9C5C31VVM
| URI | m2://inv/V9C5C31VVM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derivative of the exponential map#PQQP, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Rectified 7-simplexes V9CGXZMZNB
| URI | m2://inv/V9CGXZMZNB |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified 7-simplexes, Rectified 7-simplexes (object). Also Wikidata Q7303167
History
- 2026-11-02: add by m2/dev
gap V9CKWBRJ9W
| URI | m2://inv/V9CKWBRJ9W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#S1WR, gap (definition)
History
- 2026-11-02: add by m2/dev
Examples V9CNVSHZF3
| URI | m2://inv/V9CNVSHZF3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derived functor#901C, Examples (example)
History
- 2026-11-02: add by m2/dev
V9CQ4HZM7Q V9CQ4HZM7Q
| URI | m2://inv/V9CQ4HZM7Q |
|---|---|
| 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.18281#BUBL (statement). In QYD0EJM85G/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
V9D7S2H1SK V9D7S2H1SK
| URI | m2://inv/V9D7S2H1SK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/fourier.tex#corollary-3 (statement). In RZP28ERRZV, corollary, section 59.5
History
- 2026-11-01: add by m2/v0.6.13
Subfield (mathematics) V9D8JR06C3
| URI | m2://inv/V9D8JR06C3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Field extension#1VC7, Subfield (mathematics) (unknown)
History
- 2026-11-02: add by m2/dev
Isometric coboundedness V9DARDMZT1
| URI | m2://inv/V9DARDMZT1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17400#TZUR, Isometric coboundedness (definition). In 8VDXGR4SVD/e1, definition 6.4
History
- 2026-10-28: add by m2/v0.4.2
V9DGRN97ZR V9DGRN97ZR
| URI | m2://inv/V9DGRN97ZR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13629#1B8Y (statement). In PQNYA0C510/e1, proposition 1.2
History
- 2026-10-28: add by m2/v0.4.2
V9DHCP5NQS V9DHCP5NQS
| URI | m2://inv/V9DHCP5NQS |
|---|---|
| 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 2305.10202#H70A (statement). In ER06JKXR8B/e1, theorem 2.9
History
- 2026-10-27: add by m2/v0.4.0
V9DHF84WFD V9DHF84WFD
| URI | m2://inv/V9DHF84WFD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05146#93UJ (statement). In 63MJS935N4/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Boundary count V9DJEAA2FT
| URI | m2://inv/V9DJEAA2FT |
|---|---|
| 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.30637#OWHQ, Boundary count (statement). In 6G1KBA0SXV/e1, lemma 4.29
History
- 2026-10-31: add by m2/v0.5.6
Parallelogram of force V9DKX6WEVM
| URI | m2://inv/V9DKX6WEVM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#H0NN, Parallelogram of force (unknown)
History
- 2026-11-02: add by m2/dev
Neill, Charles P. V9DTFR4MR9
| URI | m2://inv/V9DTFR4MR9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#76IL, Neill, Charles P. (unknown)
History
- 2026-11-02: add by m2/dev
Explicit block sensitivity for arbitrary degree V9E6ZR7PTE
| URI | m2://inv/V9E6ZR7PTE |
|---|---|
| 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.23781#RACB, Explicit block sensitivity for arbitrary degree (statement)
History
- 2026-11-02: add by m2/v0.6.17
member V9EKAD3CX3
| URI | m2://inv/V9EKAD3CX3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#1EDG, member (definition)
History
- 2026-11-02: add by m2/dev
Elizabeth L. Scott Award V9EN134SED
| URI | m2://inv/V9EN134SED |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elizabeth L. Scott Award, Elizabeth L. Scott Award (definition). Also Wikidata Q48003826
History
- 2026-11-02: add by m2/dev
V9EQGSF8XJ V9EQGSF8XJ
| URI | m2://inv/V9EQGSF8XJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08776#5ZIV (statement). In ZQ4M778EA7/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.10
Combinatorics V9EXHSN5JP
| URI | m2://inv/V9EXHSN5JP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#LQUN, Combinatorics (definition)
History
- 2026-11-02: add by m2/dev
Royal Statistical Society V9EZSS53FE
| URI | m2://inv/V9EZSS53FE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#LZBN, Royal Statistical Society (definition)
History
- 2026-11-02: add by m2/dev
V9F7EXHXVB V9F7EXHXVB
| URI | m2://inv/V9F7EXHXVB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#75VN (statement). In E7W2HDNEKJ/e1, lemma 5.15
History
- 2026-10-30: add by m2/v0.4.12
arcsecond V9FT37GSVA
| URI | m2://inv/V9FT37GSVA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q829073, arcsecond (definition). Also EoM Second, MathWorld ArcSecond, ProofWiki Definition:Angle/Unit/Second
History
- 2026-10-26: add by m2/dev
V9G2KCGPXR V9G2KCGPXR
| URI | m2://inv/V9G2KCGPXR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.08738#SVEZ (definition). In 9GMTVSTAVN/e1, definition 4.14
History
- 2026-10-27: add by m2/v0.3.5
Burgers' equation V9GTVN30AZ
| URI | m2://inv/V9GTVN30AZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partial differential equation topics#OAMQ, Burgers' equation (definition)
History
- 2026-11-02: add by m2/dev
Gauss sum V9GZ2B5PZJ
| URI | m2://inv/V9GZ2B5PZJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Gauss sum EQ6A3ZN48K |
Mentions
- wikidata: Wikidata Q526221, Gauss sum (unknown). Also LMFDB knowl character.dirichlet.gauss_sum, MathWorld GaussianSum
- wikipedia: Wikipedia Gauss sum, Gauss sum (definition). Also Wikidata Q526221
History
- 2026-10-26: add by m2/dev
Eugenia Cheng V9GZ3RJ34J
| URI | m2://inv/V9GZ3RJ34J |
|---|---|
| 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 Q20831455, Eugenia Cheng (unknown). Also nLab Eugenia Cheng
- wikipedia: Wikipedia Eugenia Cheng, Eugenia Cheng (topic). Also Wikidata Q20831455
History
- 2026-10-26: add by m2/dev
Expander mixing lemma V9H2QBJNBH
| URI | m2://inv/V9H2QBJNBH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 1204.5958#50BO, Expander mixing lemma (statement). In XYCBKM4WKY/e1, lemma 38
History
- 2026-10-27: add by m2/v0.3.5
limit, of sets V9H66R7RXJ
| URI | m2://inv/V9H66R7RXJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.9/limit-of-sets, limit, of sets (concept). In N54F33XE07, index, section 5.9
History
- 2026-11-01: add by m2/v0.6.13
V9HBEFSQ0X V9HBEFSQ0X
| URI | m2://inv/V9HBEFSQ0X |
|---|---|
| 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 2407.20385#ZC8F (statement). In PZRSZ19KAH/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
Peter Freund V9HG3CNRGQ
| URI | m2://inv/V9HG3CNRGQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q380748, Peter Freund (unknown). Also nLab Peter Freund
History
- 2026-10-26: add by m2/dev
V9HGAYB46N V9HGAYB46N
| URI | m2://inv/V9HGAYB46N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12852#ULIK (statement). In 1NRV3J17T7/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
V9HMSA8CM7 V9HMSA8CM7
| URI | m2://inv/V9HMSA8CM7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01346#J82E (definition). In 44DQ7W1NW9/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Occupancy grid mapping V9HN9E8WHS
| URI | m2://inv/V9HN9E8WHS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Occupancy grid mapping, Occupancy grid mapping (definition). Also Wikidata Q7075747
History
- 2026-11-02: add by m2/dev
Bogdanov–Takens bifurcation V9HPKF8CVY
| URI | m2://inv/V9HPKF8CVY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bogdanov–Takens bifurcation, Bogdanov–Takens bifurcation (definition). Also Wikidata Q4937510
History
- 2026-11-02: add by m2/dev
Properties V9HPN1C16P
| URI | m2://inv/V9HPN1C16P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotone matrix#6N9H, Properties (statement)
History
- 2026-11-02: add by m2/dev
Iranian Mathematical Society V9HSFBSY0A
| URI | m2://inv/V9HSFBSY0A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#8LYB, Iranian Mathematical Society (definition)
History
- 2026-11-02: add by m2/dev
V9J1HNNXQB V9J1HNNXQB
| URI | m2://inv/V9J1HNNXQB |
|---|---|
| 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 1003.1817#G5CA (statement). In VCPT7BK80E/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
V9J7P40M1D V9J7P40M1D
| URI | m2://inv/V9J7P40M1D |
|---|---|
| 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.20866#JZSD (statement)
History
- 2026-11-02: add by m2/v0.6.18
V9JKFV9Q8P V9JKFV9Q8P
| URI | m2://inv/V9JKFV9Q8P |
|---|---|
| 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 2501.15680#N7F6 (definition). In VBWH2Z3YHA/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
V9JQJWCAW8 V9JQJWCAW8
| URI | m2://inv/V9JQJWCAW8 |
|---|---|
| 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.21692#QXLA (definition)
History
- 2026-11-02: add by m2/v0.6.18
V9JQQYJX5B V9JQQYJX5B
| URI | m2://inv/V9JQQYJX5B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27270#P9XI (statement)
History
- 2026-11-01: add by m2/v0.6.15
V9JS7FVG9C V9JS7FVG9C
| URI | m2://inv/V9JS7FVG9C |
|---|---|
| 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.28011#4OKF (definition)
History
- 2026-11-01: add by m2/v0.6.15
Felix Gantmacher V9K5QGSXH2
| URI | m2://inv/V9K5QGSXH2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Felix Gantmacher, Felix Gantmacher (topic). Also Wikidata Q4133374
History
- 2026-11-02: add by m2/dev
V9KEB74DS6 V9KEB74DS6
| URI | m2://inv/V9KEB74DS6 |
|---|---|
| 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.15805#9W7M (statement). In 2XVWG0Z18V/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
Examples V9KHGW3JTY
| URI | m2://inv/V9KHGW3JTY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cesàro equation#WHQ5, Examples (example)
History
- 2026-11-02: add by m2/dev
V9KQ339ET4 V9KQ339ET4
| URI | m2://inv/V9KQ339ET4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23685#IKX8 (statement)
History
- 2026-11-02: add by m2/v0.6.17
V9KR0HDRD4 V9KR0HDRD4
| URI | m2://inv/V9KR0HDRD4 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36068#ESIP (problem). In CKNAB8QY5B/e1, problem 21
History
- 2026-10-30: add by m2/v0.4.12
Examples V9M58EFKCB
| URI | m2://inv/V9M58EFKCB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interquartile mean#AF5B, Examples (example)
History
- 2026-11-02: add by m2/dev
Theorem V9M71VS8EW
| URI | m2://inv/V9M71VS8EW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological homomorphism#6B05, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Euler's criterion V9M8D4K92X
| URI | m2://inv/V9M8D4K92X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#RLPX, Euler's criterion (definition)
History
- 2026-11-02: add by m2/dev
V9MD4B7S72 V9MD4B7S72
| URI | m2://inv/V9MD4B7S72 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26401#4LZL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Steve Evans V9MWRTRE73
| URI | m2://inv/V9MWRTRE73 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#E0IQ, Steve Evans (unknown)
History
- 2026-11-02: add by m2/dev
Qualified electronic seal V9N45E5KNH
| URI | m2://inv/V9N45E5KNH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electronic seal#PCR0, Qualified electronic seal (unknown)
History
- 2026-11-02: add by m2/dev
A bounded set of augmentations V9N5TGBPY2
| URI | m2://inv/V9N5TGBPY2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28220#CQ1B, A bounded set of augmentations (statement)
History
- 2026-11-01: add by m2/v0.6.15
Locally ambiguous sentence V9N68AY369
| URI | m2://inv/V9N68AY369 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Syntactic ambiguity#BLL3, Locally ambiguous sentence (unknown)
History
- 2026-11-02: add by m2/dev
Quadratic residue code V9N6HBJFYG
| URI | m2://inv/V9N6HBJFYG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic residue code, Quadratic residue code (definition). Also Wikidata Q7268368
History
- 2026-11-02: add by m2/dev
$\mathbf{y}$-trace formula V9N85Y0Q8Y
| URI | m2://inv/V9N85Y0Q8Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12326#Z5E8, $\mathbf{y}$-trace formula (statement). In 9S7HGSEX6Q/e1, proposition 5.9
History
- 2026-10-28: add by m2/v0.4.2
V9NJGE8V41 V9NJGE8V41
| URI | m2://inv/V9NJGE8V41 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05032#YTJ1 (statement). In DDNK8D4359/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
Abhyankar's inequality V9NQ05DKPZ
| URI | m2://inv/V9NQ05DKPZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#J798, Abhyankar's inequality (statement)
History
- 2026-11-02: add by m2/dev
Variational multiscale method V9NRW1QBTM
| URI | m2://inv/V9NRW1QBTM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variational multiscale method, Variational multiscale method (definition). Also Wikidata Q65038403
History
- 2026-11-02: add by m2/dev
V9NYYWMFTH V9NYYWMFTH
| URI | m2://inv/V9NYYWMFTH |
|---|---|
| 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.27253#EXLE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Zweibrücken V9P82XPB4A
| URI | m2://inv/V9P82XPB4A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#702P, Zweibrücken (unknown)
History
- 2026-11-02: add by m2/dev
Stein Metzger V9PFHQ0SN6
| URI | m2://inv/V9PFHQ0SN6 |
|---|---|
| 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#GDLT, Stein Metzger (unknown)
History
- 2026-11-02: add by m2/dev
V9PJ3WZ4A8 V9PJ3WZ4A8
| URI | m2://inv/V9PJ3WZ4A8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32650#18Q3 (statement). In PHXJ87HKYB/e1, proposition 4.7
History
- 2026-10-31: add by m2/v0.5.6
Woodin V9PNWZ3GYK
| URI | m2://inv/V9PNWZ3GYK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#ARU3, Woodin (definition)
History
- 2026-11-02: add by m2/dev
SMAWK Algorithm V9PNY6RHYW
| URI | m2://inv/V9PNY6RHYW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#X2MZ, SMAWK Algorithm (definition)
History
- 2026-11-02: add by m2/dev
V9PXSAGA2A V9PXSAGA2A
| URI | m2://inv/V9PXSAGA2A |
|---|---|
| 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.16886#8VYW (statement). In Y8QQAH7VCF/e1, lemma E.1
History
- 2026-10-28: add by m2/v0.4.2
Logick V9Q4E1EK01
| URI | m2://inv/V9Q4E1EK01 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isaac Watts#5FHA, Logick (unknown)
History
- 2026-11-02: add by m2/dev
V9Q9CED57N V9Q9CED57N
| URI | m2://inv/V9Q9CED57N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-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 2610.21536#CV1N (statement). In NBQK8HJSNY/e1, lemma 1
History
- 2026-10-27: add by m2/v0.4.2
V9Q9XBCNYR V9Q9XBCNYR
| URI | m2://inv/V9Q9XBCNYR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.06762#JKUP (statement). In J99PFFJXPE/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.6
PSPP V9QPRKE9KB
| URI | m2://inv/V9QPRKE9KB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PSPP, PSPP (definition). Also Wikidata Q1848165
History
- 2026-11-02: add by m2/dev
Lucas prime V9QX8DDC65
| URI | m2://inv/V9QX8DDC65 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lucas number#ND9S, Lucas prime (unknown)
History
- 2026-11-02: add by m2/dev
Spine of a cone V9QXWZ2HDD
| URI | m2://inv/V9QXWZ2HDD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04833#4K86, Spine of a cone (definition). In AKB3CNDA0F/e1, definition 3.25
History
- 2026-10-29: add by m2/v0.4.12
V9R5F3H4QK V9R5F3H4QK
| URI | m2://inv/V9R5F3H4QK |
|---|---|
| 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.22081#C4F0 (statement). In 7JATJ4VG9G/e1, corollary 1.2
History
- 2026-10-27: add by m2/v0.4.0
Appeal to pity V9R8NAREGJ
| URI | m2://inv/V9R8NAREGJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Appeal to pity, Appeal to pity (definition). Also Wikidata Q732977
History
- 2026-11-02: add by m2/dev
V9R8NC2QJG V9R8NC2QJG
| URI | m2://inv/V9R8NC2QJG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/sylow.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 7.2.1
History
- 2026-11-01: add by m2/v0.6.13
BEDMAS V9R97CR099
| URI | m2://inv/V9R97CR099 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order of operations#0OAM, BEDMAS (unknown)
History
- 2026-11-02: add by m2/dev
Result 3.3 V9RM74WEG1
| URI | m2://inv/V9RM74WEG1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02392#3MEZ, Result 3.3 (statement). In W066HQZQBF/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
Supersolvable arrangement V9RVP0MECR
| URI | m2://inv/V9RVP0MECR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supersolvable arrangement, Supersolvable arrangement (definition). Also Wikidata Q7644150
History
- 2026-11-02: add by m2/dev
Root Cause Analysis Solver Engine V9S1JXEKT6
| URI | m2://inv/V9S1JXEKT6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Root Cause Analysis Solver Engine, Root Cause Analysis Solver Engine (definition). Also Wikidata Q25048200
History
- 2026-11-02: add by m2/dev
V9S53EX55A V9S53EX55A
| URI | m2://inv/V9S53EX55A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-intro.tex#exercise-25 (exercise). In E9HS8K3A52, exercise, section 6.9.1
History
- 2026-11-01: add by m2/v0.6.13
V9SKJ53XYG V9SKJ53XYG
| URI | m2://inv/V9SKJ53XYG |
|---|---|
| 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.08599#B07B (statement). In DST9FWMHT6/e1, theorem 3.10
History
- 2026-10-29: add by m2/v0.4.10
Trinity Mathematical Society V9SN76BMQB
| URI | m2://inv/V9SN76BMQB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trinity Mathematical Society, Trinity Mathematical Society (definition). Also Wikidata Q15990165
History
- 2026-11-02: add by m2/dev
A concave weight V9SWBTC0SP
| URI | m2://inv/V9SWBTC0SP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#55FV, A concave weight (statement). In 8BNPFYQDQX/e1, lemma 3.22
History
- 2026-10-29: add by m2/v0.4.10
Unbalanced assignment problem V9SX68YNQV
| URI | m2://inv/V9SX68YNQV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Assignment problem#GG11, Unbalanced assignment problem (unknown)
History
- 2026-11-02: add by m2/dev
Tetrahedral cupola V9T24QACAP
| URI | m2://inv/V9T24QACAP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetrahedral cupola, Tetrahedral cupola (definition). Also Wikidata Q18388753
History
- 2026-11-02: add by m2/dev
V9TAWG3HVA V9TAWG3HVA
| URI | m2://inv/V9TAWG3HVA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11847#Q53P (statement). In MP2YM69XW8/e1, theorem 5
History
- 2026-10-28: add by m2/v0.4.3
Extensions V9TB6A7NH4
| URI | m2://inv/V9TB6A7NH4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relationship square#J40V, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Tatiana Toro V9TFW8CNM5
| URI | m2://inv/V9TFW8CNM5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UJSF, Tatiana Toro (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#KSDH, Tatiana Toro (topic)
History
- 2026-11-02: add by m2/dev
Quantitative research V9TGDKT758
| URI | m2://inv/V9TGDKT758 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5NNW, Quantitative research (definition)
History
- 2026-11-02: add by m2/dev
V9TGTXAPPJ V9TGTXAPPJ
| URI | m2://inv/V9TGTXAPPJ |
|---|---|
| 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#17YY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Converse V9TR6RR0SB
| URI | m2://inv/V9TR6RR0SB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary relation#QKNA, Converse (statement)
History
- 2026-11-02: add by m2/dev
Heat equation, Neumann control V9TRF65V8T
| URI | m2://inv/V9TRF65V8T |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25431#LL8T, Heat equation, Neumann control (example)
History
- 2026-11-01: add by m2/v0.6.15
Statement V9TWWMDCA8
| URI | m2://inv/V9TWWMDCA8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lindström–Gessel–Viennot lemma#UEUT, Statement (statement)
History
- 2026-11-02: add by m2/dev
Lima Puluh Kota V9TX0Y44Z5
| URI | m2://inv/V9TX0Y44Z5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#CM9Q, Lima Puluh Kota (unknown)
History
- 2026-11-02: add by m2/dev
Giorgio Kaniadakis V9TX83FCSY
| URI | m2://inv/V9TX83FCSY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giorgio Kaniadakis, Giorgio Kaniadakis (topic). Also Wikidata Q61000445
History
- 2026-11-02: add by m2/dev
Facts V9VBSBX6B9
| URI | m2://inv/V9VBSBX6B9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tilting theory#XHBV, Facts (statement)
History
- 2026-11-02: add by m2/dev
V9VRZVQS71 V9VRZVQS71
| URI | m2://inv/V9VRZVQS71 |
|---|---|
| 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.35642#K5G9 (statement). In D905BX98TP/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
V9W056ATH6 V9W056ATH6
| URI | m2://inv/V9W056ATH6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#0VM5 (statement). In GW23NX78SB/e1, lemma 4.37
History
- 2026-10-28: add by m2/v0.4.2
Michel Plancherel V9W0JDKGZZ
| URI | m2://inv/V9W0JDKGZZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q116815, Michel Plancherel (unknown). Also ProofWiki Mathematician:Michel_Plancherel
History
- 2026-10-26: add by m2/dev
Nagel point V9WA6CCZCP
| URI | m2://inv/V9WA6CCZCP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2302892, Nagel point (concept). Also MathWorld NagelPoint
- wikipedia: Wikipedia Nagel point, Nagel point (definition). Also Wikidata Q2302892
History
- 2026-10-26: add by m2/dev
Michael McQuillan V9WCDN5HKA
| URI | m2://inv/V9WCDN5HKA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael McQuillan (mathematician), Michael McQuillan (topic). Also Wikidata Q1928581
History
- 2026-11-02: add by m2/dev
V9WKKSHT2K V9WKKSHT2K
| URI | m2://inv/V9WKKSHT2K |
|---|---|
| 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.23343#EZOO (statement)
History
- 2026-11-02: add by m2/v0.6.17
Martin Löb V9WQG50MKF
| URI | m2://inv/V9WQG50MKF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#B1AP, Martin Löb (topic)
History
- 2026-11-02: add by m2/dev
Unitary version of Hardiman V9WTGZFDZ3
| URI | m2://inv/V9WTGZFDZ3 |
|---|---|
| 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.08787#3KGW, Unitary version of Hardiman (statement). In CCQ5XXWYDZ/e1, proposition III.3
History
- 2026-10-29: add by m2/v0.4.10
Chow–Rashevsky theorem V9WVC06XDH
| URI | m2://inv/V9WVC06XDH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chow–Rashevsky theorem, Chow–Rashevsky theorem (statement). Also Wikidata Q5105585
History
- 2026-11-02: add by m2/dev
V9WYTCC8AM V9WYTCC8AM
| URI | m2://inv/V9WYTCC8AM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.08272#QRPC (definition). In H72E12TYHA/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.4.0
V9X0FAQJ6G V9X0FAQJ6G
| URI | m2://inv/V9X0FAQJ6G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10558#XALZ (definition). In GYSF9JXQCH/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
V9X89CW1Z6 V9X89CW1Z6
| URI | m2://inv/V9X89CW1Z6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02993#MFDL (statement). In TJH58FRGEN/e1, proposition 7.3
History
- 2026-10-29: add by m2/v0.4.12
V9XDV9AVSP V9XDV9AVSP
| URI | m2://inv/V9XDV9AVSP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#44X7 (statement). In 13GSWBXPCM/e1, theorem 5.5
History
- 2026-10-27: add by m2/v0.3.5
Symmetric variety V9XJ2P3VQ9
| URI | m2://inv/V9XJ2P3VQ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric variety, Symmetric variety (definition). Also Wikidata Q7661319
History
- 2026-11-02: add by m2/dev
Rate two V9XPPTJ4V8
| URI | m2://inv/V9XPPTJ4V8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.37368#VQ35, Rate two (statement). In FRMCKEGVJZ/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
Paul Althaus Smith V9XQP2H7YR
| URI | m2://inv/V9XQP2H7YR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Althaus Smith, Paul Althaus Smith (topic). Also Wikidata Q6404986
History
- 2026-11-02: add by m2/dev
Enrico Arbarello V9XRZMMSQ9
| URI | m2://inv/V9XRZMMSQ9 |
|---|---|
| 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#6Y5J, Enrico Arbarello (topic)
History
- 2026-11-02: add by m2/dev
Algebraic characterization of compatibility V9Y2EZDWQ1
| URI | m2://inv/V9Y2EZDWQ1 |
|---|---|
| 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.14906#TEH9, Algebraic characterization of compatibility (statement). In 1F8ENX770M/e1, corollary 2.6
History
- 2026-10-28: add by m2/v0.4.2
Brewster's angle V9YF8CBJ1E
| URI | m2://inv/V9YF8CBJ1E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brewster's angle, Brewster's angle (definition). Also Wikidata Q662790
History
- 2026-11-02: add by m2/dev
Dana Scott V9YFY2YE34
| URI | m2://inv/V9YFY2YE34 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#V610, Dana Scott (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#A3CE, Dana Scott (topic)
History
- 2026-11-02: add by m2/dev
V9YS99NX15 V9YS99NX15
| URI | m2://inv/V9YS99NX15 |
|---|---|
| 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.30315#3EZU (statement). In FXTCVHYW5S/e1, corollary 3.4
History
- 2026-10-31: add by m2/v0.5.6
Michel Duflo V9YVYV5WK3
| URI | m2://inv/V9YVYV5WK3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michel Duflo, Michel Duflo (topic). Also Wikidata Q1930705
History
- 2026-11-02: add by m2/dev
Observable simultaneous chaining radius V9YXZ1HEA1
| URI | m2://inv/V9YXZ1HEA1 |
|---|---|
| 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.19207#M6Y7, Observable simultaneous chaining radius (statement). In BH3R0BA3PC/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
V9Z0YGYM03 V9Z0YGYM03
| URI | m2://inv/V9Z0YGYM03 |
|---|---|
| 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.07673#QVCO (statement). In 37B1MPV8GX/e1, corollary 7.9
History
- 2026-10-29: add by m2/v0.4.10
V9Z1JBND6C V9Z1JBND6C
| URI | m2://inv/V9Z1JBND6C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2104.00162#OKOL (statement). In HVGT9D84WV/e1, theorem 3.9
History
- 2026-10-27: add by m2/v0.3.5
V9ZDVKKZ9J V9ZDVKKZ9J
| URI | m2://inv/V9ZDVKKZ9J |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0909.2893#D8RM (conjecture). In JQ4JYAXCMK/e1, conjecture 29
History
- 2026-10-27: add by m2/v0.3.5
V9ZJ17BQC1 V9ZJ17BQC1
| URI | m2://inv/V9ZJ17BQC1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_gt-intro.ptx#example-2 (example). In Y91XFCEVHQ, example, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
V9ZK4NVWSB V9ZK4NVWSB
| URI | m2://inv/V9ZK4NVWSB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/martingale.tex#example-2 (example). In RZP28ERRZV, example, section 66.2
History
- 2026-11-01: add by m2/v0.6.13
V9ZKQFSXY3 V9ZKQFSXY3
| URI | m2://inv/V9ZKQFSXY3 |
|---|---|
| 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.14820#80ND (statement). In FKE0A3KY1N/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
V9ZQGTE6P0 V9ZQGTE6P0
| URI | m2://inv/V9ZQGTE6P0 |
|---|---|
| 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.31327#7J9G (statement). In F605BQ3AYX/e1, lemma 5.8
History
- 2026-10-31: add by m2/v0.5.6
V9ZR7NHKXN V9ZR7NHKXN
| URI | m2://inv/V9ZR7NHKXN |
|---|---|
| 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 1804.06366#QWGS (statement). In 89XYDVXG38/e1, lemma 3.9
History
- 2026-10-27: add by m2/v0.3.5
Data valuation V9ZVS0R5KP
| URI | m2://inv/V9ZVS0R5KP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data valuation, Data valuation (definition). Also Wikidata Q104866253
History
- 2026-11-02: add by m2/dev
Instability Theorem V9ZYHDBK34
| URI | m2://inv/V9ZYHDBK34 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10558#IQF2, Instability Theorem (statement). In GYSF9JXQCH/e1, theorem D
History
- 2026-10-29: add by m2/v0.4.10
List of two-dimensional geometric shapes V9ZYZ9CX8P
| URI | m2://inv/V9ZYZ9CX8P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of shapes#P3WW, List of two-dimensional geometric shapes (topic)
History
- 2026-11-02: add by m2/dev