Inventory rows FN
The cards of the rows of the inventory whose ids start with FN. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
FN028HZ8TE FN028HZ8TE
| URI | m2://inv/FN028HZ8TE |
|---|---|
| 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.21414#WN8F (statement)
History
- 2026-11-02: add by m2/v0.6.18
categorical proposition FN0AEJ28AN
| URI | m2://inv/FN0AEJ28AN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#ZV3T, categorical proposition (definition)
History
- 2026-11-02: add by m2/dev
FN0ETDETSM FN0ETDETSM
| URI | m2://inv/FN0ETDETSM |
|---|---|
| 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 2503.08488#IPK1 (statement). In QH5MZXMXQH/e1, proposition 6.5
History
- 2026-10-27: add by m2/v0.3.5
Reduction to one primitive conjugacy class FN0HN9X7WD
| URI | m2://inv/FN0HN9X7WD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27204#THLV, Reduction to one primitive conjugacy class (statement)
History
- 2026-11-01: add by m2/v0.6.15
FN0RJVWZV6 FN0RJVWZV6
| URI | m2://inv/FN0RJVWZV6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/basics/reducts-and-expansions.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 46.6
History
- 2026-11-01: add by m2/v0.6.13
G. Peter Scott FN0RVMJJ3D
| URI | m2://inv/FN0RVMJJ3D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#08DP, G. Peter Scott (topic)
History
- 2026-11-02: add by m2/dev
Pyragas method FN0T14Q0T9
| URI | m2://inv/FN0T14Q0T9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pyragas method, Pyragas method (definition). Also Wikidata Q55630860
History
- 2026-11-02: add by m2/dev
Uniform upper bound for the density FN11SRZWPQ
| URI | m2://inv/FN11SRZWPQ |
|---|---|
| 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.13248#9BE4, Uniform upper bound for the density (statement). In MGMC5SREP3/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
FN126SQT0V FN126SQT0V
| URI | m2://inv/FN126SQT0V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_posets_exercises.ptx#exercise-1 (exercise). In QKM9DD2H56, exercise, section 6
History
- 2026-11-01: add by m2/v0.6.13
Tetragonal disphenoid honeycomb FN1413YEJJ
| URI | m2://inv/FN1413YEJJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetragonal disphenoid honeycomb, Tetragonal disphenoid honeycomb (definition). Also Wikidata Q5282593
History
- 2026-11-02: add by m2/dev
directional 1-form FN14HPMM3B
| URI | m2://inv/FN14HPMM3B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39511#J7JC, directional 1-form (definition). In 6W9H24A378/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
FN1D5E72R5 FN1D5E72R5
| URI | m2://inv/FN1D5E72R5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2609.29877#PBVS (definition)
History
- 2026-11-01: add by m2/v0.6.15
Burnside's Lemma FN1DQETMPB
| URI | m2://inv/FN1DQETMPB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_polya_burnside.ptx#lem_polya_burnside, Burnside's Lemma (statement). In QKM9DD2H56, lemma, section 15.3
History
- 2026-11-01: add by m2/v0.6.13
Vitaly Khonik FN1GT9XEJF
| URI | m2://inv/FN1GT9XEJF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vitaly Khonik, Vitaly Khonik (topic). Also Wikidata Q104216885
History
- 2026-11-02: add by m2/dev
FN1JRJBS6V FN1JRJBS6V
| URI | m2://inv/FN1JRJBS6V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20656#H4UH (statement)
History
- 2026-11-02: add by m2/v0.6.18
Mercer's theorem FN1M6BQN7E
| URI | m2://inv/FN1M6BQN7E |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1716166, Mercer's theorem (statement). Also Wikidata Q1716166
- thousand_plus: thousand_plus Q1716166, Mercer's theorem (statement). Also Wikidata Q1716166, Wikipedia Mercer's theorem
- wikipedia: Wikipedia Mercer's theorem, Mercer's theorem (statement). Also Wikidata Q1716166
History
- 2026-10-26: add by m2/dev
FN1PZ6YATM FN1PZ6YATM
| URI | m2://inv/FN1PZ6YATM |
|---|---|
| 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.20002#J9JD (statement)
History
- 2026-11-02: add by m2/v0.6.18
FN204TY1PW FN204TY1PW
| URI | m2://inv/FN204TY1PW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.24307#8RVY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Vanishing lower bound for the gradient of orbit periods FN25FEKFF4
| URI | m2://inv/FN25FEKFF4 |
|---|---|
| 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#6CZO, Vanishing lower bound for the gradient of orbit periods (example). In 30YQV8N04M/e1, example 8.4
History
- 2026-10-30: add by m2/v0.4.12
FN28PV7YGC FN28PV7YGC
| URI | m2://inv/FN28PV7YGC |
|---|---|
| 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.33124#2M8X (definition). In P27HYGQDAN/e1, definition 25
History
- 2026-10-30: add by m2/v0.4.12
FN2BEMXS4J FN2BEMXS4J
| URI | m2://inv/FN2BEMXS4J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-35 (exercise). In E59CDZA4DP, exercise, section 10.2.5
History
- 2026-11-01: add by m2/v0.6.13
Properties FN2C8Y4106
| URI | m2://inv/FN2C8Y4106 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit (category theory)#SX7E, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition FN2F7W918D
| URI | m2://inv/FN2F7W918D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Effect algebra#5R6T, Definition (definition)
History
- 2026-11-02: add by m2/dev
Sunk cost FN2FRD4YS3
| URI | m2://inv/FN2FRD4YS3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sunk cost, Sunk cost (definition). Also Wikidata Q958242
History
- 2026-11-02: add by m2/dev
FN2GVFVR7P FN2GVFVR7P
| URI | m2://inv/FN2GVFVR7P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.25897#TN40 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition FN2Y17KRH0
| URI | m2://inv/FN2Y17KRH0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tube domain#FSQJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Convex uniform honeycomb FN2YDR86KW
| URI | m2://inv/FN2YDR86KW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5166522, Convex uniform honeycomb (concept). Also MathWorld AndreiniTessellation
- wikipedia: Wikipedia Convex uniform honeycomb, Convex uniform honeycomb (object). Also Wikidata Q5166522
History
- 2026-10-26: add by m2/dev
FN2YSHDEV8 FN2YSHDEV8
| URI | m2://inv/FN2YSHDEV8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2206.05392#8NQK (statement). In 58D1ZC82DW/e1, proposition 30
History
- 2026-10-27: add by m2/v0.3.5
Logical cube FN36FQTE25
| URI | m2://inv/FN36FQTE25 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logical cube, Logical cube (definition). Also Wikidata Q6667488
History
- 2026-11-02: add by m2/dev
FN3QNWEQ1M FN3QNWEQ1M
| URI | m2://inv/FN3QNWEQ1M |
|---|---|
| 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.29469#PFRI (statement)
History
- 2026-11-01: add by m2/v0.6.15
FN3V17074M FN3V17074M
| URI | m2://inv/FN3V17074M |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-conc.ptx#exercise-6 (exercise). In Y91XFCEVHQ, exercise, section 3.6
History
- 2026-11-01: add by m2/v0.6.13
Black brane FN48QQDEXM
| URI | m2://inv/FN48QQDEXM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#LCPQ, Black brane (unknown)
History
- 2026-11-02: add by m2/dev
minimum cut FN4BDPW9RQ
| URI | m2://inv/FN4BDPW9RQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6865438, minimum cut (unknown). Also MathWorld Mincut
- wikipedia: Wikipedia Minimum cut, Minimum cut (definition). Also Wikidata Q6865438
History
- 2026-10-26: add by m2/dev
Properties FN4D7Y89YP
| URI | m2://inv/FN4D7Y89YP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard product (matrices)#2DM0, Properties (statement)
History
- 2026-11-02: add by m2/dev
FN4FCQV94Z FN4FCQV94Z
| URI | m2://inv/FN4FCQV94Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-62 (exercise). In E59CDZA4DP, exercise, section 10.5.7
History
- 2026-11-01: add by m2/v0.6.13
Lorenzo Valla FN4JG89RV9
| URI | m2://inv/FN4JG89RV9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#HKDB, Lorenzo Valla (unknown)
History
- 2026-11-02: add by m2/dev
Examples FN4NBBDJMT
| URI | m2://inv/FN4NBBDJMT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Completely metrizable space#01CD, Examples (example)
History
- 2026-11-02: add by m2/dev
FN4QJAJBM6 FN4QJAJBM6
| URI | m2://inv/FN4QJAJBM6 |
|---|---|
| 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#SG91 (definition). In G70Q2FB591/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Colin Guillarmou FN4RGJ7YZF
| URI | m2://inv/FN4RGJ7YZF |
|---|---|
| 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#WGYR, Colin Guillarmou (unknown)
History
- 2026-11-02: add by m2/dev
FN4TPR60XZ FN4TPR60XZ
| URI | m2://inv/FN4TPR60XZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31242#KVCV (definition). In 3NPRR9546C/e1, definition 1.1
History
- 2026-10-31: add by m2/v0.5.6
Example FN4YH74T1S
| URI | m2://inv/FN4YH74T1S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Retarded potential#WOWD, Example (example)
History
- 2026-11-02: add by m2/dev
Properties FN57JPPY0P
| URI | m2://inv/FN57JPPY0P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Innovation method#1H4O, Properties (statement)
History
- 2026-11-02: add by m2/dev
FN57KB7HXG FN57KB7HXG
| URI | m2://inv/FN57KB7HXG |
|---|---|
| Kind | definition |
| 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.22268#48RB (definition). In 9ZD87293QS/e1, definition 1.2
History
- 2026-10-27: add by m2/v0.4.0
Fundamentals of the Theory of Operator Algebras FN58PMF4MF
| URI | m2://inv/FN58PMF4MF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamentals of the Theory of Operator Algebras, Fundamentals of the Theory of Operator Algebras (definition). Also Wikidata Q127962600
History
- 2026-11-02: add by m2/dev
Statement FN5B57J7S8
| URI | m2://inv/FN5B57J7S8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Denjoy–Young–Saks theorem#KZM4, Statement (statement)
History
- 2026-11-02: add by m2/dev
870 (number) FN5BQZ4QXG
| URI | m2://inv/FN5BQZ4QXG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 800 (number)#NPNO, 870 (number) (unknown)
History
- 2026-11-02: add by m2/dev
FN5J0A2QEG FN5J0A2QEG
| URI | m2://inv/FN5J0A2QEG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.08738#L5HF (definition). In 9GMTVSTAVN/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Definition FN5JFTY4WZ
| URI | m2://inv/FN5JFTY4WZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Separation principle in stochastic control#ZN0X, Definition (definition)
History
- 2026-11-02: add by m2/dev
Daniel Rothman FN5RFWRZF3
| URI | m2://inv/FN5RFWRZF3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniel Rothman, Daniel Rothman (topic). Also Wikidata Q95952835
History
- 2026-11-02: add by m2/dev
Conditional tilt closure FN648Q89D3
| URI | m2://inv/FN648Q89D3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29688#OLZQ, Conditional tilt closure (definition)
History
- 2026-11-01: add by m2/v0.6.15
aberrancy FN64PB546B
| URI | m2://inv/FN64PB546B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#6AWW, aberrancy (definition)
History
- 2026-11-02: add by m2/dev
Description FN64RN79QH
| URI | m2://inv/FN64RN79QH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Description, Description (definition). Also Wikidata Q115491417
History
- 2026-11-02: add by m2/dev
Google matrix FN655BM1JR
| URI | m2://inv/FN655BM1JR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Google matrix, Google matrix (definition). Also Wikidata Q5583904
History
- 2026-11-02: add by m2/dev
FN684DWHT5 FN684DWHT5
| URI | m2://inv/FN684DWHT5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14509#3GCP (statement). In N6GD8392QB/e1, proposition 16.3
History
- 2026-10-28: add by m2/v0.4.2
Euler's equation FN6DTH2YZD
| URI | m2://inv/FN6DTH2YZD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.1.1/euler-s-equation, Euler's equation (concept). In E9HS8K3A52, index, section 6.1.1
History
- 2026-11-01: add by m2/v0.6.13
Tarski–Vaught test FN6EV5HZT0
| URI | m2://inv/FN6EV5HZT0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alfred Tarski#BTZB, Tarski–Vaught test (definition)
History
- 2026-11-02: add by m2/dev
Schizophrenia FN6FKCXWH5
| URI | m2://inv/FN6FKCXWH5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#7AGV, Schizophrenia (unknown)
History
- 2026-11-02: add by m2/dev
Characteristic (algebra) FN6J7NFNFV
| URI | m2://inv/FN6J7NFNFV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#IFFL, Characteristic (algebra) (definition)
History
- 2026-11-02: add by m2/dev
Minimum distance of orbit codes FN6QQ2MA9M
| URI | m2://inv/FN6QQ2MA9M |
|---|---|
| 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.15340#T2B4, Minimum distance of orbit codes (statement). In 9NVKKW8HDH/e1, theorem 3.19
History
- 2026-10-28: add by m2/v0.4.2
FN6TFYVBYC FN6TFYVBYC
| URI | m2://inv/FN6TFYVBYC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#EIN1 (definition). In CY1FE8W1ZW/e1, definition 0.80
History
- 2026-10-27: add by m2/v0.3.5
Octahedral pyramid FN6XHWTVCX
| URI | m2://inv/FN6XHWTVCX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Octahedral pyramid, Octahedral pyramid (definition). Also Wikidata Q17099514
History
- 2026-11-02: add by m2/dev
Norma Presmeg FN712A62KV
| URI | m2://inv/FN712A62KV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Norma Presmeg, Norma Presmeg (topic). Also Wikidata Q102170006
History
- 2026-11-02: add by m2/dev
FN733A4Q0D FN733A4Q0D
| URI | m2://inv/FN733A4Q0D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#example-10 (example). In E59CDZA4DP, example, section 10.2.3
History
- 2026-11-01: add by m2/v0.6.13
FN76T12VPQ FN76T12VPQ
| URI | m2://inv/FN76T12VPQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00909#LIB2 (example). In Z4TD36VFPW/e1, example 2.7
History
- 2026-10-29: add by m2/v0.4.12
First fundamental theorem FN7N4QREFE
| URI | m2://inv/FN7N4QREFE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nevanlinna theory#CB3D, First fundamental theorem (statement)
History
- 2026-11-02: add by m2/dev
FN7NTDQYA7 FN7NTDQYA7
| URI | m2://inv/FN7NTDQYA7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07546#QTDZ (example). In H9YE46CGFN/e1, example 1
History
- 2026-10-29: add by m2/v0.4.10
FN7QVA7SGZ FN7QVA7SGZ
| URI | m2://inv/FN7QVA7SGZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.14214#T8JB (statement). In SY85Y9E45A/e1, theorem 15
History
- 2026-10-27: add by m2/v0.3.5
FN7V8VV40Y FN7V8VV40Y
| URI | m2://inv/FN7V8VV40Y |
|---|---|
| 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.24451#9F1C (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rotation error cannot be estimated from data alone FN81HD524R
| URI | m2://inv/FN81HD524R |
|---|---|
| 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.20550#P7A0, Rotation error cannot be estimated from data alone (statement)
History
- 2026-11-02: add by m2/v0.6.18
FN852ABYKF FN852ABYKF
| URI | m2://inv/FN852ABYKF |
|---|---|
| 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.22040#CEE3 (statement). In 2QP93JHYNB/e1, lemma 4.10
History
- 2026-10-27: add by m2/v0.4.2
Quintic equation FN85QTF66Z
| URI | m2://inv/FN85QTF66Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quintic equation, Quintic equation (definition). Also Wikidata Q33104507
History
- 2026-11-02: add by m2/dev
$W_\infty$ density for countable initial marginals FN866NDKXE
| URI | m2://inv/FN866NDKXE |
|---|---|
| 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#EJYQ, $W_\infty$ density for countable initial marginals (statement). In 9YAE8FNQST/e1, theorem 10.3
History
- 2026-10-30: add by m2/v0.4.12
FN8HZBCVBS FN8HZBCVBS
| URI | m2://inv/FN8HZBCVBS |
|---|---|
| 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 2011.07352#ZMVZ (statement). In 3VPC1GGZ3E/e1, proposition 3.9
History
- 2026-10-27: add by m2/v0.3.5
Properties FN8P8ER666
| URI | m2://inv/FN8P8ER666 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple gamma function#1UU0, Properties (statement)
History
- 2026-11-02: add by m2/dev
FN8QQMHG72 FN8QQMHG72
| URI | m2://inv/FN8QQMHG72 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-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 2610.13877#OQP0 (definition). In NBMA6DBKJG/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Derrick Henry Lehmer FN90FSTGV8
| URI | m2://inv/FN90FSTGV8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LNCX, Derrick Henry Lehmer (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7KFX, Derrick Henry Lehmer (unknown)
History
- 2026-11-02: add by m2/dev
No free lunch under compositional axioms FN90GAK504
| URI | m2://inv/FN90GAK504 |
|---|---|
| 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.25039#PABS, No free lunch under compositional axioms (statement)
History
- 2026-11-01: add by m2/v0.6.15
Vertical temperature regularity with a fixed horizontal weight FN935HN727
| URI | m2://inv/FN935HN727 |
|---|---|
| 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.14555#T6MO, Vertical temperature regularity with a fixed horizontal weight (statement). In NHW0VEJ09F/e1, lemma A.8
History
- 2026-10-28: add by m2/v0.4.2
Applications FN9653MZSD
| URI | m2://inv/FN9653MZSD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Borwein constant#NQ70, Applications (example)
History
- 2026-11-02: add by m2/dev
False uniqueness bias FN96G8TMTE
| URI | m2://inv/FN96G8TMTE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#BP4M, False uniqueness bias (unknown)
History
- 2026-11-02: add by m2/dev
Polyadic FN96QCPTVW
| URI | m2://inv/FN96QCPTVW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#SV2R, Polyadic (definition)
History
- 2026-11-02: add by m2/dev
Freivalds' algorithm FN9E5RW3BS
| URI | m2://inv/FN9E5RW3BS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Freivalds' algorithm, Freivalds' algorithm (definition). Also Wikidata Q6522941
History
- 2026-11-02: add by m2/dev
FN9K7GD9VG FN9K7GD9VG
| URI | m2://inv/FN9K7GD9VG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2610.07718#UZ98 (statement). In CEKW9CNVVW/e1, theorem 6.14
History
- 2026-10-29: add by m2/v0.4.10
Limit comparison test FN9YBKGPGW
| URI | m2://inv/FN9YBKGPGW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#KWL4, Limit comparison test (definition)
History
- 2026-11-02: add by m2/dev
Pólya–Szegő inequality FNA2C2FKK5
| URI | m2://inv/FNA2C2FKK5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pólya–Szegő inequality, Pólya–Szegő inequality (statement). Also Wikidata Q3711846
History
- 2026-11-02: add by m2/dev
Generalizations FNA6G7VXT2
| URI | m2://inv/FNA6G7VXT2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wolstenholme's theorem#5ORI, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
FNAEF6JRK3 FNAEF6JRK3
| URI | m2://inv/FNAEF6JRK3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.34570#G6IU (statement). In EVFX1R7ZDD/e1, proposition 5
History
- 2026-10-30: add by m2/v0.4.12
Points on a circle FNAGE1JXFC
| URI | m2://inv/FNAGE1JXFC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37368#PC0Q, Points on a circle (statement). In FRMCKEGVJZ/e1, lemma 18
History
- 2026-10-30: add by m2/v0.4.12
Jerome Goldstein FNAJC6QNKY
| URI | m2://inv/FNAJC6QNKY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jerome Goldstein, Jerome Goldstein (topic). Also Wikidata Q6182700
History
- 2026-11-02: add by m2/dev
FNAPVPNF6G FNAPVPNF6G
| URI | m2://inv/FNAPVPNF6G |
|---|---|
| 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#0E2H (statement). In FYS6VV5M99/e1, corollary 1.6
History
- 2026-10-30: add by m2/v0.4.12
FNAPWE3RHV FNAPWE3RHV
| URI | m2://inv/FNAPWE3RHV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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 2610.10925#7RTU (statement). In 9604WYX0BW/e1, proposition 5.5
History
- 2026-10-28: add by m2/v0.4.3
Robert Bixby FNATY1VR1G
| URI | m2://inv/FNATY1VR1G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Bixby, Robert Bixby (topic). Also Wikidata Q7342120
History
- 2026-11-02: add by m2/dev
FNATZWGTM0 FNATZWGTM0
| URI | m2://inv/FNATZWGTM0 |
|---|---|
| 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.13850#KTLC (statement). In KJY735KSMF/e1, corollary 4.4
History
- 2026-10-28: add by m2/v0.4.2
FNAVHWB9D6 FNAVHWB9D6
| URI | m2://inv/FNAVHWB9D6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-17 (exercise). In E59CDZA4DP, exercise, section 2.2.4
History
- 2026-11-01: add by m2/v0.6.13
Brocard triangle FNAWK49RG7
| URI | m2://inv/FNAWK49RG7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#DP76, Brocard triangle (definition)
History
- 2026-11-02: add by m2/dev
Mihail Zervos FNB5NAXQVM
| URI | m2://inv/FNB5NAXQVM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#I1BJ, Mihail Zervos (topic)
History
- 2026-11-02: add by m2/dev
Kentaro Yano FNB5S1RS4C
| URI | m2://inv/FNB5S1RS4C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kentaro Yano (mathematician), Kentaro Yano (topic). Also Wikidata Q2541951
History
- 2026-11-02: add by m2/dev
Chow's theorem FNB5VDDSD1
| URI | m2://inv/FNB5VDDSD1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex algebraic variety#FWNS, Chow's theorem (statement)
History
- 2026-11-02: add by m2/dev
aliquot sequence FNB5VWJ6Q5
| URI | m2://inv/FNB5VWJ6Q5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1663510, aliquot sequence (unknown). Also MathWorld AliquotSequence
- wikipedia: Wikipedia Aliquot sequence, Aliquot sequence (definition). Also Wikidata Q1663510
History
- 2026-10-26: add by m2/dev
FNB806PW5P FNB806PW5P
| URI | m2://inv/FNB806PW5P |
|---|---|
| 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#YFCC (statement). In H52QQS8WZA/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
FNCAXNFXRF FNCAXNFXRF
| URI | m2://inv/FNCAXNFXRF |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#proof-16 (proof). In N54F33XE07, proof, section B.3.2
History
- 2026-11-01: add by m2/v0.6.13
associated FNCHDYX98R
| URI | m2://inv/FNCHDYX98R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#L921, associated (definition)
History
- 2026-11-02: add by m2/dev
Distributive property FNCKAHYKZE
| URI | m2://inv/FNCKAHYKZE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distributive property#383V, Distributive property (statement)
History
- 2026-11-02: add by m2/dev
Examples FNCX2F4BFM
| URI | m2://inv/FNCX2F4BFM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vampire number#2311, Examples (example)
History
- 2026-11-02: add by m2/dev
Endpoint payoffs FNCXATZT65
| URI | m2://inv/FNCXATZT65 |
|---|---|
| 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.18180#UEPI, Endpoint payoffs (statement). In NJGS7D1EPH/e1, proposition 7.1
History
- 2026-10-28: add by m2/v0.4.2
FND30B4Z3R FND30B4Z3R
| URI | m2://inv/FND30B4Z3R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/syntax-and-semantics/valuations-sat.tex#defn:pValue (definition). In PKGMM3P5QY, defn, section 42.1
History
- 2026-11-01: add by m2/v0.6.13
Kürschák, József FND3ZGJEBR
| URI | m2://inv/FND3ZGJEBR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#910O, Kürschák, József (topic)
History
- 2026-11-02: add by m2/dev
FND5DX4R2K FND5DX4R2K
| URI | m2://inv/FND5DX4R2K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#KU6Z (statement). In 9DQKY7KGE8/e1, lemma 6.15
History
- 2026-10-27: add by m2/v0.3.5
Hyperparameter FND8CD96N3
| URI | m2://inv/FND8CD96N3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperparameter (Bayesian statistics), Hyperparameter (definition). Also Wikidata Q4171168
History
- 2026-11-02: add by m2/dev
Definition FNDM9W9H9W
| URI | m2://inv/FNDM9W9H9W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beta-dual space#OOOD, Definition (definition)
History
- 2026-11-02: add by m2/dev
FNDT4XR15R FNDT4XR15R
| URI | m2://inv/FNDT4XR15R |
|---|---|
| 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#OHH5 (statement). In CTAS41TRM2/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.4.2
A translating edge with an affine continuation FNEBVTQ6PK
| URI | m2://inv/FNEBVTQ6PK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27153#CIYQ, A translating edge with an affine continuation (statement)
History
- 2026-11-01: add by m2/v0.6.15
FNEDDSHZQ0 FNEDDSHZQ0
| URI | m2://inv/FNEDDSHZQ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/zfc.tex#definition-3 (definition). In RZP28ERRZV, definition, section 93.5
History
- 2026-11-01: add by m2/v0.6.13
Optimality above half filling FNEDMF6P7W
| URI | m2://inv/FNEDMF6P7W |
|---|---|
| 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.22564#2EV6, Optimality above half filling (statement)
History
- 2026-11-02: add by m2/v0.6.17
FNEDS7HR71 FNEDS7HR71
| URI | m2://inv/FNEDS7HR71 |
|---|---|
| Kind | definition |
| 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#YCV2 (definition). In 3A4K47Y9F2/e1, definition 3.9
History
- 2026-10-27: add by m2/v0.4.0
Two-dimensional space FNERJ5M34V
| URI | m2://inv/FNERJ5M34V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-dimensional space, Two-dimensional space (definition). Also Wikidata Q222032
History
- 2026-11-02: add by m2/dev
Geodesic deviation FNESE5PYH9
| URI | m2://inv/FNESE5PYH9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geodesic deviation, Geodesic deviation (definition). Also Wikidata Q1206762
History
- 2026-11-02: add by m2/dev
Applications FNEVH5RQTH
| URI | m2://inv/FNEVH5RQTH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Handshaking lemma#4RV1, Applications (example)
History
- 2026-11-02: add by m2/dev
FNF0REYQ1T FNF0REYQ1T
| URI | m2://inv/FNF0REYQ1T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38556#BK75 (definition). In GC2H0HS7ZM/e1, definition 3.3
History
- 2026-10-30: add by m2/v0.4.12
The flux-rule criterion at $\sigma V^*$ FNF22ATM1M
| URI | m2://inv/FNF22ATM1M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-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.18512#M1RR, The flux-rule criterion at $\sigma V^*$ (statement). In 11JNM66Z09/e1, proposition 9.4
History
- 2026-10-28: add by m2/v0.4.2
TPL Tables FNF5JDTB88
| URI | m2://inv/FNF5JDTB88 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia TPL Tables, TPL Tables (definition). Also Wikidata Q7671165
History
- 2026-11-02: add by m2/dev
Example FNF5NYQKAB
| URI | m2://inv/FNF5NYQKAB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congestion game#Y06V, Example (example)
History
- 2026-11-02: add by m2/dev
FNF6BJQKD5 FNF6BJQKD5
| URI | m2://inv/FNF6BJQKD5 |
|---|---|
| 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.36158#EYRR (statement). In CVGHFQ6XGW/e1, proposition 4
History
- 2026-10-30: add by m2/v0.4.12
FNF6ZNWWGZ FNF6ZNWWGZ
| URI | m2://inv/FNF6ZNWWGZ |
|---|---|
| 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.35442#HJHT (statement). In C6R0DAA279/e1, theorem 2.1
History
- 2026-10-30: add by m2/v0.4.12
Difference hierarchy FNFD1R6R4W
| URI | m2://inv/FNFD1R6R4W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Difference hierarchy, Difference hierarchy (definition). Also Wikidata Q5275274
History
- 2026-11-02: add by m2/dev
FNFEW70N28 FNFEW70N28
| URI | m2://inv/FNFEW70N28 |
|---|---|
| Kind | definition |
| 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.06152#1XC7 (definition). In HH35K7S17H/e1, definition A.7
History
- 2026-10-29: add by m2/v0.4.10
FNG1BKY8B7 FNG1BKY8B7
| URI | m2://inv/FNG1BKY8B7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.22076#TF0O (statement). In TTJB4HBG5R/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.4.0
numerical integration FNG4SX9GQ7
| URI | m2://inv/FNG4SX9GQ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#0TIC, numerical integration (definition)
History
- 2026-11-02: add by m2/dev
Karoubi conjecture FNG6HTQ9R0
| URI | m2://inv/FNG6HTQ9R0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karoubi conjecture, Karoubi conjecture (statement). Also Wikidata Q6373272
History
- 2026-11-02: add by m2/dev
Properties FNGB0C62MY
| URI | m2://inv/FNGB0C62MY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monoidal functor#3YL2, Properties (statement)
History
- 2026-11-02: add by m2/dev
U. Narayan Bhat FNGDT4V2QY
| URI | m2://inv/FNGDT4V2QY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#6RBX, U. Narayan Bhat (topic)
History
- 2026-11-02: add by m2/dev
Herzberger Quader FNGEGC5WBN
| URI | m2://inv/FNGEGC5WBN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herzberger Quader, Herzberger Quader (definition). Also Wikidata Q60982263
History
- 2026-11-02: add by m2/dev
Applications FNGJ26Q2V8
| URI | m2://inv/FNGJ26Q2V8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isotonic regression#1Y2Z, Applications (example)
History
- 2026-11-02: add by m2/dev
FNGS2V8J90 FNGS2V8J90
| URI | m2://inv/FNGS2V8J90 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.16041#OK0I (statement). In 2GD6NWJVRM/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
FNGYH56PAG FNGYH56PAG
| URI | m2://inv/FNGYH56PAG |
|---|---|
| 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.37893#6FN8 (statement). In 8H0KHK7AMN/e1, theorem 3.7
History
- 2026-10-30: add by m2/v0.4.12
Osculating orbit FNH1QZQH6F
| URI | m2://inv/FNH1QZQH6F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Osculating orbit, Osculating orbit (definition). Also Wikidata Q1116090
History
- 2026-11-02: add by m2/dev
Underdamped moment bound FNH829T7DZ
| URI | m2://inv/FNH829T7DZ |
|---|---|
| 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.32446#3LX0, Underdamped moment bound (statement). In W1KVJEGJ1W/e1, lemma D.3
History
- 2026-10-31: add by m2/v0.5.6
FNH9F3RMD1 FNH9F3RMD1
| URI | m2://inv/FNH9F3RMD1 |
|---|---|
| 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.35398#UJOS (statement). In NAJCCHYXR6/e1, corollary 3.7
History
- 2026-10-30: add by m2/v0.4.12
FNHBJTREQJ FNHBJTREQJ
| URI | m2://inv/FNHBJTREQJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 58-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.17139#9KUI (statement). In AQWX60Z563/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Definition FNHBP2TM7S
| URI | m2://inv/FNHBP2TM7S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real projective line#0AFE, Definition (definition)
History
- 2026-11-02: add by m2/dev
Example FNHBY9E56C
| URI | m2://inv/FNHBY9E56C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Powerset construction#2MXW, Example (example)
History
- 2026-11-02: add by m2/dev
FNHYHRFQ0W FNHYHRFQ0W
| URI | m2://inv/FNHYHRFQ0W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#Z4VA (statement). In TC5QA4AB4Z/e1, corollary 4.47
History
- 2026-10-30: add by m2/v0.4.12
Local ring at a point FNJ1YWJFEY
| URI | m2://inv/FNJ1YWJFEY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local ring#TC9B, Local ring at a point (unknown)
History
- 2026-11-02: add by m2/dev
FNJ7T5XK0S FNJ7T5XK0S
| URI | m2://inv/FNJ7T5XK0S |
|---|---|
| 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.12736#6IF6 (statement). In 5350Q52F6P/e1, proposition 9.6
History
- 2026-10-28: add by m2/v0.4.2
Applications FNJ8N8EBCE
| URI | m2://inv/FNJ8N8EBCE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bregman method#XOYN, Applications (example)
History
- 2026-11-02: add by m2/dev
The Nevanlinna-Pick interpolation theorem FNJ9MMGD3E
| URI | m2://inv/FNJ9MMGD3E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commutant lifting theorem#MRTQ, The Nevanlinna-Pick interpolation theorem (statement)
History
- 2026-11-02: add by m2/dev
inverse hyperbolic cosine FNJEVQS83B
| URI | m2://inv/FNJEVQS83B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1562080, inverse hyperbolic cosine (definition). Also MathWorld InverseHyperbolicCosine, ProofWiki Definition:Area_Hyperbolic_Cosine
History
- 2026-10-26: add by m2/dev
Löwner–Heinz theorem FNJKHQTHMC
| URI | m2://inv/FNJKHQTHMC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace inequality#OJQ2, Löwner–Heinz theorem (statement)
History
- 2026-11-02: add by m2/dev
Boolean ring FNJQ991QJR
| URI | m2://inv/FNJQ991QJR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#T6Y9, Boolean ring (definition)
History
- 2026-11-02: add by m2/dev
FNJVC8GJ4J FNJVC8GJ4J
| URI | m2://inv/FNJVC8GJ4J |
|---|---|
| Kind | example |
| 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 2601.22681#1KE5 (example). In 68VEQQX68G/e1, example 3.13
History
- 2026-10-27: add by m2/v0.4.0
unimodal sequence FNJW1J0CFE
| URI | m2://inv/FNJW1J0CFE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110277478, unimodal sequence (unknown). Also MathWorld UnimodalSequence
History
- 2026-10-26: add by m2/dev
Bézout's identity FNJYV0DRC9
| URI | m2://inv/FNJYV0DRC9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Ring Theory > Divisibility in integral domains > Bézout's identity, Bézout's identity (unknown). Also Mathlib exists_gcd_eq_mul_add_mul
History
- 2026-10-26: add by m2/dev
Vector quantization FNJZQ121N9
| URI | m2://inv/FNJZQ121N9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector quantization, Vector quantization (definition). Also Wikidata Q612536
History
- 2026-11-02: add by m2/dev
Probability distribution fitting FNK0GAR240
| URI | m2://inv/FNK0GAR240 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability distribution fitting, Probability distribution fitting (definition). Also Wikidata Q2083147
History
- 2026-11-02: add by m2/dev
Definition FNK1P6BC0G
| URI | m2://inv/FNK1P6BC0G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Determinant line bundle#X9RC, Definition (definition)
History
- 2026-11-02: add by m2/dev
Quadratic lower bound FNK3E5RT5D
| URI | m2://inv/FNK3E5RT5D |
|---|---|
| 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.14616#1TTD, Quadratic lower bound (statement). In 17ACAG0N9C/e1, lemma 8.2
History
- 2026-10-28: add by m2/v0.4.2
Four-vertex theorem FNK3YEZVQF
| URI | m2://inv/FNK3YEZVQF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#1MI0, Four-vertex theorem (statement)
History
- 2026-11-02: add by m2/dev
FNKBZQBWKC FNKBZQBWKC
| URI | m2://inv/FNKBZQBWKC |
|---|---|
| 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 2603.26376#9VD7 (statement). In PJAT9YDX7Y/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.4.0
FNKD46M7GT FNKD46M7GT
| URI | m2://inv/FNKD46M7GT |
|---|---|
| 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.40207#38HR (statement). In JXTG8KP95P/e1, lemma 6.9
History
- 2026-10-30: add by m2/v0.4.12
David Eisenbud FNKEBT9WV3
| URI | m2://inv/FNKEBT9WV3 |
|---|---|
| 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 Q25817, David Eisenbud (unknown). Also nLab David Eisenbud
- wikipedia: Wikipedia David Eisenbud, David Eisenbud (topic). Also Wikidata Q25817
History
- 2026-10-26: add by m2/dev
Dorothy M. Gilford FNKESM99WX
| URI | m2://inv/FNKESM99WX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dorothy M. Gilford, Dorothy M. Gilford (topic). Also Wikidata Q43303614
History
- 2026-11-02: add by m2/dev
FNKKC1DB85 FNKKC1DB85
| URI | m2://inv/FNKKC1DB85 |
|---|---|
| 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.08873#VV1E (statement). In 7WMNVJBAVR/e1, theorem 5.16
History
- 2026-10-29: add by m2/v0.4.10
FNKN55HT21 FNKN55HT21
| URI | m2://inv/FNKN55HT21 |
|---|---|
| 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.25880#LXZ2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Non-trigonometric formulas FNKQHGWRZC
| URI | m2://inv/FNKQHGWRZC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tangential quadrilateral#MN00, Non-trigonometric formulas (statement)
History
- 2026-11-02: add by m2/dev
quasigroup FNKRPAWYSD
| URI | m2://inv/FNKRPAWYSD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1503423, quasigroup (unknown). Also MathWorld Quasigroup, nLab quasigroup
- wikipedia: Wikipedia Quasigroup, Quasigroup (definition). Also Wikidata Q1503423
History
- 2026-10-26: add by m2/dev
FNKRQRWFF1 FNKRQRWFF1
| URI | m2://inv/FNKRQRWFF1 |
|---|---|
| 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.40207#AYJN (statement). In JXTG8KP95P/e1, theorem 2.14
History
- 2026-10-30: add by m2/v0.4.12
Statement FNKTF7A934
| URI | m2://inv/FNKTF7A934 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theorem of the highest weight#EK8D, Statement (statement)
History
- 2026-11-02: add by m2/dev
Moses Schönfinkel FNKV0X4SK6
| URI | m2://inv/FNKV0X4SK6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#5KM1, Moses Schönfinkel (topic)
History
- 2026-11-02: add by m2/dev
FNKX1HBTBG FNKX1HBTBG
| URI | m2://inv/FNKX1HBTBG |
|---|---|
| Kind | definition |
| 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 2009.11127#EQ84 (definition). In QEFS0Y021A/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
FNM10EZ05C FNM10EZ05C
| URI | m2://inv/FNM10EZ05C |
|---|---|
| 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.09129#W9VJ (statement). In Z1RZSF68XZ/e1, theorem 3.8
History
- 2026-10-29: add by m2/v0.4.10
Projection to the reduced height graph FNM4G2FVKX
| URI | m2://inv/FNM4G2FVKX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-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.26066#KOV8, Projection to the reduced height graph (statement)
History
- 2026-11-01: add by m2/v0.6.15
sinusoidal spiral FNMERK4F7D
| URI | m2://inv/FNMERK4F7D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2064156, sinusoidal spiral (unknown). Also MathWorld SinusoidalSpiral
- wikipedia: Wikipedia Sinusoidal spiral, Sinusoidal spiral (definition). Also Wikidata Q2064156
History
- 2026-10-26: add by m2/dev
Example of a provable identity FNMHKRSKCP
| URI | m2://inv/FNMHKRSKCP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tarski's high school algebra problem#JTFQ, Example of a provable identity (example)
History
- 2026-11-02: add by m2/dev
axial point FNMN2KQFNF
| URI | m2://inv/FNMN2KQFNF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cardinal point (optics)#OJB3, axial point (definition)
History
- 2026-11-02: add by m2/dev
FNMW069T1M FNMW069T1M
| URI | m2://inv/FNMW069T1M |
|---|---|
| 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#LJSB (statement). In V7SN19J84T/e1, lemma 7.14
History
- 2026-10-28: add by m2/v0.4.2
Generalizations of Herbrand's theorem FNN93KKG33
| URI | m2://inv/FNN93KKG33 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herbrand's theorem#52LI, Generalizations of Herbrand's theorem (statement)
History
- 2026-11-02: add by m2/dev
Ann R. Cannon FNN97S2P0R
| URI | m2://inv/FNN97S2P0R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#IPMB, Ann R. Cannon (unknown)
History
- 2026-11-02: add by m2/dev
FNND96TE1R FNND96TE1R
| URI | m2://inv/FNND96TE1R |
|---|---|
| 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 2110.06338#IQSC (statement). In W1VVK7WDPK/e1, lemma 4.7
History
- 2026-10-27: add by m2/v0.4.0
FNNEVA4XSV FNNEVA4XSV
| URI | m2://inv/FNNEVA4XSV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop:onevarclassifysing (statement). In VNMV985MXX, prop, section B
History
- 2026-11-01: add by m2/v0.6.13
Example FNNF8GKFB7
| URI | m2://inv/FNNF8GKFB7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Green's function#XQLL, Example (example)
History
- 2026-11-02: add by m2/dev
FNNJVXESTJ FNNJVXESTJ
| URI | m2://inv/FNNJVXESTJ |
|---|---|
| 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 2610.09949#EXU7 (definition). In VGJVFCDV8A/e1, definition 2.15
History
- 2026-10-29: add by m2/v0.4.10
Examples FNNMX110TV
| URI | m2://inv/FNNMX110TV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Input-to-state stability#G7GJ, Examples (example)
History
- 2026-11-02: add by m2/dev
FNP399R4AS FNP399R4AS
| URI | m2://inv/FNP399R4AS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises6-2.xml#exercise-5 (exercise). In 649HGZKE96, exercise, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
Representations FNP7ADDQ4Z
| URI | m2://inv/FNP7ADDQ4Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann zeta function#FXC4, Representations (definition)
History
- 2026-11-02: add by m2/dev
FNP7Q11TK6 FNP7Q11TK6
| URI | m2://inv/FNP7Q11TK6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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 2610.00882#SZCR (statement). In CDA78ZYNZ0/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
FNPB9FG2R0 FNPB9FG2R0
| URI | m2://inv/FNPB9FG2R0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#prop:jordanintbasic (statement). In E59CDZA4DP, prop, section 5.5.2
History
- 2026-11-01: add by m2/v0.6.13
FNPCYHQAGC FNPCYHQAGC
| URI | m2://inv/FNPCYHQAGC |
|---|---|
| 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.30323#U154 (problem). In HDJ6N25XVT/e1, problem 1.4
History
- 2026-10-31: add by m2/v0.5.6
FNPDNQS02T FNPDNQS02T
| URI | m2://inv/FNPDNQS02T |
|---|---|
| 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.14783#HF4W (statement). In Y3X5XY2J65/e1, proposition 8.3
History
- 2026-10-28: add by m2/v0.4.2
FNPH9ZZ7JK FNPH9ZZ7JK
| URI | m2://inv/FNPH9ZZ7JK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25524#UZKS (definition)
History
- 2026-11-01: add by m2/v0.6.15
FNPHRFPB3H FNPHRFPB3H
| URI | m2://inv/FNPHRFPB3H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08837#RVRK (statement). In KBH265QSBT/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.10
FNPM8MWE9F FNPM8MWE9F
| URI | m2://inv/FNPM8MWE9F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21929#AB6E (statement). In 2PP4XRVS0J/e1, proposition 1.2
History
- 2026-10-27: add by m2/v0.4.2
FNPPHQN6V8 FNPPHQN6V8
| URI | m2://inv/FNPPHQN6V8 |
|---|---|
| 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#VZB0 (definition). In P8KT6JV9N1/e1, definition 5.9
History
- 2026-10-29: add by m2/v0.4.12
FNPRFNEV6J FNPRFNEV6J
| URI | m2://inv/FNPRFNEV6J |
|---|---|
| Kind | statement |
| 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.17626#DL5T (statement). In 54ATJS74DT/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
FNPSYKJ8G9 FNPSYKJ8G9
| URI | m2://inv/FNPSYKJ8G9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_polya_exercises.ptx#exercise-1 (exercise). In QKM9DD2H56, exercise, section 15
History
- 2026-11-01: add by m2/v0.6.13
FNPYPE19QD FNPYPE19QD
| URI | m2://inv/FNPYPE19QD |
|---|---|
| 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#B7QL (example). In HX63A1PH1W/e1, example 4.7
History
- 2026-10-28: add by m2/v0.4.3
FNQ2RD43TY FNQ2RD43TY
| URI | m2://inv/FNQ2RD43TY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#proposition-2 (statement). In RZP28ERRZV, proposition, section 22.2
History
- 2026-11-01: add by m2/v0.6.13
FNQ9E8K77N FNQ9E8K77N
| URI | m2://inv/FNQ9E8K77N |
|---|---|
| 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 2207.05628#JI3B (statement). In 9JPKTEWW4W/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
FNQZDW04RM FNQZDW04RM
| URI | m2://inv/FNQZDW04RM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12120#ZZB5 (statement). In G9D4R1AXP8/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
FNR1ZJP12R FNR1ZJP12R
| URI | m2://inv/FNR1ZJP12R |
|---|---|
| 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.16941#LZ88 (statement). In T96MPYB0KT/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
syzygetic FNR791TH8C
| URI | m2://inv/FNR791TH8C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#GCPO, syzygetic (definition)
History
- 2026-11-02: add by m2/dev
FNRADCD9YC FNRADCD9YC
| URI | m2://inv/FNRADCD9YC |
|---|---|
| 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.00386#U1FA (statement). In 7EDY2549HF/e1, proposition 6
History
- 2026-10-30: add by m2/v0.4.12
FNRFQJJS2A FNRFQJJS2A
| URI | m2://inv/FNRFQJJS2A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 0906.2853#OMK2 (statement). In 32ZZ1DETCX/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
Definition FNRJ2FAJM8
| URI | m2://inv/FNRJ2FAJM8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Design matrix#L5B2, Definition (definition)
History
- 2026-11-02: add by m2/dev
ring of regular functions FNRS23FM42
| URI | m2://inv/FNRS23FM42 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectrum of a ring#BTTL, ring of regular functions (definition)
History
- 2026-11-02: add by m2/dev
Semmelweis reflex FNRST209KW
| URI | m2://inv/FNRST209KW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#9RXY, Semmelweis reflex (unknown)
History
- 2026-11-02: add by m2/dev
heptomino FNRV52ME8E
| URI | m2://inv/FNRV52ME8E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2604489, heptomino (unknown). Also MathWorld Heptomino
- wikipedia: Wikipedia Heptomino, Heptomino (definition). Also Wikidata Q2604489
History
- 2026-10-26: add by m2/dev
FNS3P3JEHH FNS3P3JEHH
| URI | m2://inv/FNS3P3JEHH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16583#1SSD (definition). In 4RPXT0YCS5/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Barlow's formula FNS4YNN00S
| URI | m2://inv/FNS4YNN00S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barlow's formula, Barlow's formula (statement). Also Wikidata Q381680
History
- 2026-11-02: add by m2/dev
FNSE04MRNW FNSE04MRNW
| URI | m2://inv/FNSE04MRNW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17045#IN1P (statement). In PA6JQDSKQT/e1, theorem 6.4
History
- 2026-10-28: add by m2/v0.4.2
FNSEGAT036 FNSEGAT036
| URI | m2://inv/FNSEGAT036 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35030#K6X0 (statement). In DPT4P2BTEW/e1, lemma 7.3
History
- 2026-10-30: add by m2/v0.4.12
Definition FNSHFW9TCB
| URI | m2://inv/FNSHFW9TCB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic knapsack problem#AZV0, Definition (definition)
History
- 2026-11-02: add by m2/dev
Procedure FNSNGEK526
| URI | m2://inv/FNSNGEK526 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Median polish#BTYP, Procedure (definition)
History
- 2026-11-02: add by m2/dev
4 (axiom) FNSP9A08E4
| URI | m2://inv/FNSP9A08E4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modal logic#RD79, 4 (axiom) (unknown)
History
- 2026-11-02: add by m2/dev
FNSR8W3F9F FNSR8W3F9F
| URI | m2://inv/FNSR8W3F9F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27872#L2IH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Athanasios Papoulis FNSTAT66MQ
| URI | m2://inv/FNSTAT66MQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#42NH, Athanasios Papoulis (topic)
History
- 2026-11-02: add by m2/dev
FNSV1M2QBR FNSV1M2QBR
| URI | m2://inv/FNSV1M2QBR |
|---|---|
| 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 2310.02073#SGKH (statement). In 3PNCRG6J62/e1, proposition 2.6
History
- 2026-10-27: add by m2/v0.3.5
Non-Axiomatic Reasoning System FNSVSPH1ZK
| URI | m2://inv/FNSVSPH1ZK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probabilistic logic#VD1F, Non-Axiomatic Reasoning System (unknown)
History
- 2026-11-02: add by m2/dev
Application FNSZNC3MQV
| URI | m2://inv/FNSZNC3MQV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplicative partition#Y7E9, Application (example)
History
- 2026-11-02: add by m2/dev
The Cube Made Interesting FNSZND4QAG
| URI | m2://inv/FNSZND4QAG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Cube Made Interesting, The Cube Made Interesting (definition). Also Wikidata Q112892567
History
- 2026-11-02: add by m2/dev
FNT1GEDE1Y FNT1GEDE1Y
| URI | m2://inv/FNT1GEDE1Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35577#3J2T (statement). In 4F8QRV05BV/e1, lemma 2.17
History
- 2026-10-30: add by m2/v0.4.12
FNT83F4RA7 FNT83F4RA7
| URI | m2://inv/FNT83F4RA7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 60-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 2610.07679#UZXW (statement). In K8JMTRS42G/e1, lemma 7.2
History
- 2026-10-29: add by m2/v0.4.10
József Kürschák FNTASA6QAT
| URI | m2://inv/FNTASA6QAT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia József Kürschák, József Kürschák (topic). Also Wikidata Q182967
History
- 2026-11-02: add by m2/dev
FNTSG0BNMA FNTSG0BNMA
| URI | m2://inv/FNTSG0BNMA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Topology.tex#def:open (definition). In P1C114YBXG, definition, section K
History
- 2026-11-01: add by m2/v0.6.13
FNTTDK32QT FNTTDK32QT
| URI | m2://inv/FNTTDK32QT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-4.xml#activity-gram-schmidt (exercise). In 649HGZKE96, activity, section 6.4.2
History
- 2026-11-01: add by m2/v0.6.13
Move by nature FNV4M2YDKP
| URI | m2://inv/FNV4M2YDKP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Move by nature, Move by nature (definition). Also Wikidata Q6926549
History
- 2026-11-02: add by m2/dev
FNV6AGF01C FNV6AGF01C
| URI | m2://inv/FNV6AGF01C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26477#SAAG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Supertask FNV6KSHQR5
| URI | m2://inv/FNV6KSHQR5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supertask, Supertask (definition). Also Wikidata Q7644269
History
- 2026-11-02: add by m2/dev
Chen et al. , Lemma 10 FNV73HR403
| URI | m2://inv/FNV73HR403 |
|---|---|
| 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.16785#LRA9, Chen et al. , Lemma 10 (statement). In SXQQZ2MYKV/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.2
category, complete FNV7XGTV5A
| URI | m2://inv/FNV7XGTV5A |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.1/category-complete, category, complete (concept). In N54F33XE07, index, section C.1.1
History
- 2026-11-01: add by m2/v0.6.13
FNV80JDN1B FNV80JDN1B
| URI | m2://inv/FNV80JDN1B |
|---|---|
| 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.17565#PWVL (statement). In C422901XCN/e1, fact 3.3
History
- 2026-10-28: add by m2/v0.4.2
FNVBY9M4Q9 FNVBY9M4Q9
| URI | m2://inv/FNVBY9M4Q9 |
|---|---|
| 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#4R4N (statement). In VN084GGZGK/e1, theorem 4.14
History
- 2026-10-28: add by m2/v0.4.3
FNVBZ2PGK6 FNVBZ2PGK6
| URI | m2://inv/FNVBZ2PGK6 |
|---|---|
| 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.03081#ZCEV (statement). In TX0H26X4VX/e1, proposition 8.6
History
- 2026-10-29: add by m2/v0.4.12
NS FNVKJMJMTW
| URI | m2://inv/FNVKJMJMTW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#55Y3, NS (definition)
History
- 2026-11-02: add by m2/dev
FNVKRD8X0R FNVKRD8X0R
| URI | m2://inv/FNVKRD8X0R |
|---|---|
| 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#FV0P (statement). In X47RYAZF8P/e1, lemma 10.7
History
- 2026-10-28: add by m2/v0.4.2
Formal definition FNVSB3FVPY
| URI | m2://inv/FNVSB3FVPY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral sequence#QV9Z, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Ehrenfest model FNVTR1M1MQ
| URI | m2://inv/FNVTR1M1MQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KIOA, Ehrenfest model (definition)
History
- 2026-11-02: add by m2/dev
James O. Ramsay FNVV8799H6
| URI | m2://inv/FNVV8799H6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#X0FO, James O. Ramsay (topic)
History
- 2026-11-02: add by m2/dev
Van der Waerden's conjecture FNW2WEGFMJ
| URI | m2://inv/FNW2WEGFMJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permanent (mathematics)#337R, Van der Waerden's conjecture (statement)
History
- 2026-11-02: add by m2/dev
FNW6CE8F5Z FNW6CE8F5Z
| URI | m2://inv/FNW6CE8F5Z |
|---|---|
| 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 2508.19709#GPUA (statement). In 57PQWSSZMY/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
FNW6QF12CM FNW6QF12CM
| URI | m2://inv/FNW6QF12CM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.09812#F2IF (statement). In NWWKD8YX57/e1, theorem C
History
- 2026-10-29: add by m2/v0.4.10
FNWEQDJHS1 FNWEQDJHS1
| URI | m2://inv/FNWEQDJHS1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.01473#F0C0 (statement). In ABS9M47F4K/e1, proposition 2.5
History
- 2026-10-27: add by m2/v0.3.6
Ronald C. Read FNWNJGZ7QN
| URI | m2://inv/FNWNJGZ7QN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#DF82, Ronald C. Read (topic)
History
- 2026-11-02: add by m2/dev
602 (number) FNWT0A3PVX
| URI | m2://inv/FNWT0A3PVX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 600 (number)#NC4L, 602 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Merkle's Puzzles FNWVX1SX7Z
| URI | m2://inv/FNWVX1SX7Z |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Merkle's Puzzles, Merkle's Puzzles (problem). Also Wikidata Q1888605
History
- 2026-11-02: add by m2/dev
Lifting-line theory FNWXHXHMAC
| URI | m2://inv/FNWXHXHMAC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lifting-line theory, Lifting-line theory (definition). Also Wikidata Q13582551
History
- 2026-11-02: add by m2/dev
Topological Radon theorem FNX7CMKBP0
| URI | m2://inv/FNX7CMKBP0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radon's theorem#YNB0, Topological Radon theorem (statement)
History
- 2026-11-02: add by m2/dev
FNX8BPMMBB FNX8BPMMBB
| URI | m2://inv/FNX8BPMMBB |
|---|---|
| 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.28993#X7DH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Pisot–Vijayaraghavan number FNXA84T40V
| URI | m2://inv/FNXA84T40V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1030382, Pisot–Vijayaraghavan number (concept). Also MathWorld PisotNumber
- wikipedia: Wikipedia Pisot–Vijayaraghavan number, Pisot–Vijayaraghavan number (definition). Also Wikidata Q1030382
History
- 2026-10-26: add by m2/dev
FNXATHC5RM FNXATHC5RM
| URI | m2://inv/FNXATHC5RM |
|---|---|
| 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 2412.01742#8CWO (statement). In GYH7R98PPA/e1, corollary 3.6
History
- 2026-10-27: add by m2/v0.3.5
FNXC9DF18R FNXC9DF18R
| URI | m2://inv/FNXC9DF18R |
|---|---|
| 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.23238#OMKP (statement)
History
- 2026-11-02: add by m2/v0.6.17
FNXG4ZQRMB FNXG4ZQRMB
| URI | m2://inv/FNXG4ZQRMB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34852#EQER (statement). In TZXEMCBK5V/e1, corollary 7.10
History
- 2026-10-30: add by m2/v0.4.12
irreflexive relation FNXN4YNNFS
| URI | m2://inv/FNXN4YNNFS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1097991, irreflexive relation (unknown). Also MathWorld Irreflexive, nLab irreflexive relation
History
- 2026-10-26: add by m2/dev
Demographics of Russia FNXNZCH3QX
| URI | m2://inv/FNXNZCH3QX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Russia, Demographics of Russia (definition). Also Wikidata Q4224
History
- 2026-11-02: add by m2/dev
graph, cover FNXSPAS1AT
| URI | m2://inv/FNXSPAS1AT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/6.1/graph-cover, graph, cover (concept). In QKM9DD2H56, index, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
FNY2VWRVYJ FNY2VWRVYJ
| URI | m2://inv/FNY2VWRVYJ |
|---|---|
| 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.33766#8NX6 (statement). In VGKK4M68EK/e1, corollary 1.5
History
- 2026-10-30: add by m2/v0.4.12
FNY5D23ZTN FNY5D23ZTN
| URI | m2://inv/FNY5D23ZTN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17476#412M (statement). In 6HXD74FA4S/e1, proposition 6.3
History
- 2026-10-28: add by m2/v0.4.2
Florent Bureau FNY9BD0DXW
| URI | m2://inv/FNY9BD0DXW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Florent Bureau, Florent Bureau (topic). Also Wikidata Q3074065
History
- 2026-11-02: add by m2/dev
Softness (e.g. FNYE9MTK2G
| URI | m2://inv/FNYE9MTK2G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03865#AWBF, Softness (e.g. (statement). In G3D1YR20BJ/e1, lemma 4.8
History
- 2026-10-29: add by m2/v0.4.12
M'Cay cubic FNYEQ8WZGJ
| URI | m2://inv/FNYEQ8WZGJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1838039, M'Cay cubic (unknown). Also MathWorld MCayCubic
- wikipedia: Wikipedia McCay cubic, McCay cubic (definition). Also Wikidata Q1838039
History
- 2026-10-26: add by m2/dev
Rotating reference frame FNYJ59H25W
| URI | m2://inv/FNYJ59H25W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rotating reference frame, Rotating reference frame (definition). Also Wikidata Q3310692
History
- 2026-11-02: add by m2/dev
Brahmagupta FNYJVXF5CF
| URI | m2://inv/FNYJVXF5CF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brahmagupta, Brahmagupta (topic). Also Wikidata Q202943
History
- 2026-11-02: add by m2/dev
FNYKM0KBTD FNYKM0KBTD
| URI | m2://inv/FNYKM0KBTD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09900#N6L5 (statement). In ATSYBWEMMP/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.10
FNYQ0S9CSF FNYQ0S9CSF
| URI | m2://inv/FNYQ0S9CSF |
|---|---|
| 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.20237#6B8K (statement)
History
- 2026-11-02: add by m2/v0.6.18
FNYXPBF46D FNYXPBF46D
| URI | m2://inv/FNYXPBF46D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.31781#YP29 (statement). In WTTVKKNPE6/e1, theorem 1
History
- 2026-10-31: add by m2/v0.5.6
Algebraic formula FNYY6VDM9B
| URI | m2://inv/FNYY6VDM9B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square root#0TH2, Algebraic formula (statement)
History
- 2026-11-02: add by m2/dev
FNZ28VMNVC FNZ28VMNVC
| URI | m2://inv/FNZ28VMNVC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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.31445#9BPD (definition). In 7V2PVZS04C/e1, definition 2.3
History
- 2026-10-31: add by m2/v0.5.6
A quantitative last-passage estimate FNZ31JHR4M
| URI | m2://inv/FNZ31JHR4M |
|---|---|
| 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.14154#3RBN, A quantitative last-passage estimate (statement). In 8X6PXX2TRA/e1, lemma 3.14
History
- 2026-10-28: add by m2/v0.4.2
FNZFPAFT80 FNZFPAFT80
| URI | m2://inv/FNZFPAFT80 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21365#90VR (definition). In FCMMB2EVAP/e1, definition 2.24
History
- 2026-10-27: add by m2/v0.4.2
Generalizations FNZHH8G1SX
| URI | m2://inv/FNZHH8G1SX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Art gallery problem#ZTYD, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
FNZQ35VDJ3 FNZQ35VDJ3
| URI | m2://inv/FNZQ35VDJ3 |
|---|---|
| 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.30579#WSCP (statement). In FDYZFDHZH9/e1, theorem 1.3
History
- 2026-10-31: add by m2/v0.5.6
FNZXGH5ZZQ FNZXGH5ZZQ
| URI | m2://inv/FNZXGH5ZZQ |
|---|---|
| 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.21739#G2OW (statement)
History
- 2026-11-02: add by m2/v0.6.18