Inventory rows 1D
The cards of the rows of the inventory whose ids start with 1D. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
1D0NND4RTF 1D0NND4RTF
| URI | m2://inv/1D0NND4RTF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-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 2408.01345#WWSY (statement). In PT5PBPCS3P/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.5
Selim Esedoglu 1D0NNVPK94
| URI | m2://inv/1D0NNVPK94 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7BST, Selim Esedoglu (unknown)
History
- 2026-11-02: add by m2/dev
Samuel Jacob Jacobsohn 1D0WAXP8P2
| URI | m2://inv/1D0WAXP8P2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#K4NK, Samuel Jacob Jacobsohn (unknown)
History
- 2026-11-02: add by m2/dev
2 41 polytope 1D11HEE3SB
| URI | m2://inv/1D11HEE3SB |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2 41 polytope, 2 41 polytope (object). Also Wikidata Q4633286
History
- 2026-11-02: add by m2/dev
1D13RMET2D 1D13RMET2D
| URI | m2://inv/1D13RMET2D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0907.5545#U2YK (definition). In K3GWCTV5YE/e1, definition 4
History
- 2026-10-27: add by m2/v0.3.5
Entropy derivative monotonicity 1D1QWQSZHK
| URI | m2://inv/1D1QWQSZHK |
|---|---|
| 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.24931#UDMY, Entropy derivative monotonicity (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sally Cockburn 1D1TSBDCBV
| URI | m2://inv/1D1TSBDCBV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sally Cockburn, Sally Cockburn (topic). Also Wikidata Q58303268
History
- 2026-11-02: add by m2/dev
1D1WDB9J7W 1D1WDB9J7W
| URI | m2://inv/1D1WDB9J7W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-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.05391#JTQX (definition). In 9B5TNEBJHV/e1, definition 4.3
History
- 2026-10-29: add by m2/v0.4.10
Giambattista Benedetti 1D204GJ0N5
| URI | m2://inv/1D204GJ0N5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#PXUG, Giambattista Benedetti (unknown)
History
- 2026-11-02: add by m2/dev
1D21E3QWE6 1D21E3QWE6
| URI | m2://inv/1D21E3QWE6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-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.00843#0Q2V (statement). In 1K7M5TD0M2/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
Karen Uhlenbeck 1D21KA2R4Q
| URI | m2://inv/1D21KA2R4Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#V05L, Karen Uhlenbeck (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ADMZ, Karen Uhlenbeck (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Q6Z0, Karen Uhlenbeck (topic)
History
- 2026-11-02: add by m2/dev
Algorithms 1D21YWBX6M
| URI | m2://inv/1D21YWBX6M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hall violator#H140, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Forking lemma 1D23JYH2HZ
| URI | m2://inv/1D23JYH2HZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#HKNC, Forking lemma (statement)
History
- 2026-11-02: add by m2/dev
Benoit Mandelbrot 1D23R4F6TW
| URI | m2://inv/1D23R4F6TW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benoit Mandelbrot, Benoit Mandelbrot (topic). Also Wikidata Q101740
History
- 2026-11-02: add by m2/dev
Subtyping 1D24DNY5GQ
| URI | m2://inv/1D24DNY5GQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subtyping, Subtyping (definition). Also Wikidata Q2713292
History
- 2026-11-02: add by m2/dev
1D26G6WEZT 1D26G6WEZT
| URI | m2://inv/1D26G6WEZT |
|---|---|
| Kind | problem |
| 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.24484#OTUY (problem)
History
- 2026-11-01: add by m2/v0.6.15
Prime avoidance lemma 1D2BVH8VBS
| URI | m2://inv/1D2BVH8VBS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime avoidance lemma, Prime avoidance lemma (statement). Also Wikidata Q3229333
History
- 2026-11-02: add by m2/dev
1D2FX38WP7 1D2FX38WP7
| URI | m2://inv/1D2FX38WP7 |
|---|---|
| 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.06200#G77C (statement). In B5XCHJKX7Q/e1, theorem 2.8
History
- 2026-10-29: add by m2/v0.4.10
Marcello Boldrini 1D2MFG9C1B
| URI | m2://inv/1D2MFG9C1B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marcello Boldrini, Marcello Boldrini (topic). Also Wikidata Q6756401
History
- 2026-11-02: add by m2/dev
Euler equations 1D2XF8FZ8X
| URI | m2://inv/1D2XF8FZ8X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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.38030#CK24, Euler equations (statement). In XYYEJN00D8/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
Pasch configuration 1D34A3JY9V
| URI | m2://inv/1D34A3JY9V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130497145, Pasch configuration (concept). Also MathWorld PaschConfiguration
History
- 2026-10-26: add by m2/dev
Examples 1D3D8JY38C
| URI | m2://inv/1D3D8JY38C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interpolation space#LIY6, Examples (example)
History
- 2026-11-02: add by m2/dev
1D3Q5X6S5Y 1D3Q5X6S5Y
| URI | m2://inv/1D3Q5X6S5Y |
|---|---|
| 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.24374#AHAK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fast Walsh–Hadamard transform 1D3S85YPNZ
| URI | m2://inv/1D3S85YPNZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fast Walsh–Hadamard transform, Fast Walsh–Hadamard transform (definition). Also Wikidata Q5437005
History
- 2026-11-02: add by m2/dev
Bowman, Kimiko O. 1D42X0N09F
| URI | m2://inv/1D42X0N09F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#OEIM, Bowman, Kimiko O. (topic)
History
- 2026-11-02: add by m2/dev
Jesús A. De Loera 1D4710DF5D
| URI | m2://inv/1D4710DF5D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jesús A. De Loera, Jesús A. De Loera (topic). Also Wikidata Q18685657
History
- 2026-11-02: add by m2/dev
Rebecca Walo Omana 1D473G2GV1
| URI | m2://inv/1D473G2GV1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rebecca Walo Omana, Rebecca Walo Omana (topic). Also Wikidata Q102300433
History
- 2026-11-02: add by m2/dev
1D49HJRPWB 1D49HJRPWB
| URI | m2://inv/1D49HJRPWB |
|---|---|
| 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 2207.12181#NFFC (statement). In FSD8NE3XSR/e1, proposition 3.12
History
- 2026-10-27: add by m2/v0.4.0
Example 1D4AQEMCST
| URI | m2://inv/1D4AQEMCST |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analysis of variance#1M16, Example (example)
History
- 2026-11-02: add by m2/dev
1D4B3A219Q 1D4B3A219Q
| URI | m2://inv/1D4B3A219Q |
|---|---|
| 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.17070#IB5Z (statement). In W3G9Z9B32N/e1, proposition 1.5
History
- 2026-10-28: add by m2/v0.4.2
1D4MGPAE5J 1D4MGPAE5J
| URI | m2://inv/1D4MGPAE5J |
|---|---|
| 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.33406#3IBC (statement). In B23TX8G4E4/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
1D4PX2PBX3 1D4PX2PBX3
| URI | m2://inv/1D4PX2PBX3 |
|---|---|
| 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.40274#870U (statement). In 7ZDNJC9MST/e1, corollary 7.8
History
- 2026-10-30: add by m2/v0.4.12
William Payne 1D4QE79K42
| URI | m2://inv/1D4QE79K42 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Payne (mathematician), William Payne (topic). Also Wikidata Q8016700
History
- 2026-11-02: add by m2/dev
Acme Commodity and Phrase Code 1D4R3PD0D1
| URI | m2://inv/1D4R3PD0D1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Acme Commodity and Phrase Code, Acme Commodity and Phrase Code (definition). Also Wikidata Q940524
History
- 2026-11-02: add by m2/dev
Charles Jasper Joly 1D4SEFF0EB
| URI | m2://inv/1D4SEFF0EB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Jasper Joly, Charles Jasper Joly (topic). Also Wikidata Q5079476
History
- 2026-11-02: add by m2/dev
1D4TR15Z4C 1D4TR15Z4C
| URI | m2://inv/1D4TR15Z4C |
|---|---|
| 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.27788#NKUW (statement)
History
- 2026-11-01: add by m2/v0.6.15
boundary of a submanifold 1D4W5T27QF
| URI | m2://inv/1D4W5T27QF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/C/boundary-of-a-submanifold, boundary of a submanifold (concept). In VNMV985MXX, index, section C
History
- 2026-11-01: add by m2/v0.6.13
denumerable 1D51DPPSQ1
| URI | m2://inv/1D51DPPSQ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#4GTG, denumerable (definition)
History
- 2026-11-02: add by m2/dev
1D546JK787 1D546JK787
| URI | m2://inv/1D546JK787 |
|---|---|
| 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#R2EO (statement). In KJY735KSMF/e1, lemma 8.1
History
- 2026-10-28: add by m2/v0.4.2
Examples 1D547EFJHM
| URI | m2://inv/1D547EFJHM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deformation (physics)#5CNN, Examples (example)
History
- 2026-11-02: add by m2/dev
1D55B3NZGY 1D55B3NZGY
| URI | m2://inv/1D55B3NZGY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.22288#MKV8 (statement). In X38P26DK6S/e1, lemma 7.5
History
- 2026-10-27: add by m2/v0.4.0
LDS Apologetics 1D59DNW8P1
| URI | m2://inv/1D59DNW8P1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Apologetics#YELY, LDS Apologetics (unknown)
History
- 2026-11-02: add by m2/dev
Künneth Theorem 1D5KBK27TB
| URI | m2://inv/1D5KBK27TB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherent sheaf cohomology#05Q9, Künneth Theorem (statement)
History
- 2026-11-02: add by m2/dev
Zariski topology 1D5R3MTMWK
| URI | m2://inv/1D5R3MTMWK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Algebraic geometry > Zariski topology, Zariski topology (unknown). Also Mathlib PrimeSpectrum.zariskiTopology
History
- 2026-10-26: add by m2/dev
Absolute value norm 1D5SY4F6K2
| URI | m2://inv/1D5SY4F6K2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Norm (mathematics)#3MDI, Absolute value norm (unknown)
History
- 2026-11-02: add by m2/dev
Metric k-center 1D5T5TCA9N
| URI | m2://inv/1D5T5TCA9N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#H9OT, Metric k-center (definition)
History
- 2026-11-02: add by m2/dev
1D610E6YPZ 1D610E6YPZ
| URI | m2://inv/1D610E6YPZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05320#YY7D (definition). In MVXZWHKEX8/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
Donaldson theory 1D69B56MKT
| URI | m2://inv/1D69B56MKT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#ERO4, Donaldson theory (definition)
History
- 2026-11-02: add by m2/dev
A simple example 1D6E4CG04T
| URI | m2://inv/1D6E4CG04T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Center manifold#LDRM, A simple example (example)
History
- 2026-11-02: add by m2/dev
1D6JG314AN 1D6JG314AN
| URI | m2://inv/1D6JG314AN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/soundness-completeness/soundness-nd.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 34.1
History
- 2026-11-01: add by m2/v0.6.13
1D6K7VAG9K 1D6K7VAG9K
| URI | m2://inv/1D6K7VAG9K |
|---|---|
| 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 2610.13295#2OK7 (example). In 8Q7QXTWD0S/e1, example 4.2
History
- 2026-10-28: add by m2/v0.4.2
French railroad metric 1D6MG7WE3W
| URI | m2://inv/1D6MG7WE3W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hedgehog space#RCFU, French railroad metric (unknown)
History
- 2026-11-02: add by m2/dev
Joe P. Buhler 1D6T9G0D2R
| URI | m2://inv/1D6T9G0D2R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#AAGL, Joe P. Buhler (topic)
History
- 2026-11-02: add by m2/dev
distributive lattice 1D6X6Z7F00
| URI | m2://inv/1D6X6Z7F00 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Distributive lattice 0HM0HQCK6N |
Mentions
- wikidata: Wikidata Q2363730, distributive lattice (unknown). Also nLab distributive lattice
- wikipedia: Wikipedia Distributive lattice, Distributive lattice (definition). Also Wikidata Q2363730
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
1D70XFG4P7 1D70XFG4P7
| URI | m2://inv/1D70XFG4P7 |
|---|---|
| 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 2409.19687#B2QZ (statement). In GWP0HYMDE3/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.6
Law of the unconscious statistician 1D73Q42MA1
| URI | m2://inv/1D73Q42MA1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#F4Q8, Law of the unconscious statistician (statement)
History
- 2026-11-02: add by m2/dev
Nicomedes 1D79E1G6S3
| URI | m2://inv/1D79E1G6S3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#SXJ0, Nicomedes (topic)
History
- 2026-11-02: add by m2/dev
1D7CJ5Z3ZC 1D7CJ5Z3ZC
| URI | m2://inv/1D7CJ5Z3ZC |
|---|---|
| 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.19882#CCLE (statement)
History
- 2026-11-02: add by m2/v0.6.18
Applied Cryptography 1D7F60Y75T
| URI | m2://inv/1D7F60Y75T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bibliography of cryptography#CBVW, Applied Cryptography (unknown)
History
- 2026-11-02: add by m2/dev
1D7J1FNERP 1D7J1FNERP
| URI | m2://inv/1D7J1FNERP |
|---|---|
| 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.18219#KE8C (statement). In X1AGBB90EH/e1, lemma 5.16
History
- 2026-10-28: add by m2/v0.4.2
1D7NHQBYF2 1D7NHQBYF2
| URI | m2://inv/1D7NHQBYF2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/arithmetization/checking-details.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 78.2
History
- 2026-11-01: add by m2/v0.6.13
David Widder 1D7WNQNY8C
| URI | m2://inv/1D7WNQNY8C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#DGP4, David Widder (topic)
History
- 2026-11-02: add by m2/dev
Maggie Miller 1D83K0SCS5
| URI | m2://inv/1D83K0SCS5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maggie Miller (mathematician), Maggie Miller (topic). Also Wikidata Q102110439
History
- 2026-11-02: add by m2/dev
differentiable 1D88T5BMNA
| URI | m2://inv/1D88T5BMNA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#X8WQ, differentiable (definition)
History
- 2026-11-02: add by m2/dev
Transfer within the finite natural inverse class 1D8D0XWNH6
| URI | m2://inv/1D8D0XWNH6 |
|---|---|
| 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.12014#K7CX, Transfer within the finite natural inverse class (statement). In DR7BK4CQ0V/e1, corollary 5.24
History
- 2026-10-28: add by m2/v0.4.3
Adaptation from of Theorem 5 1D8JA55Z8X
| URI | m2://inv/1D8JA55Z8X |
|---|---|
| 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 1911.06467#CG46, Adaptation from of Theorem 5 (statement). In G35G1NJKBX/e1, theorem A.4
History
- 2026-10-27: add by m2/v0.3.5
Adaptive endpoint sequences 1D8WK0A4Y9
| URI | m2://inv/1D8WK0A4Y9 |
|---|---|
| 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#FIGV, Adaptive endpoint sequences (statement)
History
- 2026-11-01: add by m2/v0.6.15
Relation to the binomial theorem 1D8X434F3W
| URI | m2://inv/1D8X434F3W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Negative binomial distribution#9WMM, Relation to the binomial theorem (statement)
History
- 2026-11-02: add by m2/dev
Icositruncated dodecadodecahedron 1D8YNNZKP4
| URI | m2://inv/1D8YNNZKP4 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#3RMB, Icositruncated dodecadodecahedron (object)
History
- 2026-11-02: add by m2/dev
1D9CXS6GG2 1D9CXS6GG2
| URI | m2://inv/1D9CXS6GG2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-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 2409.00806#NGXA (statement). In SBN06J39DG/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
Wu class 1D9E9F932Q
| URI | m2://inv/1D9E9F932Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stiefel–Whitney class#ECMP, Wu class (unknown)
History
- 2026-11-02: add by m2/dev
1D9MBCYPP9 1D9MBCYPP9
| URI | m2://inv/1D9MBCYPP9 |
|---|---|
| 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.19449#M4S2 (statement). In 8ZKPJ3CBDF/e1, theorem 3.18
History
- 2026-10-28: add by m2/v0.4.2
Abstract operator space 1D9N2VD8WG
| URI | m2://inv/1D9N2VD8WG |
|---|---|
| Kind | definition |
| 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 2609.37698#N692, Abstract operator space (definition). In HA2GG72C23/e1, definition 1.5
History
- 2026-10-30: add by m2/v0.4.12
1D9NVSEMEE 1D9NVSEMEE
| URI | m2://inv/1D9NVSEMEE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/NegatingAndContradiction.tex#thm:nm even implies n or m even (statement). In P1C114YBXG, theorem, section F
History
- 2026-11-01: add by m2/v0.6.13
1D9TG52XSB 1D9TG52XSB
| URI | m2://inv/1D9TG52XSB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#HL7Q (statement). In 9DQKY7KGE8/e1, lemma 5.5
History
- 2026-10-27: add by m2/v0.3.5
Sato 1D9Y4DTW2Q
| URI | m2://inv/1D9Y4DTW2Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#W6RE, Sato (definition)
History
- 2026-11-02: add by m2/dev
1DA5QC2G8S 1DA5QC2G8S
| URI | m2://inv/1DA5QC2G8S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-71 (exercise). In E59CDZA4DP, exercise, section 2.6.3
History
- 2026-11-01: add by m2/v0.6.13
Nigel Higson 1DADHACP0N
| URI | m2://inv/1DADHACP0N |
|---|---|
| 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 Q15836826, Nigel Higson (unknown). Also nLab Nigel Higson
History
- 2026-10-26: add by m2/dev
Gerard van der Geer 1DAF1PYWRC
| URI | m2://inv/1DAF1PYWRC |
|---|---|
| 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 Q1510220, Gerard van der Geer (unknown). Also nLab Gerard van der Geer
History
- 2026-10-26: add by m2/dev
1DAFQWEEPC 1DAFQWEEPC
| URI | m2://inv/1DAFQWEEPC |
|---|---|
| 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.11517#Z2RC (statement). In 87NF85QAKT/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.3
Flag 1DAGDPWH4B
| URI | m2://inv/1DAGDPWH4B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flag (geometry), Flag (definition). Also Wikidata Q8563541
History
- 2026-11-02: add by m2/dev
sea battle 1DAR1F6SRY
| URI | m2://inv/1DAR1F6SRY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#2AFO, sea battle (definition)
History
- 2026-11-02: add by m2/dev
Cohn-Vossen's inequality 1DB2VE964M
| URI | m2://inv/1DB2VE964M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#K8R9, Cohn-Vossen's inequality (statement)
History
- 2026-11-02: add by m2/dev
1DB4P5ZNDQ 1DB4P5ZNDQ
| URI | m2://inv/1DB4P5ZNDQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02901#7OU2 (statement). In NSP90G5XCQ/e1, theorem 2.22
History
- 2026-10-29: add by m2/v0.4.12
1DB64D9T0M 1DB64D9T0M
| URI | m2://inv/1DB64D9T0M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23527#UP82 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Corollary 5. Compound angle cosine (+) 1DB8A72XHM
| URI | m2://inv/1DB8A72XHM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ptolemy's theorem#N9F4, Corollary 5. Compound angle cosine (+) (statement)
History
- 2026-11-02: add by m2/dev
1DBAKY1Q0K 1DBAKY1Q0K
| URI | m2://inv/1DBAKY1Q0K |
|---|---|
| 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 2112.05010#PTPI (statement). In 4SZNPS3Z00/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.6
walk 1DBB41MHK6
| URI | m2://inv/1DBB41MHK6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.1/walk, walk (concept). In Y91XFCEVHQ, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
1DBHAVWF0K 1DBHAVWF0K
| URI | m2://inv/1DBHAVWF0K |
|---|---|
| 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 2404.06445#PHHU (statement). In 12JKZ8EN52/e1, corollary 3.3
History
- 2026-10-27: add by m2/v0.3.5
Larry Stockmeyer 1DBNGRTJ5W
| URI | m2://inv/1DBNGRTJ5W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#37PI, Larry Stockmeyer (unknown)
History
- 2026-11-02: add by m2/dev
Generalization 1DBVTGZXPJ
| URI | m2://inv/1DBVTGZXPJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expectation–maximization algorithm#ZJXG, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Forking extension 1DBXNWN3M0
| URI | m2://inv/1DBXNWN3M0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forking extension, Forking extension (definition). Also Wikidata Q5469822
History
- 2026-11-02: add by m2/dev
Stable algorithm (disambiguation) 1DCCG9D306
| URI | m2://inv/1DCCG9D306 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithm general topics#6E6J, Stable algorithm (disambiguation) (unknown)
History
- 2026-11-02: add by m2/dev
Properties 1DCCVT82AP
| URI | m2://inv/1DCCVT82AP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Koszul complex#6VSD, Properties (statement)
History
- 2026-11-02: add by m2/dev
Lyapunov stability 1DCEWWJX76
| URI | m2://inv/1DCEWWJX76 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22058#EDVQ, Lyapunov stability (definition)
History
- 2026-11-02: add by m2/v0.6.17
1DCJ36KXT2 1DCJ36KXT2
| URI | m2://inv/1DCJ36KXT2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-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.15942#8NOB (definition). In E1X1SEPNJZ/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
Ramsey's theorem 1DCK91ZMKS
| URI | m2://inv/1DCK91ZMKS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#T0SI, Ramsey's theorem (statement)
History
- 2026-11-02: add by m2/dev
1DCQ7DMGP1 1DCQ7DMGP1
| URI | m2://inv/1DCQ7DMGP1 |
|---|---|
| Kind | definition |
| 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 2308.05066#LWO1 (definition). In 1QSCT53ZED/e1, definition 9.6
History
- 2026-10-27: add by m2/v0.4.0
1DCRV9HT4W 1DCRV9HT4W
| URI | m2://inv/1DCRV9HT4W |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-22 (exercise). In E59CDZA4DP, exercise, section 10.1.4
History
- 2026-11-01: add by m2/v0.6.13
Formulation 1DCTV38XWZ
| URI | m2://inv/1DCTV38XWZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moment (statistics)#L49R, Formulation (definition)
History
- 2026-11-02: add by m2/dev
1DCV7HT49M 1DCV7HT49M
| URI | m2://inv/1DCV7HT49M |
|---|---|
| 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.25291#5QZU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rudolf Carnap 1DD1A4E2RF
| URI | m2://inv/1DD1A4E2RF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#TM3E, Rudolf Carnap (topic)
History
- 2026-11-02: add by m2/dev
1DDA60E4TC 1DDA60E4TC
| URI | m2://inv/1DDA60E4TC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#eg:wedge (example). In N54F33XE07, eg, section 7.7.1
History
- 2026-11-01: add by m2/v0.6.13
Scott Andrew Wolpert 1DDE4P5RSP
| URI | m2://inv/1DDE4P5RSP |
|---|---|
| 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#3TIJ, Scott Andrew Wolpert (topic)
History
- 2026-11-02: add by m2/dev
Hain 1DE3EJPAFF
| URI | m2://inv/1DE3EJPAFF |
|---|---|
| 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.09694#T6C3, Hain (statement). In 7VXBVQ5SAC/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.10
Prince 1DE60XTQRN
| URI | m2://inv/1DE60XTQRN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prince (cipher), Prince (definition). Also Wikidata Q28135258
History
- 2026-11-02: add by m2/dev
1DE7KF3H3V 1DE7KF3H3V
| URI | m2://inv/1DE7KF3H3V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06152#VIHU (definition). In HH35K7S17H/e1, definition A.10
History
- 2026-10-29: add by m2/v0.4.10
1DEBCNNFD9 1DEBCNNFD9
| URI | m2://inv/1DEBCNNFD9 |
|---|---|
| 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.29022#9WYO (statement)
History
- 2026-11-01: add by m2/v0.6.15
1DEN0VTWR3 1DEN0VTWR3
| URI | m2://inv/1DEN0VTWR3 |
|---|---|
| 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.20008#HIH1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Strip packing problem 1DEQ1R9HTC
| URI | m2://inv/1DEQ1R9HTC |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strip packing problem, Strip packing problem (problem). Also Wikidata Q85803777
History
- 2026-11-02: add by m2/dev
1DESYPB1YN 1DESYPB1YN
| URI | m2://inv/1DESYPB1YN |
|---|---|
| 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 math/9201244#V5T4 (statement). In 7D3HCN21MK/e1, fact 5.1
History
- 2026-10-27: add by m2/v0.3.5
Partition criterion 1DEVY5D9P8
| URI | m2://inv/1DEVY5D9P8 |
|---|---|
| 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.21476#W8WS, Partition criterion (statement)
History
- 2026-11-02: add by m2/v0.6.18
Arthur Scherbius 1DEXV3HR6Q
| URI | m2://inv/1DEXV3HR6Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arthur Scherbius, Arthur Scherbius (topic). Also Wikidata Q58816
History
- 2026-11-02: add by m2/dev
Examples 1DF1JF44YN
| URI | m2://inv/1DF1JF44YN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Image (category theory)#TFCV, Examples (example)
History
- 2026-11-02: add by m2/dev
1DF639JRPM 1DF639JRPM
| URI | m2://inv/1DF639JRPM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-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.00843#ZQO8 (statement). In 1K7M5TD0M2/e1, theorem 6.1
History
- 2026-10-29: add by m2/v0.4.12
1DF64DPP2H 1DF64DPP2H
| URI | m2://inv/1DF64DPP2H |
|---|---|
| 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 2609.22642#XZO4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
1DF88R4EAS 1DF88R4EAS
| URI | m2://inv/1DF88R4EAS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00409#1QZW (statement). In YQT2APQPWD/e1, theorem 5.3
History
- 2026-10-30: add by m2/v0.4.12
Frobenius's conjecture 1DFJV436MH
| URI | m2://inv/1DFJV436MH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius's theorem (group theory)#6BYB, Frobenius's conjecture (statement)
History
- 2026-11-02: add by m2/dev
free, generation of an inductive type 1DG63ENTR0
| URI | m2://inv/1DG63ENTR0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.1/free-generation-of-an-inductive-type, free, generation of an inductive type (concept). In N54F33XE07, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
1DG8MBVNPV 1DG8MBVNPV
| URI | m2://inv/1DG8MBVNPV |
|---|---|
| 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 2102.12931#3FF5 (statement). In PQHTR84RAJ/e1, theorem 6.12
History
- 2026-10-27: add by m2/v0.4.0
Cochran–Armitage test for trend 1DG8Q24VYQ
| URI | m2://inv/1DG8Q24VYQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#YI1R, Cochran–Armitage test for trend (definition)
- wikipedia: Wikipedia List of statistics articles#LIMR, Cochran–Armitage test for trend (definition)
History
- 2026-11-02: add by m2/dev
Example 1DGBDDESRR
| URI | m2://inv/1DGBDDESRR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modal matrix#GOC4, Example (example)
History
- 2026-11-02: add by m2/dev
Curve-shortening flow 1DGCKN39KJ
| URI | m2://inv/1DGCKN39KJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curve-shortening flow, Curve-shortening flow (definition). Also Wikidata Q18349490
History
- 2026-11-02: add by m2/dev
Lower bound on the mixing time 1DGDJ7CFCR
| URI | m2://inv/1DGDJ7CFCR |
|---|---|
| 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.31187#TWG0, Lower bound on the mixing time (statement). In 2535DQ1DEG/e1, proposition 1
History
- 2026-10-31: add by m2/v0.5.6
1DGDW3YSEN 1DGDW3YSEN
| URI | m2://inv/1DGDW3YSEN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 35-XX, 47-XX, 58-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.26058#NIHP (statement)
History
- 2026-11-01: add by m2/v0.6.15
1DGF0N6KVP 1DGF0N6KVP
| URI | m2://inv/1DGF0N6KVP |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 11-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.25168#KRY4 (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Boundary tilting 1DGQ2Q18S1
| URI | m2://inv/1DGQ2Q18S1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30637#DAPS, Boundary tilting (statement). In 6G1KBA0SXV/e1, theorem 4.10
History
- 2026-10-31: add by m2/v0.5.6
1DGQW3GRCC 1DGQW3GRCC
| URI | m2://inv/1DGQW3GRCC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.25275#H81M (statement)
History
- 2026-11-01: add by m2/v0.6.15
1DGWCQT1VR 1DGWCQT1VR
| URI | m2://inv/1DGWCQT1VR |
|---|---|
| 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 2110.11783#00FK (statement). In X2YDBWNCBT/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5
Ultra 1DH33BXGHC
| URI | m2://inv/1DH33BXGHC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ultra (cryptography), Ultra (definition). Also Wikidata Q825712
History
- 2026-11-02: add by m2/dev
Notation 1DH52QSTAD
| URI | m2://inv/1DH52QSTAD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time derivative#D7TF, Notation (definition)
History
- 2026-11-02: add by m2/dev
1DHG7XV8P7 1DHG7XV8P7
| URI | m2://inv/1DHG7XV8P7 |
|---|---|
| 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.18270#73C9 (statement). In CPDMYJ0NJV/e1, lemma 6.9
History
- 2026-10-28: add by m2/v0.4.2
Schottky–Klein prime form 1DHTTBT5T5
| URI | m2://inv/1DHTTBT5T5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Felix Klein#SB37, Schottky–Klein prime form (definition)
History
- 2026-11-02: add by m2/dev
Shadow rate 1DHZ3F629T
| URI | m2://inv/1DHZ3F629T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shadow rate, Shadow rate (definition). Also Wikidata Q106390715
History
- 2026-11-02: add by m2/dev
Law of indices 1DHZGBVV81
| URI | m2://inv/1DHZGBVV81 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponentiation#6ASE, Law of indices (unknown)
History
- 2026-11-02: add by m2/dev
1DJ1Y7TFVC 1DJ1Y7TFVC
| URI | m2://inv/1DJ1Y7TFVC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/UncountableSets.tex#thm:R uncountable (statement). In P1C114YBXG, theorem, section K
History
- 2026-11-01: add by m2/v0.6.13
Dither 1DJ72XZVZB
| URI | m2://inv/1DJ72XZVZB |
|---|---|
| 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#CA7O, Dither (unknown)
History
- 2026-11-02: add by m2/dev
1DJ8C68FVG 1DJ8C68FVG
| URI | m2://inv/1DJ8C68FVG |
|---|---|
| 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.13741#L6A2 (statement). In Q43F8N7XDE/e1, proposition 3.5
History
- 2026-10-28: add by m2/v0.4.2
1DJ9B5W9SK 1DJ9B5W9SK
| URI | m2://inv/1DJ9B5W9SK |
|---|---|
| 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 1905.00573#L6TL (statement). In 74RNQVBM2G/e1, theorem 3.27
History
- 2026-10-27: add by m2/v0.3.5
Moment arm formula 1DJHGMTXYQ
| URI | m2://inv/1DJHGMTXYQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Torque#9YJK, Moment arm formula (statement)
History
- 2026-11-02: add by m2/dev
1DJJ24ZT97 1DJJ24ZT97
| URI | m2://inv/1DJJ24ZT97 |
|---|---|
| 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#FXCR (definition). In M0SQY5EZN5/e1, definition 2.8.13
History
- 2026-10-27: add by m2/v0.3.5
1DJTG02VZK 1DJTG02VZK
| URI | m2://inv/1DJTG02VZK |
|---|---|
| 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 2610.05232#AB8U (statement). In DA3VN96YX2/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.10
1DK37JARNG 1DK37JARNG
| URI | m2://inv/1DK37JARNG |
|---|---|
| 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.32478#X5PE (statement). In 5QBSYDC2XH/e1, lemma B.2
History
- 2026-10-31: add by m2/v0.5.6
1DKE5EDNS2 1DKE5EDNS2
| URI | m2://inv/1DKE5EDNS2 |
|---|---|
| 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.29152#BZ61 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Application 1DKTC8N51Y
| URI | m2://inv/1DKTC8N51Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantitative structure–activity relationship#VAKC, Application (example)
History
- 2026-11-02: add by m2/dev
1DM5N0AT7W 1DM5N0AT7W
| URI | m2://inv/1DM5N0AT7W |
|---|---|
| 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.16554#TWHJ (statement). In GWNT8HEZG1/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.6
1DM84Z92DB 1DM84Z92DB
| URI | m2://inv/1DM84Z92DB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-5.xml#example-1 (example). In 649HGZKE96, example, section 6.5.3
History
- 2026-11-01: add by m2/v0.6.13
1DM91Q20F4 1DM91Q20F4
| URI | m2://inv/1DM91Q20F4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#HW7F (statement). In GW23NX78SB/e1, lemma 4.40
History
- 2026-10-28: add by m2/v0.4.2
1DMGA1YYSN 1DMGA1YYSN
| URI | m2://inv/1DMGA1YYSN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises7-5.xml#exercise-3 (exercise). In 649HGZKE96, exercise, section 7.5
History
- 2026-11-01: add by m2/v0.6.13
Corollary of the Strong Regularity Lemma 1DMGR1QERR
| URI | m2://inv/1DMGR1QERR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph removal lemma#GGQG, Corollary of the Strong Regularity Lemma (statement)
History
- 2026-11-02: add by m2/dev
1DMHW5MAMX 1DMHW5MAMX
| URI | m2://inv/1DMHW5MAMX |
|---|---|
| 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.03460#SI20 (statement). In 54HWP298DG/e1, proposition 4
History
- 2026-10-29: add by m2/v0.4.12
Basic Cycle 1DMQYC6HXG
| URI | m2://inv/1DMQYC6HXG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26337#R3FQ, Basic Cycle (definition)
History
- 2026-11-01: add by m2/v0.6.15
1DMV0XTF36 1DMV0XTF36
| URI | m2://inv/1DMV0XTF36 |
|---|---|
| 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.32338#DGR6 (statement). In HVY45JQRNK/e1, theorem 2.22
History
- 2026-10-31: add by m2/v0.5.6
1DMZD13MN9 1DMZD13MN9
| URI | m2://inv/1DMZD13MN9 |
|---|---|
| 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.20656#8BZ2 (example)
History
- 2026-11-02: add by m2/v0.6.18
1DN01VJNSW 1DN01VJNSW
| URI | m2://inv/1DN01VJNSW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2508.21045#CD9H (statement). In CGA36VE1C5/e1, fact 2.3.2
History
- 2026-10-27: add by m2/v0.3.6
Non-surveyable proof 1DN3RNM6QZ
| URI | m2://inv/1DN3RNM6QZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-surveyable proof, Non-surveyable proof (definition). Also Wikidata Q22907339
History
- 2026-11-02: add by m2/dev
1DN6NEPXT8 1DN6NEPXT8
| URI | m2://inv/1DN6NEPXT8 |
|---|---|
| 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.09882#0OU9 (statement). In 7XV6T4N79V/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
Definition 1DN7BZKTG8
| URI | m2://inv/1DN7BZKTG8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptographic multilinear map#N5ZI, Definition (definition)
History
- 2026-11-02: add by m2/dev
1DN8MBZK2M 1DN8MBZK2M
| URI | m2://inv/1DN8MBZK2M |
|---|---|
| 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 2609.20094#5JIK (definition)
History
- 2026-11-02: add by m2/v0.6.18
Properties 1DNA0A83B9
| URI | m2://inv/1DNA0A83B9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homeomorphism#YVJM, Properties (statement)
History
- 2026-11-02: add by m2/dev
Branched flow 1DNM1YRBA2
| URI | m2://inv/1DNM1YRBA2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Branched flow, Branched flow (definition). Also Wikidata Q104881051
History
- 2026-11-02: add by m2/dev
1DNQHR8E86 1DNQHR8E86
| URI | m2://inv/1DNQHR8E86 |
|---|---|
| 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.21501#AUF6 (statement). In 1H64QT301C/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
TV-distance between mixtures of Markov chains 1DNTKJZBXE
| URI | m2://inv/1DNTKJZBXE |
|---|---|
| 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.24235#2C4I, TV-distance between mixtures of Markov chains (statement)
History
- 2026-11-01: add by m2/v0.6.15
1DNTRMD5CG 1DNTRMD5CG
| URI | m2://inv/1DNTRMD5CG |
|---|---|
| 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 2308.05066#INXU (statement). In 1QSCT53ZED/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.0
SO (complexity) 1DNXXDWXCK
| URI | m2://inv/1DNXXDWXCK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second-order logic#EFUC, SO (complexity) (unknown)
History
- 2026-11-02: add by m2/dev
1DNZY5HZ9H 1DNZY5HZ9H
| URI | m2://inv/1DNZY5HZ9H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#prop-10 (statement). In E59CDZA4DP, prop, section 10.5.3
History
- 2026-11-01: add by m2/v0.6.13
1DP2XKM6QP 1DP2XKM6QP
| URI | m2://inv/1DP2XKM6QP |
|---|---|
| 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 2609.28824#UO9C (statement)
History
- 2026-11-01: add by m2/v0.6.15
Small ditrigonal icosidodecahedron 1DP9MJWHGN
| URI | m2://inv/1DP9MJWHGN |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#Z45J, Small ditrigonal icosidodecahedron (object)
History
- 2026-11-02: add by m2/dev
Unconditional small-mean part of clause (iv 1DPCAKDNG1
| URI | m2://inv/1DPCAKDNG1 |
|---|---|
| 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.24931#D7AF, Unconditional small-mean part of clause (iv (statement)
History
- 2026-11-01: add by m2/v0.6.15
c 1DPCP32G84
| URI | m2://inv/1DPCP32G84 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#R9BJ, c (definition)
History
- 2026-11-02: add by m2/dev
Applications 1DPFP5SQPC
| URI | m2://inv/1DPFP5SQPC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fisher's noncentral hypergeometric distribution#UAZB, Applications (example)
History
- 2026-11-02: add by m2/dev
Kaumudi Joshipura 1DPP1DFY6Q
| URI | m2://inv/1DPP1DFY6Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaumudi Joshipura, Kaumudi Joshipura (topic). Also Wikidata Q39973811
History
- 2026-11-02: add by m2/dev
Khovanov homology 1DPXX57TRE
| URI | m2://inv/1DPXX57TRE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Khovanov homology XB24W24B20 |
Mentions
- wikidata: Wikidata Q6402652, Khovanov homology (unknown). Also nLab Khovanov homology
- wikipedia: Wikipedia Khovanov homology, Khovanov homology (definition). Also Wikidata Q6402652
History
- 2026-10-26: add by m2/dev
1DQ06GY5VD 1DQ06GY5VD
| URI | m2://inv/1DQ06GY5VD |
|---|---|
| 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.17240#E57I (statement). In 59BZ4V9RQW/e1, fact 1.4
History
- 2026-10-28: add by m2/v0.4.2
Definitions 1DQQQVDGNC
| URI | m2://inv/1DQQQVDGNC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gorenstein ring#Q6CR, Definitions (definition)
History
- 2026-11-02: add by m2/dev
1DQRSDFCF2 1DQRSDFCF2
| URI | m2://inv/1DQRSDFCF2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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 2602.15812#PVQY (definition). In GAAZD3SGPN/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
Apter-Friedman-Fuchs 1DQXJ50GCK
| URI | m2://inv/1DQXJ50GCK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.24190#F4OA, Apter-Friedman-Fuchs (definition). In DW7FVA587C/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
1DR9WSN7VW 1DR9WSN7VW
| URI | m2://inv/1DR9WSN7VW |
|---|---|
| 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.39531#4CS5 (statement). In SN9RSTHQ07/e1, theorem H.4
History
- 2026-10-30: add by m2/v0.4.12
Erdős–Szekeres theorem 1DRH9Q8PHX
| URI | m2://inv/1DRH9Q8PHX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#8GG7, Erdős–Szekeres theorem (statement)
History
- 2026-11-02: add by m2/dev
Applications 1DS89MJW9X
| URI | m2://inv/1DS89MJW9X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Box spline#8E8V, Applications (example)
History
- 2026-11-02: add by m2/dev
1DS8W3PFQF 1DS8W3PFQF
| URI | m2://inv/1DS8W3PFQF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0906.2853#6XFT (statement). In 32ZZ1DETCX/e1, lemma 4.11
History
- 2026-10-27: add by m2/v0.3.5
Comparison of the induced and auxiliary metrics 1DSB7ECY8H
| URI | m2://inv/1DSB7ECY8H |
|---|---|
| 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.12238#XDB4, Comparison of the induced and auxiliary metrics (statement). In E31CZYM2H8/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
1DSCSKDJC8 1DSCSKDJC8
| URI | m2://inv/1DSCSKDJC8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13972#TVI5 (statement). In S1KHNS8XQM/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
1DSVXFMV69 1DSVXFMV69
| URI | m2://inv/1DSVXFMV69 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-114 (exercise). In E9HS8K3A52, exercise, section 5.9.1
History
- 2026-11-01: add by m2/v0.6.13
1DSZ0BYRX4 1DSZ0BYRX4
| URI | m2://inv/1DSZ0BYRX4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/alpha.tex#prob-4 (exercise). In PKGMM3P5QY, prob, section 38.9
History
- 2026-11-01: add by m2/v0.6.13
Theorem 1DT11MNMJ1
| URI | m2://inv/1DT11MNMJ1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marcinkiewicz–Zygmund inequality#AWH1, Theorem (statement)
History
- 2026-11-02: add by m2/dev
1DT9DCPKTR 1DT9DCPKTR
| URI | m2://inv/1DT9DCPKTR |
|---|---|
| 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 2609.36377#LD9E (definition). In M98F6VRPZ2/e1, definition 1.5
History
- 2026-10-30: add by m2/v0.4.12
1DTD3649CT 1DTD3649CT
| URI | m2://inv/1DTD3649CT |
|---|---|
| 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#JBN5 (statement). In KQ8JPHDKKE/e1, proposition 9.1.21
History
- 2026-10-27: add by m2/v0.3.5
Stable module category 1DTD8G20H8
| URI | m2://inv/1DTD8G20H8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable module category, Stable module category (definition). Also Wikidata Q7595771
History
- 2026-11-02: add by m2/dev
Lazar Lyusternik 1DTDH87FWE
| URI | m2://inv/1DTDH87FWE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lazar Lyusternik, Lazar Lyusternik (topic). Also Wikidata Q1386199
History
- 2026-11-02: add by m2/dev
Nicholas Hanges 1DTF1NM0CN
| URI | m2://inv/1DTF1NM0CN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicholas Hanges, Nicholas Hanges (topic). Also Wikidata Q98442671
History
- 2026-11-02: add by m2/dev
Theorem 1DTFFN56TN
| URI | m2://inv/1DTFFN56TN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph flattenability#79NQ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Basic principles 1DTFPWP9VQ
| URI | m2://inv/1DTFPWP9VQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantitative genetics#A9XH, Basic principles (statement)
History
- 2026-11-02: add by m2/dev
1DTHT5B2MG 1DTHT5B2MG
| URI | m2://inv/1DTHT5B2MG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39946#18D4 (statement). In ZTREM09NFT/e1, proposition 7
History
- 2026-10-30: add by m2/v0.4.12
intended interpretation 1DTJZ57THV
| URI | m2://inv/1DTJZ57THV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#QU8U, intended interpretation (definition)
History
- 2026-11-02: add by m2/dev
Series formula 1DTQXY1DPG
| URI | m2://inv/1DTQXY1DPG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digamma function#1PAN, Series formula (statement)
History
- 2026-11-02: add by m2/dev
Centered variational problem and capacity 1DTSAEMJQQ
| URI | m2://inv/1DTSAEMJQQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-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.15180#ME7L, Centered variational problem and capacity (statement). In AMRWRJDNKJ/e1, theorem 11.2
History
- 2026-10-28: add by m2/v0.4.2
1DTV92KG3G 1DTV92KG3G
| URI | m2://inv/1DTV92KG3G |
|---|---|
| Kind | example |
| 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.36300#3272 (example). In MNWD3Y6W56/e1, example 5.6
History
- 2026-10-30: add by m2/v0.4.12
1DTVRTTNDJ 1DTVRTTNDJ
| URI | m2://inv/1DTVRTTNDJ |
|---|---|
| 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.18346#DZU0 (statement). In QVPNGHTMEX/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
totally real rank-one points 1DTXHZYE0J
| URI | m2://inv/1DTXHZYE0J |
|---|---|
| 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.02743#1N0R, totally real rank-one points (statement). In GQH4ZPDWET/e1, lemma 11.1
History
- 2026-10-29: add by m2/v0.4.12
Fréchet–Kolmogorov theorem 1DTXKEHHKF
| URI | m2://inv/1DTXKEHHKF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fréchet–Kolmogorov theorem, Fréchet–Kolmogorov theorem (statement). Also Wikidata Q2226716
History
- 2026-11-02: add by m2/dev
Yair Minsky 1DV3DX5P6M
| URI | m2://inv/1DV3DX5P6M |
|---|---|
| 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#9BK8, Yair Minsky (topic)
History
- 2026-11-02: add by m2/dev
Susan P. Holmes 1DV8KR35AM
| URI | m2://inv/1DV8KR35AM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#N5KW, Susan P. Holmes (unknown)
History
- 2026-11-02: add by m2/dev
Applications of sensitivity analysis to multi-criteria decision making 1DVJD40Q3D
| URI | m2://inv/1DVJD40Q3D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Applications of sensitivity analysis to multi-criteria decision making, Applications of sensitivity analysis to multi-criteria decision making (definition). Also Wikidata Q97354481
History
- 2026-11-02: add by m2/dev
Properties 1DVKJVJEQ5
| URI | m2://inv/1DVKJVJEQ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard matrix#IN8X, Properties (statement)
History
- 2026-11-02: add by m2/dev
1DVPADKNXC 1DVPADKNXC
| URI | m2://inv/1DVPADKNXC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 16-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 2408.01345#7BX1 (example). In PT5PBPCS3P/e1, example 4.5
History
- 2026-10-27: add by m2/v0.3.5
Sumner's conjecture 1DVW84X6G8
| URI | m2://inv/1DVW84X6G8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polytree#W48O, Sumner's conjecture (statement)
History
- 2026-11-02: add by m2/dev
1DVY2DTFAK 1DVY2DTFAK
| URI | m2://inv/1DVY2DTFAK |
|---|---|
| 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.32104#7P9K (statement). In YRJSYFXNM8/e1, proposition 5.3
History
- 2026-10-31: add by m2/v0.5.6
1DW22V0AST 1DW22V0AST
| URI | m2://inv/1DW22V0AST |
|---|---|
| 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 2208.07784#9DLM (statement). In X0GJCD9768/e1, theorem 1.6
History
- 2026-10-27: add by m2/v0.4.0
1DW28FJ1M8 1DW28FJ1M8
| URI | m2://inv/1DW28FJ1M8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#95X4 (statement). In F3BKXXPR3K/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.4.2
1DW29966VJ 1DW29966VJ
| URI | m2://inv/1DW29966VJ |
|---|---|
| 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.10525#OWZP (statement). In N3K26VPX0R/e1, corollary 2.7
History
- 2026-10-29: add by m2/v0.4.10
1DW3D6805V 1DW3D6805V
| URI | m2://inv/1DW3D6805V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06669#22WX (statement). In YXD3950ZXR/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
One-fill reduction 1DW4TKDBTJ
| URI | m2://inv/1DW4TKDBTJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-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.19669#DHA8, One-fill reduction (statement). In 1QPAA94Q76/e1, lemma 18
History
- 2026-10-28: add by m2/v0.4.2
Example 1: Formula for sums of harmonic numbers 1DWJZVWQ4M
| URI | m2://inv/1DWJZVWQ4M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generating function#T6AW, Example 1: Formula for sums of harmonic numbers (example)
History
- 2026-11-02: add by m2/dev
1DWY9B8N7A 1DWY9B8N7A
| URI | m2://inv/1DWY9B8N7A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.26376#98PU (statement). In PJAT9YDX7Y/e1, theorem 4.15
History
- 2026-10-27: add by m2/v0.4.0
Definitions 1DX158SNNG
| URI | m2://inv/1DX158SNNG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Path (graph theory)#V0NE, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Pointwise two-term ratio expansion 1DXBJ2P0R6
| URI | m2://inv/1DXBJ2P0R6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25060#ZIT1, Pointwise two-term ratio expansion (statement)
History
- 2026-11-01: add by m2/v0.6.15
1DXCQEZ7G6 1DXCQEZ7G6
| URI | m2://inv/1DXCQEZ7G6 |
|---|---|
| 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 2103.12669#FK92 (definition). In ZA6XNBA90V/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.5
Dependability state model 1DXF1T4ZWB
| URI | m2://inv/1DXF1T4ZWB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dependability state model, Dependability state model (definition). Also Wikidata Q5260612
History
- 2026-11-02: add by m2/dev
1DXJAEQ32C 1DXJAEQ32C
| URI | m2://inv/1DXJAEQ32C |
|---|---|
| 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.39347#C0IJ (statement). In KBBA2FKDBH/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Mittag-Leffler 1DXNPB2JCV
| URI | m2://inv/1DXNPB2JCV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#CSEH, Mittag-Leffler (definition)
History
- 2026-11-02: add by m2/dev
1DXQSMNW2D 1DXQSMNW2D
| URI | m2://inv/1DXQSMNW2D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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 2401.07983#DN9X (definition). In 4WJ9HYVSZY/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.6
1DY5SHEZ80 1DY5SHEZ80
| URI | m2://inv/1DY5SHEZ80 |
|---|---|
| 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 2303.11021#FQXD (statement). In B2ZK4DF2PM/e1, theorem 3
History
- 2026-10-27: add by m2/v0.4.0
Higher arithmetic 1DY6XJDWBN
| URI | m2://inv/1DY6XJDWBN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#F2YQ, Higher arithmetic (definition)
History
- 2026-11-02: add by m2/dev
1DYAJN54TD 1DYAJN54TD
| URI | m2://inv/1DYAJN54TD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13629#CC3I (statement). In PQNYA0C510/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Lebesgue differentiation theorem 1DYBJW55T4
| URI | m2://inv/1DYBJW55T4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#N94P, Lebesgue differentiation theorem (definition)
History
- 2026-11-02: add by m2/dev
Jingle-jangle fallacies 1DYDSKHEEM
| URI | m2://inv/1DYDSKHEEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jingle-jangle fallacies, Jingle-jangle fallacies (definition). Also Wikidata Q6202341
History
- 2026-11-02: add by m2/dev
1DYH35Y23K 1DYH35Y23K
| URI | m2://inv/1DYH35Y23K |
|---|---|
| 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.22659#04RQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Partial results: only Dirichlet's theorem 1DYJGFRGCS
| URI | m2://inv/1DYJGFRGCS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bunyakovsky conjecture#QH1D, Partial results: only Dirichlet's theorem (statement)
History
- 2026-11-02: add by m2/dev
1DYS0FY1N3 1DYS0FY1N3
| URI | m2://inv/1DYS0FY1N3 |
|---|---|
| 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.20801#ID3E (statement). In A1GWWGRXPA/e1, proposition 4.8
History
- 2026-10-27: add by m2/v0.4.2
Singularity exclusion 1DYWJKMN2Y
| URI | m2://inv/1DYWJKMN2Y |
|---|---|
| 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.21580#467Y, Singularity exclusion (statement)
History
- 2026-11-02: add by m2/v0.6.18
Mary-Elizabeth Hamstrom 1DYZ2VNEKP
| URI | m2://inv/1DYZ2VNEKP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary-Elizabeth Hamstrom, Mary-Elizabeth Hamstrom (topic). Also Wikidata Q79080557
History
- 2026-11-02: add by m2/dev
derived algebra 1DYZJCRC6V
| URI | m2://inv/1DYZJCRC6V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#DB6O, derived algebra (definition)
History
- 2026-11-02: add by m2/dev
height 1DZ34J89E0
| URI | m2://inv/1DZ34J89E0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#T1EB, height (definition)
History
- 2026-11-02: add by m2/dev
1DZCY0P5B1 1DZCY0P5B1
| URI | m2://inv/1DZCY0P5B1 |
|---|---|
| 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.21653#DARG (statement). In 266RE655Z2/e1, lemma 4
History
- 2026-10-27: add by m2/v0.4.2
1DZEE8GKCM 1DZEE8GKCM
| URI | m2://inv/1DZEE8GKCM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.05539#W6Y1 (statement). In 8SVVEVGMNE/e1, corollary 4.11
History
- 2026-10-27: add by m2/v0.3.5
1DZEY5B6EA 1DZEY5B6EA
| URI | m2://inv/1DZEY5B6EA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:yoneda-embedding (statement). In N54F33XE07, cor, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
Covering problems 1DZJ1N95Q3
| URI | m2://inv/1DZJ1N95Q3 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covering problems, Covering problems (problem). Also Wikidata Q5179260
History
- 2026-11-02: add by m2/dev
Definition 1DZX33NN8W
| URI | m2://inv/1DZX33NN8W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lyapunov function#MEPS, Definition (definition)
History
- 2026-11-02: add by m2/dev