Inventory rows X6
The cards of the rows of the inventory whose ids start with X6. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
The Preparation of Programs for an Electronic Digital Computer X600XRZBJX
| URI | m2://inv/X600XRZBJX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#GV4O, The Preparation of Programs for an Electronic Digital Computer (unknown)
History
- 2026-11-02: add by m2/dev
Linear temporal logic to Büchi automaton X602RFJD43
| URI | m2://inv/X602RFJD43 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear temporal logic to Büchi automaton, Linear temporal logic to Büchi automaton (definition). Also Wikidata Q6553530
History
- 2026-11-02: add by m2/dev
Applications X6030J4VQR
| URI | m2://inv/X6030J4VQR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplicative inverse#FY5C, Applications (example)
History
- 2026-11-02: add by m2/dev
Geometric eigenvalue criterion X604F5QF6E
| URI | m2://inv/X604F5QF6E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31768#1H88, Geometric eigenvalue criterion (statement). In WC7ZECEE3P/e1, proposition 2.2
History
- 2026-10-31: add by m2/v0.5.6
Newey–West estimator X608H7K1BF
| URI | m2://inv/X608H7K1BF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newey–West estimator, Newey–West estimator (definition). Also Wikidata Q4439344
History
- 2026-11-02: add by m2/dev
type, circle X60MPKRCDM
| URI | m2://inv/X60MPKRCDM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.2/type-circle, type, circle (concept). In N54F33XE07, index, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
Definition X60RSWGW0V
| URI | m2://inv/X60RSWGW0V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birth process#QUFR, Definition (definition)
History
- 2026-11-02: add by m2/dev
image X611KHR083
| URI | m2://inv/X611KHR083 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.2/image, image (concept). In N54F33XE07, index, section C.1.2
History
- 2026-11-01: add by m2/v0.6.13
X614SVSWV5 X614SVSWV5
| URI | m2://inv/X614SVSWV5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.14306#3FXZ (definition). In ZNBQD5WH1M/e1, definition 5.4
History
- 2026-10-27: add by m2/v0.3.5
Examples X615AGR1TD
| URI | m2://inv/X615AGR1TD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-adjoint operator#4F7L, Examples (example)
History
- 2026-11-02: add by m2/dev
Dodecadodecahedron X61FSCYCZ7
| URI | m2://inv/X61FSCYCZ7 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#Y1OH, Dodecadodecahedron (object)
History
- 2026-11-02: add by m2/dev
X61PWBWKV0 X61PWBWKV0
| URI | m2://inv/X61PWBWKV0 |
|---|---|
| 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#YVPF (statement). In SWFN2HCEE7/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
X61RS5HWCP X61RS5HWCP
| URI | m2://inv/X61RS5HWCP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.03601#1Z2G (definition). In F7TDYCHCSE/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Phoebe Senyard X61T7V9DA7
| URI | m2://inv/X61T7V9DA7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phoebe Senyard, Phoebe Senyard (topic). Also Wikidata Q141136138
History
- 2026-11-02: add by m2/dev
Theorem X61YKS4S5M
| URI | m2://inv/X61YKS4S5M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sparsity matroid#LYOE, Theorem (statement)
History
- 2026-11-02: add by m2/dev
X62061Z1XK X62061Z1XK
| URI | m2://inv/X62061Z1XK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15217#E7V9 (definition). In G70Q2FB591/e1, definition 4.15
History
- 2026-10-28: add by m2/v0.4.2
X62BJNQJFQ X62BJNQJFQ
| URI | m2://inv/X62BJNQJFQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-conc.ptx#exercise-15 (exercise). In Y91XFCEVHQ, exercise, section 2.7
History
- 2026-11-01: add by m2/v0.6.13
diamond graph X62CVPWD2R
| URI | m2://inv/X62CVPWD2R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115555, diamond graph (unknown). Also House of Graphs 28, MathWorld DiamondGraph
- wikipedia: Wikipedia Diamond graph, Diamond graph (definition). Also Wikidata Q3115555
History
- 2026-10-26: add by m2/dev
permutation X62QJPN4R9
| URI | m2://inv/X62QJPN4R9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#78BI, permutation (definition)
History
- 2026-11-02: add by m2/dev
Andrew Michael Odlyzko X63EKZ7NTD
| URI | m2://inv/X63EKZ7NTD |
|---|---|
| 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#14SK, Andrew Michael Odlyzko (topic)
History
- 2026-11-02: add by m2/dev
Pervomaysky X63JB55101
| URI | m2://inv/X63JB55101 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#OOAS, Pervomaysky (unknown)
History
- 2026-11-02: add by m2/dev
X63Q2XY999 X63Q2XY999
| URI | m2://inv/X63Q2XY999 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0905.1489#BQSD (definition). In MZ18CTV65N/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
X63SCTG83Z X63SCTG83Z
| URI | m2://inv/X63SCTG83Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14045#Z3QA (statement). In KZ71GXT2B0/e1, proposition 2.18
History
- 2026-10-28: add by m2/v0.4.2
Drinfeld, Volodymyr Gershonovych X63TGMFEAA
| URI | m2://inv/X63TGMFEAA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian mathematicians#UNDC, Drinfeld, Volodymyr Gershonovych (topic)
History
- 2026-11-02: add by m2/dev
X63TS78CVJ X63TS78CVJ
| URI | m2://inv/X63TS78CVJ |
|---|---|
| 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.21339#5TWK (statement)
History
- 2026-11-02: add by m2/v0.6.18
complete category X63WKDZX9V
| URI | m2://inv/X63WKDZX9V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Complete category FWGPKXCPB7 |
Mentions
- wikidata: Wikidata Q4370335, complete category (definition). Also nLab complete category, ProofWiki Definition:Complete_Category
- wikipedia: Wikipedia Complete category, Complete category (definition). Also Wikidata Q4370335
History
- 2026-10-26: add by m2/dev
Distribution algebra X6416JNMHP
| URI | m2://inv/X6416JNMHP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distribution algebra, Distribution algebra (definition). Also Wikidata Q5283191
History
- 2026-11-02: add by m2/dev
Optimal two-moment transfer X641C5W92K
| URI | m2://inv/X641C5W92K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14069#9X28, Optimal two-moment transfer (statement). In ABYRBVNC3Y/e1, corollary 2.7
History
- 2026-10-28: add by m2/v0.4.2
John Erik Fornæss X644KSS86C
| URI | m2://inv/X644KSS86C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Erik Fornæss, John Erik Fornæss (topic). Also Wikidata Q1699977
History
- 2026-11-02: add by m2/dev
Rapid mixing is unstable under arbitrarily weak local perturbations X64BK3MBEJ
| URI | m2://inv/X64BK3MBEJ |
|---|---|
| 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.36016#CN4P, Rapid mixing is unstable under arbitrarily weak local perturbations (conjecture). In NAM9ZMPHZ9/e1, conjecture 5.1
History
- 2026-10-30: add by m2/v0.4.12
X64NCPJZ1E X64NCPJZ1E
| URI | m2://inv/X64NCPJZ1E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25080#I50K (statement)
History
- 2026-11-01: add by m2/v0.6.15
Normal orientation X64RNRWRXG
| URI | m2://inv/X64RNRWRXG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal (geometry)#DBJC, Normal orientation (unknown)
History
- 2026-11-02: add by m2/dev
Example X64WJEV4WM
| URI | m2://inv/X64WJEV4WM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tower of objects#1CEC, Example (example)
History
- 2026-11-02: add by m2/dev
X64YPHQ630 X64YPHQ630
| URI | m2://inv/X64YPHQ630 |
|---|---|
| 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.21098#TDOI (statement)
History
- 2026-11-02: add by m2/v0.6.18
Caterina Consani X6561ZS9JD
| URI | m2://inv/X6561ZS9JD |
|---|---|
| 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 Q1050689, Caterina Consani (unknown). Also nLab Caterina Consani
- wikipedia: Wikipedia Caterina Consani, Caterina Consani (topic). Also Wikidata Q1050689
History
- 2026-10-26: add by m2/dev
X6569NEZQY X6569NEZQY
| URI | m2://inv/X6569NEZQY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-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.38030#A5WG (statement). In XYYEJN00D8/e1, proposition 2.15
History
- 2026-10-30: add by m2/v0.4.12
Symmetry X65D6V3VY3
| URI | m2://inv/X65D6V3VY3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated order-6 hexagonal tiling#01K9, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Definition X65X544C5C
| URI | m2://inv/X65X544C5C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planted clique#A5U5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Michael T. Anderson X6601QR4BF
| URI | m2://inv/X6601QR4BF |
|---|---|
| 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#602N, Michael T. Anderson (topic)
History
- 2026-11-02: add by m2/dev
X663R1CF95 X663R1CF95
| URI | m2://inv/X663R1CF95 |
|---|---|
| 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.12479#6T3B (statement). In WE001PR75Z/e1, lemma 15
History
- 2026-10-28: add by m2/v0.4.2
Examples X6684M7EAZ
| URI | m2://inv/X6684M7EAZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit set#9G5T, Examples (example)
History
- 2026-11-02: add by m2/dev
The cell inside a ball X66GGYM5MD
| URI | m2://inv/X66GGYM5MD |
|---|---|
| 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.25120#KL70, The cell inside a ball (statement)
History
- 2026-11-01: add by m2/v0.6.15
Relevant theorems X66PMG4HXG
| URI | m2://inv/X66PMG4HXG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform integrability#KYWS, Relevant theorems (statement)
History
- 2026-11-02: add by m2/dev
X66VAQXK1X X66VAQXK1X
| URI | m2://inv/X66VAQXK1X |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-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 2405.14678#FOJO (example). In 9ZSNSJRJ5N/e1, example 22
History
- 2026-10-27: add by m2/v0.4.2
Characterizations X66YKW6HXT
| URI | m2://inv/X66YKW6HXT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular matroid#4TE3, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
X675GJDWAF X675GJDWAF
| URI | m2://inv/X675GJDWAF |
|---|---|
| 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.11047#C9SG (statement). In MNQAZ70XTH/e1, lemma 14.2
History
- 2026-10-28: add by m2/v0.4.3
Shubnikov symbol X67AHGB7YT
| URI | m2://inv/X67AHGB7YT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Space group#08PB, Shubnikov symbol (definition)
History
- 2026-11-02: add by m2/dev
X67BJYVHW2 X67BJYVHW2
| URI | m2://inv/X67BJYVHW2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39104#KHX1 (statement). In V2NTW27MSJ/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Schinzel's theorem X67RSHWXB9
| URI | m2://inv/X67RSHWXB9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schinzel's theorem#5AAV, Schinzel's theorem (statement)
History
- 2026-11-02: add by m2/dev
coreflexivity X67ZSH17DB
| URI | m2://inv/X67ZSH17DB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#1ON6, coreflexivity (definition)
History
- 2026-11-02: add by m2/dev
Spieker circle X680A6J9TJ
| URI | m2://inv/X680A6J9TJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q451581, Spieker circle (unknown). Also MathWorld SpiekerCircle
- wikipedia: Wikipedia Spieker circle, Spieker circle (definition). Also Wikidata Q451581
History
- 2026-10-26: add by m2/dev
global minimum X6816N3C4K
| URI | m2://inv/X6816N3C4K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91051970, global minimum (unknown). Also MathWorld GlobalMinimum
History
- 2026-10-26: add by m2/dev
X68CX0E4FA X68CX0E4FA
| URI | m2://inv/X68CX0E4FA |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29784#FWOH (problem)
History
- 2026-11-01: add by m2/v0.6.15
subbase X68DQ979EQ
| URI | m2://inv/X68DQ979EQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Subbasis 09S8DV34Y0 |
Mentions
- wikidata: Wikidata Q2739990, subbase (unknown). Also MathWorld Subbasis
- wikipedia: Wikipedia Subbase, Subbase (definition). Also Wikidata Q2739990
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
X68GE02H70 X68GE02H70
| URI | m2://inv/X68GE02H70 |
|---|---|
| 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 2312.06473#18GX (statement). In P1MYSYHSGX/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Formal definition X68MJ9XZN8
| URI | m2://inv/X68MJ9XZN8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birational invariant#HBVE, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Deuring–Heilbronn phenomenon X690DV8CYZ
| URI | m2://inv/X690DV8CYZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deuring–Heilbronn phenomenon, Deuring–Heilbronn phenomenon (definition). Also Wikidata Q5266175
History
- 2026-11-02: add by m2/dev
X69BPMPEBG X69BPMPEBG
| URI | m2://inv/X69BPMPEBG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21945#X70W (statement). In 371P9QASSJ/e1, corollary 6.3
History
- 2026-10-27: add by m2/v0.4.2
Diffeomorphic transformation of visible boundary segments X69MKA0CX1
| URI | m2://inv/X69MKA0CX1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08656#VYOT, Diffeomorphic transformation of visible boundary segments (statement). In JJC4DXX4ZR/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
X69N021Z4D X69N021Z4D
| URI | m2://inv/X69N021Z4D |
|---|---|
| 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 2504.09464#CEA2 (statement). In RN1XRCS2CH/e1, proposition 4
History
- 2026-10-27: add by m2/v0.3.6
Quadratic programming X69NH4YRFY
| URI | m2://inv/X69NH4YRFY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#ZZ5L, Quadratic programming (definition)
History
- 2026-11-02: add by m2/dev
X69S0SWPWK X69S0SWPWK
| URI | m2://inv/X69S0SWPWK |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1408.1555#GFAH (proof). In S1F2QW24YW/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Frequency-dependent fertile-parent CG model X69VV8DK5W
| URI | m2://inv/X69VV8DK5W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02669#EQU8, Frequency-dependent fertile-parent CG model (definition). In NSBSWH6XB4/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.12
X69WNS1YDK X69WNS1YDK
| URI | m2://inv/X69WNS1YDK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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.10930#XQ2X (example). In HX63A1PH1W/e1, example 3.73
History
- 2026-10-28: add by m2/v0.4.3
Contact decomposition with precision X69YCFXZGD
| URI | m2://inv/X69YCFXZGD |
|---|---|
| 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#CH7P, Contact decomposition with precision (statement). In 8BNPFYQDQX/e1, lemma 18.1
History
- 2026-10-29: add by m2/v0.4.10
exponential generating function X6AGSJFM3Y
| URI | m2://inv/X6AGSJFM3Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Exponential generating function 0JHXPVFKT0 |
Mentions
- wikidata: Wikidata Q91250435, exponential generating function (unknown). Also MathWorld ExponentialGeneratingFunction
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
An example X6ANK4B928
| URI | m2://inv/X6ANK4B928 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Likelihood-ratio test#MOPZ, An example (example)
History
- 2026-11-02: add by m2/dev
Example X6AVQC7JKE
| URI | m2://inv/X6AVQC7JKE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Age adjustment#M9DZ, Example (example)
History
- 2026-11-02: add by m2/dev
X6B44YBF7C X6B44YBF7C
| URI | m2://inv/X6B44YBF7C |
|---|---|
| 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.23562#WWOF (statement)
History
- 2026-11-02: add by m2/v0.6.17
X6B8GHH8KX X6B8GHH8KX
| URI | m2://inv/X6B8GHH8KX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 30-XX, 32-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.30014#5NJK (statement)
History
- 2026-11-01: add by m2/v0.6.15
X6BH8RJASE X6BH8RJASE
| URI | m2://inv/X6BH8RJASE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16388#JPH5 (statement). In Q62MDENP26/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Uses X6BQ4PQKEP
| URI | m2://inv/X6BQ4PQKEP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Bruijn graph#8M4I, Uses (example)
History
- 2026-11-02: add by m2/dev
Spherical integral identity and bounds X6BRXF9C9Q
| URI | m2://inv/X6BRXF9C9Q |
|---|---|
| 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.05498#MUZE, Spherical integral identity and bounds (statement). In TJT32RQ9GC/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.10
rectilinear crossing number X6BTR2AWJ7
| URI | m2://inv/X6BTR2AWJ7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130416686, rectilinear crossing number (unknown). Also MathWorld RectilinearCrossingNumber
History
- 2026-10-26: add by m2/dev
X6BZKX6D61 X6BZKX6D61
| URI | m2://inv/X6BZKX6D61 |
|---|---|
| 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#O8S6 (example). In 6VVK3YTABP/e1, example 8.2
History
- 2026-10-28: add by m2/v0.4.3
Open hashing X6C5D7XCPD
| URI | m2://inv/X6C5D7XCPD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hash table#281A, Open hashing (unknown)
History
- 2026-11-02: add by m2/dev
X6C9J5QZ4Y X6C9J5QZ4Y
| URI | m2://inv/X6C9J5QZ4Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/spine/rank.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 74.4
History
- 2026-11-01: add by m2/v0.6.13
Arlington Hall X6CAPJKQHX
| URI | m2://inv/X6CAPJKQHX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arlington Hall, Arlington Hall (definition). Also Wikidata Q4792321
History
- 2026-11-02: add by m2/dev
Exotic sphere X6CFG283VB
| URI | m2://inv/X6CFG283VB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of manifolds#S3VW, Exotic sphere (definition)
History
- 2026-11-02: add by m2/dev
X6CG3G9PPC X6CG3G9PPC
| URI | m2://inv/X6CG3G9PPC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#X1B2 (statement). In 5E9G06XJKC/e1, lemma D.26
History
- 2026-10-28: add by m2/v0.4.2
X6CQJVE8TQ X6CQJVE8TQ
| URI | m2://inv/X6CQJVE8TQ |
|---|---|
| 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 2404.05451#NU3M (statement). In 5YMFYAFFJ7/e1, theorem 4.7
History
- 2026-10-27: add by m2/v0.3.5
Spence's function X6CV5Z3695
| URI | m2://inv/X6CV5Z3695 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Dilogarithm G0X0NWSDB7 |
Mentions
- wikidata: Wikidata Q1290753, Spence's function (concept). Also MathWorld Dilogarithm
- wikipedia: Wikipedia Dilogarithm, Dilogarithm (definition). Also Wikidata Q1290753
History
- 2026-10-26: add by m2/dev
An unreduced nonmeromorphic family X6D3YHYFQS
| URI | m2://inv/X6D3YHYFQS |
|---|---|
| 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#V3EM, An unreduced nonmeromorphic family (statement). In 8BNPFYQDQX/e1, proposition 3.24
History
- 2026-10-29: add by m2/v0.4.10
X6D7XRV1S0 X6D7XRV1S0
| URI | m2://inv/X6D7XRV1S0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#example-9 (example). In E9HS8K3A52, example, section 9.3.1
History
- 2026-11-01: add by m2/v0.6.13
X6DBS4FBGS X6DBS4FBGS
| URI | m2://inv/X6DBS4FBGS |
|---|---|
| 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.31243#BDHN (statement). In E8FP48FJMZ/e1, lemma 4.3
History
- 2026-10-31: add by m2/v0.5.6
X6DCRCJAVP X6DCRCJAVP
| URI | m2://inv/X6DCRCJAVP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27931#GLW7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
X6DEE6SWF8 X6DEE6SWF8
| URI | m2://inv/X6DEE6SWF8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26769#DJV2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
X6DFX7N09Q X6DFX7N09Q
| URI | m2://inv/X6DFX7N09Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13833#QJ8E (statement). In VD4JP4HVBX/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
Definition X6DNXZ965M
| URI | m2://inv/X6DNXZ965M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minakshisundaram–Pleijel zeta function#EQBD, Definition (definition)
History
- 2026-11-02: add by m2/dev
X6DV3XS9EF X6DV3XS9EF
| URI | m2://inv/X6DV3XS9EF |
|---|---|
| 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.30527#ZJ46 (statement). In E3WQDZY388/e1, theorem
History
- 2026-10-31: add by m2/v0.5.6
Rózsa Péter X6E285X627
| URI | m2://inv/X6E285X627 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#1FQO, Rózsa Péter (topic)
- wikipedia: Wikipedia List of women logicians#92UW, Rózsa Péter (topic)
History
- 2026-11-02: add by m2/dev
Udayana X6EAJQBTAS
| URI | m2://inv/X6EAJQBTAS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of teachers of Nyaya#ROGQ, Udayana (topic)
History
- 2026-11-02: add by m2/dev
Chandrasekhar's X- and Y-function X6EHDKGES3
| URI | m2://inv/X6EHDKGES3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chandrasekhar's X- and Y-function, Chandrasekhar's X- and Y-function (definition). Also Wikidata Q48996583
History
- 2026-11-02: add by m2/dev
gamma numbers X6EMF0EQ7G
| URI | m2://inv/X6EMF0EQ7G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Set theory > Ordinals > gamma numbers, gamma numbers (unknown). Also Mathlib Ordinal.gamma
History
- 2026-10-26: add by m2/dev
X6EMQDT8JH X6EMQDT8JH
| URI | m2://inv/X6EMQDT8JH |
|---|---|
| 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.16554#6AHN (statement). In GWNT8HEZG1/e1, lemma 4.34
History
- 2026-10-27: add by m2/v0.3.6
X6ESYYN3RG X6ESYYN3RG
| URI | m2://inv/X6ESYYN3RG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13532#8IOQ (definition). In 9B0X8YPF3P/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
sphinx tiling X6ETAKEYMZ
| URI | m2://inv/X6ETAKEYMZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7576827, sphinx tiling (unknown). Also MathWorld Sphinx
- wikipedia: Wikipedia Sphinx tiling, Sphinx tiling (definition). Also Wikidata Q7576827
History
- 2026-10-26: add by m2/dev
X6EZGFXWA9 X6EZGFXWA9
| URI | m2://inv/X6EZGFXWA9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9914 (unknown). Also ProofWiki Symbols:H
History
- 2026-10-26: add by m2/dev
X6F9WFM5BC X6F9WFM5BC
| URI | m2://inv/X6F9WFM5BC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.03763#9W8Y (statement). In ARZ4X5PXXC/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
Unions and separation X6FA1QTG0S
| URI | m2://inv/X6FA1QTG0S |
|---|---|
| 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.28028#6MUG, Unions and separation (statement)
History
- 2026-11-01: add by m2/v0.6.15
Therapeutic effect X6FD8BVKBS
| URI | m2://inv/X6FD8BVKBS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Therapeutic effect, Therapeutic effect (definition). Also Wikidata Q2419430
History
- 2026-11-02: add by m2/dev
Definition X6FJ3T36JY
| URI | m2://inv/X6FJ3T36JY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parker vector#KXY0, Definition (definition)
History
- 2026-11-02: add by m2/dev
imperative logic X6FJN92B44
| URI | m2://inv/X6FJN92B44 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#4OF3, imperative logic (definition)
History
- 2026-11-02: add by m2/dev
Theoretical physics X6FZ3KHGP9
| URI | m2://inv/X6FZ3KHGP9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#1BS3, Theoretical physics (definition)
History
- 2026-11-02: add by m2/dev
List of chaotic maps X6G5H801DK
| URI | m2://inv/X6G5H801DK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of chaotic maps, List of chaotic maps (topic). Also Wikidata Q1828834
History
- 2026-11-02: add by m2/dev
X6GJH4HP28 X6GJH4HP28
| URI | m2://inv/X6GJH4HP28 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16554#M70R (example). In GWNT8HEZG1/e1, example 3.29
History
- 2026-10-27: add by m2/v0.3.6
X6GM191W5Q X6GM191W5Q
| URI | m2://inv/X6GM191W5Q |
|---|---|
| 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.20805#8GZH (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definitions X6GRJ8EQF8
| URI | m2://inv/X6GRJ8EQF8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Student's t-distribution#GKJF, Definitions (definition)
History
- 2026-11-02: add by m2/dev
X6GTPSRC8H X6GTPSRC8H
| URI | m2://inv/X6GTPSRC8H |
|---|---|
| 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.04809#5FIN (statement). In 2VHV0RNTNV/e1, lemma 9.4
History
- 2026-10-29: add by m2/v0.4.12
Formal definition X6H7XH0FXZ
| URI | m2://inv/X6H7XH0FXZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Big O notation#MZ2W, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Desargues' theorem X6HCQK70KS
| URI | m2://inv/X6HCQK70KS |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | open |
| Node | Desargues's theorem 5Z19Y02MME |
Mentions
- mathlib_1000: mathlib_1000 Q841893, Desargues's theorem (statement). Also Wikidata Q841893
- thousand_plus: thousand_plus Q841893, Desargues's theorem (statement). Also Wikidata Q841893, Wikipedia Desargues's theorem
- wikidata: Wikidata Q841893, Desargues' theorem (statement). Also EoM Desargues_assumption, MathWorld DesarguesTheorem
- wikipedia: Wikipedia Desargues's theorem, Desargues's theorem (statement). Also Wikidata Q841893
History
- 2026-10-26: add by m2/dev
row equivalent X6HES7AS5X
| URI | m2://inv/X6HES7AS5X |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/1.2.2/row-equivalent, row equivalent (concept). In 649HGZKE96, index, section 1.2.2
History
- 2026-11-01: add by m2/v0.6.13
X6HMWED73T X6HMWED73T
| URI | m2://inv/X6HMWED73T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#DZSO (statement). In VN084GGZGK/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.3
Any fixed finite order of conditional moments X6HS89KTWG
| URI | m2://inv/X6HS89KTWG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#236E, Any fixed finite order of conditional moments (statement). In 9YAE8FNQST/e1, corollary 13.1
History
- 2026-10-30: add by m2/v0.4.12
folk theorem X6HZWF2EE7
| URI | m2://inv/X6HZWF2EE7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 91-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q650738, Folk theorem (game theory) (statement). Also Wikidata Q650738
- thousand_plus: thousand_plus Q650738, Folk theorem (statement). Also Wikidata Q650738, Wikipedia Folk theorem (game theory)
- wikidata: Wikidata Q650738, folk theorem (statement). Also nLab folk theorem
- wikipedia: Wikipedia Folk theorem (game theory), Folk theorem (statement). Also Wikidata Q650738
History
- 2026-10-26: add by m2/dev
X6J7X6FZ93 X6J7X6FZ93
| URI | m2://inv/X6J7X6FZ93 |
|---|---|
| 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.20899#F61Q (statement). In BSMDFADA39/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.4.2
Polynomial SOS X6JNJZ5HEA
| URI | m2://inv/X6JNJZ5HEA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial SOS, Polynomial SOS (definition). Also Wikidata Q7226631
History
- 2026-11-02: add by m2/dev
X6JPSFZB0R X6JPSFZB0R
| URI | m2://inv/X6JPSFZB0R |
|---|---|
| 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 2608.23797#NVF6 (statement). In PZCA01JXVR/e1, corollary 6.5
History
- 2026-10-27: add by m2/v0.3.5
X6JQ6H4AP7 X6JQ6H4AP7
| URI | m2://inv/X6JQ6H4AP7 |
|---|---|
| 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 2609.24320#D13W (statement)
History
- 2026-11-01: add by m2/v0.6.15
X6KAH7XB7G X6KAH7XB7G
| URI | m2://inv/X6KAH7XB7G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11693#SSA2 (statement). In F8QNPNTBTZ/e1, proposition 4.3
History
- 2026-10-28: add by m2/v0.4.3
X6KAJSNV7W X6KAJSNV7W
| URI | m2://inv/X6KAJSNV7W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#theorem-2 (statement). In E9HS8K3A52, theorem, section 5.3.3
History
- 2026-11-01: add by m2/v0.6.13
X6KBTGWSET X6KBTGWSET
| URI | m2://inv/X6KBTGWSET |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20513#3FFU (statement)
History
- 2026-11-02: add by m2/v0.6.18
List of algebraic coding theory topics X6KENN6YF2
| URI | m2://inv/X6KENN6YF2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#8VU6, List of algebraic coding theory topics (topic)
History
- 2026-11-02: add by m2/dev
Julia Robinson Mathematics Festival X6KM122BM8
| URI | m2://inv/X6KM122BM8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Julia Robinson Mathematics Festival, Julia Robinson Mathematics Festival (definition). Also Wikidata Q54958959
History
- 2026-11-02: add by m2/dev
Peter Braam X6KZPNW2YZ
| URI | m2://inv/X6KZPNW2YZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Braam, Peter Braam (topic). Also Wikidata Q62102493
History
- 2026-11-02: add by m2/dev
Complete Heyting algebra X6M0VCMA5P
| URI | m2://inv/X6M0VCMA5P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#6JET, Complete Heyting algebra (definition)
History
- 2026-11-02: add by m2/dev
Definitions X6M49T9373
| URI | m2://inv/X6M49T9373 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modified Kumaraswamy distribution#B2ZT, Definitions (definition)
History
- 2026-11-02: add by m2/dev
cycle X6M6WVY58A
| URI | m2://inv/X6M6WVY58A |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/B/cycle, cycle (concept). In VNMV985MXX, index, section B
History
- 2026-11-01: add by m2/v0.6.13
X6MC0BTV55 X6MC0BTV55
| URI | m2://inv/X6MC0BTV55 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/incompleteness-provability/tarski-thm.tex#lem-2 (statement). In PKGMM3P5QY, lem, section 28.6
History
- 2026-11-01: add by m2/v0.6.13
X6MG20CS81 X6MG20CS81
| URI | m2://inv/X6MG20CS81 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#mv:changeofvarWxopen (exercise). In E59CDZA4DP, exercise, section 5.7.1
History
- 2026-11-01: add by m2/v0.6.13
Simple path (graph theory) X6MH7791D3
| URI | m2://inv/X6MH7791D3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Path (graph theory)#FVL0, Simple path (graph theory) (unknown)
History
- 2026-11-02: add by m2/dev
X6MQTPC5HM X6MQTPC5HM
| URI | m2://inv/X6MQTPC5HM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36922#XSOI (statement). In BMHWE5QTTR/e1, proposition 1.10
History
- 2026-10-30: add by m2/v0.4.12
X6MX9NJ4XE X6MX9NJ4XE
| URI | m2://inv/X6MX9NJ4XE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#theorem-3 (statement). In E9HS8K3A52, theorem, section 5.3.3
History
- 2026-11-01: add by m2/v0.6.13
Strong-to-weak class X6MZD6G1DV
| URI | m2://inv/X6MZD6G1DV |
|---|---|
| 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#UTLN, Strong-to-weak class (statement). In R9AXCJWK8F/e1, lemma 18
History
- 2026-10-29: add by m2/v0.4.12
X6N74VHR47 X6N74VHR47
| URI | m2://inv/X6N74VHR47 |
|---|---|
| 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.31216#RLIM (statement). In M9CSGRSRB3/e1, lemma 2.5
History
- 2026-10-31: add by m2/v0.5.6
X6N7Y10PB3 X6N7Y10PB3
| URI | m2://inv/X6N7Y10PB3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 19-XX, 20-XX, 22-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 2410.14097#K7V6 (statement). In H52QQS8WZA/e1, corollary 9.3
History
- 2026-10-27: add by m2/v0.3.5
X6NB74DR21 X6NB74DR21
| URI | m2://inv/X6NB74DR21 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-29 (exercise). In E9HS8K3A52, exercise, section 9.3.3
History
- 2026-11-01: add by m2/v0.6.13
Application to the Erdős–Szekeres theorem X6NCCJ4FG6
| URI | m2://inv/X6NCCJ4FG6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robinson–Schensted correspondence#UKNJ, Application to the Erdős–Szekeres theorem (statement)
History
- 2026-11-02: add by m2/dev
X6NGX2JS5Z X6NGX2JS5Z
| URI | m2://inv/X6NGX2JS5Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2609.33590#M7WQ (definition). In WRE0P7V6Z3/e1, definition 1.16
History
- 2026-10-30: add by m2/v0.4.12
Fritz Bützberger X6NW7G8GA6
| URI | m2://inv/X6NW7G8GA6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fritz Bützberger, Fritz Bützberger (topic). Also Wikidata Q37731760
History
- 2026-11-02: add by m2/dev
X6PG4JKSBJ X6PG4JKSBJ
| URI | m2://inv/X6PG4JKSBJ |
|---|---|
| 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.16235#2739 (statement). In RNGNWGMX85/e1, proposition 3.7
History
- 2026-10-28: add by m2/v0.4.2
X6PPC2N681 X6PPC2N681
| URI | m2://inv/X6PPC2N681 |
|---|---|
| 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.22272#NR5F (statement). In 4VZV5V0YD6/e1, lemma 12
History
- 2026-10-27: add by m2/v0.4.0
SymPy X6PQZERKWH
| URI | m2://inv/X6PQZERKWH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#KR9P, SymPy (unknown)
History
- 2026-11-02: add by m2/dev
X6PTHFPJBH X6PTHFPJBH
| URI | m2://inv/X6PTHFPJBH |
|---|---|
| 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#HSXP (statement). In ZQQEN3J866/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.4.2
Examples X6PXBKW9DG
| URI | m2://inv/X6PXBKW9DG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudomathematics#RM8E, Examples (example)
History
- 2026-11-02: add by m2/dev
Median absolute deviation X6Q04KRY22
| URI | m2://inv/X6Q04KRY22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Median absolute deviation, Median absolute deviation (definition). Also Wikidata Q3853702
History
- 2026-11-02: add by m2/dev
Transcendental function X6Q2F2SNEA
| URI | m2://inv/X6Q2F2SNEA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#CB5F, Transcendental function (definition)
History
- 2026-11-02: add by m2/dev
X6Q43BBBMH X6Q43BBBMH
| URI | m2://inv/X6Q43BBBMH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#C3KU (statement). In 3A4K47Y9F2/e1, theorem 6.24
History
- 2026-10-27: add by m2/v0.4.0
proof, by contradiction X6Q597TG9V
| URI | m2://inv/X6Q597TG9V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.11/proof-by-contradiction, proof, by contradiction (concept). In N54F33XE07, index, section A.11
History
- 2026-11-01: add by m2/v0.6.13
Frostman measures on analytic subsets of $\Q_p^m$ X6QEH3EWCC
| URI | m2://inv/X6QEH3EWCC |
|---|---|
| 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.22485#ADU9, Frostman measures on analytic subsets of $\Q_p^m$ (statement)
History
- 2026-11-02: add by m2/v0.6.17
X6QHMCZYCN X6QHMCZYCN
| URI | m2://inv/X6QHMCZYCN |
|---|---|
| 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.07092#Q3KK (statement). In JWNYJVH8XG/e1, theorem 2.13
History
- 2026-10-29: add by m2/v0.4.10
Exact normalization and recovery of Eisenstein coefficients X6QJVGWKEF
| URI | m2://inv/X6QJVGWKEF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25925#8T79, Exact normalization and recovery of Eisenstein coefficients (statement)
History
- 2026-11-01: add by m2/v0.6.15
differential X6QT58X06X
| URI | m2://inv/X6QT58X06X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#NPW2, differential (definition)
History
- 2026-11-02: add by m2/dev
Cube puzzle notation X6QYEPS6QR
| URI | m2://inv/X6QYEPS6QR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rubik's Cube#1J5X, Cube puzzle notation (unknown)
History
- 2026-11-02: add by m2/dev
X6QYHMR73X X6QYHMR73X
| URI | m2://inv/X6QYHMR73X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20716#7OA8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Proving logical formulas X6R0GNSK3C
| URI | m2://inv/X6R0GNSK3C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sequent calculus#445Q, Proving logical formulas (statement)
History
- 2026-11-02: add by m2/dev
Definition X6R27V7VQB
| URI | m2://inv/X6R27V7VQB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Howell normal form#5SZQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
X6R4AWYGGC X6R4AWYGGC
| URI | m2://inv/X6R4AWYGGC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-2.xml#exercise-6 (exercise). In 649HGZKE96, exercise, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
X6R6FNSQ35 X6R6FNSQ35
| URI | m2://inv/X6R6FNSQ35 |
|---|---|
| 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.09522#592J (statement). In KKR9167FPT/e1, theorem 14
History
- 2026-10-29: add by m2/v0.4.10
X6R6QKS9RS X6R6QKS9RS
| URI | m2://inv/X6R6QKS9RS |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30823#3L4U (conjecture). In 1YHQ9YNQ68/e1, conjecture 1.2
History
- 2026-10-31: add by m2/v0.5.6
Variance-based sensitivity analysis X6R8R2R2QH
| URI | m2://inv/X6R8R2R2QH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variance-based sensitivity analysis, Variance-based sensitivity analysis (definition). Also Wikidata Q7915756
History
- 2026-11-02: add by m2/dev
X6R9NHBCXC X6R9NHBCXC
| URI | m2://inv/X6R9NHBCXC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#6IIZ (statement). In TB1294GY5X/e1, theorem 1.23
History
- 2026-10-27: add by m2/v0.4.2
Geodesic lemma X6RE8SEF7Y
| URI | m2://inv/X6RE8SEF7Y |
|---|---|
| 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.11292#930U, Geodesic lemma (statement). In Y35XMETFV7/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.3
Hyper-pyritohedral group X6RG1YC70Z
| URI | m2://inv/X6RG1YC70Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperoctahedral group#5UUV, Hyper-pyritohedral group (unknown)
History
- 2026-11-02: add by m2/dev
Necessary and sufficient conditions for uniqueness X6RJ3VKTT5
| URI | m2://inv/X6RJ3VKTT5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.03461#4O5F, Necessary and sufficient conditions for uniqueness (statement). In XJVZSGCX5V/e1, corollary 3
History
- 2026-10-27: add by m2/v0.3.5
Notation X6RJMRKB8S
| URI | m2://inv/X6RJMRKB8S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor field#MTJU, Notation (definition)
History
- 2026-11-02: add by m2/dev
Weyl differintegral X6RK9AF3T9
| URI | m2://inv/X6RK9AF3T9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of harmonic analysis topics#V3KG, Weyl differintegral (unknown)
History
- 2026-11-02: add by m2/dev
X6RM2SG07E X6RM2SG07E
| URI | m2://inv/X6RM2SG07E |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.16411#WJPZ (proof). In QQ222ZDZC0/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
X6RT15R3S6 X6RT15R3S6
| URI | m2://inv/X6RT15R3S6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.07461#DM6H (statement). In GAG532VMPF/e1, lemma 6.2.10
History
- 2026-10-27: add by m2/v0.3.5
Properties X6RYVKZ6D7
| URI | m2://inv/X6RYVKZ6D7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beta function#TPVQ, Properties (statement)
History
- 2026-11-02: add by m2/dev
X6S3H0X9Z3 X6S3H0X9Z3
| URI | m2://inv/X6S3H0X9Z3 |
|---|---|
| Kind | problem |
| 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.28669#E8K0 (problem)
History
- 2026-11-01: add by m2/v0.6.15
X6S4ETDJBG X6S4ETDJBG
| URI | m2://inv/X6S4ETDJBG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#YUJH (statement). In 5KR3MHYVV6/e1, proposition 3.11
History
- 2026-10-28: add by m2/v0.4.2
X6SE0ZKAM5 X6SE0ZKAM5
| URI | m2://inv/X6SE0ZKAM5 |
|---|---|
| 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.01803#RQE2 (statement). In J6N4X33BME/e1, proposition 9
History
- 2026-10-29: add by m2/v0.4.12
X6SH641V2A X6SH641V2A
| URI | m2://inv/X6SH641V2A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#definition-8 (definition). In RZP28ERRZV, definition, section 100.7
History
- 2026-11-01: add by m2/v0.6.13
Sillitto's Theorem X6SJN6VNMM
| URI | m2://inv/X6SJN6VNMM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L-moment#DA6B, Sillitto's Theorem (statement)
History
- 2026-11-02: add by m2/dev
Full-content side covers X6SNZKJTDC
| URI | m2://inv/X6SNZKJTDC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27641#MCKT, Full-content side covers (statement)
History
- 2026-11-01: add by m2/v0.6.15
Nancy Flournoy X6SV6NJRXR
| URI | m2://inv/X6SV6NJRXR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nancy Flournoy, Nancy Flournoy (topic). Also Wikidata Q43605954
History
- 2026-11-02: add by m2/dev
X6T01RHBJX X6T01RHBJX
| URI | m2://inv/X6T01RHBJX |
|---|---|
| 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.10086#0MAI (statement). In NP9X9CAK19/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Fatma Moalla X6TD6WKZ55
| URI | m2://inv/X6TD6WKZ55 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fatma Moalla, Fatma Moalla (topic). Also Wikidata Q65572887
History
- 2026-11-02: add by m2/dev
graded X6TH4X7X6X
| URI | m2://inv/X6TH4X7X6X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#234E, graded (definition)
History
- 2026-11-02: add by m2/dev
Guided tour puzzle protocol X6V06S80GJ
| URI | m2://inv/X6V06S80GJ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Guided tour puzzle protocol, Guided tour puzzle protocol (problem). Also Wikidata Q5615499
History
- 2026-11-02: add by m2/dev
Linear continuity condition X6V2Z7XTCK
| URI | m2://inv/X6V2Z7XTCK |
|---|---|
| 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.20399#LOUH, Linear continuity condition (statement)
History
- 2026-11-02: add by m2/v0.6.18
Gábor Szegő X6V71X7ZP8
| URI | m2://inv/X6V71X7ZP8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#3LZ8, Gábor Szegő (topic)
History
- 2026-11-02: add by m2/dev
X6V8DCK32C X6V8DCK32C
| URI | m2://inv/X6V8DCK32C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18302#TU2P (statement). In VJTRH1S4JA/e1, corollary 5.2
History
- 2026-10-28: add by m2/v0.4.2
Conditional-yaw accuracy X6V9HE29SE
| URI | m2://inv/X6V9HE29SE |
|---|---|
| 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.10408#NEZ8, Conditional-yaw accuracy (statement). In H976NYKBNT/e1, proposition 14
History
- 2026-10-29: add by m2/v0.4.10
History of mathematical optimization X6VEZTKQY6
| URI | m2://inv/X6VEZTKQY6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical optimization#HD7F, History of mathematical optimization (unknown)
History
- 2026-11-02: add by m2/dev
X6VJ410B2Y X6VJ410B2Y
| URI | m2://inv/X6VJ410B2Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#thm:looptothe (statement). In N54F33XE07, cor, section 5.10
History
- 2026-11-01: add by m2/v0.6.13
X6VMYQR8G6 X6VMYQR8G6
| URI | m2://inv/X6VMYQR8G6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability.tex#proof-7 (proof). In PKGMM3P5QY, proof, section 8.10
History
- 2026-11-01: add by m2/v0.6.13
gyroelongated square bicupola X6VRH2RMCE
| URI | m2://inv/X6VRH2RMCE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2501156, gyroelongated square bicupola (object). Also MathWorld GyroelongatedSquareBicupola
- wikipedia: Wikipedia Gyroelongated square bicupola, Gyroelongated square bicupola (definition). Also Wikidata Q2501156
History
- 2026-10-26: add by m2/dev
Examples X6W026A2AJ
| URI | m2://inv/X6W026A2AJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double operator integral#3Q1Y, Examples (example)
History
- 2026-11-02: add by m2/dev
Dirichlet's principle on a Riemann surface X6W5FFFJ5T
| URI | m2://inv/X6W5FFFJ5T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential forms on a Riemann surface#T9BB, Dirichlet's principle on a Riemann surface (statement)
History
- 2026-11-02: add by m2/dev
Properties X6WGM6N6YS
| URI | m2://inv/X6WGM6N6YS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia U-invariant#E9E1, Properties (statement)
History
- 2026-11-02: add by m2/dev
Cullen prime X6WQ5VV7GB
| URI | m2://inv/X6WQ5VV7GB |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#B376, Cullen prime (conjecture)
History
- 2026-11-02: add by m2/dev
X6WSF9V0WP X6WSF9V0WP
| URI | m2://inv/X6WSF9V0WP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 2006.07610#9BY8 (statement). In RYB8WE6DQ4/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
X6WTVED3TN X6WTVED3TN
| URI | m2://inv/X6WTVED3TN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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.22317#11UW (definition). In 2W5Z97BBW4/e1, definition 2.33
History
- 2026-10-27: add by m2/v0.4.0
Definition X6WWBVQQGJ
| URI | m2://inv/X6WWBVQQGJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjugacy class sum#LDB8, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definition X6X6H402XT
| URI | m2://inv/X6X6H402XT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hessian form of an elliptic curve#HQP0, Definition (definition)
History
- 2026-11-02: add by m2/dev
X6XQ2V069P X6XQ2V069P
| URI | m2://inv/X6XQ2V069P |
|---|---|
| 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.11047#NY89 (statement). In MNQAZ70XTH/e1, lemma 5.8
History
- 2026-10-28: add by m2/v0.4.3
Disjunctive syllogism X6XX8C98SY
| URI | m2://inv/X6XX8C98SY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disjunctive syllogism, Disjunctive syllogism (definition). Also Wikidata Q430954
History
- 2026-11-02: add by m2/dev
X6Y4X23W8F X6Y4X23W8F
| URI | m2://inv/X6Y4X23W8F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27518#D6XM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Capital structure substitution - asset pricing formula X6Y8CC2D6S
| URI | m2://inv/X6Y8CC2D6S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stock valuation#XY6C, Capital structure substitution - asset pricing formula (statement)
History
- 2026-11-02: add by m2/dev
Jordan Ellenberg X6YC44XSDW
| URI | m2://inv/X6YC44XSDW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#H9GX, Jordan Ellenberg (topic)
History
- 2026-11-02: add by m2/dev
X6YREFBHDY X6YREFBHDY
| URI | m2://inv/X6YREFBHDY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.09700#CKAZ (statement). In XCSQ27P0XW/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.4.0
Expenditure minimization problem X6YWSYK6SN
| URI | m2://inv/X6YWSYK6SN |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expenditure minimization problem, Expenditure minimization problem (problem). Also Wikidata Q5253365
History
- 2026-11-02: add by m2/dev
Werner Fenchel X6Z1K1G61E
| URI | m2://inv/X6Z1K1G61E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#1Z18, Werner Fenchel (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#73VO, Werner Fenchel (topic)
History
- 2026-11-02: add by m2/dev
X6Z3GEPGJC X6Z3GEPGJC
| URI | m2://inv/X6Z3GEPGJC |
|---|---|
| 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.29671#LQXN (statement)
History
- 2026-11-01: add by m2/v0.6.15
X6ZCQH3XKA X6ZCQH3XKA
| URI | m2://inv/X6ZCQH3XKA |
|---|---|
| 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.12330#I5JY (statement). In XHSKEPT3VD/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
uniform integrability X6ZGS1YJZE
| URI | m2://inv/X6ZGS1YJZE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-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 2609.26645#Q0NO, uniform integrability (definition)
History
- 2026-11-01: add by m2/v0.6.15
X6ZJT9C71F X6ZJT9C71F
| URI | m2://inv/X6ZJT9C71F |
|---|---|
| Kind | statement |
| 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.10152#XCQ5 (statement). In KCJ53C7AXY/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Monte Carlo method X6ZNZ45W5R
| URI | m2://inv/X6ZNZ45W5R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics-based methods#OJ00, Monte Carlo method (definition)
History
- 2026-11-02: add by m2/dev
Network effect X6ZQ6E52RJ
| URI | m2://inv/X6ZQ6E52RJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of network theory topics#FRNB, Network effect (unknown)
History
- 2026-11-02: add by m2/dev
X6ZRETEQSC X6ZRETEQSC
| URI | m2://inv/X6ZRETEQSC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#E8I8 (statement). In M4ZVJWM8YA/e1, lemma A.14
History
- 2026-10-27: add by m2/v0.4.2
X6ZSM54F02 X6ZSM54F02
| URI | m2://inv/X6ZSM54F02 |
|---|---|
| Kind | example |
| 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.30750#G4XI (example). In DACV7NTAAK/e1, example D.3
History
- 2026-10-31: add by m2/v0.5.6