Inventory rows WT
The cards of the rows of the inventory whose ids start with WT. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Carolina Franco WT0281S7Z1
| URI | m2://inv/WT0281S7Z1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#J3NQ, Carolina Franco (unknown)
History
- 2026-11-02: add by m2/dev
WT0306ZNRZ WT0306ZNRZ
| URI | m2://inv/WT0306ZNRZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/p-adic.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 33.5
History
- 2026-11-01: add by m2/v0.6.13
Ernst Mauritz Dahlin WT03HGZ1GP
| URI | m2://inv/WT03HGZ1GP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ernst Mauritz Dahlin, Ernst Mauritz Dahlin (topic). Also Wikidata Q19196268
History
- 2026-11-02: add by m2/dev
Definition WT0CDM496P
| URI | m2://inv/WT0CDM496P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation theory of finite groups#F4LR, Definition (definition)
History
- 2026-11-02: add by m2/dev
Properties WT0M6PTD4D
| URI | m2://inv/WT0M6PTD4D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Osserman manifold#958E, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples of topologies WT0V4NKRDW
| URI | m2://inv/WT0V4NKRDW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/top-more.tex#example-1, Examples of topologies (example). In RZP28ERRZV, example, section 101.1
History
- 2026-11-01: add by m2/v0.6.13
WT175K4SZ7 WT175K4SZ7
| URI | m2://inv/WT175K4SZ7 |
|---|---|
| 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.28702#RSMF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Extensions WT1ABCF1PK
| URI | m2://inv/WT1ABCF1PK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logarithmic scale#F0RK, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Theorem WT1MK42T70
| URI | m2://inv/WT1MK42T70 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine sphere#82ZN, Theorem (statement)
History
- 2026-11-02: add by m2/dev
WT1Q5111KZ WT1Q5111KZ
| URI | m2://inv/WT1Q5111KZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-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 2609.38068#XW6Q (statement). In 67GE5M1GGD/e1, lemma 6.3
History
- 2026-10-30: add by m2/v0.4.12
1111 WT1RY64TRX
| URI | m2://inv/WT1RY64TRX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3844034, 1111 (statement). Also ProofWiki 1111
History
- 2026-10-26: add by m2/dev
WT2732QV64 WT2732QV64
| URI | m2://inv/WT2732QV64 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-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.13100#IPRG (statement). In CC6S1HVK0T/e1, lemma E.12
History
- 2026-10-28: add by m2/v0.4.2
Bounds retaining every initial phase WT286660TE
| URI | m2://inv/WT286660TE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19461#6W4D, Bounds retaining every initial phase (statement). In D5X5P2QD6A/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
Dense-component exploration WT2ESSPVK0
| URI | m2://inv/WT2ESSPVK0 |
|---|---|
| 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 2610.08766#CBRT, Dense-component exploration (statement). In QA4JM9SHPA/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
Examples WT2EZ3MN0V
| URI | m2://inv/WT2EZ3MN0V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eulerian poset#W7N6, Examples (example)
History
- 2026-11-02: add by m2/dev
Rosemarie Lierke WT2KWTC217
| URI | m2://inv/WT2KWTC217 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rosemarie Lierke, Rosemarie Lierke (topic). Also Wikidata Q95212314
History
- 2026-11-02: add by m2/dev
digon WT33MSFSN0
| URI | m2://inv/WT33MSFSN0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q854818, digon (unknown). Also EoM Digon, MathWorld Digon
- wikipedia: Wikipedia Digon, Digon (definition). Also Wikidata Q854818
History
- 2026-10-26: add by m2/dev
Fundamental anthropology WT33T3WTMG
| URI | m2://inv/WT33T3WTMG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia René Girard#LZJR, Fundamental anthropology (unknown)
History
- 2026-11-02: add by m2/dev
WT3HBVGTRS WT3HBVGTRS
| URI | m2://inv/WT3HBVGTRS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24041#R091 (statement)
History
- 2026-11-02: add by m2/v0.6.17
WT3N4FH73B WT3N4FH73B
| URI | m2://inv/WT3N4FH73B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31216#F8JE (statement). In M9CSGRSRB3/e1, lemma 3.3
History
- 2026-10-31: add by m2/v0.5.6
WT3N71HRXD WT3N71HRXD
| URI | m2://inv/WT3N71HRXD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36389#U3SA (example). In N1S169J2MV/e1, example 3
History
- 2026-10-30: add by m2/v0.4.12
Quadratic pair WT40H9J31F
| URI | m2://inv/WT40H9J31F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic pair, Quadratic pair (definition). Also Wikidata Q7268365
History
- 2026-11-02: add by m2/dev
Definition WT49834QBM
| URI | m2://inv/WT49834QBM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Swap regret#6A9D, Definition (definition)
History
- 2026-11-02: add by m2/dev
WT4D1H2NCM WT4D1H2NCM
| URI | m2://inv/WT4D1H2NCM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/affine-var.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 19.4
History
- 2026-11-01: add by m2/v0.6.13
Regular radial solution WT4J4H3QB7
| URI | m2://inv/WT4J4H3QB7 |
|---|---|
| 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.11077#PJ95, Regular radial solution (statement). In 4333A6G5K5/e1, lemma B.2
History
- 2026-10-28: add by m2/v0.4.3
WT4N4GTFZN WT4N4GTFZN
| URI | m2://inv/WT4N4GTFZN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23617#7N4M (statement)
History
- 2026-11-02: add by m2/v0.6.17
WT4VX9CBQM WT4VX9CBQM
| URI | m2://inv/WT4VX9CBQM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13833#916K (definition). In VD4JP4HVBX/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2
WT56A0N47C WT56A0N47C
| URI | m2://inv/WT56A0N47C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-55 (exercise). In E59CDZA4DP, exercise, section 5.6.1
History
- 2026-11-01: add by m2/v0.6.13
Mosco convergence WT5HEF1KBW
| URI | m2://inv/WT5HEF1KBW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mosco convergence, Mosco convergence (definition). Also Wikidata Q6915414
History
- 2026-11-02: add by m2/dev
Definition WT61W6G65G
| URI | m2://inv/WT61W6G65G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Completely positive map#HPKY, Definition (definition)
History
- 2026-11-02: add by m2/dev
WT63CK1J4Q WT63CK1J4Q
| URI | m2://inv/WT63CK1J4Q |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 62.4
History
- 2026-11-01: add by m2/v0.6.13
Brumer bound WT6EH61B4N
| URI | m2://inv/WT6EH61B4N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brumer bound, Brumer bound (definition). Also Wikidata Q4978800
History
- 2026-11-02: add by m2/dev
WT6JTH7S10 WT6JTH7S10
| URI | m2://inv/WT6JTH7S10 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.05002#0QAU (statement). In JBAQ7DTW7B/e1, lemma F.3
History
- 2026-10-27: add by m2/v0.3.5
WT6KWSFATZ WT6KWSFATZ
| URI | m2://inv/WT6KWSFATZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ImagesInverseImages.tex#problem-4 (exercise). In P1C114YBXG, problem, section C
History
- 2026-11-01: add by m2/v0.6.13
First-moment section inequality WT6SET2M2P
| URI | m2://inv/WT6SET2M2P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#62HI, First-moment section inequality (statement). In 9YAE8FNQST/e1, theorem 19.8
History
- 2026-10-30: add by m2/v0.4.12
WT6XQY26FF WT6XQY26FF
| URI | m2://inv/WT6XQY26FF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12329#BAEY (statement). In ZJQB9W60T6/e1, theorem 7.7
History
- 2026-10-28: add by m2/v0.4.2
WT73904FGJ WT73904FGJ
| URI | m2://inv/WT73904FGJ |
|---|---|
| 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#SJ6O (statement). In 8TTFQH19QR/e1, lemma 9
History
- 2026-10-28: add by m2/v0.4.2
WT73TSTMF7 WT73TSTMF7
| URI | m2://inv/WT73TSTMF7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02061#HI89 (statement). In F5STMSPR6X/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.12
WT7CRNQA4C WT7CRNQA4C
| URI | m2://inv/WT7CRNQA4C |
|---|---|
| Kind | definition |
| 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.09810#17LG (definition). In B6PCH930FV/e1, definition 20
History
- 2026-10-29: add by m2/v0.4.10
WT7HWGVV83 WT7HWGVV83
| URI | m2://inv/WT7HWGVV83 |
|---|---|
| Kind | example |
| 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.20028#W6U4 (example)
History
- 2026-11-02: add by m2/v0.6.18
The methods WT7KQZ0VQM
| URI | m2://inv/WT7KQZ0VQM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mill's methods#6NGQ, The methods (definition)
History
- 2026-11-02: add by m2/dev
affirming the consequent WT7P10RJZ5
| URI | m2://inv/WT7P10RJZ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2000864, affirming the consequent (statement). Also ProofWiki Affirming_the_Consequent
- wikipedia: Wikipedia Affirming the consequent, Affirming the consequent (definition). Also Wikidata Q2000864
History
- 2026-10-26: add by m2/dev
Dedekind sum WT7R6Y5843
| URI | m2://inv/WT7R6Y5843 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#XYD8, Dedekind sum (definition)
- wikipedia: Wikipedia List of things named after Richard Dedekind#TQ10, Dedekind sum (definition)
History
- 2026-11-02: add by m2/dev
Giuseppe Arbia WT7RCAZPYK
| URI | m2://inv/WT7RCAZPYK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giuseppe Arbia, Giuseppe Arbia (topic). Also Wikidata Q105824992
History
- 2026-11-02: add by m2/dev
WT7V5HBSS7 WT7V5HBSS7
| URI | m2://inv/WT7V5HBSS7 |
|---|---|
| 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#GXR7 (statement). In X3RFXWN6FW/e1, theorem C
History
- 2026-10-27: add by m2/v0.3.6
monoid, free WT84GV4Q6J
| URI | m2://inv/WT84GV4Q6J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.11/monoid-free, monoid, free (concept). In N54F33XE07, index, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
finitary formal system WT89R0X3F7
| URI | m2://inv/WT89R0X3F7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#0XYB, finitary formal system (definition)
History
- 2026-11-02: add by m2/dev
Straightedge-only construction WT8AGK0MGA
| URI | m2://inv/WT8AGK0MGA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Straightedge-only construction, Straightedge-only construction (definition). Also Wikidata Q136352290
History
- 2026-11-02: add by m2/dev
Example WT8DQXERFJ
| URI | m2://inv/WT8DQXERFJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iterative deepening depth-first search#V4CR, Example (example)
History
- 2026-11-02: add by m2/dev
WT8G4AD2HW WT8G4AD2HW
| URI | m2://inv/WT8G4AD2HW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19958#X5XG (statement)
History
- 2026-11-02: add by m2/v0.6.18
Molecular symmetry WT8GDKBHR8
| URI | m2://inv/WT8GDKBHR8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#OQRK, Molecular symmetry (unknown)
History
- 2026-11-02: add by m2/dev
WT8H5ZC910 WT8H5ZC910
| URI | m2://inv/WT8H5ZC910 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14555#PDAY (statement). In NHW0VEJ09F/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Interior bridge WT8HQ0XRJ5
| URI | m2://inv/WT8HQ0XRJ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#FLJK, Interior bridge (statement)
History
- 2026-11-01: add by m2/v0.6.15
Skellam distribution WT90VYCKQC
| URI | m2://inv/WT90VYCKQC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#4G2N, Skellam distribution (definition)
History
- 2026-11-02: add by m2/dev
WT9DC4MAC7 WT9DC4MAC7
| URI | m2://inv/WT9DC4MAC7 |
|---|---|
| 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 1707.07744#F68C (statement). In WAFGHHHJY9/e1, lemma 5
History
- 2026-10-27: add by m2/v0.3.5
WT9EBYXWQK WT9EBYXWQK
| URI | m2://inv/WT9EBYXWQK |
|---|---|
| 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.28011#3TBB (statement)
History
- 2026-11-01: add by m2/v0.6.15
WT9ENES4C5 WT9ENES4C5
| URI | m2://inv/WT9ENES4C5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07445#MPKZ (statement). In F1BM3Q8125/e1, proposition 2.15
History
- 2026-10-29: add by m2/v0.4.10
Reinhard Meinel WT9H9DC5FG
| URI | m2://inv/WT9H9DC5FG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#CY9A, Reinhard Meinel (unknown)
History
- 2026-11-02: add by m2/dev
WT9PTNSDJP WT9PTNSDJP
| URI | m2://inv/WT9PTNSDJP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37606#3IC7 (statement). In WNFW6GY38C/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
WTA028N5RC WTA028N5RC
| URI | m2://inv/WTA028N5RC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.06699#Z6CC (statement). In GXHKRV5BPY/e1, proposition 4.6
History
- 2026-10-29: add by m2/v0.4.10
Hyperbolic distribution WTAA4Q8AGN
| URI | m2://inv/WTAA4Q8AGN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#NPG3, Hyperbolic distribution (definition)
History
- 2026-11-02: add by m2/dev
WTAJMQK07J WTAJMQK07J
| URI | m2://inv/WTAJMQK07J |
|---|---|
| Kind | example |
| 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.07122#LFQT (example). In W0ZHX9DHPV/e1, example 7
History
- 2026-10-29: add by m2/v0.4.10
WTAP2SJAT2 WTAP2SJAT2
| URI | m2://inv/WTAP2SJAT2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33733#PTJ9 (statement). In QBAP8C82FG/e1, corollary 31
History
- 2026-10-30: add by m2/v0.4.12
Wald test WTAVE6JQ7J
| URI | m2://inv/WTAVE6JQ7J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wald test, Wald test (definition). Also Wikidata Q748664
History
- 2026-11-02: add by m2/dev
List of dynamical systems and differential equations topics WTAX7F94G8
| URI | m2://inv/WTAX7F94G8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics, List of dynamical systems and differential equations topics (topic). Also Wikidata Q16000152
History
- 2026-11-02: add by m2/dev
Multivariate normal distribution WTB345WFNM
| URI | m2://inv/WTB345WFNM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#HY7W, Multivariate normal distribution (definition)
History
- 2026-11-02: add by m2/dev
WTB3898WYJ WTB3898WYJ
| URI | m2://inv/WTB3898WYJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02628#SJHM (statement). In G4S9C5M1A4/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.12
WTB6QJ70X7 WTB6QJ70X7
| URI | m2://inv/WTB6QJ70X7 |
|---|---|
| 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.06372#BYA9 (statement). In G3E1P350Z6/e1, theorem 6.1
History
- 2026-10-29: add by m2/v0.4.10
WTB7XGZM74 WTB7XGZM74
| URI | m2://inv/WTB7XGZM74 |
|---|---|
| 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.28518#Q2RN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Uniform moment convergence on the closed receiving hemisphere WTB9ANH7PE
| URI | m2://inv/WTB9ANH7PE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21328#0758, Uniform moment convergence on the closed receiving hemisphere (statement). In BJXVV4ZF7B/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.4.2
WTBGF19VC3 WTBGF19VC3
| URI | m2://inv/WTBGF19VC3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03138#Y3AD (statement). In P5SY7AVP5E/e1, theorem 4.7
History
- 2026-10-29: add by m2/v0.4.12
WTBGST0VV8 WTBGST0VV8
| URI | m2://inv/WTBGST0VV8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28141#T58D (statement)
History
- 2026-11-01: add by m2/v0.6.15
Non-Euclidean geometry WTBKRSZAR0
| URI | m2://inv/WTBKRSZAR0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#4LBD, Non-Euclidean geometry (definition)
History
- 2026-11-02: add by m2/dev
Definition WTBQ5EA1CV
| URI | m2://inv/WTBQ5EA1CV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Idoneal number#L4J3, Definition (definition)
History
- 2026-11-02: add by m2/dev
A conjectured formula for the minimum crossing number WTBQJGSQ01
| URI | m2://inv/WTBQJGSQ01 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Albertson conjecture#OQDG, A conjectured formula for the minimum crossing number (statement)
History
- 2026-11-02: add by m2/dev
Oskar Klein WTBVF62YET
| URI | m2://inv/WTBVF62YET |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#ZMFY, Oskar Klein (unknown)
History
- 2026-11-02: add by m2/dev
WTC1JCTF7H WTC1JCTF7H
| URI | m2://inv/WTC1JCTF7H |
|---|---|
| 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.22218#A8KN (statement). In 338GKREFVP/e1, lemma 40
History
- 2026-10-27: add by m2/v0.4.0
Gauss's lemma (irreducibility) WTC30WBVDB
| URI | m2://inv/WTC30WBVDB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss's lemma (polynomials)#MDW3, Gauss's lemma (irreducibility) (statement)
History
- 2026-11-02: add by m2/dev
WTC599AKRX WTC599AKRX
| URI | m2://inv/WTC599AKRX |
|---|---|
| Kind | problem |
| 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 2610.04382#3WNO (problem). In 7VW8XD28G1/e1, problem 5.7
History
- 2026-10-29: add by m2/v0.4.12
WTC96MWVEW WTC96MWVEW
| URI | m2://inv/WTC96MWVEW |
|---|---|
| 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.00247#QA4D (statement). In ZAM4S2XS9F/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
Cristina Sernadas WTCCTVA61X
| URI | m2://inv/WTCCTVA61X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#XR75, Cristina Sernadas (unknown)
History
- 2026-11-02: add by m2/dev
Augmentation WTCEM9YP3W
| URI | m2://inv/WTCEM9YP3W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Augmentation (algebra), Augmentation (definition). Also Wikidata Q18205357
History
- 2026-11-02: add by m2/dev
WTCFNHVVJK WTCFNHVVJK
| URI | m2://inv/WTCFNHVVJK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15817#8CI7 (definition). In NVJMA8ARHP/e1, definition 3.0.3
History
- 2026-10-28: add by m2/v0.4.2
Generic point WTCSPDEHT0
| URI | m2://inv/WTCSPDEHT0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#I2C8, Generic point (definition)
History
- 2026-11-02: add by m2/dev
1 decameter WTCTBZZFB2
| URI | m2://inv/WTCTBZZFB2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (length)#EC72, 1 decameter (unknown)
History
- 2026-11-02: add by m2/dev
time series WTCWP39S5M
| URI | m2://inv/WTCWP39S5M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Time series EA3MF4VTEH |
Mentions
- wikidata: Wikidata Q186588, time series (unknown). Also nLab time series
- wikipedia: Wikipedia Time series, Time series (definition). Also Wikidata Q186588
History
- 2026-10-26: add by m2/dev
Venkatesh, 2022 WTCX49Z54V
| URI | m2://inv/WTCX49Z54V |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06461#YK0J, Venkatesh, 2022 (problem). In QXY3W2JV2N/e1, problem Question
History
- 2026-10-29: add by m2/v0.4.10
Example WTCZS3RQ7A
| URI | m2://inv/WTCZS3RQ7A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poinsot's ellipsoid#C8FA, Example (example)
History
- 2026-11-02: add by m2/dev
Applications WTDB4MGYYG
| URI | m2://inv/WTDB4MGYYG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermite normal form#Q15X, Applications (example)
History
- 2026-11-02: add by m2/dev
WTDEACMA58 WTDEACMA58
| URI | m2://inv/WTDEACMA58 |
|---|---|
| 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.26600#R9ZK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Separation of the pure square blocks WTDF25FTH0
| URI | m2://inv/WTDF25FTH0 |
|---|---|
| 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.04189#YHKH, Separation of the pure square blocks (statement). In 1KRZ5ACTKE/e1, lemma 5.9
History
- 2026-10-29: add by m2/v0.4.12
WTDG3QN3ND WTDG3QN3ND
| URI | m2://inv/WTDG3QN3ND |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#1FJ7 (statement). In HX63A1PH1W/e1, corollary 6.17
History
- 2026-10-28: add by m2/v0.4.3
Cosmological constant WTDJY1A518
| URI | m2://inv/WTDJY1A518 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of formulae involving π#JYPH, Cosmological constant (definition)
History
- 2026-11-02: add by m2/dev
WTDRNNW0BC WTDRNNW0BC
| URI | m2://inv/WTDRNNW0BC |
|---|---|
| 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#MGFF (statement). In VJTRH1S4JA/e1, proposition 3.20
History
- 2026-10-28: add by m2/v0.4.2
Steve Blinkhorn WTE174D8QD
| URI | m2://inv/WTE174D8QD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steve Blinkhorn, Steve Blinkhorn (topic). Also Wikidata Q7611982
History
- 2026-11-02: add by m2/dev
WTEA95ZTV0 WTEA95ZTV0
| URI | m2://inv/WTEA95ZTV0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#E68Y (statement). In M0SQY5EZN5/e1, theorem 4.4.8
History
- 2026-10-27: add by m2/v0.3.5
Robert Aumann WTER5Y8XAG
| URI | m2://inv/WTER5Y8XAG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#KFZ6, Robert Aumann (unknown)
History
- 2026-11-02: add by m2/dev
WTF8FAT6Z5 WTF8FAT6Z5
| URI | m2://inv/WTF8FAT6Z5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#VA2L (example). In RK0ZMDJ23T/e1, example 3.1.8
History
- 2026-10-31: add by m2/v0.5.6
WTF8RWEP7T WTF8RWEP7T
| URI | m2://inv/WTF8RWEP7T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2301.04933#44Z1 (definition). In Q70CTMCJTP/e1, definition 3.10
History
- 2026-10-27: add by m2/v0.3.5
Baer norm WTFG253QV2
| URI | m2://inv/WTFG253QV2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baer norm, Baer norm (definition). Also Wikidata Q7051416
History
- 2026-11-02: add by m2/dev
semimodular lattice WTFKZEZM7E
| URI | m2://inv/WTFKZEZM7E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Semimodular lattice C1NET23GG0 |
Mentions
- wikidata: Wikidata Q1748671, semimodular lattice (unknown). Also EoM Semi-modular_lattice
- wikipedia: Wikipedia Semimodular lattice, Semimodular lattice (definition). Also Wikidata Q1748671
History
- 2026-10-26: add by m2/dev
WTFW5CN68W WTFW5CN68W
| URI | m2://inv/WTFW5CN68W |
|---|---|
| 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.22338#NZZE (statement)
History
- 2026-11-02: add by m2/v0.6.17
WTG45MFY62 WTG45MFY62
| URI | m2://inv/WTG45MFY62 |
|---|---|
| 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#WCLA (statement). In 6KR7Z5ETRY/e1, lemma 2.20
History
- 2026-10-27: add by m2/v0.3.5
WTG8T5FZM4 WTG8T5FZM4
| URI | m2://inv/WTG8T5FZM4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_gt-trees.ptx#proof-2 (proof). In Y91XFCEVHQ, proof, section 5.2.1
History
- 2026-11-01: add by m2/v0.6.13
WTG98P61BT WTG98P61BT
| URI | m2://inv/WTG98P61BT |
|---|---|
| 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.23871#7CMO (statement)
History
- 2026-11-02: add by m2/v0.6.17
WTGA6G3M28 WTGA6G3M28
| URI | m2://inv/WTGA6G3M28 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/fundamental-group.tex#proof-3 (proof). In RZP28ERRZV, proof, section 98.3
History
- 2026-11-01: add by m2/v0.6.13
necklace WTGEK7D9M4
| URI | m2://inv/WTGEK7D9M4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2983383, necklace (unknown). Also MathWorld Necklace
- wikipedia: Wikipedia Necklace (combinatorics), Necklace (definition). Also Wikidata Q2983383
History
- 2026-10-26: add by m2/dev
König's theorem WTGMWGX7QY
| URI | m2://inv/WTGMWGX7QY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#8V2D, König's theorem (statement)
History
- 2026-11-02: add by m2/dev
WTH6KVX5RH WTH6KVX5RH
| URI | m2://inv/WTH6KVX5RH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2401.11433#S89P (statement). In JNA2B803FH/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5
WTH9FS49FV WTH9FS49FV
| URI | m2://inv/WTH9FS49FV |
|---|---|
| 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.04675#F2O5 (statement). In RDXNFF2CZP/e1, theorem 13
History
- 2026-10-29: add by m2/v0.4.12
WTH9N9895A WTH9N9895A
| URI | m2://inv/WTH9N9895A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37271#83MU (statement). In 9WP2QGKMG8/e1, theorem 4.2
History
- 2026-10-30: add by m2/v0.4.12
logical WTHHC52H15
| URI | m2://inv/WTHHC52H15 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#JZXC, logical (definition)
History
- 2026-11-02: add by m2/dev
Undecimated wavelet transform WTHR1Z2MEX
| URI | m2://inv/WTHR1Z2MEX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of wavelet-related transforms#PSLO, Undecimated wavelet transform (unknown)
History
- 2026-11-02: add by m2/dev
WTJ2WKDF2D WTJ2WKDF2D
| URI | m2://inv/WTJ2WKDF2D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/frobenius.tex#problem-4 (exercise). In RZP28ERRZV, problem, section 13.8
History
- 2026-11-01: add by m2/v0.6.13
WTJBPTWJ51 WTJBPTWJ51
| URI | m2://inv/WTJBPTWJ51 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/arithmetization-syntax/proofs-in-nd.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 27.7
History
- 2026-11-01: add by m2/v0.6.13
WTJED0MDWH WTJED0MDWH
| URI | m2://inv/WTJED0MDWH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 37-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 1503.05744#3AJM (definition). In 5XKHZKEGAF/e1, definition 2.11
History
- 2026-10-27: add by m2/v0.3.5
WTJF8N0H2Z WTJF8N0H2Z
| URI | m2://inv/WTJF8N0H2Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17875#2J7X (statement). In AQX7DGD360/e1, corollary 1.6
History
- 2026-10-28: add by m2/v0.4.2
Definition WTJGXBX4HG
| URI | m2://inv/WTJGXBX4HG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert space#L4ID, Definition (definition)
History
- 2026-11-02: add by m2/dev
Ryan Lee WTJJPFM437
| URI | m2://inv/WTJJPFM437 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#H8MC, Ryan Lee (unknown)
History
- 2026-11-02: add by m2/dev
Approximate quarter rotation WTJNJ6FHQA
| URI | m2://inv/WTJNJ6FHQA |
|---|---|
| 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.16248#4ZZ9, Approximate quarter rotation (statement). In TP61DYMBMK/e1, lemma 13
History
- 2026-10-28: add by m2/v0.4.2
WTJNKSF31G WTJNKSF31G
| URI | m2://inv/WTJNKSF31G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/quasi-proj.tex#example-6 (example). In RZP28ERRZV, example, section 24.3
History
- 2026-11-01: add by m2/v0.6.13
WTJQZWY2GP WTJQZWY2GP
| URI | m2://inv/WTJQZWY2GP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40156#2B1N (statement). In PP8BEHWK33/e1, proposition 7
History
- 2026-10-30: add by m2/v0.4.12
Lower bound on the tree size WTJWV8CTA7
| URI | m2://inv/WTJWV8CTA7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15265#Q2BY, Lower bound on the tree size (statement). In TCQ1JBR84Y/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.2
WTJZDXD468 WTJZDXD468
| URI | m2://inv/WTJZDXD468 |
|---|---|
| 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#ZAF4 (statement). In KJY735KSMF/e1, corollary 4.2
History
- 2026-10-28: add by m2/v0.4.2
Wavelet WTK6V39547
| URI | m2://inv/WTK6V39547 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#D5HS, Wavelet (definition)
History
- 2026-11-02: add by m2/dev
Jean-Michel Muller WTKBV0W8E7
| URI | m2://inv/WTKBV0W8E7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean-Michel Muller, Jean-Michel Muller (topic). Also Wikidata Q102175340
History
- 2026-11-02: add by m2/dev
Artin L-function WTKF42AAHC
| URI | m2://inv/WTKF42AAHC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2993300, Artin L-function (unknown). Also LMFDB knowl artin.lfunction, MathWorld ArtinL-Function, nLab Artin L-function
- wikipedia: Wikipedia Artin L-function, Artin L-function (definition). Also Wikidata Q2993300
History
- 2026-10-26: add by m2/dev
Virginia Ragsdale WTKHTZRXR2
| URI | m2://inv/WTKHTZRXR2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virginia Ragsdale, Virginia Ragsdale (topic). Also Wikidata Q1767452
History
- 2026-11-02: add by m2/dev
Example WTKK15C0XS
| URI | m2://inv/WTKK15C0XS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zassenhaus algorithm#SSQ5, Example (example)
History
- 2026-11-02: add by m2/dev
De Boor algorithm WTKKVM5SY8
| URI | m2://inv/WTKKVM5SY8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#JG1F, De Boor algorithm (definition)
History
- 2026-11-02: add by m2/dev
WTKVJZP9AX WTKVJZP9AX
| URI | m2://inv/WTKVJZP9AX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-addmult.ptx#exercise-2 (exercise). In Y91XFCEVHQ, exercise, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
disconnect WTM66YKC7K
| URI | m2://inv/WTM66YKC7K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#OG9J, disconnect (definition)
History
- 2026-11-02: add by m2/dev
Stochastic equicontinuity WTME33HNZP
| URI | m2://inv/WTME33HNZP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VM3I, Stochastic equicontinuity (definition)
History
- 2026-11-02: add by m2/dev
WTMPBGBP5J WTMPBGBP5J
| URI | m2://inv/WTMPBGBP5J |
|---|---|
| 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#SG5I (statement). In MG81A9XJTQ/e1, lemma IV.3
History
- 2026-10-29: add by m2/v0.4.10
WTMPWVQRHG WTMPWVQRHG
| URI | m2://inv/WTMPWVQRHG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11772#OE5B (definition). In 2GW9HYGZ8S/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.3
Harold Edwards WTMR62G4C1
| URI | m2://inv/WTMR62G4C1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harold Edwards (mathematician), Harold Edwards (topic). Also Wikidata Q1230979
History
- 2026-11-02: add by m2/dev
Taxicab on $\RR^2$ WTMX37AVRT
| URI | m2://inv/WTMX37AVRT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#example-3, Taxicab on $\RR^2$ (example). In RZP28ERRZV, example, section 100.1
History
- 2026-11-01: add by m2/v0.6.13
WTN22MBTB2 WTN22MBTB2
| URI | m2://inv/WTN22MBTB2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38539#5PCG (statement). In 6H78W2WZ5G/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
WTN622TX9J WTN622TX9J
| URI | m2://inv/WTN622TX9J |
|---|---|
| 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.20817#F2CY (statement). In M1YRBSZT4H/e1, lemma 11
History
- 2026-10-27: add by m2/v0.4.2
WTN65D0MEN WTN65D0MEN
| URI | m2://inv/WTN65D0MEN |
|---|---|
| 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.00358#1ILR (statement). In C5WGCSPM6W/e1, lemma C.1
History
- 2026-10-30: add by m2/v0.4.12
WTN8D02X8F WTN8D02X8F
| URI | m2://inv/WTN8D02X8F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.03461#296D (statement). In XJVZSGCX5V/e1, proposition 3
History
- 2026-10-27: add by m2/v0.3.5
Rossby radius of deformation WTNA5K2Q7J
| URI | m2://inv/WTNA5K2Q7J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rossby radius of deformation, Rossby radius of deformation (definition). Also Wikidata Q3433864
History
- 2026-11-02: add by m2/dev
confidence level WTNJ2N2K3T
| URI | m2://inv/WTNJ2N2K3T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#04QF, confidence level (definition)
History
- 2026-11-02: add by m2/dev
HS WTNRD61AC6
| URI | m2://inv/WTNRD61AC6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#N7AV, HS (definition)
History
- 2026-11-02: add by m2/dev
Yong-Geun Oh WTNT5EN8C5
| URI | m2://inv/WTNT5EN8C5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yong-Geun Oh, Yong-Geun Oh (topic). Also Wikidata Q102163101
History
- 2026-11-02: add by m2/dev
Exact CSS orthogonality WTP18JE2QG
| URI | m2://inv/WTP18JE2QG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#ON2Y, Exact CSS orthogonality (statement). In 7MVPNFPRKB/e1, proposition 12.3
History
- 2026-10-30: add by m2/v0.4.12
Y-Δ transform WTP460H9TF
| URI | m2://inv/WTP460H9TF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Y-Δ transform, Y-Δ transform (definition). Also Wikidata Q1110301
History
- 2026-11-02: add by m2/dev
WTP65NQ8E8 WTP65NQ8E8
| URI | m2://inv/WTP65NQ8E8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39905#SI04 (statement). In D4B23ER9QD/e1, proposition 3
History
- 2026-10-30: add by m2/v0.4.12
Axiom of global choice WTP7AYMJGB
| URI | m2://inv/WTP7AYMJGB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann–Bernays–Gödel set theory#K1LP, Axiom of global choice (statement)
History
- 2026-11-02: add by m2/dev
Infinite real projective space WTPBA7ZTX6
| URI | m2://inv/WTPBA7ZTX6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real projective space#0PSN, Infinite real projective space (unknown)
History
- 2026-11-02: add by m2/dev
Four-velocity WTPBKS8H92
| URI | m2://inv/WTPBKS8H92 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Four-velocity, Four-velocity (definition). Also Wikidata Q1322540
History
- 2026-11-02: add by m2/dev
Structured program theorem WTPGTBQ7NF
| URI | m2://inv/WTPGTBQ7NF |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2635326, Structured program theorem (statement). Also Wikidata Q2635326
- thousand_plus: thousand_plus Q2635326, Structured program theorem (statement). Also Wikidata Q2635326, Wikipedia Structured program theorem
- wikipedia: Wikipedia Structured program theorem, Structured program theorem (statement). Also Wikidata Q2635326
History
- 2026-10-26: add by m2/dev
Heat lightning WTPQS8ZBKX
| URI | m2://inv/WTPQS8ZBKX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#F0MI, Heat lightning (unknown)
History
- 2026-11-02: add by m2/dev
WTPQXBZ2HZ WTPQXBZ2HZ
| URI | m2://inv/WTPQXBZ2HZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-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 2503.22636#AN25 (example). In 2X2A6MT0QD/e1, example 2.2
History
- 2026-10-27: add by m2/v0.3.5
WTPV81WCK8 WTPV81WCK8
| URI | m2://inv/WTPV81WCK8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-9 (exercise). In E9HS8K3A52, exercise, section 8.1.3
History
- 2026-11-01: add by m2/v0.6.13
Disposition effect WTPW8H4HK3
| URI | m2://inv/WTPW8H4HK3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#AZ84, Disposition effect (unknown)
History
- 2026-11-02: add by m2/dev
magnification WTQ021FR6Q
| URI | m2://inv/WTQ021FR6Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#7Q2W, magnification (definition)
History
- 2026-11-02: add by m2/dev
WTQ12CK17Q WTQ12CK17Q
| URI | m2://inv/WTQ12CK17Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05784#V4GT (statement). In 6NVP3YRWVA/e1, lemma 2.13
History
- 2026-10-29: add by m2/v0.4.10
Equality versus strict separation WTQ3KXTTH5
| URI | m2://inv/WTQ3KXTTH5 |
|---|---|
| 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.23781#BV4D, Equality versus strict separation (statement)
History
- 2026-11-02: add by m2/v0.6.17
WTQ685ES8Y WTQ685ES8Y
| URI | m2://inv/WTQ685ES8Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16225#6SXB (definition). In H3DJV9YQW1/e1, definition 4.7
History
- 2026-10-28: add by m2/v0.4.2
Results WTQ8EP2P0A
| URI | m2://inv/WTQ8EP2P0A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Navier–Stokes existence and smoothness#OY6M, Results (statement)
History
- 2026-11-02: add by m2/dev
WTQFPSJM80 WTQFPSJM80
| URI | m2://inv/WTQFPSJM80 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0809.4587#LKGK (statement). In KQ8JPHDKKE/e1, proposition 9.4.9
History
- 2026-10-27: add by m2/v0.3.5
Limiting case WTQGP3K35A
| URI | m2://inv/WTQGP3K35A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limiting case (mathematics), Limiting case (definition). Also Wikidata Q17123612
History
- 2026-11-02: add by m2/dev
WTQGWBJ4AD WTQGWBJ4AD
| URI | m2://inv/WTQGWBJ4AD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#TXIW (statement). In V97F4YZ8B0/e1, lemma 7.2
History
- 2026-10-28: add by m2/v0.4.2
WTR0CT8MXB WTR0CT8MXB
| URI | m2://inv/WTR0CT8MXB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#example-10 (example). In E9HS8K3A52, example, section 6.6.1
History
- 2026-11-01: add by m2/v0.6.13
Oswaldo Lezama WTR8FQEVRQ
| URI | m2://inv/WTR8FQEVRQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oswaldo Lezama, Oswaldo Lezama (topic). Also Wikidata Q98034086
History
- 2026-11-02: add by m2/dev
coin WTR8P3FVTP
| URI | m2://inv/WTR8P3FVTP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q41207, coin (definition). Also MathWorld Coin, ProofWiki Definition:Coin
History
- 2026-10-26: add by m2/dev
WTR9FTJ7XM WTR9FTJ7XM
| URI | m2://inv/WTR9FTJ7XM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.17227#FOBQ (definition). In DDNP38CHQJ/e1, definition 3.5
History
- 2026-10-27: add by m2/v0.3.5
Theorem (Brezis-Mironescu) WTREKVS1WZ
| URI | m2://inv/WTREKVS1WZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gagliardo–Nirenberg interpolation inequality#P6AY, Theorem (Brezis-Mironescu) (statement)
History
- 2026-11-02: add by m2/dev
Small dodecacronic hexecontahedron WTRMHMNNTW
| URI | m2://inv/WTRMHMNNTW |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#YTEX, Small dodecacronic hexecontahedron (object)
History
- 2026-11-02: add by m2/dev
WTRPMX1PFA WTRPMX1PFA
| URI | m2://inv/WTRPMX1PFA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/propositions-as-types/types.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 61.5
History
- 2026-11-01: add by m2/v0.6.13
WTS5HNK5KA WTS5HNK5KA
| URI | m2://inv/WTS5HNK5KA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13877#FZDF (statement). In NBMA6DBKJG/e1, corollary 3.8
History
- 2026-10-28: add by m2/v0.4.2
Compatibility of maximal weak subslopes WTS5SX9MRE
| URI | m2://inv/WTS5SX9MRE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#SZZ5, Compatibility of maximal weak subslopes (statement). In KM3Q791JY0/e1, lemma 4.31
History
- 2026-10-27: add by m2/v0.4.2
WTS9YAXV68 WTS9YAXV68
| URI | m2://inv/WTS9YAXV68 |
|---|---|
| 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.19898#2VYN (statement)
History
- 2026-11-02: add by m2/v0.6.18
WTSHH2JGFH WTSHH2JGFH
| URI | m2://inv/WTSHH2JGFH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01346#70EL (statement). In 44DQ7W1NW9/e1, theorem 5.6
History
- 2026-10-29: add by m2/v0.4.12
WTSSP7Q9ZP WTSSP7Q9ZP
| URI | m2://inv/WTSSP7Q9ZP |
|---|---|
| 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.33771#5PWX (statement). In ZXQA7QH0H0/e1, lemma 2.6
History
- 2026-10-30: add by m2/v0.4.12
WTSSSKBRZE WTSSSKBRZE
| URI | m2://inv/WTSSSKBRZE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06152#CSWB (statement). In HH35K7S17H/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.10
Laser hologram WTSX37REP4
| URI | m2://inv/WTSX37REP4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holography#EBOZ, Laser hologram (unknown)
History
- 2026-11-02: add by m2/dev
WTSY27GZJC WTSY27GZJC
| URI | m2://inv/WTSY27GZJC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14837#Q65W (statement). In J4P6HXMJCH/e1, proposition 2.6
History
- 2026-10-28: add by m2/v0.4.2
nano WTSZ25B9XR
| URI | m2://inv/WTSZ25B9XR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q154357, nano (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/nano-
History
- 2026-10-26: add by m2/dev
WTT0ZBBBJ8 WTT0ZBBBJ8
| URI | m2://inv/WTT0ZBBBJ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13475#C4LL (statement). In P5SQ4CMX42/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
Inclusions graded by \(\Z\) or square-free cyclic groups WTT5MTRW5S
| URI | m2://inv/WTT5MTRW5S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27518#B7ZA, Inclusions graded by \(\Z\) or square-free cyclic groups (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ernst Jacobsthal WTT6C808AP
| URI | m2://inv/WTT6C808AP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ernst Jacobsthal, Ernst Jacobsthal (topic). Also Wikidata Q77918
History
- 2026-11-02: add by m2/dev
Brownian motion on the circle WTTDNPD48W
| URI | m2://inv/WTTDNPD48W |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27851#F8I4, Brownian motion on the circle (example)
History
- 2026-11-01: add by m2/v0.6.15
sunflower conjecture WTTE05BBWB
| URI | m2://inv/WTTE05BBWB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#CIBM, sunflower conjecture (definition)
History
- 2026-11-02: add by m2/dev
WTTEBS2376 WTTEBS2376
| URI | m2://inv/WTTEBS2376 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-1-5-1.xml#act-1-5-1 (exercise). In 907G4C4EJ1, activity, section 1.5.2
History
- 2026-11-01: add by m2/v0.6.13
WTTG1CPYEK WTTG1CPYEK
| URI | m2://inv/WTTG1CPYEK |
|---|---|
| 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 2610.08594#0R3Z (statement). In FEE70SSD96/e1, lemma 5.8
History
- 2026-10-29: add by m2/v0.4.10
Extensions WTTJF34BQ3
| URI | m2://inv/WTTJF34BQ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double factorial#8GYM, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Identity theorem for Riemann surfaces WTTJXDGD72
| URI | m2://inv/WTTJXDGD72 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#F867, Identity theorem for Riemann surfaces (statement)
History
- 2026-11-02: add by m2/dev
The Local Structure Theorem WTTQM9AKWF
| URI | m2://inv/WTTQM9AKWF |
|---|---|
| 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.35683#H7XE, The Local Structure Theorem (statement). In A4S9A3X494/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Approximation WTV02SMW0M
| URI | m2://inv/WTV02SMW0M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#Z950, Approximation (definition)
History
- 2026-11-02: add by m2/dev
WTV2XYVSH8 WTV2XYVSH8
| URI | m2://inv/WTV2XYVSH8 |
|---|---|
| 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.21635#CQ82 (statement). In BVA5MGH9FK/e1, theorem 3
History
- 2026-10-27: add by m2/v0.4.2
Eric Poisson WTV3RJJNWX
| URI | m2://inv/WTV3RJJNWX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#C58L, Eric Poisson (unknown)
History
- 2026-11-02: add by m2/dev
WTV4774YFS WTV4774YFS
| URI | m2://inv/WTV4774YFS |
|---|---|
| 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.12357#EG9D (statement). In 1F26AF81XP/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
WTV5ZZWABT WTV5ZZWABT
| URI | m2://inv/WTV5ZZWABT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/holomorphic.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 39.3
History
- 2026-11-01: add by m2/v0.6.13
Robion Kirby WTV7CHBSYT
| URI | m2://inv/WTV7CHBSYT |
|---|---|
| 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 Q1385486, Robion Kirby (unknown). Also nLab Robion Kirby
- wikipedia: Wikipedia Robion Kirby, Robion Kirby (topic). Also Wikidata Q1385486
History
- 2026-10-26: add by m2/dev
WTV7S72YZM WTV7S72YZM
| URI | m2://inv/WTV7S72YZM |
|---|---|
| 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.05459#ZUMC (statement). In VYW16D089Y/e1, corollary 5.5
History
- 2026-10-29: add by m2/v0.4.10
WTV8PYRAMZ WTV8PYRAMZ
| URI | m2://inv/WTV8PYRAMZ |
|---|---|
| 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.08567#8HST (statement). In CMJE9V2BJ0/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.10
WTVB93912Z WTVB93912Z
| URI | m2://inv/WTVB93912Z |
|---|---|
| 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.07049#QBD3 (statement). In GMF552ESG6/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.10
WTVBVVD4A7 WTVBVVD4A7
| URI | m2://inv/WTVBVVD4A7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03081#P8QX (statement). In TX0H26X4VX/e1, proposition 8.2
History
- 2026-10-29: add by m2/v0.4.12
WTVHQS1DAT WTVHQS1DAT
| URI | m2://inv/WTVHQS1DAT |
|---|---|
| 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 2304.03611#SWU3 (statement). In 75E8ZB1CBV/e1, theorem 4.1.1
History
- 2026-10-27: add by m2/v0.4.0
Subdifferential orthogonal to level set WTVRS2PJPX
| URI | m2://inv/WTVRS2PJPX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.03461#0FY5, Subdifferential orthogonal to level set (statement). In XJVZSGCX5V/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
WTVZRXPDHC WTVZRXPDHC
| URI | m2://inv/WTVZRXPDHC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.18503#1N74 (statement). In RW315W172S/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Sheehy's multicover nerve theorem WTW0PE0ME9
| URI | m2://inv/WTW0PE0ME9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-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.15099#HITB, Sheehy's multicover nerve theorem (statement). In PF5JJ9DS8Q/e1, theorem 7.4.2
History
- 2026-10-28: add by m2/v0.4.2
General definition WTWDFNQ55P
| URI | m2://inv/WTWDFNQ55P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia D-module#4JKC, General definition (definition)
History
- 2026-11-02: add by m2/dev
Noah Dana-Picard WTWP60E89W
| URI | m2://inv/WTWP60E89W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#1QGW, Noah Dana-Picard (unknown)
History
- 2026-11-02: add by m2/dev
area, under velocity function WTWRKD2K73
| URI | m2://inv/WTWRKD2K73 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/4.1.2/area-under-velocity-function, area, under velocity function (concept). In 907G4C4EJ1, index, section 4.1.2
History
- 2026-11-01: add by m2/v0.6.13
WTWXAVDE2W WTWXAVDE2W
| URI | m2://inv/WTWXAVDE2W |
|---|---|
| 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.26191#0O17 (statement)
History
- 2026-11-01: add by m2/v0.6.15
WTX2225X6Q WTX2225X6Q
| URI | m2://inv/WTX2225X6Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/applied-modal-logic/temporal-logic/possible-histories.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 1.10
History
- 2026-11-01: add by m2/v0.6.13
Transport by the powers of one element WTX2D0S2MR
| URI | m2://inv/WTX2D0S2MR |
|---|---|
| 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.04271#FFJU, Transport by the powers of one element (statement). In WBXAW9G4JB/e1, corollary 2.2
History
- 2026-10-29: add by m2/v0.4.12
Gillies' conjecture WTX2EFYWAR
| URI | m2://inv/WTX2EFYWAR |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#T8ZE, Gillies' conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Elementary properties WTX4Z6FGYY
| URI | m2://inv/WTX4Z6FGYY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anomalous cancellation#MB69, Elementary properties (statement)
History
- 2026-11-02: add by m2/dev
Siamak Yassemi WTXB94JSVW
| URI | m2://inv/WTXB94JSVW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Siamak Yassemi, Siamak Yassemi (topic). Also Wikidata Q7506731
History
- 2026-11-02: add by m2/dev
Dualizing complex WTXPNFGF1G
| URI | m2://inv/WTXPNFGF1G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#1G9M, Dualizing complex (definition)
History
- 2026-11-02: add by m2/dev
Cournot competition WTXYDZ9SZH
| URI | m2://inv/WTXYDZ9SZH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cournot competition, Cournot competition (definition). Also Wikidata Q601799
History
- 2026-11-02: add by m2/dev
Applications WTY8V2CQX5
| URI | m2://inv/WTY8V2CQX5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantitative structure–activity relationship#VBU4, Applications (example)
History
- 2026-11-02: add by m2/dev
Edwards equation WTYA8944X6
| URI | m2://inv/WTYA8944X6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edwards equation, Edwards equation (definition). Also Wikidata Q25303655
History
- 2026-11-02: add by m2/dev
WTYDDHKJ9D WTYDDHKJ9D
| URI | m2://inv/WTYDDHKJ9D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02395#7ZI4 (statement). In APA7TRPA87/e1, proposition 5
History
- 2026-10-29: add by m2/v0.4.12
osculating plane WTYGF9QNMC
| URI | m2://inv/WTYGF9QNMC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3272489, osculating plane (unknown). Also MathWorld OsculatingPlane
- wikipedia: Wikipedia Osculating plane, Osculating plane (definition). Also Wikidata Q3272489
History
- 2026-10-26: add by m2/dev
foot-pound WTYXBFSAP4
| URI | m2://inv/WTYXBFSAP4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/6.4.1/foot-pound, foot-pound (concept). In 907G4C4EJ1, index, section 6.4.1
History
- 2026-11-01: add by m2/v0.6.13
Bolyai, Farkas WTZ0XC347F
| URI | m2://inv/WTZ0XC347F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#E8CV, Bolyai, Farkas (topic)
History
- 2026-11-02: add by m2/dev
Properties WTZ60YM1BA
| URI | m2://inv/WTZ60YM1BA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard Borel space#IG9W, Properties (statement)
History
- 2026-11-02: add by m2/dev
WTZ7BB9DH4 WTZ7BB9DH4
| URI | m2://inv/WTZ7BB9DH4 |
|---|---|
| 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.09341#4YXZ (statement). In DSXBMRYE0V/e1, corollary A.6
History
- 2026-10-29: add by m2/v0.4.10
WTZ7FMY34D WTZ7FMY34D
| URI | m2://inv/WTZ7FMY34D |
|---|---|
| Kind | example |
| 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.31910#LV79 (example). In E4EK1XXPY4/e1, example 6.7
History
- 2026-10-31: add by m2/v0.5.6
Application in theorem proving WTZF2R9MD3
| URI | m2://inv/WTZF2R9MD3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Occurs check#771H, Application in theorem proving (statement)
History
- 2026-11-02: add by m2/dev
List of works by Petr Vaníček WTZFJEZ1QX
| URI | m2://inv/WTZFJEZ1QX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of works by Petr Vaníček, List of works by Petr Vaníček (topic). Also Wikidata Q56292456
History
- 2026-11-02: add by m2/dev
WTZFY1SY1E WTZFY1SY1E
| URI | m2://inv/WTZFY1SY1E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17441#GHQF (statement). In 9Q8S0NWHP2/e1, proposition 5.4
History
- 2026-10-28: add by m2/v0.4.2
Applications WTZJQJGKK0
| URI | m2://inv/WTZJQJGKK0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biweight midcorrelation#3NUH, Applications (example)
History
- 2026-11-02: add by m2/dev
WTZMRBPERJ WTZMRBPERJ
| URI | m2://inv/WTZMRBPERJ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#proof-24 (proof). In N54F33XE07, proof, section B.3.3
History
- 2026-11-01: add by m2/v0.6.13
WTZV3MGSAB WTZV3MGSAB
| URI | m2://inv/WTZV3MGSAB |
|---|---|
| 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 2610.14914#GNAV (statement). In CHC3T113Y4/e1, corollary 7.5
History
- 2026-10-28: add by m2/v0.4.2
Abdias Treu WTZXQ956ZA
| URI | m2://inv/WTZXQ956ZA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#NIWX, Abdias Treu (topic)
History
- 2026-11-02: add by m2/dev