Inventory rows SF
The cards of the rows of the inventory whose ids start with SF. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
SF0HRENVYB SF0HRENVYB
| URI | m2://inv/SF0HRENVYB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08956#I9TN (statement). In DEE631KR3A/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.10
SF0PW97XHR SF0PW97XHR
| URI | m2://inv/SF0PW97XHR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-51 (exercise). In E9HS8K3A52, exercise, section 10.4.4
History
- 2026-11-01: add by m2/v0.6.13
Representation by truncated powers SF0TBHBWPY
| URI | m2://inv/SF0TBHBWPY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.34918#31DT, Representation by truncated powers (statement). In B3MNVE9149/e1, theorem 2.4
History
- 2026-10-30: add by m2/v0.4.12
Modified Newtonian dynamics SF10JECV78
| URI | m2://inv/SF10JECV78 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modified Newtonian dynamics, Modified Newtonian dynamics (conjecture). Also Wikidata Q1503556
History
- 2026-11-02: add by m2/dev
SF13CRQ9HE SF13CRQ9HE
| URI | m2://inv/SF13CRQ9HE |
|---|---|
| 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.20647#VALK (statement)
History
- 2026-11-02: add by m2/v0.6.18
521 honeycomb SF155148QD
| URI | m2://inv/SF155148QD |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#961R, 521 honeycomb (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#MA6S, 521 honeycomb (object)
History
- 2026-11-02: add by m2/dev
Examples SF1JABXQ3K
| URI | m2://inv/SF1JABXQ3K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snub (geometry)#COZ0, Examples (example)
History
- 2026-11-02: add by m2/dev
Mia Yamamoto SF1JT43CQG
| URI | m2://inv/SF1JT43CQG |
|---|---|
| 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#WDAD, Mia Yamamoto (unknown)
History
- 2026-11-02: add by m2/dev
Georg Simon Klügel SF1JVK81CQ
| URI | m2://inv/SF1JVK81CQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Georg Simon Klügel, Georg Simon Klügel (topic). Also Wikidata Q214378
History
- 2026-11-02: add by m2/dev
Paradox of the heap SF1YFENMEQ
| URI | m2://inv/SF1YFENMEQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#II79, Paradox of the heap (statement)
History
- 2026-11-02: add by m2/dev
SF24Y2H1WT SF24Y2H1WT
| URI | m2://inv/SF24Y2H1WT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-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 2610.14160#UIC4 (statement). In Y4TP36M0C7/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
SF26J1GJ99 SF26J1GJ99
| URI | m2://inv/SF26J1GJ99 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/spine/stagesbasics.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 75.1
History
- 2026-11-01: add by m2/v0.6.13
Stability above the first contact SF296EQR1E
| URI | m2://inv/SF296EQR1E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06480#DGYR, Stability above the first contact (statement). In 2Y47E704Z9/e1, proposition 8.14
History
- 2026-10-29: add by m2/v0.4.10
SF2KKA2KC7 SF2KKA2KC7
| URI | m2://inv/SF2KKA2KC7 |
|---|---|
| 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 2609.23972#2U4U (statement)
History
- 2026-11-02: add by m2/v0.6.17
logic, of mere propositions SF2N0Z6YZX
| URI | m2://inv/SF2N0Z6YZX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.6/logic-of-mere-propositions, logic, of mere propositions (concept). In N54F33XE07, index, section 9.6
History
- 2026-11-01: add by m2/v0.6.13
Primitive equations SF2P28277Z
| URI | m2://inv/SF2P28277Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partial differential equation topics#X85D, Primitive equations (definition)
History
- 2026-11-02: add by m2/dev
The starting bound SF36R07R1S
| URI | m2://inv/SF36R07R1S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06925#0ZJT, The starting bound (statement). In P0NV7337EK/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
SF38YGE0TJ SF38YGE0TJ
| URI | m2://inv/SF38YGE0TJ |
|---|---|
| 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.27699#F7S3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
SF3928GC5C SF3928GC5C
| URI | m2://inv/SF3928GC5C |
|---|---|
| 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 2011.14561#3GZ2 (statement). In V2XJJJX1Z8/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.5
SF3H5KZ7TF SF3H5KZ7TF
| URI | m2://inv/SF3H5KZ7TF |
|---|---|
| Kind | definition |
| 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 1810.06028#QE9O (definition). In ZPFHH6YJG3/e1, definition 2.22
History
- 2026-10-27: add by m2/v0.3.5
One-step contraction SF3PSD969R
| URI | m2://inv/SF3PSD969R |
|---|---|
| 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.38220#QK0I, One-step contraction (statement). In 1AC4S19925/e1, proposition 5.5
History
- 2026-10-30: add by m2/v0.4.12
SF3ZV434TZ SF3ZV434TZ
| URI | m2://inv/SF3ZV434TZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#BYWE (statement). In V5PVKDKGGG/e1, proposition 1.5
History
- 2026-10-28: add by m2/v0.4.2
Semantic mapping SF48Z47GVP
| URI | m2://inv/SF48Z47GVP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semantic mapping (statistics), Semantic mapping (definition). Also Wikidata Q7449071
History
- 2026-11-02: add by m2/dev
sublanguage SF4DG8QFG1
| URI | m2://inv/SF4DG8QFG1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#A0N1, sublanguage (definition)
History
- 2026-11-02: add by m2/dev
Independence of the decompositions SF4FESNXTN
| URI | m2://inv/SF4FESNXTN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21093#EJPN, Independence of the decompositions (statement). In TBFPBPQV3G/e1, proposition 3.7
History
- 2026-10-27: add by m2/v0.4.2
SF4H1CHRA8 SF4H1CHRA8
| URI | m2://inv/SF4H1CHRA8 |
|---|---|
| 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.15188#QYSO (statement). In J05DJNDXJE/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
SF4H8RB5JX SF4H8RB5JX
| URI | m2://inv/SF4H8RB5JX |
|---|---|
| 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.37897#AK96 (statement). In RBQ5FNCVNZ/e1, lemma 9.17
History
- 2026-10-30: add by m2/v0.4.12
Spatial network SF4N4QB440
| URI | m2://inv/SF4N4QB440 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spatial network, Spatial network (definition). Also Wikidata Q7574076
History
- 2026-11-02: add by m2/dev
SF4NHVH8EW SF4NHVH8EW
| URI | m2://inv/SF4NHVH8EW |
|---|---|
| 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.06806#4MOW (statement). In ZZQT0GFMT2/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.10
Comparison with Murphy's law SF4QB6BXEM
| URI | m2://inv/SF4QB6BXEM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sod's law#1GCW, Comparison with Murphy's law (statement)
History
- 2026-11-02: add by m2/dev
SF4TTR2035 SF4TTR2035
| URI | m2://inv/SF4TTR2035 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28336#F2WZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Heterogeneity in economics SF4WAGQKTZ
| URI | m2://inv/SF4WAGQKTZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heterogeneity in economics, Heterogeneity in economics (definition). Also Wikidata Q5747198
History
- 2026-11-02: add by m2/dev
Thomas W. Hungerford SF4ZNNFEN0
| URI | m2://inv/SF4ZNNFEN0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas W. Hungerford, Thomas W. Hungerford (topic). Also Wikidata Q7794756
History
- 2026-11-02: add by m2/dev
SF54CDCP4N SF54CDCP4N
| URI | m2://inv/SF54CDCP4N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33697#UWY1 (statement). In Q6GGQ29TRC/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
SF54QEKV65 SF54QEKV65
| URI | m2://inv/SF54QEKV65 |
|---|---|
| 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#5ZAB (statement). In TJH58FRGEN/e1, lemma 7.2
History
- 2026-10-29: add by m2/v0.4.12
Modulus and characteristic of convexity SF585395QS
| URI | m2://inv/SF585395QS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modulus and characteristic of convexity, Modulus and characteristic of convexity (definition). Also Wikidata Q6889819
History
- 2026-11-02: add by m2/dev
SF5AXATTKF SF5AXATTKF
| URI | m2://inv/SF5AXATTKF |
|---|---|
| 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.14450#MLIF (statement). In ZHTGQT07PE/e1, lemma 4.18
History
- 2026-10-28: add by m2/v0.4.2
Ambient derived-stack models SF5DSEN70M
| URI | m2://inv/SF5DSEN70M |
|---|---|
| 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#X8GN, Ambient derived-stack models (statement)
History
- 2026-11-01: add by m2/v0.6.15
Multiplicative cascade SF5E8TQ98M
| URI | m2://inv/SF5E8TQ98M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#7VZ0, Multiplicative cascade (unknown)
History
- 2026-11-02: add by m2/dev
SF5GV0CYCZ SF5GV0CYCZ
| URI | m2://inv/SF5GV0CYCZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23202#HX79 (definition)
History
- 2026-11-02: add by m2/v0.6.17
SF5PA46ZS8 SF5PA46ZS8
| URI | m2://inv/SF5PA46ZS8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37754#I197 (definition). In 3HPFAQKBEM/e1, definition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Andrzej Ehrenfeucht SF5PWW40NP
| URI | m2://inv/SF5PWW40NP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7Z5A, Andrzej Ehrenfeucht (topic)
- wikipedia: Wikipedia List of people by Erdős number#QG1A, Andrzej Ehrenfeucht (topic)
History
- 2026-11-02: add by m2/dev
1009 (number) SF5V6VTYMP
| URI | m2://inv/SF5V6VTYMP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1000 (number)#LZCW, 1009 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Newcastle–Ottawa scale SF5YJN6ERH
| URI | m2://inv/SF5YJN6ERH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newcastle–Ottawa scale, Newcastle–Ottawa scale (definition). Also Wikidata Q3046943
History
- 2026-11-02: add by m2/dev
Saturated array SF63J18XC4
| URI | m2://inv/SF63J18XC4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Saturated array, Saturated array (definition). Also Wikidata Q7426580
History
- 2026-11-02: add by m2/dev
Properties SF68TVS57M
| URI | m2://inv/SF68TVS57M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz projector#PBU7, Properties (statement)
History
- 2026-11-02: add by m2/dev
Prior concentration and separation SF6BNZN6SS
| URI | m2://inv/SF6BNZN6SS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10860#SGOX, Prior concentration and separation (statement). In PBYNV2WF2H/e1, lemma 5.11
History
- 2026-10-28: add by m2/v0.4.3
Persi Diaconis SF6D4SM0A7
| URI | m2://inv/SF6D4SM0A7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#ZVYI, Persi Diaconis (topic)
History
- 2026-11-02: add by m2/dev
SF6K4V6YM9 SF6K4V6YM9
| URI | m2://inv/SF6K4V6YM9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#example-15 (example). In VNMV985MXX, example, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
SF6Q5QPX1E SF6Q5QPX1E
| URI | m2://inv/SF6Q5QPX1E |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-paths.ptx#exercise-5 (exercise). In Y91XFCEVHQ, exercise, section 5.5
History
- 2026-11-01: add by m2/v0.6.13
Approximation algorithms for k-minimum spanning trees SF6ZYJJ95C
| URI | m2://inv/SF6ZYJJ95C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-minimum spanning tree#O7W8, Approximation algorithms for k-minimum spanning trees (unknown)
History
- 2026-11-02: add by m2/dev
SF700K67BM SF700K67BM
| URI | m2://inv/SF700K67BM |
|---|---|
| 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 2208.14274#JQ0X (statement). In 2FKE7JPQ76/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
SF732SAZT8 SF732SAZT8
| URI | m2://inv/SF732SAZT8 |
|---|---|
| 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.19036#V48T (statement). In 76GJ814P0A/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
octahedral graph SF73TYBJTX
| URI | m2://inv/SF73TYBJTX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115589, octahedral graph (unknown). Also House of Graphs 226, MathWorld OctahedralGraph
History
- 2026-10-26: add by m2/dev
Minimal automaton SF73YEEYRQ
| URI | m2://inv/SF73YEEYRQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DFA minimization#K04F, Minimal automaton (unknown)
History
- 2026-11-02: add by m2/dev
Gauss and Lobatto bracket SF783RD6YD
| URI | m2://inv/SF783RD6YD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.34918#0YJ9, Gauss and Lobatto bracket (statement). In B3MNVE9149/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
SF7AY9JM31 SF7AY9JM31
| URI | m2://inv/SF7AY9JM31 |
|---|---|
| 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.21963#W42A (statement). In HR9R8RPKN8/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.4.2
Seven Hogs SF7BAVX2XY
| URI | m2://inv/SF7BAVX2XY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#FNQ9, Seven Hogs (unknown)
History
- 2026-11-02: add by m2/dev
Examples SF7GBKA3E4
| URI | m2://inv/SF7GBKA3E4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dyadic derivative#LZB1, Examples (example)
History
- 2026-11-02: add by m2/dev
Formal definition SF7W0HS60A
| URI | m2://inv/SF7W0HS60A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scale (descriptive set theory)#V0OL, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Hvedri Inassaridze SF80MKV9R1
| URI | m2://inv/SF80MKV9R1 |
|---|---|
| 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 Q102123707, Hvedri Inassaridze (unknown). Also nLab Hvedri Inassaridze
History
- 2026-10-26: add by m2/dev
Fermat's theorem on sums of two squares SF88D9D314
| URI | m2://inv/SF88D9D314 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/artin.tex#theorem-4, Fermat's theorem on sums of two squares (statement). In RZP28ERRZV, theorem, section 8.7
History
- 2026-11-01: add by m2/v0.6.13
Weierstrass factorization theorem SF88M6C2C5
| URI | m2://inv/SF88M6C2C5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-43, Weierstrass factorization theorem (statement). In VNMV985MXX, thm, section B
History
- 2026-11-01: add by m2/v0.6.13
Convexity in economics SF8CBSRV7S
| URI | m2://inv/SF8CBSRV7S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convexity in economics, Convexity in economics (definition). Also Wikidata Q5166531
History
- 2026-11-02: add by m2/dev
3203 (number) SF8EPQTM75
| URI | m2://inv/SF8EPQTM75 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3000 (number)#7HGI, 3203 (number) (unknown)
History
- 2026-11-02: add by m2/dev
SF8J7X05VN SF8J7X05VN
| URI | m2://inv/SF8J7X05VN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.04265#EQT1 (statement). In YHA9M56TBB/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.4.0
Polish notation SF8P0GMSMX
| URI | m2://inv/SF8P0GMSMX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polish notation, Polish notation (definition). Also Wikidata Q214510
History
- 2026-11-02: add by m2/dev
SF8QF830QW SF8QF830QW
| URI | m2://inv/SF8QF830QW |
|---|---|
| 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.17516#9U3H (statement). In Z16NBNM4AK/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
SF91EGRMQB SF91EGRMQB
| URI | m2://inv/SF91EGRMQB |
|---|---|
| Kind | definition |
| 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 2610.05914#S6CI (definition). In V8MYP6MBAZ/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.10
Central conic SF99E8CN2E
| URI | m2://inv/SF99E8CN2E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix representation of conic sections#4VJI, Central conic (unknown)
History
- 2026-11-02: add by m2/dev
SF9DCGEXZZ SF9DCGEXZZ
| URI | m2://inv/SF9DCGEXZZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20909#I3KP (statement). In 7ZBX5WVEZP/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.2
SF9KV4SG6F SF9KV4SG6F
| URI | m2://inv/SF9KV4SG6F |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 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 2609.23469#D6SI (example)
History
- 2026-11-02: add by m2/v0.6.17
Well-quasi-ordering SF9Q7F5R5C
| URI | m2://inv/SF9Q7F5R5C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order structures in mathematics#HOMY, Well-quasi-ordering (definition)
History
- 2026-11-02: add by m2/dev
Eduard Selling SF9QRZ67DR
| URI | m2://inv/SF9QRZ67DR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eduard Selling, Eduard Selling (topic). Also Wikidata Q15456440
History
- 2026-11-02: add by m2/dev
Frederi Viens SF9TNYDVBY
| URI | m2://inv/SF9TNYDVBY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frederi Viens, Frederi Viens (topic). Also Wikidata Q102169669
History
- 2026-11-02: add by m2/dev
Superlens SF9TZ2T3W0
| URI | m2://inv/SF9TZ2T3W0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superlens, Superlens (definition). Also Wikidata Q3504693
History
- 2026-11-02: add by m2/dev
SFA1218N3S SFA1218N3S
| URI | m2://inv/SFA1218N3S |
|---|---|
| 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.15169#UA06 (statement). In V7SN19J84T/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Gross reproduction rate SFAE7M5238
| URI | m2://inv/SFAE7M5238 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gross reproduction rate, Gross reproduction rate (definition). Also Wikidata Q5610522
History
- 2026-11-02: add by m2/dev
SFAEBBT2TF SFAEBBT2TF
| URI | m2://inv/SFAEBBT2TF |
|---|---|
| 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.33557#O72R (statement). In 95YZVAPGJA/e1, lemma 6.2
History
- 2026-10-30: add by m2/v0.4.12
Theorem: averaging in the periodic case SFAF3XC8XX
| URI | m2://inv/SFAF3XC8XX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of averaging#MISW, Theorem: averaging in the periodic case (statement)
History
- 2026-11-02: add by m2/dev
SFAJ3H4EGA SFAJ3H4EGA
| URI | m2://inv/SFAJ3H4EGA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2005.03073#WQA9 (statement). In P2ETMXKVDS/e1, theorem 5.4
History
- 2026-10-27: add by m2/v0.3.5
Octagon SFAKPDNSB3
| URI | m2://inv/SFAKPDNSB3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#VE4U, Octagon (definition)
History
- 2026-11-02: add by m2/dev
Mark Mclean SFAX0FZ26H
| URI | m2://inv/SFAX0FZ26H |
|---|---|
| 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#U8EI, Mark Mclean (unknown)
History
- 2026-11-02: add by m2/dev
SFAYC9Z7Z6 SFAYC9Z7Z6
| URI | m2://inv/SFAYC9Z7Z6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33124#6NBP (example). In P27HYGQDAN/e1, example 22
History
- 2026-10-30: add by m2/v0.4.12
Identity matrix SFBF0JAV96
| URI | m2://inv/SFBF0JAV96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#O38R, Identity matrix (definition)
History
- 2026-11-02: add by m2/dev
SFBG4NVEMD SFBG4NVEMD
| URI | m2://inv/SFBG4NVEMD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37865#B17L (statement). In 1ADMH800X0/e1, theorem 7
History
- 2026-10-30: add by m2/v0.4.12
Karma Dajani SFBM845JBE
| URI | m2://inv/SFBM845JBE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karma Dajani, Karma Dajani (topic). Also Wikidata Q86929839
History
- 2026-11-02: add by m2/dev
arithmetic functions SFBMSS7KVG
| URI | m2://inv/SFBMSS7KVG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Number theory > arithmetic functions, arithmetic functions (unknown). Also Mathlib ArithmeticFunction
History
- 2026-10-26: add by m2/dev
SFBRKKCPMZ SFBRKKCPMZ
| URI | m2://inv/SFBRKKCPMZ |
|---|---|
| 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 2610.20758#1P2J (statement). In PG0B4PH9YH/e1, fact 5.16
History
- 2026-10-27: add by m2/v0.4.2
Paul Sally SFBV41CB5Q
| URI | m2://inv/SFBV41CB5Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Sally, Paul Sally (topic). Also Wikidata Q7153413
History
- 2026-11-02: add by m2/dev
Robert Wedderburn SFBV54CY6X
| URI | m2://inv/SFBV54CY6X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Wedderburn (statistician), Robert Wedderburn (topic). Also Wikidata Q3938461
History
- 2026-11-02: add by m2/dev
SFBXRT2DWP SFBXRT2DWP
| URI | m2://inv/SFBXRT2DWP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_induction_exercises.ptx#exercise-11 (exercise). In QKM9DD2H56, exercise, section 3
History
- 2026-11-01: add by m2/v0.6.13
Focus SFC3XM8GA0
| URI | m2://inv/SFC3XM8GA0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Focus (geometry), Focus (definition). Also Wikidata Q3568
History
- 2026-11-02: add by m2/dev
N! conjecture SFC5XFSANF
| URI | m2://inv/SFC5XFSANF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N! conjecture, N! conjecture (statement). Also Wikidata Q6951238
History
- 2026-11-02: add by m2/dev
Riemann surface SFC77Y71DA
| URI | m2://inv/SFC77Y71DA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#O1P9, Riemann surface (definition)
- wikipedia: Wikipedia List of complex analysis topics#J034, Riemann surface (definition)
- wikipedia: Wikipedia List of differential geometry topics#PPOG, Riemann surface (definition)
- wikipedia: Wikipedia List of algebraic geometry topics#C8P8, Riemann surface (definition)
- wikipedia: Wikipedia List of curves topics#5B7S, Riemann surface (definition)
History
- 2026-11-02: add by m2/dev
Applications SFCG100W96
| URI | m2://inv/SFCG100W96 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geodesics on an ellipsoid#YWJX, Applications (example)
History
- 2026-11-02: add by m2/dev
SFCJ9PQKZB SFCJ9PQKZB
| URI | m2://inv/SFCJ9PQKZB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#cor:preservation-hlevels-weq (statement). In N54F33XE07, cor, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Scott--Sokal tree bound SFCJZ1G6YG
| URI | m2://inv/SFCJZ1G6YG |
|---|---|
| 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.25038#EKOM, Scott--Sokal tree bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
Three-leaved clover SFCSWPKDCJ
| URI | m2://inv/SFCSWPKDCJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#LYF9, Three-leaved clover (definition)
History
- 2026-11-02: add by m2/dev
SFCY0GY81H SFCY0GY81H
| URI | m2://inv/SFCY0GY81H |
|---|---|
| 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.37739#ICZ0 (statement). In F5XF5VXTXY/e1, theorem 6.2
History
- 2026-10-30: add by m2/v0.4.12
Molecular dynamics algorithms SFCZX1RH7V
| URI | m2://inv/SFCZX1RH7V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Molecular dynamics#VEUN, Molecular dynamics algorithms (definition)
History
- 2026-11-02: add by m2/dev
power of a point SFD0W988SQ
| URI | m2://inv/SFD0W988SQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#9ZQ8, power of a point (definition)
History
- 2026-11-02: add by m2/dev
SFD386PV5S SFD386PV5S
| URI | m2://inv/SFD386PV5S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33263#ZONQ (statement). In 6S5EH3388Z/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
Applications SFD3CE44CQ
| URI | m2://inv/SFD3CE44CQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Key encapsulation mechanism#PQQS, Applications (example)
History
- 2026-11-02: add by m2/dev
SFDAPD49K8 SFDAPD49K8
| URI | m2://inv/SFDAPD49K8 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#proof-22 (proof). In N54F33XE07, proof, section C.3
History
- 2026-11-01: add by m2/v0.6.13
Applications SFDYY3PCST
| URI | m2://inv/SFDYY3PCST |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete sine transform#PEQQ, Applications (example)
History
- 2026-11-02: add by m2/dev
Bayes estimator SFE08MYV9M
| URI | m2://inv/SFE08MYV9M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4XEG, Bayes estimator (definition)
History
- 2026-11-02: add by m2/dev
flag boxes from constant ranks SFE1KEK211
| URI | m2://inv/SFE1KEK211 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.04000#T3Y9, flag boxes from constant ranks (statement). In CBCCH5VTMQ/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.12
SFE94ZG5M3 SFE94ZG5M3
| URI | m2://inv/SFE94ZG5M3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21060#2UW7 (definition)
History
- 2026-11-02: add by m2/v0.6.18
SFEAXXREPM SFEAXXREPM
| URI | m2://inv/SFEAXXREPM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/three-valued-logics/kleene.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 42.4
History
- 2026-11-01: add by m2/v0.6.13
SFECHYJXP6 SFECHYJXP6
| URI | m2://inv/SFECHYJXP6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31126#FC0L (definition). In GK1V5GEHTK/e1, definition 2.7
History
- 2026-10-31: add by m2/v0.5.6
$G$-structures, c.f. SFEG6K5RWR
| URI | m2://inv/SFEG6K5RWR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28514#1TDB, $G$-structures, c.f. (definition)
History
- 2026-11-01: add by m2/v0.6.15
Babinet's principle SFEQ04K51S
| URI | m2://inv/SFEQ04K51S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diffraction#63CH, Babinet's principle (statement)
History
- 2026-11-02: add by m2/dev
SFERNNSGQR SFERNNSGQR
| URI | m2://inv/SFERNNSGQR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.04870#5O7D (statement). In X765ZXXVC3/e1, lemma 4.21
History
- 2026-10-29: add by m2/v0.4.12
SFEXTRX5KH SFEXTRX5KH
| URI | m2://inv/SFEXTRX5KH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.31249#CWVP (statement). In RAVR2W9S0B/e1, theorem 1.1
History
- 2026-10-31: add by m2/v0.5.6
Paolo Marcellini SFF0FC925R
| URI | m2://inv/SFF0FC925R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paolo Marcellini, Paolo Marcellini (topic). Also Wikidata Q15503350
History
- 2026-11-02: add by m2/dev
SFF5NS9P1D SFF5NS9P1D
| URI | m2://inv/SFF5NS9P1D |
|---|---|
| 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.30363#LM8O (statement). In QHBBP180QJ/e1, proposition 18
History
- 2026-10-31: add by m2/v0.5.6
Saul Teukolsky SFF6FM8G32
| URI | m2://inv/SFF6FM8G32 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#H8UC, Saul Teukolsky (unknown)
History
- 2026-11-02: add by m2/dev
SFF87BCNTX SFF87BCNTX
| URI | m2://inv/SFF87BCNTX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0911.1417#QHLZ (definition). In BBD7TZW79R/e1, definition 5.3
History
- 2026-10-27: add by m2/v0.3.5
SFFECRVJ5F SFFECRVJ5F
| URI | m2://inv/SFFECRVJ5F |
|---|---|
| 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.02791#XDE3 (statement). In TT9BA4VMTW/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.12
Generalizations SFFFERQBVC
| URI | m2://inv/SFFFERQBVC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Instant Insanity#AXT4, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
SFFJFHG5JM SFFJFHG5JM
| URI | m2://inv/SFFJFHG5JM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06669#85RQ (statement). In YXD3950ZXR/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
Logistic sigmoid SFFRVBXSCT
| URI | m2://inv/SFFRVBXSCT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09044#TYIL, Logistic sigmoid (example). In 4KYENHR0J8/e1, example 3
History
- 2026-10-29: add by m2/v0.4.10
Examples SFFTXBJPWC
| URI | m2://inv/SFFTXBJPWC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cupola (geometry)#9AIG, Examples (example)
History
- 2026-11-02: add by m2/dev
SFG6PECZ13 SFG6PECZ13
| URI | m2://inv/SFG6PECZ13 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2610.09422#L5TA (definition). In MS7M2BJS9X/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
SFG78BE45H SFG78BE45H
| URI | m2://inv/SFG78BE45H |
|---|---|
| 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#JFRB (statement). In 6G1KBA0SXV/e1, lemma 4.14
History
- 2026-10-31: add by m2/v0.5.6
SFGFFG7X69 SFGFFG7X69
| URI | m2://inv/SFGFFG7X69 |
|---|---|
| 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 2506.16491#0XX3 (statement). In P9J6P06Y40/e1, theorem 4.14
History
- 2026-10-27: add by m2/v0.3.5
SFH5WCC0QA SFH5WCC0QA
| URI | m2://inv/SFH5WCC0QA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2409.01237#6TEO (statement). In M9VHCG48HB/e1, corollary 6.5
History
- 2026-10-27: add by m2/v0.3.5
SFH7EVSB5N SFH7EVSB5N
| URI | m2://inv/SFH7EVSB5N |
|---|---|
| Kind | problem |
| 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.29943#114V (problem)
History
- 2026-11-01: add by m2/v0.6.15
SFHN5MTVHN SFHN5MTVHN
| URI | m2://inv/SFHN5MTVHN |
|---|---|
| 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.36877#XXP7 (statement). In FYS6VV5M99/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
SFHNQAX1ZJ SFHNQAX1ZJ
| URI | m2://inv/SFHNQAX1ZJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24593#OA6C (statement)
History
- 2026-11-01: add by m2/v0.6.15
multi-ball and paired-copy estimates SFHQJ62P3S
| URI | m2://inv/SFHQJ62P3S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.04000#KKW7, multi-ball and paired-copy estimates (statement). In CBCCH5VTMQ/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
Eeden, Constance van SFHYCM5E97
| URI | m2://inv/SFHYCM5E97 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#3IY5, Eeden, Constance van (topic)
History
- 2026-11-02: add by m2/dev
Definition SFJ5RGAAFQ
| URI | m2://inv/SFJ5RGAAFQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectrum of a sentence#5J69, Definition (definition)
History
- 2026-11-02: add by m2/dev
SFJ8MACTQX SFJ8MACTQX
| URI | m2://inv/SFJ8MACTQX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05820#XDWZ (statement). In S8EGCJQ0JV/e1, theorem 6.1
History
- 2026-10-29: add by m2/v0.4.10
Smooth projective plane SFJ8T0D5JR
| URI | m2://inv/SFJ8T0D5JR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smooth projective plane, Smooth projective plane (definition). Also Wikidata Q48996344
History
- 2026-11-02: add by m2/dev
SFJCY7P13N SFJCY7P13N
| URI | m2://inv/SFJCY7P13N |
|---|---|
| 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.21438#KZ8F (statement)
History
- 2026-11-02: add by m2/v0.6.18
Rokunohe SFJEF94RNS
| URI | m2://inv/SFJEF94RNS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#Q29X, Rokunohe (unknown)
History
- 2026-11-02: add by m2/dev
SFJP9C3H70 SFJP9C3H70
| URI | m2://inv/SFJP9C3H70 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#097Q (definition). In 9YAE8FNQST/e1, definition 30.5
History
- 2026-10-30: add by m2/v0.4.12
John A. Adam SFJREJX8WQ
| URI | m2://inv/SFJREJX8WQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John A. Adam (mathematician), John A. Adam (topic). Also Wikidata Q110245489
History
- 2026-11-02: add by m2/dev
1-in-3-SAT SFJYRSND5F
| URI | m2://inv/SFJYRSND5F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1-in-3-SAT, 1-in-3-SAT (definition). Also Wikidata Q134302204
History
- 2026-11-02: add by m2/dev
François Trèves SFK25RV17D
| URI | m2://inv/SFK25RV17D |
|---|---|
| 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 Q1451207, François Trèves (unknown). Also nLab François Trèves
History
- 2026-10-26: add by m2/dev
SFK81FBQ81 SFK81FBQ81
| URI | m2://inv/SFK81FBQ81 |
|---|---|
| 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 2403.01959#E1ZR (statement). In 5YMNGJRC6Y/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.5
locally bounded function SFK8F34PVS
| URI | m2://inv/SFK8F34PVS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/1.1/locally-bounded-function, locally bounded function (concept). In VNMV985MXX, index, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
SFKCN310KM SFKCN310KM
| URI | m2://inv/SFKCN310KM |
|---|---|
| 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.15700#LU8T (statement). In S95MSZ7MDR/e1, lemma 3.9
History
- 2026-10-28: add by m2/v0.4.2
SFKMFHQJMA SFKMFHQJMA
| URI | m2://inv/SFKMFHQJMA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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.21969#LIAK (definition)
History
- 2026-11-02: add by m2/v0.6.17
Relation algebra SFKQTDXGR2
| URI | m2://inv/SFKQTDXGR2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#4KB7, Relation algebra (definition)
History
- 2026-11-02: add by m2/dev
SFM00KN8N4 SFM00KN8N4
| URI | m2://inv/SFM00KN8N4 |
|---|---|
| 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.08935#RJ4M (statement). In G02N9D40B9/e1, lemma 4.3.2
History
- 2026-10-29: add by m2/v0.4.10
Domain coloring SFM05AAJ4K
| URI | m2://inv/SFM05AAJ4K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Domain coloring, Domain coloring (definition). Also Wikidata Q5289811
History
- 2026-11-02: add by m2/dev
Regular continuous family SFM0FF2TZB
| URI | m2://inv/SFM0FF2TZB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 60-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.07285#2074, Regular continuous family (definition). In S284XRA4WK/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.10
Process-level local-to-CEV approximation SFM1F8Y8FB
| URI | m2://inv/SFM1F8Y8FB |
|---|---|
| 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.05864#XVS0, Process-level local-to-CEV approximation (statement). In 31QPXWDZSH/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.10
Representations SFM2T73QZV
| URI | m2://inv/SFM2T73QZV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fischer group Fi24#3TOI, Representations (definition)
History
- 2026-11-02: add by m2/dev
Prime-degree support saturation SFM71CD42Y
| URI | m2://inv/SFM71CD42Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20572#KN2L, Prime-degree support saturation (statement)
History
- 2026-11-02: add by m2/v0.6.18
SFMB324FCK SFMB324FCK
| URI | m2://inv/SFMB324FCK |
|---|---|
| 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.32585#0DAU (statement). In FJFJ3WR1SS/e1, proposition 5.4
History
- 2026-10-31: add by m2/v0.5.6
SFMNDQHZWM SFMNDQHZWM
| URI | m2://inv/SFMNDQHZWM |
|---|---|
| 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.14681#LR1Y (statement). In 459W0NBS5Q/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
SFMYYHSX89 SFMYYHSX89
| URI | m2://inv/SFMYYHSX89 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.24542#W498 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Domina Eberle Spencer SFMZ9W19QE
| URI | m2://inv/SFMZ9W19QE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Domina Eberle Spencer, Domina Eberle Spencer (topic). Also Wikidata Q5290282
History
- 2026-11-02: add by m2/dev
Leslie Fox Prize for Numerical Analysis SFN0H814RH
| URI | m2://inv/SFN0H814RH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leslie Fox Prize for Numerical Analysis, Leslie Fox Prize for Numerical Analysis (definition). Also Wikidata Q6530815
History
- 2026-11-02: add by m2/dev
Definitions SFNBJK5600
| URI | m2://inv/SFNBJK5600 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Critical thinking#0ZBI, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Augmented truncated cube SFNFF2EQAX
| URI | m2://inv/SFNFF2EQAX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#PTH8, Augmented truncated cube (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#O1VD, Augmented truncated cube (definition)
History
- 2026-11-02: add by m2/dev
SFNHTYXM7J SFNHTYXM7J
| URI | m2://inv/SFNHTYXM7J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17909#AI0U (statement). In YXZX6Z8S6A/e1, theorem 5.16
History
- 2026-10-28: add by m2/v0.4.2
Poynting vector SFNJP4CJAJ
| URI | m2://inv/SFNJP4CJAJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poynting vector, Poynting vector (definition). Also Wikidata Q504186
History
- 2026-11-02: add by m2/dev
SFNJQJA84W SFNJQJA84W
| URI | m2://inv/SFNJQJA84W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20687#TF43 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Bert Broer SFNPB6EVNZ
| URI | m2://inv/SFNPB6EVNZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bert Broer, Bert Broer (topic). Also Wikidata Q4894989
History
- 2026-11-02: add by m2/dev
SFNPSE4N9D SFNPSE4N9D
| URI | m2://inv/SFNPSE4N9D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35636#7J9U (statement). In GKZTXVA43Z/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
significance arithmetic SFNW92F7V7
| URI | m2://inv/SFNW92F7V7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7512953, significance arithmetic (unknown). Also MathWorld SignificanceArithmetic
History
- 2026-10-26: add by m2/dev
SFP6KWMTE9 SFP6KWMTE9
| URI | m2://inv/SFP6KWMTE9 |
|---|---|
| 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 2608.24424#19JN (statement). In RQHGZ4AA5T/e1, theorem 5.3
History
- 2026-10-27: add by m2/v0.3.6
SFP793YGTK SFP793YGTK
| URI | m2://inv/SFP793YGTK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2005.03073#2T4J (statement). In P2ETMXKVDS/e1, proposition 6.2
History
- 2026-10-27: add by m2/v0.3.5
Horst Herrlich SFPBQ88WVC
| URI | m2://inv/SFPBQ88WVC |
|---|---|
| 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 Q20180377, Horst Herrlich (unknown). Also nLab Horst Herrlich
- wikipedia: Wikipedia Horst Herrlich, Horst Herrlich (topic). Also Wikidata Q20180377
History
- 2026-10-26: add by m2/dev
SFPFG8PVJC SFPFG8PVJC
| URI | m2://inv/SFPFG8PVJC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2109.09268#9TK0 (statement). In SYZFEVFHC3/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
Crunode SFPMV0TEWA
| URI | m2://inv/SFPMV0TEWA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#41T5, Crunode (definition)
History
- 2026-11-02: add by m2/dev
Applications SFPVCFEMB9
| URI | m2://inv/SFPVCFEMB9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goddard–Thorn theorem#ZOW4, Applications (example)
History
- 2026-11-02: add by m2/dev
Properties of the shift operator SFQ7N9MJB3
| URI | m2://inv/SFQ7N9MJB3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shift operator#07VX, Properties of the shift operator (statement)
History
- 2026-11-02: add by m2/dev
SFQ7RHKCWT SFQ7RHKCWT
| URI | m2://inv/SFQ7RHKCWT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20153#8ZMQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
SFQBNV7PB4 SFQBNV7PB4
| URI | m2://inv/SFQBNV7PB4 |
|---|---|
| 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.15291#792Y (statement). In YVS8268AG8/e1, lemma C.1
History
- 2026-10-28: add by m2/v0.4.2
Veniamin Kagan SFQHC9YQ7V
| URI | m2://inv/SFQHC9YQ7V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#1SQ4, Veniamin Kagan (topic)
History
- 2026-11-02: add by m2/dev
SFQRBBXBFJ SFQRBBXBFJ
| URI | m2://inv/SFQRBBXBFJ |
|---|---|
| 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.38396#AVOK (statement). In FGNNVKQR1Z/e1, theorem 5.8
History
- 2026-10-30: add by m2/v0.4.12
Yusuke Hagihara SFQV6PR9HN
| URI | m2://inv/SFQV6PR9HN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#10IP, Yusuke Hagihara (unknown)
History
- 2026-11-02: add by m2/dev
SFR4WQQ6VD SFR4WQQ6VD
| URI | m2://inv/SFR4WQQ6VD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09133#JIW8 (statement). In E7BPGPP9Z5/e1, theorem 4.12
History
- 2026-10-29: add by m2/v0.4.10
SFRCMXJ7SW SFRCMXJ7SW
| URI | m2://inv/SFRCMXJ7SW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21732#22T6 (definition). In 6DJDRXDQNB/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.4.2
Deligne conjecture SFRF0WVW47
| URI | m2://inv/SFRF0WVW47 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#NZ7E, Deligne conjecture (topic)
History
- 2026-11-02: add by m2/dev
SFRHS7QQ2R SFRHS7QQ2R
| URI | m2://inv/SFRHS7QQ2R |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2305.10921#6ZJB (example). In PD5PJ0EYG6/e1, example 4.4
History
- 2026-10-27: add by m2/v0.3.5
even SFRKMT1DH5
| URI | m2://inv/SFRKMT1DH5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#BXFK, even (definition)
History
- 2026-11-02: add by m2/dev
SFRNRXZA7K SFRNRXZA7K
| URI | m2://inv/SFRNRXZA7K |
|---|---|
| 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 2106.11898#0C05 (statement). In KXXV5X8AG4/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.6
SFRZ55QA9M SFRZ55QA9M
| URI | m2://inv/SFRZ55QA9M |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/arithmetization-syntax/substitution.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 27.8
History
- 2026-11-01: add by m2/v0.6.13
Composition of twists SFRZWFJVH3
| URI | m2://inv/SFRZWFJVH3 |
|---|---|
| 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.13892#XAA9, Composition of twists (statement). In HV9KKEBBDD/e1, lemma IV.3
History
- 2026-10-28: add by m2/v0.4.2
SFS0KTX7TK SFS0KTX7TK
| URI | m2://inv/SFS0KTX7TK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20444#XD33 (statement)
History
- 2026-11-02: add by m2/v0.6.18
SFS1426SGT SFS1426SGT
| URI | m2://inv/SFS1426SGT |
|---|---|
| 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.01796#0HNN (statement). In JC3PAB5DRC/e1, lemma 11
History
- 2026-10-29: add by m2/v0.4.12
Algorithm SFS21T69Q9
| URI | m2://inv/SFS21T69Q9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twisting properties#ROZN, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
SFS33JPEWW SFS33JPEWW
| URI | m2://inv/SFS33JPEWW |
|---|---|
| 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.00364#5DTZ (statement). In ANR3DHYQPQ/e1, proposition B
History
- 2026-10-30: add by m2/v0.4.12
endpoint problem SFS96TYJ37
| URI | m2://inv/SFS96TYJ37 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/5.1.1/endpoint-problem, endpoint problem (concept). In E9HS8K3A52, index, section 5.1.1
History
- 2026-11-01: add by m2/v0.6.13
SFSCJ16T83 SFSCJ16T83
| URI | m2://inv/SFSCJ16T83 |
|---|---|
| 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.37026#KJ0T (statement). In QGZPH9W8GY/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Applications SFSJR0NZZZ
| URI | m2://inv/SFSJR0NZZZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expander mixing lemma#0V58, Applications (example)
History
- 2026-11-02: add by m2/dev
Definition SFSQP930C0
| URI | m2://inv/SFSQP930C0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-derivation#LN8J, Definition (definition)
History
- 2026-11-02: add by m2/dev
ordinal exponentiation SFT0PEA2YV
| URI | m2://inv/SFT0PEA2YV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q118133395, ordinal exponentiation (unknown). Also MathWorld OrdinalExponentiation
History
- 2026-10-26: add by m2/dev
Dehn-Nielsen-Baer theorem SFTB1HPVWA
| URI | m2://inv/SFTB1HPVWA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#YWM0, Dehn-Nielsen-Baer theorem (definition)
History
- 2026-11-02: add by m2/dev
SFTD8EADZY SFTD8EADZY
| URI | m2://inv/SFTD8EADZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/ordtype.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 73.1
History
- 2026-11-01: add by m2/v0.6.13
all-cell acyclicity SFTDZ0KS4N
| URI | m2://inv/SFTDZ0KS4N |
|---|---|
| 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#DI8Z, all-cell acyclicity (statement). In PCAS8S14J6/e1, corollary D.3
History
- 2026-10-31: add by m2/v0.5.6
SFTKJDHDN9 SFTKJDHDN9
| URI | m2://inv/SFTKJDHDN9 |
|---|---|
| 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.19845#AOTA (statement). In A8Y7B1MD91/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Extensions SFTTGXGY2E
| URI | m2://inv/SFTTGXGY2E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional regression#1E9L, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Integral Chebyshev inequality SFTWH4Z8C7
| URI | m2://inv/SFTWH4Z8C7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebyshev's inequality#BEBZ, Integral Chebyshev inequality (statement)
History
- 2026-11-02: add by m2/dev
SFV0MS9FX9 SFV0MS9FX9
| URI | m2://inv/SFV0MS9FX9 |
|---|---|
| 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 2212.06621#X8LJ (statement). In DB223AABTH/e1, proposition 7.3
History
- 2026-10-27: add by m2/v0.3.5
Loopy belief propagation SFV34QCZGD
| URI | m2://inv/SFV34QCZGD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Belief propagation#2QP9, Loopy belief propagation (unknown)
History
- 2026-11-02: add by m2/dev
SFV37NW3NT SFV37NW3NT
| URI | m2://inv/SFV37NW3NT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-5-5-other-opt.xml#example-1 (example). In 907G4C4EJ1, example, section 5.5.2
History
- 2026-11-01: add by m2/v0.6.13
SFVDHW2DTN SFVDHW2DTN
| URI | m2://inv/SFVDHW2DTN |
|---|---|
| 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.14838#7HTJ (statement). In J7ZX3WWRQP/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Vanishing lower bound for the gradient of orbit periods SFVDW1R4J6
| URI | m2://inv/SFVDW1R4J6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34168#EUY1, Vanishing lower bound for the gradient of orbit periods (example). In 30YQV8N04M/e1, example 8.1
History
- 2026-10-30: add by m2/v0.4.12
Nine-point circle SFVHY738QN
| URI | m2://inv/SFVHY738QN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#VCLI, Nine-point circle (definition)
History
- 2026-11-02: add by m2/dev
Lagrange, Euler, and Kovalevskaya tops SFVNF4VNKX
| URI | m2://inv/SFVNF4VNKX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrange, Euler, and Kovalevskaya tops, Lagrange, Euler, and Kovalevskaya tops (definition). Also Wikidata Q6472659
History
- 2026-11-02: add by m2/dev
Global finite-energy existence with vacuum SFVQVVMS2R
| URI | m2://inv/SFVQVVMS2R |
|---|---|
| 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.24960#Q9Y0, Global finite-energy existence with vacuum (statement)
History
- 2026-11-01: add by m2/v0.6.15
Jack Silver SFVYM6EFBS
| URI | m2://inv/SFVYM6EFBS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jack Silver, Jack Silver (topic). Also Wikidata Q1677207
History
- 2026-11-02: add by m2/dev
SFW3JHX95Y SFW3JHX95Y
| URI | m2://inv/SFW3JHX95Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-recurrence.ptx#exercise-4 (exercise). In Y91XFCEVHQ, exercise, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
SFW719XQ8H SFW719XQ8H
| URI | m2://inv/SFW719XQ8H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21529#TI71 (definition)
History
- 2026-11-02: add by m2/v0.6.18
SFWA63CDBH SFWA63CDBH
| URI | m2://inv/SFWA63CDBH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12329#X9VJ (statement). In ZJQB9W60T6/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
SFWRWFW9QM SFWRWFW9QM
| URI | m2://inv/SFWRWFW9QM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.35600#QY8T (statement). In ET8GYMMDQM/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
SFWVTA72A7 SFWVTA72A7
| URI | m2://inv/SFWVTA72A7 |
|---|---|
| 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.06544#2OJ0 (statement). In VCRB27RMN6/e1, proposition 15.1
History
- 2026-10-29: add by m2/v0.4.10
\probname{SetCovering SFWWGV36E5
| URI | m2://inv/SFWWGV36E5 |
|---|---|
| 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.38436#L37S, \probname{SetCovering (problem). In 702AF3E4AF/e1, problem 5.6
History
- 2026-10-30: add by m2/v0.4.12
Order-6 pentagonal tiling SFWX95H319
| URI | m2://inv/SFWX95H319 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-6 pentagonal tiling, Order-6 pentagonal tiling (object). Also Wikidata Q17078029
History
- 2026-11-02: add by m2/dev
Jean-Marie Le Roux SFWXSDS8EH
| URI | m2://inv/SFWXSDS8EH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean-Marie Le Roux, Jean-Marie Le Roux (topic). Also Wikidata Q1477851
History
- 2026-11-02: add by m2/dev
advection SFX3EK4CE1
| URI | m2://inv/SFX3EK4CE1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 65M06 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q379788, advection (topic)
- wikipedia: Wikipedia Advection, Advection (definition). Also Wikidata Q379788
History
- 2026-10-26: add by m2/dev
graded strictness SFX4XWSJMT
| URI | m2://inv/SFX4XWSJMT |
|---|---|
| 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#C0R1, graded strictness (statement). In PCAS8S14J6/e1, theorem C.5
History
- 2026-10-31: add by m2/v0.5.6
𐅀 SFX5GRJDGJ
| URI | m2://inv/SFX5GRJDGJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Attic numerals#U0V4, 𐅀 (unknown)
History
- 2026-11-02: add by m2/dev
Quasi-onion Lemma SFX63HZVWK
| URI | m2://inv/SFX63HZVWK |
|---|---|
| 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.20391#1ZDB, Quasi-onion Lemma (statement). In CTAS41TRM2/e1, lemma 10.2
History
- 2026-10-27: add by m2/v0.4.2
Properties SFX9TFSZX9
| URI | m2://inv/SFX9TFSZX9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal cone (variational analysis)#5AOZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Meier-Meinert-VanWyk, 1998 SFXCR12K62
| URI | m2://inv/SFXCR12K62 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09704#DH3Y, Meier-Meinert-VanWyk, 1998 (statement). In FNG4B47MRV/e1, theorem 5.2
History
- 2026-10-29: add by m2/v0.4.10
Examples SFXF7K5RQ2
| URI | m2://inv/SFXF7K5RQ2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Udwadia–Kalaba formulation#ZHK5, Examples (example)
History
- 2026-11-02: add by m2/dev
SFXHD7176W SFXHD7176W
| URI | m2://inv/SFXHD7176W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21866#GMOO (statement). In Q3NMYW8ANH/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
Definition SFXKPKQJM6
| URI | m2://inv/SFXKPKQJM6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler system#5R2M, Definition (definition)
History
- 2026-11-02: add by m2/dev
SFXM39BJFT SFXM39BJFT
| URI | m2://inv/SFXM39BJFT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00146#W9FN (statement). In 6KR7Z5ETRY/e1, lemma 2.19
History
- 2026-10-27: add by m2/v0.3.5
Religious views of Generation Z in the United States SFY31NXRER
| URI | m2://inv/SFY31NXRER |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generation Z in the United States#704K, Religious views of Generation Z in the United States (unknown)
History
- 2026-11-02: add by m2/dev
SFYDYHY15Y SFYDYHY15Y
| URI | m2://inv/SFYDYHY15Y |
|---|---|
| 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#ZW8N (statement). In ZQQEN3J866/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.2
SFYGM2Z4NR SFYGM2Z4NR
| URI | m2://inv/SFYGM2Z4NR |
|---|---|
| Kind | statement |
| 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 2610.13972#H00M (statement). In S1KHNS8XQM/e1, theorem 12.2
History
- 2026-10-28: add by m2/v0.4.2
computation rule, for natural numbers SFYMWH7TV4
| URI | m2://inv/SFYMWH7TV4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.9/computation-rule-for-natural-numbers, computation rule, for natural numbers (concept). In N54F33XE07, index, section A.9
History
- 2026-11-01: add by m2/v0.6.13
793 (number) SFYWJFRXWA
| URI | m2://inv/SFYWJFRXWA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#8SW8, 793 (number) (unknown)
History
- 2026-11-02: add by m2/dev
SFYX2YXMQ4 SFYX2YXMQ4
| URI | m2://inv/SFYX2YXMQ4 |
|---|---|
| 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.03628#YTX1 (definition). In P8KT6JV9N1/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.12
SFZ691Y710 SFZ691Y710
| URI | m2://inv/SFZ691Y710 |
|---|---|
| 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 2610.05142#HEQM (statement). In 8A0HVCGRR8/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
SFZE1PYK8S SFZE1PYK8S
| URI | m2://inv/SFZE1PYK8S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.09544#9PQO (statement). In DYBM6Q2K6R/e1, proposition B.9
History
- 2026-10-29: add by m2/v0.4.10
SFZEQGG0EN SFZEQGG0EN
| URI | m2://inv/SFZEQGG0EN |
|---|---|
| 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.13271#SUMF (statement). In G8ZEBKZY8M/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
SFZN1JJDVD SFZN1JJDVD
| URI | m2://inv/SFZN1JJDVD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#YJ3C (statement). In X47RYAZF8P/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
SFZS5J3ZXA SFZS5J3ZXA
| URI | m2://inv/SFZS5J3ZXA |
|---|---|
| Kind | problem |
| 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.22769#V6RN (problem)
History
- 2026-11-02: add by m2/v0.6.17