Inventory rows NF
The cards of the rows of the inventory whose ids start with NF. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
NF051S1YXB NF051S1YXB
| URI | m2://inv/NF051S1YXB |
|---|---|
| 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 1612.08394#O83U (statement). In 1P8D88DKG5/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.3.5
NF0A6CTWKC NF0A6CTWKC
| URI | m2://inv/NF0A6CTWKC |
|---|---|
| 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.34675#7UJH (statement). In C93BAXKJVD/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
NF0JCH3CB3 NF0JCH3CB3
| URI | m2://inv/NF0JCH3CB3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2609.25151#CPER (statement)
History
- 2026-11-01: add by m2/v0.6.15
NF0XNMBS2Q NF0XNMBS2Q
| URI | m2://inv/NF0XNMBS2Q |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-7-3-2.xml#act-7-3-2 (exercise). In 907G4C4EJ1, activity, section 7.3.2
History
- 2026-11-01: add by m2/v0.6.13
NF0Y7JN6EV NF0Y7JN6EV
| URI | m2://inv/NF0Y7JN6EV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06544#1Q7S (statement). In VCRB27RMN6/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
Grothendieck–Katz p-curvature conjecture NF0ZY29VV4
| URI | m2://inv/NF0ZY29VV4 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#SMYK, Grothendieck–Katz p-curvature conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Claus Michael Ringel NF13SSWM24
| URI | m2://inv/NF13SSWM24 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XKHL, Claus Michael Ringel (topic)
History
- 2026-11-02: add by m2/dev
Allen Knutson NF14GEBYY0
| URI | m2://inv/NF14GEBYY0 |
|---|---|
| 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 Q4731739, Allen Knutson (unknown). Also nLab Allen Knutson
- wikipedia: Wikipedia Allen Knutson, Allen Knutson (topic). Also Wikidata Q4731739
History
- 2026-10-26: add by m2/dev
NF19MX5PMC NF19MX5PMC
| URI | m2://inv/NF19MX5PMC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07453#W9PA (statement). In CQGE4WJV4P/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Examples NF1EDVRKGW
| URI | m2://inv/NF1EDVRKGW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tree automaton#U2PA, Examples (example)
History
- 2026-11-02: add by m2/dev
adjoint NF1GDA8AR5
| URI | m2://inv/NF1GDA8AR5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#KIKN, adjoint (definition)
History
- 2026-11-02: add by m2/dev
NF1M6TY6TJ NF1M6TY6TJ
| URI | m2://inv/NF1M6TY6TJ |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35631#V4Y0 (problem). In 9NCX0S6MTP/e1, problem 3
History
- 2026-10-30: add by m2/v0.4.12
NF1XM55RA3 NF1XM55RA3
| URI | m2://inv/NF1XM55RA3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24185#X6MN (statement)
History
- 2026-11-01: add by m2/v0.6.15
NF23A7ZS60 NF23A7ZS60
| URI | m2://inv/NF23A7ZS60 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_logic-prop.ptx#example-1 (example). In Y91XFCEVHQ, example, section 4.1.1
History
- 2026-11-01: add by m2/v0.6.13
NF23YR8FYE NF23YR8FYE
| URI | m2://inv/NF23YR8FYE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.16241#WZC9 (statement). In WNDHZVY4WK/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
NF29ER1NVQ NF29ER1NVQ
| URI | m2://inv/NF29ER1NVQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-208 (exercise). In VNMV985MXX, exercise, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
Certification below the square threshold NF2FD4JPQB
| URI | m2://inv/NF2FD4JPQB |
|---|---|
| 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.13365#SXWQ, Certification below the square threshold (statement). In YMBTSX10FF/e1, proposition 2.9
History
- 2026-10-28: add by m2/v0.4.2
Partial least squares regression NF2HWDSVT8
| URI | m2://inv/NF2HWDSVT8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial least squares regression, Partial least squares regression (definition). Also Wikidata Q422009
History
- 2026-11-02: add by m2/dev
Coincidence of Topologies NF2KHVBFPZ
| URI | m2://inv/NF2KHVBFPZ |
|---|---|
| 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.28495#5GQ2, Coincidence of Topologies (statement)
History
- 2026-11-01: add by m2/v0.6.15
Compactness Theorem NF2W7JCBRJ
| URI | m2://inv/NF2W7JCBRJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/compactness.tex#thm:compactness, Compactness Theorem (statement). In PKGMM3P5QY, thm, section 9.9
History
- 2026-11-01: add by m2/v0.6.13
NF2XNK5PEB NF2XNK5PEB
| URI | m2://inv/NF2XNK5PEB |
|---|---|
| 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.11210#3EVC (statement). In CRFDGFZHBF/e1, lemma 9.7
History
- 2026-10-28: add by m2/v0.4.3
Charles M. Stein NF2XWBCXWK
| URI | m2://inv/NF2XWBCXWK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#6V69, Charles M. Stein (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SRX4, Charles M. Stein (topic)
History
- 2026-11-02: add by m2/dev
NF2YZKWV7G NF2YZKWV7G
| URI | m2://inv/NF2YZKWV7G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10902#F0R2 (statement). In 96T1K6C3NZ/e1, proposition 4
History
- 2026-10-28: add by m2/v0.4.3
Volume conjecture NF30SPWAVX
| URI | m2://inv/NF30SPWAVX |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#UW9T, Volume conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Smith chart NF3ECKN298
| URI | m2://inv/NF3ECKN298 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#SSI3, Smith chart (unknown)
History
- 2026-11-02: add by m2/dev
distance NF3SM5DFK9
| URI | m2://inv/NF3SM5DFK9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/12.3/distance, distance (concept). In QKM9DD2H56, index, section 12.3
History
- 2026-11-01: add by m2/v0.6.13
NF3TXD3QJW NF3TXD3QJW
| URI | m2://inv/NF3TXD3QJW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05146#S9OD (statement). In 63MJS935N4/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
NF3Y6CXPDZ NF3Y6CXPDZ
| URI | m2://inv/NF3Y6CXPDZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03126#DQ5X (statement). In ZJ6VQCRDVR/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.12
rule, formation NF4252WXPD
| URI | m2://inv/NF4252WXPD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.2.4/rule-formation, rule, formation (concept). In N54F33XE07, index, section 4.2.4
History
- 2026-11-01: add by m2/v0.6.13
NF43EN4C94 NF43EN4C94
| URI | m2://inv/NF43EN4C94 |
|---|---|
| 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.14434#S4D7 (statement). In TW93XZXMHE/e1, proposition 7.1
History
- 2026-10-28: add by m2/v0.4.2
Paranormal operator NF43P0K3X9
| URI | m2://inv/NF43P0K3X9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paranormal operator, Paranormal operator (definition). Also Wikidata Q7135553
History
- 2026-11-02: add by m2/dev
NF48MSN2K0 NF48MSN2K0
| URI | m2://inv/NF48MSN2K0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02495#AJSI (definition). In T4S7XVAJJC/e1, definition 16.2
History
- 2026-10-29: add by m2/v0.4.12
Applications NF49W5G03G
| URI | m2://inv/NF49W5G03G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eikonal equation#I06W, Applications (example)
History
- 2026-11-02: add by m2/dev
NF4AGG17T5 NF4AGG17T5
| URI | m2://inv/NF4AGG17T5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-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.23527#H7AZ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Equivalent definition NF4H8PWBVC
| URI | m2://inv/NF4H8PWBVC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order unit#4FRM, Equivalent definition (definition)
History
- 2026-11-02: add by m2/dev
NF4XN6SDXN NF4XN6SDXN
| URI | m2://inv/NF4XN6SDXN |
|---|---|
| Kind | definition |
| 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#MEJZ (definition). In HX63A1PH1W/e1, definition 5.31
History
- 2026-10-28: add by m2/v0.4.3
Properties NF50RR53AJ
| URI | m2://inv/NF50RR53AJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniformly connected space#0TA7, Properties (statement)
History
- 2026-11-02: add by m2/dev
Covariance-side spectral map NF56QG4FC8
| URI | m2://inv/NF56QG4FC8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16680#3HVI, Covariance-side spectral map (definition). In H29YHXQZV6/e1, definition 8
History
- 2026-10-28: add by m2/v0.4.2
Class condition for equal slopes NF57183YXC
| URI | m2://inv/NF57183YXC |
|---|---|
| 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.21461#M2HZ, Class condition for equal slopes (statement). In DWQANBV7B7/e1, lemma B.2
History
- 2026-10-27: add by m2/v0.4.2
NF57P23TRN NF57P23TRN
| URI | m2://inv/NF57P23TRN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06529#75XZ (definition). In JFQY4CYHKP/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
NF5MTAENMF NF5MTAENMF
| URI | m2://inv/NF5MTAENMF |
|---|---|
| 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.29501#EU4T (statement)
History
- 2026-11-01: add by m2/v0.6.15
Exact Laguerre determinants and normality NF62C5MB4Z
| URI | m2://inv/NF62C5MB4Z |
|---|---|
| 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.22027#8O1X, Exact Laguerre determinants and normality (statement)
History
- 2026-11-02: add by m2/v0.6.17
Chernoff faces NF630A037W
| URI | m2://inv/NF630A037W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#ZELQ, Chernoff faces (definition)
History
- 2026-11-02: add by m2/dev
Poincaré half-plane model NF6X2X1Q3X
| URI | m2://inv/NF6X2X1Q3X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Henri Poincaré#9K95, Poincaré half-plane model (definition)
History
- 2026-11-02: add by m2/dev
Stellations of octahedron NF76AA73TE
| URI | m2://inv/NF76AA73TE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Wenninger polyhedron models#Z4A4, Stellations of octahedron (unknown)
History
- 2026-11-02: add by m2/dev
bounded sequence NF7MQ9H2K0
| URI | m2://inv/NF7MQ9H2K0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/10.1/bounded-sequence, bounded sequence (concept). In E59CDZA4DP, index, section 10.1
History
- 2026-11-01: add by m2/v0.6.13
NF7ZYM6T3W NF7ZYM6T3W
| URI | m2://inv/NF7ZYM6T3W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09390#U7KI (statement). In 7SSKW778T8/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.10
NF81WH4ZE8 NF81WH4ZE8
| URI | m2://inv/NF81WH4ZE8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1804.06366#FTV6 (statement). In 89XYDVXG38/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
Properties NF83KDB041
| URI | m2://inv/NF83KDB041 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed convex function#MWSO, Properties (statement)
History
- 2026-11-02: add by m2/dev
NF84W1WH1C NF84W1WH1C
| URI | m2://inv/NF84W1WH1C |
|---|---|
| Kind | definition |
| 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#BOKV (definition)
History
- 2026-11-01: add by m2/v0.6.15
Statement NF85H7NV3V
| URI | m2://inv/NF85H7NV3V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time hierarchy theorem#NX81, Statement (statement)
History
- 2026-11-02: add by m2/dev
Properties NF86E7HZFD
| URI | m2://inv/NF86E7HZFD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unitary group#6JF1, Properties (statement)
History
- 2026-11-02: add by m2/dev
NF88Q7BF75 NF88Q7BF75
| URI | m2://inv/NF88Q7BF75 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.01916#XTRR (statement). In XTGB5Z08YH/e1, theorem 3.20
History
- 2026-10-27: add by m2/v0.4.0
NF89FK30KF NF89FK30KF
| URI | m2://inv/NF89FK30KF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroFunctions.tex#problem-5 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
NF8AFX47HZ NF8AFX47HZ
| URI | m2://inv/NF8AFX47HZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.26771#R49H (statement)
History
- 2026-11-01: add by m2/v0.6.15
Neural network NF8BXC623G
| URI | m2://inv/NF8BXC623G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neural network (machine learning), Neural network (definition). Also Wikidata Q192776
History
- 2026-11-02: add by m2/dev
NF8CXN4KD5 NF8CXN4KD5
| URI | m2://inv/NF8CXN4KD5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32206#P6E5 (statement). In 3C4BQEVRM6/e1, lemma 1
History
- 2026-10-31: add by m2/v0.5.6
NF8GN54ANS NF8GN54ANS
| URI | m2://inv/NF8GN54ANS |
|---|---|
| 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.24523#MQPE (statement)
History
- 2026-11-01: add by m2/v0.6.15
NF8KVE49RW NF8KVE49RW
| URI | m2://inv/NF8KVE49RW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29605#2NJ3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
NF8R7B1QWK NF8R7B1QWK
| URI | m2://inv/NF8R7B1QWK |
|---|---|
| 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 2610.15402#WOU7 (definition). In WSE8SEHVXG/e1, definition 6
History
- 2026-10-28: add by m2/v0.4.2
NF8S7Z5G6A NF8S7Z5G6A
| URI | m2://inv/NF8S7Z5G6A |
|---|---|
| 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 2111.01197#YC8S (statement). In Z36XFKVTS0/e1, proposition 3.16
History
- 2026-10-27: add by m2/v0.3.5
Extensions NF8XT6H1FW
| URI | m2://inv/NF8XT6H1FW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group cohomology#LA71, Extensions (statement)
History
- 2026-11-02: add by m2/dev
NF8YT8YGRX NF8YT8YGRX
| URI | m2://inv/NF8YT8YGRX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1004.4564#BC2G (definition). In BZ54C9SKYS/e1, definition 6.17
History
- 2026-10-27: add by m2/v0.3.5
NF93Z5NPK5 NF93Z5NPK5
| URI | m2://inv/NF93Z5NPK5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#DPWC (definition). In A1GWWGRXPA/e1, definition 3.11
History
- 2026-10-27: add by m2/v0.4.2
\bf Randomized first-order lower bound NF96VVKBH7
| URI | m2://inv/NF96VVKBH7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02791#XQMO, \bf Randomized first-order lower bound (statement). In TT9BA4VMTW/e1, theorem 6.1
History
- 2026-10-29: add by m2/v0.4.12
Green's relations NF9DRGAWA2
| URI | m2://inv/NF9DRGAWA2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Green's relations, Green's relations (definition). Also Wikidata Q3077964
History
- 2026-11-02: add by m2/dev
Properties NF9KBVX2Q4
| URI | m2://inv/NF9KBVX2Q4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sub-Riemannian manifold#IZ01, Properties (statement)
History
- 2026-11-02: add by m2/dev
Formulas NF9PV7HMFB
| URI | m2://inv/NF9PV7HMFB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Least common multiple#IBPK, Formulas (statement)
History
- 2026-11-02: add by m2/dev
Optimal discriminant analysis and classification tree analysis NF9R78P6TY
| URI | m2://inv/NF9R78P6TY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimal discriminant analysis and classification tree analysis, Optimal discriminant analysis and classification tree analysis (definition). Also Wikidata Q17104912
History
- 2026-11-02: add by m2/dev
Applications NF9TFYJ07B
| URI | m2://inv/NF9TFYJ07B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A* search algorithm#G7X2, Applications (example)
History
- 2026-11-02: add by m2/dev
Applications NF9VS4WVRX
| URI | m2://inv/NF9VS4WVRX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triple product rule#O498, Applications (example)
History
- 2026-11-02: add by m2/dev
NF9X4ND82M NF9X4ND82M
| URI | m2://inv/NF9X4ND82M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.12846#53XN (statement). In D6XA7JXZF3/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
Logical machine NF9Z97CM1E
| URI | m2://inv/NF9Z97CM1E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logical machine, Logical machine (definition). Also Wikidata Q1614639
History
- 2026-11-02: add by m2/dev
Conductor-one comparison NF9ZQHBZ8G
| URI | m2://inv/NF9ZQHBZ8G |
|---|---|
| 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.30301#CLRM, Conductor-one comparison (statement). In 7NS75J7HAM/e1, proposition 6.3
History
- 2026-10-31: add by m2/v0.5.6
NFA0FTFJYD NFA0FTFJYD
| URI | m2://inv/NFA0FTFJYD |
|---|---|
| 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 2308.09645#Z72K (statement). In HVDSC1GQRD/e1, corollary 2.7
History
- 2026-10-27: add by m2/v0.3.5
NFA3Y0V883 NFA3Y0V883
| URI | m2://inv/NFA3Y0V883 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.10329#4GHH (statement). In SCSTR1Q1BW/e1, corollary 7.7
History
- 2026-10-29: add by m2/v0.4.10
Applications NFA7PRPYKM
| URI | m2://inv/NFA7PRPYKM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flexcom#U6VH, Applications (example)
History
- 2026-11-02: add by m2/dev
NFACT5EAG5 NFACT5EAG5
| URI | m2://inv/NFACT5EAG5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.36884#5KUK (statement). In Z7E16PFFCP/e1, lemma 3.25
History
- 2026-10-30: add by m2/v0.4.12
Magic hexagon NFAE52T998
| URI | m2://inv/NFAE52T998 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1417631, Magic hexagon (unknown). Also MathWorld MagicHexagon
- wikipedia: Wikipedia Magic hexagon, Magic hexagon (definition). Also Wikidata Q1417631
History
- 2026-10-26: add by m2/dev
NFAQX1D6SC NFAQX1D6SC
| URI | m2://inv/NFAQX1D6SC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.33651#5SFO (statement). In 69DBD2HKGK/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Normally flat ring NFAT1XJTB4
| URI | m2://inv/NFAT1XJTB4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normally flat ring, Normally flat ring (definition). Also Wikidata Q65063609
History
- 2026-11-02: add by m2/dev
Use in medical hypothesis testing NFB256ES41
| URI | m2://inv/NFB256ES41 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Medical statistics#VS35, Use in medical hypothesis testing (statement)
History
- 2026-11-02: add by m2/dev
Statement of the theorem NFB352BENJ
| URI | m2://inv/NFB352BENJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eisenstein reciprocity#XANQ, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Comon's conjecture NFB3918TDP
| URI | m2://inv/NFB3918TDP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures#JNXQ, Comon's conjecture (statement)
History
- 2026-11-02: add by m2/dev
Jñanasrimitra NFB4AJFKFQ
| URI | m2://inv/NFB4AJFKFQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#RPRX, Jñanasrimitra (unknown)
History
- 2026-11-02: add by m2/dev
Mapping class group of a surface NFB8ZFEAQ5
| URI | m2://inv/NFB8ZFEAQ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mapping class group of a surface, Mapping class group of a surface (definition). Also Wikidata Q27108691
History
- 2026-11-02: add by m2/dev
NFBCK317SY NFBCK317SY
| URI | m2://inv/NFBCK317SY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.06645#ZR6H (statement). In 79H1DEK4M9/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
NFBG3ZKNY2 NFBG3ZKNY2
| URI | m2://inv/NFBG3ZKNY2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21090#88N8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
NFBPHKX6JY NFBPHKX6JY
| URI | m2://inv/NFBPHKX6JY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25656#U24G (example)
History
- 2026-11-01: add by m2/v0.6.15
NFBQ19557H NFBQ19557H
| URI | m2://inv/NFBQ19557H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#H9HC (definition). In M4ZVJWM8YA/e1, definition 4.23
History
- 2026-10-27: add by m2/v0.4.2
International Association of Mathematical Physics NFBRJM1J19
| URI | m2://inv/NFBRJM1J19 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Association of Mathematical Physics, International Association of Mathematical Physics (definition). Also Wikidata Q665437
History
- 2026-11-02: add by m2/dev
NFBT1QKN3V NFBT1QKN3V
| URI | m2://inv/NFBT1QKN3V |
|---|---|
| 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.36444#ZM3J (statement). In 4DJE72VPJP/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
NFBV8BMX5A NFBV8BMX5A
| URI | m2://inv/NFBV8BMX5A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/sigma1-completeness.tex#lem:bounded-quant-equiv (statement). In PKGMM3P5QY, lem, section 30.3
History
- 2026-11-01: add by m2/v0.6.13
Artinian NFC0HTHYRZ
| URI | m2://inv/NFC0HTHYRZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#WIW3, Artinian (definition)
History
- 2026-11-02: add by m2/dev
Numerical dispersion NFC549VB3G
| URI | m2://inv/NFC549VB3G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerical dispersion, Numerical dispersion (definition). Also Wikidata Q30594078
History
- 2026-11-02: add by m2/dev
Jensen field bound NFCM6P4048
| URI | m2://inv/NFCM6P4048 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37479#AU9M, Jensen field bound (statement). In P3RTT99C41/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
NFCNBMFXER NFCNBMFXER
| URI | m2://inv/NFCNBMFXER |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24845#K0D8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sachs–Wolfe effect NFCS8NRCHG
| URI | m2://inv/NFCS8NRCHG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sachs–Wolfe effect, Sachs–Wolfe effect (definition). Also Wikidata Q1617362
History
- 2026-11-02: add by m2/dev
\LLPS{$k$} Problem NFCXQ78035
| URI | m2://inv/NFCXQ78035 |
|---|---|
| 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 2609.26769#84K5, \LLPS{$k$} Problem (definition)
History
- 2026-11-01: add by m2/v0.6.15
Preissmann's theorem NFCY56AXQ0
| URI | m2://inv/NFCY56AXQ0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Preissmann's theorem, Preissmann's theorem (statement). Also Wikidata Q7240001
History
- 2026-11-02: add by m2/dev
Before Proposition 2.3 NFD1GCH0S8
| URI | m2://inv/NFD1GCH0S8 |
|---|---|
| Kind | definition |
| 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 2604.10080#3H9Z, Before Proposition 2.3 (definition). In KM2FWKP93A/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.4.0
NFD8AQJG9J NFD8AQJG9J
| URI | m2://inv/NFD8AQJG9J |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 49-XX, 51-XX, 52-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 1904.08413#0DX9 (example). In X88HPQ0W8C/e1, example 2.32
History
- 2026-10-27: add by m2/v0.3.5
Indicator function NFD9R2CGEC
| URI | m2://inv/NFD9R2CGEC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indicator function (convex analysis), Indicator function (definition). Also Wikidata Q5073765
History
- 2026-11-02: add by m2/dev
logical connective NFDA12X79A
| URI | m2://inv/NFDA12X79A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q93439763, logical connective (unknown). Also MathWorld Connective
History
- 2026-10-26: add by m2/dev
Two impossibilities NFDH3KW2J2
| URI | m2://inv/NFDH3KW2J2 |
|---|---|
| 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.04671#GMQN, Two impossibilities (statement). In BYP65TRGDT/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.12
Non-Euclidean geometry NFDKETKZGW
| URI | m2://inv/NFDKETKZGW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#TSGH, Non-Euclidean geometry (definition)
- wikipedia: Wikipedia List of mathematics history topics#FEZU, Non-Euclidean geometry (definition)
History
- 2026-11-02: add by m2/dev
NFDMT1WX0C NFDMT1WX0C
| URI | m2://inv/NFDMT1WX0C |
|---|---|
| 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 2609.36045#04JL (statement). In F0E8YBV0Z0/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
Axiom of empty set NFDVTE6J64
| URI | m2://inv/NFDVTE6J64 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of axioms#G53M, Axiom of empty set (statement)
History
- 2026-11-02: add by m2/dev
Lenticular pony truss NFDVWZN1XJ
| URI | m2://inv/NFDVWZN1XJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truss#L3E0, Lenticular pony truss (unknown)
History
- 2026-11-02: add by m2/dev
isometries of a Euclidean affine space NFDZXQ2MF5
| URI | m2://inv/NFDZXQ2MF5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > Euclidean affine spaces > isometries of a Euclidean affine space, isometries of a Euclidean affine space (unknown). Also Mathlib AffineIsometryEquiv
History
- 2026-10-26: add by m2/dev
NFE18S5D8S NFE18S5D8S
| URI | m2://inv/NFE18S5D8S |
|---|---|
| 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.25390#UNCP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples NFE60KNCA6
| URI | m2://inv/NFE60KNCA6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equitable coloring#SKEI, Examples (example)
History
- 2026-11-02: add by m2/dev
compound of small stellated dodecahedron and great dodecahedron NFE779CNE3
| URI | m2://inv/NFE779CNE3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5156887, compound of small stellated dodecahedron and great dodecahedron (unknown). Also MathWorld GreatDodecahedron-SmallStellatedDodecahedronCompound
History
- 2026-10-26: add by m2/dev
NFE7V9KYNK NFE7V9KYNK
| URI | m2://inv/NFE7V9KYNK |
|---|---|
| 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#5T1Q (statement). In TZXEMCBK5V/e1, proposition 6.2
History
- 2026-10-30: add by m2/v0.4.12
The generalized central limit theorem NFEFDY8Q3P
| URI | m2://inv/NFEFDY8Q3P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central limit theorem#G8Z3, The generalized central limit theorem (statement)
History
- 2026-11-02: add by m2/dev
mutation NFEJEF70V8
| URI | m2://inv/NFEJEF70V8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1955809, mutation (unknown). Also MathWorld Mutation
History
- 2026-10-26: add by m2/dev
NFER3BFQFE NFER3BFQFE
| URI | m2://inv/NFER3BFQFE |
|---|---|
| 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.20679#EM78 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Robert Schatten NFES42HKEN
| URI | m2://inv/NFES42HKEN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#75T7, Robert Schatten (topic)
History
- 2026-11-02: add by m2/dev
NFEXBEPF0D NFEXBEPF0D
| URI | m2://inv/NFEXBEPF0D |
|---|---|
| Kind | definition |
| 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 2610.03661#Q9WF (definition). In ESDKTYDHC8/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.12
Examples NFEY8CPW07
| URI | m2://inv/NFEY8CPW07 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plurisubharmonic function#T2XR, Examples (example)
History
- 2026-11-02: add by m2/dev
NFF8SGZCCT NFF8SGZCCT
| URI | m2://inv/NFF8SGZCCT |
|---|---|
| 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.21017#7DWF (statement)
History
- 2026-11-02: add by m2/v0.6.18
Darrieus–Landau instability NFF9M3K39Q
| URI | m2://inv/NFF9M3K39Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Darrieus–Landau instability, Darrieus–Landau instability (definition). Also Wikidata Q25220484
History
- 2026-11-02: add by m2/dev
Vladimir Popov NFF9XMXYB1
| URI | m2://inv/NFF9XMXYB1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vladimir Popov (mathematician), Vladimir Popov (topic). Also Wikidata Q15995408
History
- 2026-11-02: add by m2/dev
Kapovitch--Wilking generalized Margulis lemma NFFBXG7PJ9
| URI | m2://inv/NFFBXG7PJ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18530#AG02, Kapovitch--Wilking generalized Margulis lemma (statement). In HSXWVKPCQV/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
NFFDVQQBKC NFFDVQQBKC
| URI | m2://inv/NFFDVQQBKC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-32 (exercise). In E9HS8K3A52, exercise, section 2.3.6
History
- 2026-11-01: add by m2/v0.6.13
Wei-Yin Loh NFFE89A7NV
| URI | m2://inv/NFFE89A7NV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wei-Yin Loh, Wei-Yin Loh (topic). Also Wikidata Q96199019
History
- 2026-11-02: add by m2/dev
George Gheverghese Joseph NFFEZV4W2R
| URI | m2://inv/NFFEZV4W2R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Gheverghese Joseph, George Gheverghese Joseph (topic). Also Wikidata Q104843371
History
- 2026-11-02: add by m2/dev
Indifference curve NFFHH5JJ88
| URI | m2://inv/NFFHH5JJ88 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#DSG2, Indifference curve (unknown)
- wikipedia: Wikipedia List of curves#A50U, Indifference curve (unknown)
History
- 2026-11-02: add by m2/dev
Indranil Biswas NFFJV6S3E7
| URI | m2://inv/NFFJV6S3E7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indranil Biswas, Indranil Biswas (topic). Also Wikidata Q10536646
History
- 2026-11-02: add by m2/dev
Definition NFFR5YAJ7M
| URI | m2://inv/NFFR5YAJ7M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfvén wave#S0OT, Definition (definition)
History
- 2026-11-02: add by m2/dev
Distances based on Hölder inequality NFFVE3N3D6
| URI | m2://inv/NFFVE3N3D6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hölder's inequality#UX7J, Distances based on Hölder inequality (statement)
History
- 2026-11-02: add by m2/dev
gradient vector NFG0KVDZH7
| URI | m2://inv/NFG0KVDZH7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential calculus > gradient vector, gradient vector (unknown). Also Mathlib gradient
History
- 2026-10-26: add by m2/dev
Giovanni Battista Donati NFG2BPEWY2
| URI | m2://inv/NFG2BPEWY2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#UWYC, Giovanni Battista Donati (unknown)
History
- 2026-11-02: add by m2/dev
Definition NFG3JE0NQB
| URI | m2://inv/NFG3JE0NQB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semialgebraic set#3LUT, Definition (definition)
History
- 2026-11-02: add by m2/dev
NFGCNGSGQC NFGCNGSGQC
| URI | m2://inv/NFGCNGSGQC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#exercise-26 (exercise). In E59CDZA4DP, exercise, section 11.9.6
History
- 2026-11-01: add by m2/v0.6.13
Example NFGFJZ1NC3
| URI | m2://inv/NFGFJZ1NC3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener process#H2A6, Example (example)
History
- 2026-11-02: add by m2/dev
5-orthoplex honeycomb NFGGV55KJQ
| URI | m2://inv/NFGGV55KJQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 5-orthoplex honeycomb, 5-orthoplex honeycomb (definition). Also Wikidata Q19903136
History
- 2026-11-02: add by m2/dev
NFGMB191RP NFGMB191RP
| URI | m2://inv/NFGMB191RP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35600#ORCA (statement). In ET8GYMMDQM/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
A simple example NFGN8CQ9HS
| URI | m2://inv/NFGN8CQ9HS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radius of convergence#YVYS, A simple example (example)
History
- 2026-11-02: add by m2/dev
Method of finite differences NFGQZ11Y2A
| URI | m2://inv/NFGQZ11Y2A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Difference engine#H627, Method of finite differences (unknown)
History
- 2026-11-02: add by m2/dev
NFGXFP2M4M NFGXFP2M4M
| URI | m2://inv/NFGXFP2M4M |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32358#1L9W (example). In WYVVH1QVSP/e1, example 3
History
- 2026-10-31: add by m2/v0.5.6
Piet Groeneboom NFH9KAV3N4
| URI | m2://inv/NFH9KAV3N4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Piet Groeneboom, Piet Groeneboom (topic). Also Wikidata Q102086676
History
- 2026-11-02: add by m2/dev
Journal of Agricultural, Biological and Environmental Statistics NFHB3DXPR3
| URI | m2://inv/NFHB3DXPR3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Journal of Agricultural, Biological and Environmental Statistics, Journal of Agricultural, Biological and Environmental Statistics (definition). Also Wikidata Q97192392
History
- 2026-11-02: add by m2/dev
The stable homeomorphism conjecture NFHGVNRBK4
| URI | m2://inv/NFHGVNRBK4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Annulus theorem#2I9J, The stable homeomorphism conjecture (statement)
History
- 2026-11-02: add by m2/dev
NFHKEKAZXK NFHKEKAZXK
| URI | m2://inv/NFHKEKAZXK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00146#8X15 (example). In 6KR7Z5ETRY/e1, example 2.3
History
- 2026-10-27: add by m2/v0.3.5
NFHMQKDE7Q NFHMQKDE7Q
| URI | m2://inv/NFHMQKDE7Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.14312#OWBC (statement). In SEPBZN2DRH/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.5
NFHVHMYXV0 NFHVHMYXV0
| URI | m2://inv/NFHVHMYXV0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30527#LAXK (statement). In E3WQDZY388/e1, theorem 1.5
History
- 2026-10-31: add by m2/v0.5.6
NFHYSNNZFN NFHYSNNZFN
| URI | m2://inv/NFHYSNNZFN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02901#33XO (statement). In NSP90G5XCQ/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
Construction NFJ0PX8V44
| URI | m2://inv/NFJ0PX8V44 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermat point#EYC0, Construction (definition)
History
- 2026-11-02: add by m2/dev
Dipole model of Earth's magnetic field NFJ26N58M3
| URI | m2://inv/NFJ26N58M3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dipole model of Earth's magnetic field, Dipole model of Earth's magnetic field (definition). Also Wikidata Q1976304
History
- 2026-11-02: add by m2/dev
Second-countable space NFJ6Z679Y2
| URI | m2://inv/NFJ6Z679Y2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#1PT9, Second-countable space (definition)
History
- 2026-11-02: add by m2/dev
Finiteness of the localized joint moment from the unlocalized joint moment NFJA74XSR0
| URI | m2://inv/NFJA74XSR0 |
|---|---|
| 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 2502.09121#DY46, Finiteness of the localized joint moment from the unlocalized joint moment (statement). In 559PF7Q5BT/e1, lemma 18
History
- 2026-10-27: add by m2/v0.3.5
Dirac observables NFJJ0NVXJ1
| URI | m2://inv/NFJJ0NVXJ1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constant of motion#1Q32, Dirac observables (unknown)
History
- 2026-11-02: add by m2/dev
Lars Lyberg NFJJFHX1KX
| URI | m2://inv/NFJJFHX1KX |
|---|---|
| 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#I7XL, Lars Lyberg (topic)
History
- 2026-11-02: add by m2/dev
NFJPPM6GTS NFJPPM6GTS
| URI | m2://inv/NFJPPM6GTS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29759#L27N (statement)
History
- 2026-11-01: add by m2/v0.6.15
Associative property NFJTZ04979
| URI | m2://inv/NFJTZ04979 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Associative property#0T4M, Associative property (statement)
History
- 2026-11-02: add by m2/dev
NFK2V6WC5H NFK2V6WC5H
| URI | m2://inv/NFK2V6WC5H |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/artin.tex#proof-2 (proof). In RZP28ERRZV, proof, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
NFK486416G NFK486416G
| URI | m2://inv/NFK486416G |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/proofs-in-K.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 50.8
History
- 2026-11-01: add by m2/v0.6.13
NFK4SS8QTK NFK4SS8QTK
| URI | m2://inv/NFK4SS8QTK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27694#37F8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
NFK7DY668Y NFK7DY668Y
| URI | m2://inv/NFK7DY668Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21092#LDKG (statement). In AGJE43FTF8/e1, lemma 8.1
History
- 2026-10-27: add by m2/v0.4.2
NFKB5WEBYA NFKB5WEBYA
| URI | m2://inv/NFKB5WEBYA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#VOMH (statement). In E7W2HDNEKJ/e1, theorem 9.2
History
- 2026-10-30: add by m2/v0.4.12
Initial concentration NFKC4SVS02
| URI | m2://inv/NFKC4SVS02 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25301#6BRJ, Initial concentration (statement)
History
- 2026-11-01: add by m2/v0.6.15
The error after one model step NFKCFVRG7B
| URI | m2://inv/NFKCFVRG7B |
|---|---|
| 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.06557#FSZV, The error after one model step (statement). In VV5CH6Y31D/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.10
La Jara NFKE5AXB0Q
| URI | m2://inv/NFKE5AXB0Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#9L8J, La Jara (unknown)
History
- 2026-11-02: add by m2/dev
NFKGW3D90G NFKGW3D90G
| URI | m2://inv/NFKGW3D90G |
|---|---|
| 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#8AFM (statement). In EVFX1R7ZDD/e1, proposition 6
History
- 2026-10-30: add by m2/v0.4.12
NFKRKZB99G NFKRKZB99G
| URI | m2://inv/NFKRKZB99G |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/filtrations/S5-fmp.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 51.7
History
- 2026-11-01: add by m2/v0.6.13
NFKW8C9H4W NFKW8C9H4W
| URI | m2://inv/NFKW8C9H4W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.15385#PCYV (statement). In HBZXCMYPME/e1, corollary 4.3
History
- 2026-10-28: add by m2/v0.4.2
Hyperplane section NFKZHT74CS
| URI | m2://inv/NFKZHT74CS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperplane section, Hyperplane section (definition). Also Wikidata Q5958484
History
- 2026-11-02: add by m2/dev
NFM3950YXA NFM3950YXA
| URI | m2://inv/NFM3950YXA |
|---|---|
| Kind | example |
| 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#T5UV (example). In 9DQKY7KGE8/e1, example A.12
History
- 2026-10-31: add by m2/v0.5.6
NFM3T8GGAR NFM3T8GGAR
| URI | m2://inv/NFM3T8GGAR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-27 (exercise). In E9HS8K3A52, exercise, section 5.3.5
History
- 2026-11-01: add by m2/v0.6.13
Names of large numbers NFM7SA6D3T
| URI | m2://inv/NFM7SA6D3T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Names of large numbers, Names of large numbers (definition). Also Wikidata Q1151232
History
- 2026-11-02: add by m2/dev
NFM8T3DNFG NFM8T3DNFG
| URI | m2://inv/NFM8T3DNFG |
|---|---|
| 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.26180#X8K1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
NFM9Q6999J NFM9Q6999J
| URI | m2://inv/NFM9Q6999J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-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.36021#8VJQ (statement). In CB68ATPEV9/e1, proposition 5.3
History
- 2026-10-30: add by m2/v0.4.12
Mojżesz Presburger NFMGW4FPGV
| URI | m2://inv/NFMGW4FPGV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#T3T8, Mojżesz Presburger (topic)
History
- 2026-11-02: add by m2/dev
NFMXZ74PNH NFMXZ74PNH
| URI | m2://inv/NFMXZ74PNH |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01899#CSOO (problem). In 638TEFBFGP/e1, problem 8.1
History
- 2026-10-29: add by m2/v0.4.12
NFN09HEQXA NFN09HEQXA
| URI | m2://inv/NFN09HEQXA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07292#EY2X (statement). In PZ17NHGAKX/e1, lemma 20
History
- 2026-10-29: add by m2/v0.4.10
NFNBCH604K NFNBCH604K
| URI | m2://inv/NFNBCH604K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2110.11143#CS0F (statement). In VTVC0TCWSB/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.3.5
Invariant subspace NFNP0Y3VXB
| URI | m2://inv/NFNP0Y3VXB |
|---|---|
| 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.08987#1PTJ, Invariant subspace (statement). In 2NRRESN3HR/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
Independence of the admissible denominator NFNQ8VWVMW
| URI | m2://inv/NFNQ8VWVMW |
|---|---|
| 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 2610.10583#K31I, Independence of the admissible denominator (statement). In 5BZQS1KY9A/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.10
Michael Scott Jacobson NFP1SVVQA8
| URI | m2://inv/NFP1SVVQA8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Scott Jacobson, Michael Scott Jacobson (topic). Also Wikidata Q6834248
History
- 2026-11-02: add by m2/dev
Innovation method NFP5YPBTDQ
| URI | m2://inv/NFP5YPBTDQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Innovation method, Innovation method (definition). Also Wikidata Q120683696
History
- 2026-11-02: add by m2/dev
The space of measures NFPAYBGSST
| URI | m2://inv/NFPAYBGSST |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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.26270#L7S6, The space of measures (definition)
History
- 2026-11-01: add by m2/v0.6.15
Proofs and Refutations NFPGNVQHVC
| URI | m2://inv/NFPGNVQHVC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#JHRW, Proofs and Refutations (unknown)
History
- 2026-11-02: add by m2/dev
Donald G. Saari NFPJ570E40
| URI | m2://inv/NFPJ570E40 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WLMA, Donald G. Saari (topic)
History
- 2026-11-02: add by m2/dev
NFPJJKHT74 NFPJJKHT74
| URI | m2://inv/NFPJJKHT74 |
|---|---|
| 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.03323#WWQY (statement). In J1ZP57QWED/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.12
Complete Step (S5) discrepancy NFPKP8EZKF
| URI | m2://inv/NFPKP8EZKF |
|---|---|
| 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.14965#JVNH, Complete Step (S5) discrepancy (statement). In HNJB1WHQGZ/e1, corollary 3
History
- 2026-10-28: add by m2/v0.4.2
Admissible triple for the pair $(V,L)$ NFPREV4E84
| URI | m2://inv/NFPREV4E84 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10365#955Y, Admissible triple for the pair $(V,L)$ (definition). In PRVQPSBVHK/e1, definition 12
History
- 2026-10-29: add by m2/v0.4.10
Variance filter bound NFPTS9NP2Y
| URI | m2://inv/NFPTS9NP2Y |
|---|---|
| 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.09044#5SCT, Variance filter bound (statement). In 4KYENHR0J8/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.10
NFPVCYHNM7 NFPVCYHNM7
| URI | m2://inv/NFPVCYHNM7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09596#A8SI (definition). In HXFA55BREZ/e1, definition 2.5
History
- 2026-10-29: add by m2/v0.4.10
NFQ08KHE7N NFQ08KHE7N
| URI | m2://inv/NFQ08KHE7N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.01916#2OPB (definition). In XTGB5Z08YH/e1, definition 3.11
History
- 2026-10-27: add by m2/v0.4.0
Properties NFQ196YY4V
| URI | m2://inv/NFQ196YY4V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hardy field#QM8K, Properties (statement)
History
- 2026-11-02: add by m2/dev
Statement NFQ2YXQZFF
| URI | m2://inv/NFQ2YXQZFF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander's trick#YR69, Statement (statement)
History
- 2026-11-02: add by m2/dev
NFQ74GTES2 NFQ74GTES2
| URI | m2://inv/NFQ74GTES2 |
|---|---|
| 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.04411#22QV (statement). In 6AY8SX3XBW/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.12
Characterization NFQ8EC5RMW
| URI | m2://inv/NFQ8EC5RMW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nakagami distribution#LX0I, Characterization (statement)
History
- 2026-11-02: add by m2/dev
NFQAY9869Z NFQAY9869Z
| URI | m2://inv/NFQAY9869Z |
|---|---|
| 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 2610.07370#6R1K (definition). In Q94QXG67CK/e1, definition VI.1
History
- 2026-10-29: add by m2/v0.4.10
NFQDXT692W NFQDXT692W
| URI | m2://inv/NFQDXT692W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14838#T8MC (statement). In J7ZX3WWRQP/e1, corollary 3.1
History
- 2026-10-28: add by m2/v0.4.2
Stability of ordered periodic band edges NFQFT0WVSC
| URI | m2://inv/NFQFT0WVSC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.19416#08US, Stability of ordered periodic band edges (statement). In TJVWQ0ZSGY/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
NFQGAEC64Z NFQGAEC64Z
| URI | m2://inv/NFQGAEC64Z |
|---|---|
| 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 2609.20516#ZRMZ (definition)
History
- 2026-11-02: add by m2/v0.6.18
Stability of the leading coefficient in the cusp NFQGW2P96A
| URI | m2://inv/NFQGW2P96A |
|---|---|
| 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.33027#7JTD, Stability of the leading coefficient in the cusp (statement). In E2AF84709B/e1, lemma 23
History
- 2026-10-31: add by m2/v0.5.6
Fleury's algorithm NFQMFF45PW
| URI | m2://inv/NFQMFF45PW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eulerian path#LU6A, Fleury's algorithm (unknown)
History
- 2026-11-02: add by m2/dev
NFR381QTDY NFR381QTDY
| URI | m2://inv/NFR381QTDY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24542#R9XB (statement)
History
- 2026-11-01: add by m2/v0.6.15
NFR71D9K0T NFR71D9K0T
| URI | m2://inv/NFR71D9K0T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26588#B1J0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
NFRCVNNJW7 NFRCVNNJW7
| URI | m2://inv/NFRCVNNJW7 |
|---|---|
| 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.36412#G0D5 (statement). In 6HKGGCMBCK/e1, lemma 6.6
History
- 2026-10-30: add by m2/v0.4.12
NFREXDTZ6Z NFREXDTZ6Z
| URI | m2://inv/NFREXDTZ6Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21545#PXO8 (statement). In 1Q3H75330M/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.4.2
NFRT5MSHXY NFRT5MSHXY
| URI | m2://inv/NFRT5MSHXY |
|---|---|
| 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 2609.28141#FXBL (definition)
History
- 2026-11-01: add by m2/v0.6.15
Arithmetic prodigies NFRX7KNTAY
| URI | m2://inv/NFRX7KNTAY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mental calculation#F1BW, Arithmetic prodigies (unknown)
History
- 2026-11-02: add by m2/dev
NFS4MYM3S9 NFS4MYM3S9
| URI | m2://inv/NFS4MYM3S9 |
|---|---|
| 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.33015#B5ZT (statement). In W6Y6NPK648/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
NFS9TQQYHE NFS9TQQYHE
| URI | m2://inv/NFS9TQQYHE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26382#YRV4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
NFSBKSJAA5 NFSBKSJAA5
| URI | m2://inv/NFSBKSJAA5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2512.16003#RI39 (statement). In BJGS6ZCQ12/e1, theorem 8.6
History
- 2026-10-27: add by m2/v0.3.6
NFSD4DQWMX NFSD4DQWMX
| URI | m2://inv/NFSD4DQWMX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/quantum/vectors.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 77.3
History
- 2026-11-01: add by m2/v0.6.13
NFSMF7C9S6 NFSMF7C9S6
| URI | m2://inv/NFSMF7C9S6 |
|---|---|
| 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#9OLD (statement)
History
- 2026-11-01: add by m2/v0.6.15
$L^p$-bounds for $S(m,g)$ classes NFSPRS0YCX
| URI | m2://inv/NFSPRS0YCX |
|---|---|
| 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.21692#X320, $L^p$-bounds for $S(m,g)$ classes (statement)
History
- 2026-11-02: add by m2/v0.6.18
NFSW47566C NFSW47566C
| URI | m2://inv/NFSW47566C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#MJHL (statement). In RK0ZMDJ23T/e1, lemma 3.1.5
History
- 2026-10-31: add by m2/v0.5.6
NFSXGFYHHN NFSXGFYHHN
| URI | m2://inv/NFSXGFYHHN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/limits.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 32.5
History
- 2026-11-01: add by m2/v0.6.13
Discrete rate simulation NFSZGVWJ53
| URI | m2://inv/NFSZGVWJ53 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete rate simulation, Discrete rate simulation (definition). Also Wikidata Q17009287
History
- 2026-11-02: add by m2/dev
NFT5803HRM NFT5803HRM
| URI | m2://inv/NFT5803HRM |
|---|---|
| Kind | problem |
| 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.20558#414H (problem). In 46370P3Y9S/e1, problem 1
History
- 2026-10-27: add by m2/v0.4.2
Iacopo Barsotti NFT6TDJFZP
| URI | m2://inv/NFT6TDJFZP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iacopo Barsotti, Iacopo Barsotti (topic). Also Wikidata Q3791426
History
- 2026-11-02: add by m2/dev
NFT8NFHKJM NFT8NFHKJM
| URI | m2://inv/NFT8NFHKJM |
|---|---|
| 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.04844#3R6U (statement). In 5MX3N62ENP/e1, corollary 13
History
- 2026-10-29: add by m2/v0.4.12
NFT8ZG9HB1 NFT8ZG9HB1
| URI | m2://inv/NFT8ZG9HB1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11793#E5O7 (statement). In GGCY8Z053Z/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.3
Titu's lemma NFTFED8ZXF
| URI | m2://inv/NFTFED8ZXF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Titu's lemma, Titu's lemma (statement). Also Wikidata Q60741606
History
- 2026-11-02: add by m2/dev
NFTGGMCVHP NFTGGMCVHP
| URI | m2://inv/NFTGGMCVHP |
|---|---|
| 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.19288#5TS2 (statement). In 1EA6AM9V01/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
Robert Edouard Moritz NFTJHC9FN4
| URI | m2://inv/NFTJHC9FN4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#85AM, Robert Edouard Moritz (topic)
- wikipedia: Wikipedia List of German mathematicians#1CMO, Robert Edouard Moritz (topic)
History
- 2026-11-02: add by m2/dev
millibar NFTVHBP4B1
| URI | m2://inv/NFTVHBP4B1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3495543, millibar (definition). Also ProofWiki Definition:Millibar
History
- 2026-10-26: add by m2/dev
NFTXMXHY37 NFTXMXHY37
| URI | m2://inv/NFTXMXHY37 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.05398#890A (statement). In WQKQ8438M7/e1, lemma 6.4
History
- 2026-10-27: add by m2/v0.3.5
Distributed key generation NFTXNRHQCZ
| URI | m2://inv/NFTXNRHQCZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distributed key generation, Distributed key generation (definition). Also Wikidata Q5283156
History
- 2026-11-02: add by m2/dev
Astronomical precession NFTZ8H6DDY
| URI | m2://inv/NFTZ8H6DDY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Precession#BAFD, Astronomical precession (unknown)
History
- 2026-11-02: add by m2/dev
NFV31C33HJ NFV31C33HJ
| URI | m2://inv/NFV31C33HJ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-flavors.tex#proof-3 (proof). In RZP28ERRZV, proof, section 4.7
History
- 2026-11-01: add by m2/v0.6.13
NFV3CYFY5G NFV3CYFY5G
| URI | m2://inv/NFV3CYFY5G |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-3 (exercise). In E59CDZA4DP, exercise, section 8.1.4
History
- 2026-11-01: add by m2/v0.6.13
NFVEWS5K0J NFVEWS5K0J
| URI | m2://inv/NFVEWS5K0J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#LIA9 (definition). In F3BKXXPR3K/e1, definition 3.64
History
- 2026-10-27: add by m2/v0.4.2
NFVFSHTHR5 NFVFSHTHR5
| URI | m2://inv/NFVFSHTHR5 |
|---|---|
| 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 2609.35191#ZGGK (definition). In W9Z6S1PDTP/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
List of knots NFVG698FDH
| URI | m2://inv/NFVG698FDH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#GTI4, List of knots (unknown)
History
- 2026-11-02: add by m2/dev
Examples NFVK8MK4ST
| URI | m2://inv/NFVK8MK4ST |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector bornology#4TNB, Examples (example)
History
- 2026-11-02: add by m2/dev
NFVT4BKZ7E NFVT4BKZ7E
| URI | m2://inv/NFVT4BKZ7E |
|---|---|
| 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.15313#PFLF (statement). In KWKY1CWG1Z/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
NFVTC6Q5QM NFVTC6Q5QM
| URI | m2://inv/NFVTC6Q5QM |
|---|---|
| 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 2607.27246#762P (statement). In G0HJ35BDKN/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
Conjecture on Fano manifolds and Veblen Prize NFW143K4R5
| URI | m2://inv/NFW143K4R5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simon Donaldson#34VU, Conjecture on Fano manifolds and Veblen Prize (statement)
History
- 2026-11-02: add by m2/dev
N-dimensional polyhedron NFW6P9FSYX
| URI | m2://inv/NFW6P9FSYX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N-dimensional polyhedron, N-dimensional polyhedron (definition). Also Wikidata Q124661107
History
- 2026-11-02: add by m2/dev
NFW9KKX451 NFW9KKX451
| URI | m2://inv/NFW9KKX451 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05506#MSEV (statement). In FT53PMB1TE/e1, lemma 7.4.2
History
- 2026-10-29: add by m2/v0.4.10
NFWFQWKYK7 NFWFQWKYK7
| URI | m2://inv/NFWFQWKYK7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#WMGV (statement). In Q5Z178SAHP/e1, lemma 3.13
History
- 2026-10-30: add by m2/v0.4.12
eigenvalue NFWK380X71
| URI | m2://inv/NFWK380X71 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/4.1.2/eigenvalue, eigenvalue (concept). In 649HGZKE96, index, section 4.1.2
History
- 2026-11-01: add by m2/v0.6.13
Adolf Hurwitz NFWM8D0WTB
| URI | m2://inv/NFWM8D0WTB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#R87D, Adolf Hurwitz (topic)
History
- 2026-11-02: add by m2/dev
division by zero NFWQD8Q7HV
| URI | m2://inv/NFWQD8Q7HV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q848539, division by zero (unknown). Also MathWorld DivisionbyZero
- wikipedia: Wikipedia Division by zero, Division by zero (definition). Also Wikidata Q848539
History
- 2026-10-26: add by m2/dev
Proportionate reduction of error NFWSEAZD02
| URI | m2://inv/NFWSEAZD02 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proportionate reduction of error, Proportionate reduction of error (definition). Also Wikidata Q1401250
History
- 2026-11-02: add by m2/dev
NFWSK759VW NFWSK759VW
| URI | m2://inv/NFWSK759VW |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/cardinals/classing.tex#proof-6 (proof). In PKGMM3P5QY, proof, section 70.2
History
- 2026-11-01: add by m2/v0.6.13
Relation with other axioms NFWW2SVSBE
| URI | m2://inv/NFWW2SVSBE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of dependent choice#1DHJ, Relation with other axioms (statement)
History
- 2026-11-02: add by m2/dev
Overwhelming exception NFX28XFVNR
| URI | m2://inv/NFX28XFVNR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overwhelming exception, Overwhelming exception (definition). Also Wikidata Q2911608
History
- 2026-11-02: add by m2/dev
NFX9GJGK99 NFX9GJGK99
| URI | m2://inv/NFX9GJGK99 |
|---|---|
| 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 2609.38131#8ONX (statement). In GM3S19KFDH/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
Homology groups split into path-connected components NFXAVQWZ5H
| URI | m2://inv/NFXAVQWZ5H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/singular.tex#proposition-1, Homology groups split into path-connected components (statement). In RZP28ERRZV, proposition, section 55.2
History
- 2026-11-01: add by m2/v0.6.13
Characterization NFXC5HPWEZ
| URI | m2://inv/NFXC5HPWEZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supersingular prime (moonshine theory)#SGPK, Characterization (statement)
History
- 2026-11-02: add by m2/dev
Tensor NFXEYK3B1T
| URI | m2://inv/NFXEYK3B1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor (intrinsic definition), Tensor (definition). Also Wikidata Q3518150
History
- 2026-11-02: add by m2/dev
NFXKFF85HK NFXKFF85HK
| URI | m2://inv/NFXKFF85HK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-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 2503.19528#IUKW (statement). In EM5955MDHN/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
NFXKQD9SBV NFXKQD9SBV
| URI | m2://inv/NFXKQD9SBV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09319#DE4F (statement). In GMRT5GHBZS/e1, lemma C.8
History
- 2026-10-29: add by m2/v0.4.10
NFY9D9VX7V NFY9D9VX7V
| URI | m2://inv/NFY9D9VX7V |
|---|---|
| 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.13358#DWV8 (statement). In QHT28GABDG/e1, corollary 3.5
History
- 2026-10-28: add by m2/v0.4.2
Examples NFYB8710TG
| URI | m2://inv/NFYB8710TG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayes' theorem#Q6K9, Examples (example)
History
- 2026-11-02: add by m2/dev
NFYF0QD900 NFYF0QD900
| URI | m2://inv/NFYF0QD900 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21931#YKYE (definition)
History
- 2026-11-02: add by m2/v0.6.17
NFYZRF01NY NFYZRF01NY
| URI | m2://inv/NFYZRF01NY |
|---|---|
| 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.23558#6MO8 (statement)
History
- 2026-11-02: add by m2/v0.6.17
NFZ2RJVDX3 NFZ2RJVDX3
| URI | m2://inv/NFZ2RJVDX3 |
|---|---|
| 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.00512#L5X0 (statement). In RB5QBG3MJY/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
Lemma 1.1 in for $n=2$ NFZ3KJZ00C
| URI | m2://inv/NFZ3KJZ00C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25801#R4F4, Lemma 1.1 in for $n=2$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Separating axis theorem NFZ3KMDSCY
| URI | m2://inv/NFZ3KMDSCY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#VT8A, Separating axis theorem (statement)
History
- 2026-11-02: add by m2/dev
Uniqueness NFZM0F16T7
| URI | m2://inv/NFZM0F16T7 |
|---|---|
| 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#UN46, Uniqueness (statement). In DPT4P2BTEW/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Hom NFZPF31T76
| URI | m2://inv/NFZPF31T76 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#GGYT, Hom (definition)
History
- 2026-11-02: add by m2/dev
Multiplication algorithm NFZVM4SJW1
| URI | m2://inv/NFZVM4SJW1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#PUHV, Multiplication algorithm (definition)
History
- 2026-11-02: add by m2/dev