Inventory rows NQ
The cards of the rows of the inventory whose ids start with NQ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Nicolas Fuss NQ056SF7RY
| URI | m2://inv/NQ056SF7RY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicolas Fuss, Nicolas Fuss (topic). Also Wikidata Q115664
History
- 2026-11-02: add by m2/dev
binary NQ06VKBBTR
| URI | m2://inv/NQ06VKBBTR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#J1IL, binary (definition)
History
- 2026-11-02: add by m2/dev
Second example (with variables) NQ092TBZ10
| URI | m2://inv/NQ092TBZ10 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distributive property#I012, Second example (with variables) (definition)
History
- 2026-11-02: add by m2/dev
Strong operator topology NQ0BJN2PTA
| URI | m2://inv/NQ0BJN2PTA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strong operator topology, Strong operator topology (definition). Also Wikidata Q4392013
History
- 2026-11-02: add by m2/dev
List of types of systems theory NQ0HYBMBXP
| URI | m2://inv/NQ0HYBMBXP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of systems theory, List of types of systems theory (topic). Also Wikidata Q16259357
History
- 2026-11-02: add by m2/dev
Combinant NQ0KPT1XY8
| URI | m2://inv/NQ0KPT1XY8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinant, Combinant (definition). Also Wikidata Q17007293
History
- 2026-11-02: add by m2/dev
Against the Geography of Eratosthenes NQ0SHZ2NNZ
| URI | m2://inv/NQ0SHZ2NNZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hipparchus#0UB5, Against the Geography of Eratosthenes (unknown)
History
- 2026-11-02: add by m2/dev
Example NQ121RBTFJ
| URI | m2://inv/NQ121RBTFJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inversive congruential generator#2IUR, Example (example)
History
- 2026-11-02: add by m2/dev
Theta classes generate the torsion NQ14MYREP5
| URI | m2://inv/NQ14MYREP5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-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.04305#L8I6, Theta classes generate the torsion (statement). In Y1DR0DPWD0/e1, theorem 4.13
History
- 2026-10-29: add by m2/v0.4.12
Hadamard factorization theorem NQ15ECESD0
| URI | m2://inv/NQ15ECESD0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weierstrass factorization theorem#PBGG, Hadamard factorization theorem (statement)
History
- 2026-11-02: add by m2/dev
Reinhold Strassmann NQ1FJFPFA9
| URI | m2://inv/NQ1FJFPFA9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reinhold Strassmann, Reinhold Strassmann (topic). Also Wikidata Q7310383
History
- 2026-11-02: add by m2/dev
Rabin cryptosystem NQ1FR73ZSX
| URI | m2://inv/NQ1FR73ZSX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rabin cryptosystem, Rabin cryptosystem (definition). Also Wikidata Q568456
History
- 2026-11-02: add by m2/dev
Carolyn S. Gordon NQ1H3Z5D9X
| URI | m2://inv/NQ1H3Z5D9X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carolyn S. Gordon, Carolyn S. Gordon (topic). Also Wikidata Q1044639
History
- 2026-11-02: add by m2/dev
NQ1J338XVX NQ1J338XVX
| URI | m2://inv/NQ1J338XVX |
|---|---|
| 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 2111.08123#P3RF (statement). In TAAB0QAKAG/e1, lemma 8.5
History
- 2026-10-27: add by m2/v0.3.5
Definition NQ1Q6EQ26E
| URI | m2://inv/NQ1Q6EQ26E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multi-objective optimization#PSGL, Definition (definition)
History
- 2026-11-02: add by m2/dev
NQ1Z584S42 NQ1Z584S42
| URI | m2://inv/NQ1Z584S42 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#example-10 (example). In E59CDZA4DP, example, section 4.2.1
History
- 2026-11-01: add by m2/v0.6.13
NQ21F88B6C NQ21F88B6C
| URI | m2://inv/NQ21F88B6C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18302#L42Q (statement). In VJTRH1S4JA/e1, theorem 5.14
History
- 2026-10-28: add by m2/v0.4.2
NQ23FZFRVD NQ23FZFRVD
| URI | m2://inv/NQ23FZFRVD |
|---|---|
| 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#YJ76 (definition). In ESDKTYDHC8/e1, definition 15
History
- 2026-10-29: add by m2/v0.4.12
Plancherel's theorem NQ2E4RXERJ
| URI | m2://inv/NQ2E4RXERJ |
|---|---|
| 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.26537#T3RO, Plancherel's theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
Great Picard Theorem NQ2J2FJPHQ
| URI | m2://inv/NQ2J2FJPHQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Picard theorem#K0HR, Great Picard Theorem (statement)
History
- 2026-11-02: add by m2/dev
Formula NQ2K5C8C0N
| URI | m2://inv/NQ2K5C8C0N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Process window index#W48H, Formula (statement)
History
- 2026-11-02: add by m2/dev
NQ2KRTCT42 NQ2KRTCT42
| URI | m2://inv/NQ2KRTCT42 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#59EN (definition). In M0SQY5EZN5/e1, definition 2.8.9
History
- 2026-10-27: add by m2/v0.3.5
NQ2KZNSX2Z NQ2KZNSX2Z
| URI | m2://inv/NQ2KZNSX2Z |
|---|---|
| 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 2106.09062#GXN7 (statement). In 8HAH8QVKDF/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.6
NQ2M0F7T9X NQ2M0F7T9X
| URI | m2://inv/NQ2M0F7T9X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24795#Y3PR (statement)
History
- 2026-11-01: add by m2/v0.6.15
NQ2NPN0X9M NQ2NPN0X9M
| URI | m2://inv/NQ2NPN0X9M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20678#J9QL (statement)
History
- 2026-11-02: add by m2/v0.6.18
David S. Johnson NQ2QDY8HYD
| URI | m2://inv/NQ2QDY8HYD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#KL8R, David S. Johnson (unknown)
History
- 2026-11-02: add by m2/dev
NQ2R00BX63 NQ2R00BX63
| URI | m2://inv/NQ2R00BX63 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1008.4254#TZAA (statement). In SXTX59QBVT/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Embeddings are evenly distributed over conjugates NQ2VBTP26M
| URI | m2://inv/NQ2VBTP26M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#thm:conj_distrb, Embeddings are evenly distributed over conjugates (statement). In RZP28ERRZV, theorem, section 14.3
History
- 2026-11-01: add by m2/v0.6.13
desmic system NQ2VC89YWP
| URI | m2://inv/NQ2VC89YWP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#3MEU, desmic system (definition)
History
- 2026-11-02: add by m2/dev
NQ2W11BSJ7 NQ2W11BSJ7
| URI | m2://inv/NQ2W11BSJ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-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 2603.07541#DLUZ (statement). In X3RFXWN6FW/e1, corollary 3.12
History
- 2026-10-27: add by m2/v0.3.6
Ewald–Oseen extinction theorem NQ2ZSYRCTR
| URI | m2://inv/NQ2ZSYRCTR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ewald–Oseen extinction theorem, Ewald–Oseen extinction theorem (statement). Also Wikidata Q18354377
History
- 2026-11-02: add by m2/dev
NQ34TT1WXC NQ34TT1WXC
| URI | m2://inv/NQ34TT1WXC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20513#10CL (statement)
History
- 2026-11-02: add by m2/v0.6.18
NQ35ZYK9BG NQ35ZYK9BG
| URI | m2://inv/NQ35ZYK9BG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14562#MB8C (statement). In G4XMZ452QE/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Relationship to the incompleteness theorems NQ3MQ0JCE8
| URI | m2://inv/NQ3MQ0JCE8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gödel's completeness theorem#VFBX, Relationship to the incompleteness theorems (statement)
History
- 2026-11-02: add by m2/dev
Counterexample of the converse of Lagrange's theorem NQ3NY18X6C
| URI | m2://inv/NQ3NY18X6C |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (a person holds the item: a node with the name "Converse of Lagrange's theorem fails for the alternating group A4" has the same item) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrange's theorem (group theory)#JRWI, Counterexample of the converse of Lagrange's theorem (counterexample)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Results NQ3P2S5C9X
| URI | m2://inv/NQ3P2S5C9X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Gelfond#H3J7, Results (statement)
History
- 2026-11-02: add by m2/dev
Example NQ3VT31ZNS
| URI | m2://inv/NQ3VT31ZNS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary decision diagram#3OOM, Example (example)
History
- 2026-11-02: add by m2/dev
Laplace invariant NQ3VWSPF55
| URI | m2://inv/NQ3VWSPF55 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laplace invariant, Laplace invariant (definition). Also Wikidata Q6153242
History
- 2026-11-02: add by m2/dev
Linear convergence of inexact PMD under LFA NQ439YS0RZ
| URI | m2://inv/NQ439YS0RZ |
|---|---|
| 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.04117#4LUT, Linear convergence of inexact PMD under LFA (statement). In 65E9N3DFYP/e1, theorem 5.6
History
- 2026-10-29: add by m2/v0.4.12
NQ474K3S1K NQ474K3S1K
| URI | m2://inv/NQ474K3S1K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32233#1ADL (statement). In V42PPD7SWH/e1, lemma 3.3
History
- 2026-10-31: add by m2/v0.5.6
Cauchy's integral theorem NQ49ZX3V9Y
| URI | m2://inv/NQ49ZX3V9Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#L7W5, Cauchy's integral theorem (statement)
- wikipedia: Wikipedia List of complex analysis topics#SCWP, Cauchy's integral theorem (statement)
History
- 2026-11-02: add by m2/dev
NQ4EAEC47W NQ4EAEC47W
| URI | m2://inv/NQ4EAEC47W |
|---|---|
| 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 2610.19854#IDB3 (statement). In D50WST4CG3/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
NQ4FYWY5DJ NQ4FYWY5DJ
| URI | m2://inv/NQ4FYWY5DJ |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1509.00950#ZJUY (proof). In MDZFW5GACV/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
hecto NQ4H055KTE
| URI | m2://inv/NQ4H055KTE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q152512, hecto (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/hecto-
History
- 2026-10-26: add by m2/dev
Multiple cross products NQ4KCFQ2SR
| URI | m2://inv/NQ4KCFQ2SR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of tensor theory#ZMHB, Multiple cross products (definition)
History
- 2026-11-02: add by m2/dev
Examples NQ4NWB5ZKD
| URI | m2://inv/NQ4NWB5ZKD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power law#UUC3, Examples (example)
History
- 2026-11-02: add by m2/dev
*{Proposition 2.1 NQ4V2AX4P1
| URI | m2://inv/NQ4V2AX4P1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37739#1F6D, *{Proposition 2.1 (statement). In F5XF5VXTXY/e1, proposition 2.5
History
- 2026-10-30: add by m2/v0.4.12
Applications NQ4Y7C7BDB
| URI | m2://inv/NQ4Y7C7BDB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statics#ZWEM, Applications (example)
History
- 2026-11-02: add by m2/dev
Global well-posedness in the intermediate setting NQ50B6EFJ8
| URI | m2://inv/NQ50B6EFJ8 |
|---|---|
| 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.24789#YZ8Z, Global well-posedness in the intermediate setting (statement)
History
- 2026-11-01: add by m2/v0.6.15
Locally minimal coloop splitting NQ50D7BZ9C
| URI | m2://inv/NQ50D7BZ9C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.37778#N0BU, Locally minimal coloop splitting (statement). In V399QB419P/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
NQ533SG7BM NQ533SG7BM
| URI | m2://inv/NQ533SG7BM |
|---|---|
| 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.19273#9O8D (statement). In T3BY4TXYT4/e1, proposition 6.15
History
- 2026-10-28: add by m2/v0.4.2
NQ56PV6K4Z NQ56PV6K4Z
| URI | m2://inv/NQ56PV6K4Z |
|---|---|
| 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 2610.04046#54SY (statement). In 3THDT8WNF7/e1, proposition 8
History
- 2026-10-29: add by m2/v0.4.12
NQ5HB3441W NQ5HB3441W
| URI | m2://inv/NQ5HB3441W |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37846#4C4T (example). In DCA0M1EE4A/e1, example
History
- 2026-10-30: add by m2/v0.4.12
NQ5HWSJNPA NQ5HWSJNPA
| URI | m2://inv/NQ5HWSJNPA |
|---|---|
| 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 2111.08123#WIZN (statement). In TAAB0QAKAG/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.5
David Makinson NQ5JZPGPFR
| URI | m2://inv/NQ5JZPGPFR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#S1RF, David Makinson (topic)
History
- 2026-11-02: add by m2/dev
Tarski--Scott NQ5Q6FGCMC
| URI | m2://inv/NQ5Q6FGCMC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/choice/tarskiscott.tex#defn-1, Tarski--Scott (definition). In PKGMM3P5QY, defn, section 71.5
History
- 2026-11-01: add by m2/v0.6.13
NQ5TE6TW15 NQ5TE6TW15
| URI | m2://inv/NQ5TE6TW15 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#R9RL (definition)
History
- 2026-11-01: add by m2/v0.6.15
LDP at logarithmic speed NQ5V5WC8WT
| URI | m2://inv/NQ5V5WC8WT |
|---|---|
| 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.10840#H0SH, LDP at logarithmic speed (statement). In P0HKF5DY7M/e1, theorem 2.7
History
- 2026-10-27: add by m2/v0.3.5
Quantum graph NQ61H3KSGA
| URI | m2://inv/NQ61H3KSGA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum graph, Quantum graph (definition). Also Wikidata Q7269054
History
- 2026-11-02: add by m2/dev
Saloff-Coste NQ63SQX3BH
| URI | m2://inv/NQ63SQX3BH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31373#9KO0, Saloff-Coste (statement). In H4XKQM67NA/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
Claude Sabbah NQ64BVM7N2
| URI | m2://inv/NQ64BVM7N2 |
|---|---|
| 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 Q15433438, Claude Sabbah (unknown). Also nLab Claude Sabbah
- wikipedia: Wikipedia Claude Sabbah, Claude Sabbah (topic). Also Wikidata Q15433438
History
- 2026-10-26: add by m2/dev
Śleszyński–Pringsheim criterion NQ68T92AY1
| URI | m2://inv/NQ68T92AY1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convergence problem#0WVX, Śleszyński–Pringsheim criterion (statement)
History
- 2026-11-02: add by m2/dev
American Mathematics Competitions NQ695A5TN6
| URI | m2://inv/NQ695A5TN6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia American Mathematics Competitions, American Mathematics Competitions (definition). Also Wikidata Q4744404
History
- 2026-11-02: add by m2/dev
Comparison of SSH clients NQ69SZTVJ2
| URI | m2://inv/NQ69SZTVJ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comparison of SSH clients, Comparison of SSH clients (definition). Also Wikidata Q5155784
History
- 2026-11-02: add by m2/dev
NQ6FQJ87TP NQ6FQJ87TP
| URI | m2://inv/NQ6FQJ87TP |
|---|---|
| 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.07299#JWH2 (statement). In M70KP0BZ99/e1, corollary 5.5
History
- 2026-10-29: add by m2/v0.4.10
NQ6HWD5C21 NQ6HWD5C21
| URI | m2://inv/NQ6HWD5C21 |
|---|---|
| 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#OB1O (statement). In AGJE43FTF8/e1, corollary 9.6
History
- 2026-10-27: add by m2/v0.4.2
finite NQ6M75RGSQ
| URI | m2://inv/NQ6M75RGSQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#EOLX, finite (definition)
History
- 2026-11-02: add by m2/dev
Ridge NQ6PFMC6DJ
| URI | m2://inv/NQ6PFMC6DJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ridge (differential geometry), Ridge (definition). Also Wikidata Q7332674
History
- 2026-11-02: add by m2/dev
NQ6PRPZY96 NQ6PRPZY96
| URI | m2://inv/NQ6PRPZY96 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-flavors.tex#exercise-3 (exercise). In RZP28ERRZV, exercise, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
Survey NQ6QD6SGT3
| URI | m2://inv/NQ6QD6SGT3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Survey (human research), Survey (definition). Also Wikidata Q3490295
History
- 2026-11-02: add by m2/dev
Prime detection at the cutoff NQ6VXJ29Y0
| URI | m2://inv/NQ6VXJ29Y0 |
|---|---|
| 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.22305#0WNV, Prime detection at the cutoff (statement). In P6FTXTV09Q/e1, proposition 6.2
History
- 2026-10-27: add by m2/v0.4.0
Gradient-like vector field NQ6Z5VRYZ0
| URI | m2://inv/NQ6Z5VRYZ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gradient-like vector field, Gradient-like vector field (definition). Also Wikidata Q17018645
History
- 2026-11-02: add by m2/dev
Definitions NQ7264G51P
| URI | m2://inv/NQ7264G51P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordered geometry#CPZ6, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Anisohedral tiling NQ74Z76CGD
| URI | m2://inv/NQ74Z76CGD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4765348, Anisohedral tiling (concept). Also MathWorld AnisohedralTiling
- wikipedia: Wikipedia Anisohedral tiling, Anisohedral tiling (object). Also Wikidata Q4765348
History
- 2026-10-26: add by m2/dev
Lemma NQ755TGA8C
| URI | m2://inv/NQ755TGA8C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculus on Euclidean space#8MK0, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Jeremy Butterfield NQ7E79GJB2
| URI | m2://inv/NQ7E79GJB2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6181183, Jeremy Butterfield (unknown). Also nLab Jeremy Butterfield
History
- 2026-10-26: add by m2/dev
Stationarity and Ergodicity NQ7FAYHZAS
| URI | m2://inv/NQ7FAYHZAS |
|---|---|
| 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.20041#G55K, Stationarity and Ergodicity (statement)
History
- 2026-11-02: add by m2/v0.6.18
NQ7JE60AN7 NQ7JE60AN7
| URI | m2://inv/NQ7JE60AN7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#B51I (statement). In B9EX6K51RD/e1, theorem 2.14
History
- 2026-10-28: add by m2/v0.4.2
NQ7JQ5YNT3 NQ7JQ5YNT3
| URI | m2://inv/NQ7JQ5YNT3 |
|---|---|
| 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.26307#Y75J (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rarita–Schwinger equation NQ7VNCFZVA
| URI | m2://inv/NQ7VNCFZVA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rarita–Schwinger equation, Rarita–Schwinger equation (definition). Also Wikidata Q902199
History
- 2026-11-02: add by m2/dev
Results NQ7WNTGC10
| URI | m2://inv/NQ7WNTGC10 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tame abstract elementary class#2CIY, Results (statement)
History
- 2026-11-02: add by m2/dev
Examples NQ82EA5DDN
| URI | m2://inv/NQ82EA5DDN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Courant algebroid#VV0Q, Examples (example)
History
- 2026-11-02: add by m2/dev
NQ8BVC4J7R NQ8BVC4J7R
| URI | m2://inv/NQ8BVC4J7R |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 01-XX, 05-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.28552#Z133 (problem)
History
- 2026-11-01: add by m2/v0.6.15
Ferdinand Georg Frobenius NQ8DJ91ZR1
| URI | m2://inv/NQ8DJ91ZR1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#DXXE, Ferdinand Georg Frobenius (topic)
History
- 2026-11-02: add by m2/dev
Independence of the Sylow $p$-subgroup NQ8VSQY2WH
| URI | m2://inv/NQ8VSQY2WH |
|---|---|
| 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.27042#8195, Independence of the Sylow $p$-subgroup (statement)
History
- 2026-11-01: add by m2/v0.6.15
NQ8XHBH8PB NQ8XHBH8PB
| URI | m2://inv/NQ8XHBH8PB |
|---|---|
| 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.09084#13A0 (statement). In F5VT2K2QYX/e1, lemma 11
History
- 2026-10-29: add by m2/v0.4.10
Examples NQ90P61491
| URI | m2://inv/NQ90P61491 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hereditary set#VQ16, Examples (example)
History
- 2026-11-02: add by m2/dev
Fredholm NQ9FK2VDRZ
| URI | m2://inv/NQ9FK2VDRZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#LTD2, Fredholm (definition)
History
- 2026-11-02: add by m2/dev
Applications NQ9FVXF4G6
| URI | m2://inv/NQ9FVXF4G6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwartz–Bruhat function#EC0H, Applications (example)
History
- 2026-11-02: add by m2/dev
Landsberg–Schaar relation NQ9GFS89N1
| URI | m2://inv/NQ9GFS89N1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical series#4EK6, Landsberg–Schaar relation (unknown)
History
- 2026-11-02: add by m2/dev
Peixoto's theorem NQ9JCQG28R
| URI | m2://inv/NQ9JCQG28R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#UCZF, Peixoto's theorem (statement)
History
- 2026-11-02: add by m2/dev
NQ9W7DAADX NQ9W7DAADX
| URI | m2://inv/NQ9W7DAADX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1504.03271#FVJQ (example). In RY17N5T1NQ/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
NQ9X2ES3PT NQ9X2ES3PT
| URI | m2://inv/NQ9X2ES3PT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02042#4EW3 (statement). In P3HWTYFDBX/e1, lemma 3.10
History
- 2026-10-29: add by m2/v0.4.12
NQA3AWH00M NQA3AWH00M
| URI | m2://inv/NQA3AWH00M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03756#HWXM (statement). In 2381M4GBTT/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.12
NQA5TSAHYN NQA5TSAHYN
| URI | m2://inv/NQA5TSAHYN |
|---|---|
| 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.10413#0CQ0 (statement). In 68MTQ59QTQ/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
Erdős–Tenenbaum–Ford constant NQA7AW6W7X
| URI | m2://inv/NQA7AW6W7X |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q55610987, Erdős–Tenenbaum–Ford constant (object). Also OEIS A074738
- wikipedia: Wikipedia Erdős–Tenenbaum–Ford constant, Erdős–Tenenbaum–Ford constant (object). Also Wikidata Q55610987
History
- 2026-10-26: add by m2/dev
Use NQAB9Y8P17
| URI | m2://inv/NQAB9Y8P17 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asano contraction#JLDH, Use (example)
History
- 2026-11-02: add by m2/dev
Algebraic connectivity of an Erd\H{o}s--R\'enyi graph NQABSACERB
| URI | m2://inv/NQABSACERB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09030#D8LH, Algebraic connectivity of an Erd\H{o}s--R\'enyi graph (statement). In BYN44C0X0C/e1, lemma D.1
History
- 2026-10-29: add by m2/v0.4.10
NQAF4DY5JZ NQAF4DY5JZ
| URI | m2://inv/NQAF4DY5JZ |
|---|---|
| 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 2512.19872#JBK0 (statement). In DG9TF5X0EG/e1, proposition 4
History
- 2026-10-27: add by m2/v0.4.0
Equivalents of the axiom of choice NQAFMP8WGF
| URI | m2://inv/NQAFMP8WGF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of choice#FEDL, Equivalents of the axiom of choice (unknown)
History
- 2026-11-02: add by m2/dev
NQAJWFYTGR NQAJWFYTGR
| URI | m2://inv/NQAJWFYTGR |
|---|---|
| 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.25973#B6RW (statement)
History
- 2026-11-01: add by m2/v0.6.15
NQAYY1MKP5 NQAYY1MKP5
| URI | m2://inv/NQAYY1MKP5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20998#SY8E (statement)
History
- 2026-11-02: add by m2/v0.6.18
acceleration NQB68XQ0NV
| URI | m2://inv/NQB68XQ0NV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/1.6.4/acceleration, acceleration (concept). In 907G4C4EJ1, index, section 1.6.4
History
- 2026-11-01: add by m2/v0.6.13
Vector formulas NQB9FQXQ0R
| URI | m2://inv/NQB9FQXQ0R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadrilateral#K781, Vector formulas (statement)
History
- 2026-11-02: add by m2/dev
National Mathematical Society of Pakistan NQBA3KMD55
| URI | m2://inv/NQBA3KMD55 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Mathematical Society of Pakistan, National Mathematical Society of Pakistan (definition). Also Wikidata Q6974271
History
- 2026-11-02: add by m2/dev
Existence of a rich Fubini extension NQBA7QCKRX
| URI | m2://inv/NQBA7QCKRX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21710#0S3N, Existence of a rich Fubini extension (statement)
History
- 2026-11-02: add by m2/v0.6.18
NQBJDQ009K NQBJDQ009K
| URI | m2://inv/NQBJDQ009K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10558#XFMA (statement). In GYSF9JXQCH/e1, lemma 5.10
History
- 2026-10-29: add by m2/v0.4.10
opetope NQBPS0YPN1
| URI | m2://inv/NQBPS0YPN1 |
|---|---|
| Kind | object |
| Layer | textbook |
| MSC | 18D05 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q48970630, opetope (topic). Also nLab opetope
- wikipedia: Wikipedia Opetope, Opetope (object). Also Wikidata Q48970630
History
- 2026-10-26: add by m2/dev
Jordan restrictions for primitive inner images NQBSWBC2Q2
| URI | m2://inv/NQBSWBC2Q2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27204#5EVI, Jordan restrictions for primitive inner images (statement)
History
- 2026-11-01: add by m2/v0.6.15
List of information theory topics NQBTPWXABA
| URI | m2://inv/NQBTPWXABA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#EB7Z, List of information theory topics (topic)
History
- 2026-11-02: add by m2/dev
Nambu–Goto action NQBY4QPHDK
| URI | m2://inv/NQBY4QPHDK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nambu–Goto action, Nambu–Goto action (definition). Also Wikidata Q1048768
History
- 2026-11-02: add by m2/dev
Herdan's law NQCEQP9F82
| URI | m2://inv/NQCEQP9F82 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5FIX, Herdan's law (statement)
History
- 2026-11-02: add by m2/dev
NQCHR4MMJY NQCHR4MMJY
| URI | m2://inv/NQCHR4MMJY |
|---|---|
| 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#A2CG (statement)
History
- 2026-11-01: add by m2/v0.6.15
NQCY84BVD9 NQCY84BVD9
| URI | m2://inv/NQCY84BVD9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13850#75O4 (statement). In KJY735KSMF/e1, corollary 2.2
History
- 2026-10-28: add by m2/v0.4.2
NQD102BNNB NQD102BNNB
| URI | m2://inv/NQD102BNNB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08091#I7B0 (statement). In MS13WE3CSD/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.10
NQD9YCTTX8 NQD9YCTTX8
| URI | m2://inv/NQD9YCTTX8 |
|---|---|
| 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#22WE (statement)
History
- 2026-11-02: add by m2/v0.6.18
Canonical basis NQDCZDJN3C
| URI | m2://inv/NQDCZDJN3C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonical basis, Canonical basis (definition). Also Wikidata Q1220611
History
- 2026-11-02: add by m2/dev
NQDJ8CH6EH NQDJ8CH6EH
| URI | m2://inv/NQDJ8CH6EH |
|---|---|
| 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.39782#0JIY (statement). In JF4188WVV0/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
Jacques-François Le Poivre NQDJRJP4W5
| URI | m2://inv/NQDJRJP4W5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#3RPY, Jacques-François Le Poivre (topic)
History
- 2026-11-02: add by m2/dev
upper estimate for the kernel ratio NQDRZN56G7
| URI | m2://inv/NQDRZN56G7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.26134#J1UR, upper estimate for the kernel ratio (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theory (mathematical logic) NQDY9FKA0M
| URI | m2://inv/NQDY9FKA0M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#0HFV, Theory (mathematical logic) (definition)
History
- 2026-11-02: add by m2/dev
Powell's method NQE603EYRE
| URI | m2://inv/NQE603EYRE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Powell's method, Powell's method (definition). Also Wikidata Q7236049
History
- 2026-11-02: add by m2/dev
NQEEMSYDTK NQEEMSYDTK
| URI | m2://inv/NQEEMSYDTK |
|---|---|
| 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 1709.00677#M59K (definition). In G83TVA8HYR/e1, definition 1.3
History
- 2026-10-27: add by m2/v0.3.5
Weighted energy boundedness and integrated energy decay; Theorem 3.1 NQEJDW1YT5
| URI | m2://inv/NQEJDW1YT5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.28861#JCAK, Weighted energy boundedness and integrated energy decay; Theorem 3.1 (statement). In A3VQ2TNRKK/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.4.0
antichain NQEKW6C8P3
| URI | m2://inv/NQEKW6C8P3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/6.1/antichain, antichain (concept). In QKM9DD2H56, index, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Vesselin Dimitrov NQEVJ0WV54
| URI | m2://inv/NQEVJ0WV54 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vesselin Dimitrov, Vesselin Dimitrov (topic). Also Wikidata Q103177124
History
- 2026-11-02: add by m2/dev
John W. Barrett NQEX1V0B9B
| URI | m2://inv/NQEX1V0B9B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John W. Barrett (mathematician), John W. Barrett (topic). Also Wikidata Q86880697
History
- 2026-11-02: add by m2/dev
Newton's law of universal gravitation NQEX9XNHGS
| URI | m2://inv/NQEX9XNHGS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q134465, Newton's law of universal gravitation (statement). Also ProofWiki Newton's_Law_of_Universal_Gravitation
- wikipedia: Wikipedia Newton's law of universal gravitation, Newton's law of universal gravitation (statement). Also Wikidata Q134465
History
- 2026-10-26: add by m2/dev
NQF973AKHW NQF973AKHW
| URI | m2://inv/NQF973AKHW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02893#7FRZ (statement). In DQ9TAGM5XP/e1, corollary 2
History
- 2026-10-29: add by m2/v0.4.12
Lev Semyonovich Pontrjagin NQFKBNWR1F
| URI | m2://inv/NQFKBNWR1F |
|---|---|
| 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#KBIY, Lev Semyonovich Pontrjagin (topic)
History
- 2026-11-02: add by m2/dev
Definition NQFKGZ2KHK
| URI | m2://inv/NQFKGZ2KHK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Learning analytics#TONG, Definition (definition)
History
- 2026-11-02: add by m2/dev
NQFMWPXBT2 NQFMWPXBT2
| URI | m2://inv/NQFMWPXBT2 |
|---|---|
| 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#84CD (statement). In E7W2HDNEKJ/e1, theorem 5.31
History
- 2026-10-30: add by m2/v0.4.12
Lie–Kolchin theorem NQG5BZC45X
| URI | m2://inv/NQG5BZC45X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#3WJX, Lie–Kolchin theorem (statement)
History
- 2026-11-02: add by m2/dev
NQG9RGT4JN NQG9RGT4JN
| URI | m2://inv/NQG9RGT4JN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13291#K049 (example). In D16PSAVVWV/e1, example 2.4
History
- 2026-10-28: add by m2/v0.4.2
Eric Urban NQGFNXV7J3
| URI | m2://inv/NQGFNXV7J3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eric Urban, Eric Urban (topic). Also Wikidata Q17540163
History
- 2026-11-02: add by m2/dev
NQGNP7TYTC NQGNP7TYTC
| URI | m2://inv/NQGNP7TYTC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#example-1 (example). In E59CDZA4DP, example, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Frobenius differences and trace-zero hyperplanes NQGWG0ZZAE
| URI | m2://inv/NQGWG0ZZAE |
|---|---|
| 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#RT7C, Frobenius differences and trace-zero hyperplanes (statement). In 5BZQS1KY9A/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
CMBFAST NQH0G19SVQ
| URI | m2://inv/NQH0G19SVQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#I11C, CMBFAST (unknown)
History
- 2026-11-02: add by m2/dev
Formula NQH284NHSP
| URI | m2://inv/NQH284NHSP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bessel's correction#O8RL, Formula (statement)
History
- 2026-11-02: add by m2/dev
The planar closing mismatch NQH6BM4W9N
| URI | m2://inv/NQH6BM4W9N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38041#4E4N, The planar closing mismatch (statement). In 54NQGN1BWM/e1, lemma A.3
History
- 2026-10-30: add by m2/v0.4.12
Approximation criterion NQH7097F38
| URI | m2://inv/NQH7097F38 |
|---|---|
| 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#NBWQ, Approximation criterion (statement). In 4DJE72VPJP/e1, proposition 3.11
History
- 2026-10-30: add by m2/v0.4.12
Examples NQHHZMGZFS
| URI | m2://inv/NQHHZMGZFS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Researcher degrees of freedom#593P, Examples (example)
History
- 2026-11-02: add by m2/dev
Angelika van der Linde NQHJTS3P7H
| URI | m2://inv/NQHJTS3P7H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angelika van der Linde, Angelika van der Linde (topic). Also Wikidata Q102183531
History
- 2026-11-02: add by m2/dev
Tailwise induced modules NQHKHH7EC0
| URI | m2://inv/NQHKHH7EC0 |
|---|---|
| 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.20230#6BW5, Tailwise induced modules (statement)
History
- 2026-11-02: add by m2/v0.6.18
Uncountably many Moishezon fibers NQHPVZ6PWM
| URI | m2://inv/NQHPVZ6PWM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.02022#DSZF, Uncountably many Moishezon fibers (statement). In RZDNWV9E29/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.3.6
Thomas Malton, the elder NQHR506HX1
| URI | m2://inv/NQHR506HX1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Malton, the elder, Thomas Malton, the elder (topic). Also Wikidata Q15994611
History
- 2026-11-02: add by m2/dev
Theorem. NQHS4K6KQS
| URI | m2://inv/NQHS4K6KQS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral theory of ordinary differential equations#0XIW, Theorem. (statement)
History
- 2026-11-02: add by m2/dev
Weak solution NQHSG9Y8YP
| URI | m2://inv/NQHSG9Y8YP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05313#TMUB, Weak solution (definition). In 8XPN1A2GR0/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
Paul Painlevé NQHVW13B77
| URI | m2://inv/NQHVW13B77 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#2JIL, Paul Painlevé (topic)
History
- 2026-11-02: add by m2/dev
NQJ17R80MS NQJ17R80MS
| URI | m2://inv/NQJ17R80MS |
|---|---|
| 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-direct.tex#lem:fsat-lindenbaum (statement). In PKGMM3P5QY, lem, section 9.8
History
- 2026-11-01: add by m2/v0.6.13
NQJ2S75M0Z NQJ2S75M0Z
| URI | m2://inv/NQJ2S75M0Z |
|---|---|
| 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.29806#PS1D (statement)
History
- 2026-11-01: add by m2/v0.6.15
Quasi-convexity, (cyclical) quasi-monotonicity NQJ77YW7TH
| URI | m2://inv/NQJ77YW7TH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20542#7AMD, Quasi-convexity, (cyclical) quasi-monotonicity (definition). In 8PZXZ8Y9FK/e1, definition 1.2
History
- 2026-10-27: add by m2/v0.4.2
Laplacian NQJC2JMRXV
| URI | m2://inv/NQJC2JMRXV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of multivariable calculus topics#4969, Laplacian (definition)
History
- 2026-11-02: add by m2/dev
NQJE1180JK NQJE1180JK
| URI | m2://inv/NQJE1180JK |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/equiv-ce-defs.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
Generalized Wiener process NQJPPS0H28
| URI | m2://inv/NQJPPS0H28 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#RCWK, Generalized Wiener process (definition)
History
- 2026-11-02: add by m2/dev
NQJRVWAMRN NQJRVWAMRN
| URI | m2://inv/NQJRVWAMRN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00146#KY87 (statement). In 6KR7Z5ETRY/e1, proposition 4.9
History
- 2026-10-27: add by m2/v0.3.5
Blow-up of the best constant NQJT0R8QV9
| URI | m2://inv/NQJT0R8QV9 |
|---|---|
| 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.22345#IHO1, Blow-up of the best constant (statement)
History
- 2026-11-02: add by m2/v0.6.17
Batched commitment NQJV0E6PYH
| URI | m2://inv/NQJV0E6PYH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37368#BZPU, Batched commitment (statement). In FRMCKEGVJZ/e1, proposition 3
History
- 2026-10-30: add by m2/v0.4.12
NQK4NT5YKZ NQK4NT5YKZ
| URI | m2://inv/NQK4NT5YKZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21960#W15X (example). In QX77AN49J0/e1, example 5.15
History
- 2026-10-27: add by m2/v0.4.2
cyclic set NQK4SFM64T
| URI | m2://inv/NQK4SFM64T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5198230, cyclic set (unknown). Also nLab cyclic set
History
- 2026-10-26: add by m2/dev
Algorithms NQK56VBKF4
| URI | m2://inv/NQK56VBKF4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean operations on polygons#CRJ8, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Grosswald–Schnitzer theorem NQK7387C16
| URI | m2://inv/NQK7387C16 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grosswald–Schnitzer theorem#DN4K, Grosswald–Schnitzer theorem (statement)
History
- 2026-11-02: add by m2/dev
Minkowski Metric NQK8FX0HE7
| URI | m2://inv/NQK8FX0HE7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski spacetime#W12H, Minkowski Metric (unknown)
History
- 2026-11-02: add by m2/dev
NQKNJA8AV2 NQKNJA8AV2
| URI | m2://inv/NQKNJA8AV2 |
|---|---|
| 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.09949#F76Z (statement). In VGJVFCDV8A/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
NQKV7DFC87 NQKV7DFC87
| URI | m2://inv/NQKV7DFC87 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/EquivalenceRelations.tex#problem-1 (exercise). In P1C114YBXG, problem, section A
History
- 2026-11-01: add by m2/v0.6.13
Iteration-wise inner gap, with progress NQME49PYK4
| URI | m2://inv/NQME49PYK4 |
|---|---|
| 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.13773#6FM2, Iteration-wise inner gap, with progress (statement). In E75XQY0QFM/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
Jens Carsten Jantzen NQMFER9MWK
| URI | m2://inv/NQMFER9MWK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jens Carsten Jantzen, Jens Carsten Jantzen (topic). Also Wikidata Q6179632
History
- 2026-11-02: add by m2/dev
NQMHRFB5NY NQMHRFB5NY
| URI | m2://inv/NQMHRFB5NY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-67 (exercise). In E59CDZA4DP, exercise, section 1.8.7
History
- 2026-11-01: add by m2/v0.6.13
first radiation constant for spectral radiance NQMV6TTAKE
| URI | m2://inv/NQMV6TTAKE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q117771430, first radiation constant for spectral radiance (definition). Also ProofWiki Definition:First_Radiation_Constant
History
- 2026-10-26: add by m2/dev
NQN4D8ZMS7 NQN4D8ZMS7
| URI | m2://inv/NQN4D8ZMS7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-130 (exercise). In VNMV985MXX, exercise, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
projective NQN5HFRH0T
| URI | m2://inv/NQN5HFRH0T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#PQID, projective (definition)
History
- 2026-11-02: add by m2/dev
NQN82QZAXC NQN82QZAXC
| URI | m2://inv/NQN82QZAXC |
|---|---|
| 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.08193#OVRM (statement). In 8XAKGH8S2D/e1, theorem 2.5
History
- 2026-10-29: add by m2/v0.4.10
Cyclic negation NQN86VEGA4
| URI | m2://inv/NQN86VEGA4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic negation, Cyclic negation (definition). Also Wikidata Q5198215
History
- 2026-11-02: add by m2/dev
Controversies surrounding psychometrics NQN88GXAG5
| URI | m2://inv/NQN88GXAG5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Psychometrics#SFXG, Controversies surrounding psychometrics (unknown)
History
- 2026-11-02: add by m2/dev
NQNBM83FKV NQNBM83FKV
| URI | m2://inv/NQNBM83FKV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/semantic-notions.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 19.15
History
- 2026-11-01: add by m2/v0.6.13
Examples NQNCGHWEYH
| URI | m2://inv/NQNCGHWEYH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brjuno number#Q3Z7, Examples (example)
History
- 2026-11-02: add by m2/dev
NQNJ4YYMH7 NQNJ4YYMH7
| URI | m2://inv/NQNJ4YYMH7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability.tex#lem:free-for (statement). In PKGMM3P5QY, lem, section 8.10
History
- 2026-11-01: add by m2/v0.6.13
Generalizations NQNN5M87SP
| URI | m2://inv/NQNN5M87SP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dihedral group#FH5F, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
NQNSNA9SFW NQNSNA9SFW
| URI | m2://inv/NQNSNA9SFW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21414#HUMS (statement)
History
- 2026-11-02: add by m2/v0.6.18
k times continuously differentiable function NQNSQ16REA
| URI | m2://inv/NQNSQ16REA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11855366, k times continuously differentiable function (unknown). Also MathWorld C-kFunction
History
- 2026-10-26: add by m2/dev
NQNVYXFC1J NQNVYXFC1J
| URI | m2://inv/NQNVYXFC1J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-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.25289#U216 (statement)
History
- 2026-11-01: add by m2/v0.6.15
arithmetic function NQP76KBRRC
| URI | m2://inv/NQP76KBRRC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Arithmetic function 09115NQZ07 |
Mentions
- wikidata: Wikidata Q140744, arithmetic function (unknown). Also EoM Arithmetic_function, LMFDB knowl af
- wikipedia: Wikipedia Arithmetic function, Arithmetic function (definition). Also Wikidata Q140744
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
William Spence NQPAWCJ1S9
| URI | m2://inv/NQPAWCJ1S9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Spence (mathematician), William Spence (topic). Also Wikidata Q23647822
History
- 2026-11-02: add by m2/dev
Strategic complements NQPF123PAE
| URI | m2://inv/NQPF123PAE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strategic complements, Strategic complements (definition). Also Wikidata Q7621827
History
- 2026-11-02: add by m2/dev
NQPF9WC0MK NQPF9WC0MK
| URI | m2://inv/NQPF9WC0MK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35927#Q4NN (statement). In 7S0DWBCNS8/e1, corollary 4.2
History
- 2026-10-30: add by m2/v0.4.12
Definition NQPFRJSK7B
| URI | m2://inv/NQPFRJSK7B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjacency matrix#7LGP, Definition (definition)
History
- 2026-11-02: add by m2/dev
Linear convergence of tabular inexact PMD NQPNZP89DM
| URI | m2://inv/NQPNZP89DM |
|---|---|
| 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.04117#TTNR, Linear convergence of tabular inexact PMD (statement). In 65E9N3DFYP/e1, theorem C.1
History
- 2026-10-29: add by m2/v0.4.12
Resolution independence NQPXSR6QAJ
| URI | m2://inv/NQPXSR6QAJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#FFR1, Resolution independence (unknown)
History
- 2026-11-02: add by m2/dev
NQQ9SJTC5P NQQ9SJTC5P
| URI | m2://inv/NQQ9SJTC5P |
|---|---|
| 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.33019#52TR (statement). In R4V2A3Z5GP/e1, theorem 3.4
History
- 2026-10-31: add by m2/v0.5.6
Spieker circle NQQB33V1X8
| URI | m2://inv/NQQB33V1X8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#UJF9, Spieker circle (definition)
History
- 2026-11-02: add by m2/dev
NQQDRPMYS1 NQQDRPMYS1
| URI | m2://inv/NQQDRPMYS1 |
|---|---|
| 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.37425#YET2 (statement). In E02TSC01RN/e1, lemma 9
History
- 2026-10-30: add by m2/v0.4.12
Definition NQQJJG019N
| URI | m2://inv/NQQJJG019N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markushevich basis#D91C, Definition (definition)
History
- 2026-11-02: add by m2/dev
Goal-Oriented Inductive Probability NQQM2AEA5X
| URI | m2://inv/NQQM2AEA5X |
|---|---|
| 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 2604.19614#VSPL, Goal-Oriented Inductive Probability (definition). In F5NDAFW801/e1, definition 7
History
- 2026-10-27: add by m2/v0.3.5
NQQVQM85HS NQQVQM85HS
| URI | m2://inv/NQQVQM85HS |
|---|---|
| Kind | definition |
| 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 2502.09442#S7WH (definition). In DNT32YYDM4/e1, definition 2
History
- 2026-10-27: add by m2/v0.4.0
NQR1QX8RYV NQR1QX8RYV
| URI | m2://inv/NQR1QX8RYV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22924#B6I1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition NQR3H16KRP
| URI | m2://inv/NQR3H16KRP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chromatic polynomial#HJBF, Definition (definition)
History
- 2026-11-02: add by m2/dev
Procedure NQR3YE4CEF
| URI | m2://inv/NQR3YE4CEF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symbolic method (combinatorics)#HIRM, Procedure (definition)
History
- 2026-11-02: add by m2/dev
NQR5SZWYW6 NQR5SZWYW6
| URI | m2://inv/NQR5SZWYW6 |
|---|---|
| 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.23093#ZJS5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
NQR7D3F8TE NQR7D3F8TE
| URI | m2://inv/NQR7D3F8TE |
|---|---|
| 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 2503.16884#9BRK (statement). In B984KNW591/e1, corollary 2.2
History
- 2026-10-27: add by m2/v0.3.5
Mixture lifting of the Gaussian bound NQR8HVG4MS
| URI | m2://inv/NQR8HVG4MS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10640#B9G2, Mixture lifting of the Gaussian bound (statement). In BAQVK6N0RD/e1, proposition 4
History
- 2026-10-29: add by m2/v0.4.10
Prefix components are subtrees NQRBCZMSBK
| URI | m2://inv/NQRBCZMSBK |
|---|---|
| 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.20492#1DU0, Prefix components are subtrees (statement)
History
- 2026-11-02: add by m2/v0.6.18
NQRD084BG4 NQRD084BG4
| URI | m2://inv/NQRD084BG4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34260#SX25 (statement). In BBE69ZPVTF/e1, proposition 3.5
History
- 2026-10-30: add by m2/v0.4.12
Examples NQRK8ANXHN
| URI | m2://inv/NQRK8ANXHN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Appeal to motive#NH51, Examples (example)
History
- 2026-11-02: add by m2/dev
Demazure NQRVZY1XFR
| URI | m2://inv/NQRVZY1XFR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#G6G0, Demazure (definition)
History
- 2026-11-02: add by m2/dev
NQRZ543W6J NQRZ543W6J
| URI | m2://inv/NQRZ543W6J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09704#OGC8 (statement). In FNG4B47MRV/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.10
NQS34SKRZ9 NQS34SKRZ9
| URI | m2://inv/NQS34SKRZ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12371#TMW8 (statement). In 8TTFQH19QR/e1, lemma 12
History
- 2026-10-28: add by m2/v0.4.2
Finite-dimensional Hilbert subspaces of $\Spc S'$ NQS6ATXKBK
| URI | m2://inv/NQS6ATXKBK |
|---|---|
| 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.14920#W0NY, Finite-dimensional Hilbert subspaces of $\Spc S'$ (statement). In 1F8ENX770M/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Closure of the geometric conditions NQSDCJWF9T
| URI | m2://inv/NQSDCJWF9T |
|---|---|
| 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.28791#6M3Z, Closure of the geometric conditions (statement)
History
- 2026-11-01: add by m2/v0.6.15
Barycenter stability NQSGTX06VC
| URI | m2://inv/NQSGTX06VC |
|---|---|
| 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.00039#GXQK, Barycenter stability (statement). In 2YQ3WX6VSW/e1, theorem 5.2
History
- 2026-10-30: add by m2/v0.4.12
NQSJFN9EEA NQSJFN9EEA
| URI | m2://inv/NQSJFN9EEA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05696#T8QS (statement). In MG81A9XJTQ/e1, lemma VI.2
History
- 2026-10-29: add by m2/v0.4.10
Alternative definition NQSJQ0164T
| URI | m2://inv/NQSJQ0164T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine transformation#5O94, Alternative definition (definition)
History
- 2026-11-02: add by m2/dev
Robert Haldane NQSR3T3805
| URI | m2://inv/NQSR3T3805 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Haldane (mathematician), Robert Haldane (topic). Also Wikidata Q7345162
History
- 2026-11-02: add by m2/dev
Theorem NQSRVHSW0W
| URI | m2://inv/NQSRVHSW0W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chi-squared distribution#FBG0, Theorem (statement)
History
- 2026-11-02: add by m2/dev
NQSS1MWE4D NQSS1MWE4D
| URI | m2://inv/NQSS1MWE4D |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05299#7IBU (example). In 68AE571S4P/e1, example 2.15
History
- 2026-10-29: add by m2/v0.4.10
NQSS5H7HC0 NQSS5H7HC0
| URI | m2://inv/NQSS5H7HC0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08568#5E9L (statement). In FDDA562VCA/e1, lemma 3.17
History
- 2026-10-29: add by m2/v0.4.10
Exponential moment of the occupation functional NQST5DKYT0
| URI | m2://inv/NQST5DKYT0 |
|---|---|
| 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.08631#LR71, Exponential moment of the occupation functional (statement). In 3YQNR18XB3/e1, lemma 7.1
History
- 2026-10-29: add by m2/v0.4.10
NQSWCGQYD0 NQSWCGQYD0
| URI | m2://inv/NQSWCGQYD0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16339#QHOD (statement). In ER5EH4W919/e1, proposition 9.4
History
- 2026-10-28: add by m2/v0.4.2
Applications NQT8ZV6DYH
| URI | m2://inv/NQT8ZV6DYH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimal facility location#4NY4, Applications (example)
History
- 2026-11-02: add by m2/dev
Dan Boneh NQTEJDD4H8
| URI | m2://inv/NQTEJDD4H8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#8B2T, Dan Boneh (unknown)
History
- 2026-11-02: add by m2/dev
Alan Perreiah NQTHT2E2WA
| URI | m2://inv/NQTHT2E2WA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alan Perreiah, Alan Perreiah (topic). Also Wikidata Q115245018
History
- 2026-11-02: add by m2/dev
Coherent risk measure NQTK2XY1PA
| URI | m2://inv/NQTK2XY1PA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherent risk measure, Coherent risk measure (definition). Also Wikidata Q5141358
History
- 2026-11-02: add by m2/dev
NQTP4AEX5Y NQTP4AEX5Y
| URI | m2://inv/NQTP4AEX5Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13030#5BIA (statement). In 6NZ0YS5MJ7/e1, theorem III.4
History
- 2026-10-28: add by m2/v0.4.2
NQV3KDTGH8 NQV3KDTGH8
| URI | m2://inv/NQV3KDTGH8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28265#UYKK (example)
History
- 2026-11-01: add by m2/v0.6.15
Dimension doubling theorem NQV90ZD53T
| URI | m2://inv/NQV90ZD53T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener process#H60C, Dimension doubling theorem (statement)
History
- 2026-11-02: add by m2/dev
Ursescu theorem NQVAJZTA1R
| URI | m2://inv/NQVAJZTA1R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ursescu theorem#EJL2, Ursescu theorem (statement)
History
- 2026-11-02: add by m2/dev
NQVGKF63FM NQVGKF63FM
| URI | m2://inv/NQVGKF63FM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01354#LJOQ (statement). In BWD76W20W8/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.12
David J. Foulis NQVGP8D0BJ
| URI | m2://inv/NQVGP8D0BJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David J. Foulis, David J. Foulis (topic). Also Wikidata Q20940360
History
- 2026-11-02: add by m2/dev
Orthonormal frame bundle NQVK3TMG6F
| URI | m2://inv/NQVK3TMG6F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frame bundle#V3F0, Orthonormal frame bundle (unknown)
History
- 2026-11-02: add by m2/dev
Degenerate photon orbit NQVQ9JNMM4
| URI | m2://inv/NQVQ9JNMM4 |
|---|---|
| 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.30730#OMJZ, Degenerate photon orbit (statement). In 7R7ANDMWG4/e1, proposition 8.3
History
- 2026-10-31: add by m2/v0.5.6
Example NQVT92TN63
| URI | m2://inv/NQVT92TN63 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CUSUM#LIY1, Example (example)
History
- 2026-11-02: add by m2/dev
NQVX4DC3C2 NQVX4DC3C2
| URI | m2://inv/NQVX4DC3C2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-40 (exercise). In E59CDZA4DP, exercise, section 1.5.1
History
- 2026-11-01: add by m2/v0.6.13
S. L. Hakimi NQW6M93DHQ
| URI | m2://inv/NQW6M93DHQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S. L. Hakimi, S. L. Hakimi (topic). Also Wikidata Q7387629
History
- 2026-11-02: add by m2/dev
NQW74NXA5J NQW74NXA5J
| URI | m2://inv/NQW74NXA5J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/fourier.tex#definition-2 (definition). In RZP28ERRZV, definition, section 59.3.3
History
- 2026-11-01: add by m2/v0.6.13
Vizing's theorem NQWB4522G6
| URI | m2://inv/NQWB4522G6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#10FU, Vizing's theorem (statement)
History
- 2026-11-02: add by m2/dev
Product topology NQWDYSQK8G
| URI | m2://inv/NQWDYSQK8G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#M5EF, Product topology (definition)
History
- 2026-11-02: add by m2/dev
alternating sign matrix NQWEHVXFEK
| URI | m2://inv/NQWEHVXFEK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3848436, alternating sign matrix (unknown). Also MathWorld AlternatingSignMatrix
- wikipedia: Wikipedia Alternating sign matrix, Alternating sign matrix (definition). Also Wikidata Q3848436
History
- 2026-10-26: add by m2/dev
Three Tuns, Pennsylvania NQWM9X5HNW
| URI | m2://inv/NQWM9X5HNW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#BBP1, Three Tuns, Pennsylvania (unknown)
History
- 2026-11-02: add by m2/dev
Small measure NQWYKQBDY9
| URI | m2://inv/NQWYKQBDY9 |
|---|---|
| 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.20097#RN5Z, Small measure (statement)
History
- 2026-11-02: add by m2/v0.6.18
NQX0JMDZ9Z NQX0JMDZ9Z
| URI | m2://inv/NQX0JMDZ9Z |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#MDHP (example). In VN084GGZGK/e1, example 5.4
History
- 2026-10-28: add by m2/v0.4.3
Okishio's theorem NQX44J8639
| URI | m2://inv/NQX44J8639 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tendency of the rate of profit to fall#DJK6, Okishio's theorem (statement)
History
- 2026-11-02: add by m2/dev
NQXFM8692A NQXFM8692A
| URI | m2://inv/NQXFM8692A |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mutually unbiased bases#JQMZ (problem)
History
- 2026-11-02: add by m2/dev
catenoid NQXGR75EAF
| URI | m2://inv/NQXGR75EAF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1999772, catenoid (unknown). Also MathWorld Catenoid
- wikipedia: Wikipedia Catenoid, Catenoid (definition). Also Wikidata Q1999772
History
- 2026-10-26: add by m2/dev
The certified constant NQXQDS3NF0
| URI | m2://inv/NQXQDS3NF0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-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.05164#TPG1, The certified constant (statement). In JY6RYSNXMJ/e1, corollary 2
History
- 2026-10-29: add by m2/v0.4.10
Sample Complexity NQXZ5XKCFC
| URI | m2://inv/NQXZ5XKCFC |
|---|---|
| Kind | definition |
| 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.36421#IQUN, Sample Complexity (definition). In E0ZRSZ0YHT/e1, definition 2
History
- 2026-10-30: add by m2/v0.4.12
Stokes' theorem NQY6HX5XYQ
| URI | m2://inv/NQY6HX5XYQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Three-dimensional space#H7LB, Stokes' theorem (statement)
History
- 2026-11-02: add by m2/dev
Zaremba's nodal bound NQY6X7RYDG
| URI | m2://inv/NQY6X7RYDG |
|---|---|
| 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.15421#NU8E, Zaremba's nodal bound (statement). In 3RBKH0DA74/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Theodore von Kármán NQY70PQM1Z
| URI | m2://inv/NQY70PQM1Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#UTEW, Theodore von Kármán (unknown)
History
- 2026-11-02: add by m2/dev
NQYAFF4AT3 NQYAFF4AT3
| URI | m2://inv/NQYAFF4AT3 |
|---|---|
| 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.21174#H7GZ (statement)
History
- 2026-11-02: add by m2/v0.6.18
NQYBG0PJNB NQYBG0PJNB
| URI | m2://inv/NQYBG0PJNB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39539#TVNN (definition). In GVR218P3ZR/e1, definition 7.1.2
History
- 2026-10-30: add by m2/v0.4.12
Case study NQYJRVFJ91
| URI | m2://inv/NQYJRVFJ91 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of psychological research methods#QDKV, Case study (unknown)
History
- 2026-11-02: add by m2/dev
house X-graph NQYRFQ5BB9
| URI | m2://inv/NQYRFQ5BB9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130551131, house X-graph (unknown). Also House of Graphs 788
History
- 2026-10-26: add by m2/dev
NQYS4DZNRE NQYS4DZNRE
| URI | m2://inv/NQYS4DZNRE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-50 (exercise). In E59CDZA4DP, exercise, section 10.3.5
History
- 2026-11-01: add by m2/v0.6.13
Definition NQYV9YZ7P3
| URI | m2://inv/NQYV9YZ7P3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frieze group#9PD9, Definition (definition)
History
- 2026-11-02: add by m2/dev
Applications NQZ95HT8KQ
| URI | m2://inv/NQZ95HT8KQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elsasser number#LWMI, Applications (example)
History
- 2026-11-02: add by m2/dev
NQZRJTZRFK NQZRJTZRFK
| URI | m2://inv/NQZRJTZRFK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#T1LA (definition). In X765ZXXVC3/e1, definition 5.4
History
- 2026-10-29: add by m2/v0.4.12
Definition NQZSNRVF0X
| URI | m2://inv/NQZSNRVF0X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set of uniqueness#CYUY, Definition (definition)
History
- 2026-11-02: add by m2/dev
Related results NQZYM0PRR2
| URI | m2://inv/NQZYM0PRR2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Three-gap theorem#UASP, Related results (statement)
History
- 2026-11-02: add by m2/dev