Inventory rows DH
The cards of the rows of the inventory whose ids start with DH. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
DH003NQTQ2 DH003NQTQ2
| URI | m2://inv/DH003NQTQ2 |
|---|---|
| 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.27689#ORRM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Pyotr Novikov DH04X143NZ
| URI | m2://inv/DH04X143NZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#92TU, Pyotr Novikov (topic)
History
- 2026-11-02: add by m2/dev
DH04YW9J92 DH04YW9J92
| URI | m2://inv/DH04YW9J92 |
|---|---|
| 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.20740#TZNA (statement)
History
- 2026-11-02: add by m2/v0.6.18
Root space decomposition DH08H0P0C5
| URI | m2://inv/DH08H0P0C5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semisimple Lie algebra#XJ8N, Root space decomposition (statement)
History
- 2026-11-02: add by m2/dev
Example DH08HQ3JQC
| URI | m2://inv/DH08HQ3JQC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sentence (mathematical logic)#B876, Example (example)
History
- 2026-11-02: add by m2/dev
Ed Posner DH0AE1BBST
| URI | m2://inv/DH0AE1BBST |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ed Posner, Ed Posner (topic). Also Wikidata Q20938713
History
- 2026-11-02: add by m2/dev
Schur number DH0C2VRC61
| URI | m2://inv/DH0C2VRC61 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur's theorem#4CQM, Schur number (unknown)
History
- 2026-11-02: add by m2/dev
DH0H2QN48A DH0H2QN48A
| URI | m2://inv/DH0H2QN48A |
|---|---|
| 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 2109.12716#XMP1 (statement). In 6X76XBE3HV/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.3.5
DH0JC9YP63 DH0JC9YP63
| URI | m2://inv/DH0JC9YP63 |
|---|---|
| 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.03837#ALQP (statement). In TX88QS0A8M/e1, proposition 8
History
- 2026-10-29: add by m2/v0.4.12
Boole's syllogistic DH0JPW9QHE
| URI | m2://inv/DH0JPW9QHE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boole's syllogistic, Boole's syllogistic (definition). Also Wikidata Q839405
History
- 2026-11-02: add by m2/dev
TC DH0P742ZDG
| URI | m2://inv/DH0P742ZDG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia TC (complexity), TC (definition). Also Wikidata Q2383779
History
- 2026-11-02: add by m2/dev
DH0T71AD7X DH0T71AD7X
| URI | m2://inv/DH0T71AD7X |
|---|---|
| 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.08052#U9FW (statement). In 672XAVEQ34/e1, proposition 3.9
History
- 2026-10-29: add by m2/v0.4.10
DH127GNHPA DH127GNHPA
| URI | m2://inv/DH127GNHPA |
|---|---|
| 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.20077#OWR9 (statement). In W5XRKWDADE/e1, lemma 6.6
History
- 2026-10-27: add by m2/v0.4.2
Skolemization DH19G9P174
| URI | m2://inv/DH19G9P174 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#BR07, Skolemization (definition)
History
- 2026-11-02: add by m2/dev
Hamiltonian mechanics DH1C55JF7P
| URI | m2://inv/DH1C55JF7P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q477921, Hamiltonian mechanics (definition). Also nLab Hamiltonian mechanics, ProofWiki Definition:Hamiltonian_Mechanics
- wikipedia: Wikipedia Hamiltonian mechanics, Hamiltonian mechanics (definition). Also Wikidata Q477921
History
- 2026-10-26: add by m2/dev
Open Web Analytics DH1DZY9467
| URI | m2://inv/DH1DZY9467 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Open Web Analytics, Open Web Analytics (definition). Also Wikidata Q7096285
History
- 2026-11-02: add by m2/dev
DH1JS5B4SW DH1JS5B4SW
| URI | m2://inv/DH1JS5B4SW |
|---|---|
| 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.18992#9RKT (statement). In S7PNTM0GZC/e1, proposition 1.16
History
- 2026-10-28: add by m2/v0.4.2
DH1QAQ5PP4 DH1QAQ5PP4
| URI | m2://inv/DH1QAQ5PP4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-31 (exercise). In E9HS8K3A52, exercise, section 9.3.4
History
- 2026-11-01: add by m2/v0.6.13
Israel Michael Sigal DH1SSNR50W
| URI | m2://inv/DH1SSNR50W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#M2N4, Israel Michael Sigal (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#H4RH, Israel Michael Sigal (topic)
History
- 2026-11-02: add by m2/dev
DH1TQGZA1F DH1TQGZA1F
| URI | m2://inv/DH1TQGZA1F |
|---|---|
| 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.28024#27HO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Nodal surface DH1WWWV0QW
| URI | m2://inv/DH1WWWV0QW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#YWAH, Nodal surface (definition)
History
- 2026-11-02: add by m2/dev
DH246E4YZE DH246E4YZE
| URI | m2://inv/DH246E4YZE |
|---|---|
| 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 2310.13621#E531 (statement). In DG0EZ1BPV5/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Maria Gramegna DH24R3PM1P
| URI | m2://inv/DH24R3PM1P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maria Gramegna, Maria Gramegna (topic). Also Wikidata Q3847303
History
- 2026-11-02: add by m2/dev
Vladimir Steklov DH2CXW45X6
| URI | m2://inv/DH2CXW45X6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#5YOS, Vladimir Steklov (unknown)
History
- 2026-11-02: add by m2/dev
scalar DH2EKAS64H
| URI | m2://inv/DH2EKAS64H |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/2.1.1/scalar, scalar (concept). In E9HS8K3A52, index, section 2.1.1
History
- 2026-11-01: add by m2/v0.6.13
DH2GV4N3GQ DH2GV4N3GQ
| URI | m2://inv/DH2GV4N3GQ |
|---|---|
| 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.19360#DLQ5 (statement). In MFCW5CY96C/e1, lemma 51
History
- 2026-10-28: add by m2/v0.4.2
DH2HWB4AYD DH2HWB4AYD
| URI | m2://inv/DH2HWB4AYD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/orders.tex#ex-3 (example). In PKGMM3P5QY, ex, section 80.4
History
- 2026-11-01: add by m2/v0.6.13
Dale W. Lick DH2JY186QW
| URI | m2://inv/DH2JY186QW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dale W. Lick, Dale W. Lick (topic). Also Wikidata Q102336565
History
- 2026-11-02: add by m2/dev
DH2YCFQM9Q DH2YCFQM9Q
| URI | m2://inv/DH2YCFQM9Q |
|---|---|
| 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.15094#OVRY (statement). In 5AA8PPK2CC/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
DH2YHAADTG DH2YHAADTG
| URI | m2://inv/DH2YHAADTG |
|---|---|
| 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.17188#1PKW (statement). In KP3ZYTMAN9/e1, theorem 2.4
History
- 2026-10-28: add by m2/v0.4.2
DH3ASCD1BN DH3ASCD1BN
| URI | m2://inv/DH3ASCD1BN |
|---|---|
| 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 2601.15010#JM3C (statement). In K3WJ6ZN184/e1, lemma A.11
History
- 2026-10-27: add by m2/v0.3.5
DH3C2EJZ37 DH3C2EJZ37
| URI | m2://inv/DH3C2EJZ37 |
|---|---|
| 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.33383#LPBD (statement). In 8AHWRHTP5G/e1, theorem 13
History
- 2026-10-30: add by m2/v0.4.12
9801 DH486DJG95
| URI | m2://inv/DH486DJG95 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 9801 (number), 9801 (definition). Also Wikidata Q19273043
History
- 2026-11-02: add by m2/dev
Properties DH4BBXR9BZ
| URI | m2://inv/DH4BBXR9BZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Half-integer#AQUL, Properties (statement)
History
- 2026-11-02: add by m2/dev
DH4CVJZKWD DH4CVJZKWD
| URI | m2://inv/DH4CVJZKWD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-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 2405.14678#C6O5 (example). In 9ZSNSJRJ5N/e1, example 9
History
- 2026-10-27: add by m2/v0.4.2
DH4K7KYNXC DH4K7KYNXC
| URI | m2://inv/DH4K7KYNXC |
|---|---|
| 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.06521#Q53D (statement). In NVXWD513NM/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
DH4P4FJABV DH4P4FJABV
| URI | m2://inv/DH4P4FJABV |
|---|---|
| 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#2448 (statement). In ZJQB9W60T6/e1, theorem 7.9
History
- 2026-10-28: add by m2/v0.4.2
Complex random vector DH4W6X2ZZ6
| URI | m2://inv/DH4W6X2ZZ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex random vector, Complex random vector (definition). Also Wikidata Q49000009
History
- 2026-11-02: add by m2/dev
DH4WR5MCMX DH4WR5MCMX
| URI | m2://inv/DH4WR5MCMX |
|---|---|
| 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.11440#V0OT (statement). In KBV6TD64F1/e1, proposition 4
History
- 2026-10-28: add by m2/v0.4.3
Shifted basis DH530WR8CV
| URI | m2://inv/DH530WR8CV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 26-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.14160#618E, Shifted basis (definition). In Y4TP36M0C7/e1, definition 8
History
- 2026-10-28: add by m2/v0.4.2
DH54VHM1KE DH54VHM1KE
| URI | m2://inv/DH54VHM1KE |
|---|---|
| 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 2205.15365#E79C (example). In R2XC1SC9NZ/e1, example 3
History
- 2026-10-27: add by m2/v0.3.5
DH558FT628 DH558FT628
| URI | m2://inv/DH558FT628 |
|---|---|
| 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.18580#5FI7 (statement). In 443TZD4P0A/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
conjugate subgroup DH5A822027
| URI | m2://inv/DH5A822027 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Conjugate subgroup 0D6WHTTH7T |
Mentions
- wikidata: Wikidata Q121484797, conjugate subgroup (unknown). Also MathWorld ConjugateSubgroup
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
DH5D0627K6 DH5D0627K6
| URI | m2://inv/DH5D0627K6 |
|---|---|
| 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#QJ06 (statement). In HVY45JQRNK/e1, theorem 6.2
History
- 2026-10-31: add by m2/v0.5.6
Lefschetz coincidence number DH5DMXFD45
| URI | m2://inv/DH5DMXFD45 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lefschetz fixed-point theorem#0YGA, Lefschetz coincidence number (unknown)
History
- 2026-11-02: add by m2/dev
Symmetries DH5F0D7KCP
| URI | m2://inv/DH5F0D7KCP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperboloid#OWOK, Symmetries (statement)
History
- 2026-11-02: add by m2/dev
DH5JQRBSWA DH5JQRBSWA
| URI | m2://inv/DH5JQRBSWA |
|---|---|
| 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.16886#7EBS (statement). In Y8QQAH7VCF/e1, corollary E.5
History
- 2026-10-28: add by m2/v0.4.2
Methods DH5VXWE04N
| URI | m2://inv/DH5VXWE04N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics education#EHZN, Methods (definition)
History
- 2026-11-02: add by m2/dev
DH67GNZ0TR DH67GNZ0TR
| URI | m2://inv/DH67GNZ0TR |
|---|---|
| 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.06108#43KB (statement). In D3WKY1PW64/e1, proposition 3.22
History
- 2026-10-29: add by m2/v0.4.10
DH69KMJBKE DH69KMJBKE
| URI | m2://inv/DH69KMJBKE |
|---|---|
| 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#QOBF (definition). In M0SQY5EZN5/e1, definition 2.7.2
History
- 2026-10-27: add by m2/v0.3.5
Barry Simon DH6APY4YGD
| URI | m2://inv/DH6APY4YGD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#GKCE, Barry Simon (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#R3KL, Barry Simon (unknown)
History
- 2026-11-02: add by m2/dev
DH6GE2CTBK DH6GE2CTBK
| URI | m2://inv/DH6GE2CTBK |
|---|---|
| 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.15817#NBW1 (statement). In NVJMA8ARHP/e1, proposition 3.1.1
History
- 2026-10-28: add by m2/v0.4.2
Kenneth Kunen DH6KQ61DTX
| URI | m2://inv/DH6KQ61DTX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZLSN, Kenneth Kunen (unknown)
History
- 2026-11-02: add by m2/dev
DH6Q736X96 DH6Q736X96
| URI | m2://inv/DH6Q736X96 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.21670#VWY5 (statement)
History
- 2026-11-02: add by m2/v0.6.18
DH6Y1WNNZE DH6Y1WNNZE
| URI | m2://inv/DH6Y1WNNZE |
|---|---|
| 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.18464#3EIA (statement). In VSTFM3ME25/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.2
Zoran Vondraček DH6YB2SCYQ
| URI | m2://inv/DH6YB2SCYQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zoran Vondraček, Zoran Vondraček (topic). Also Wikidata Q97227479
History
- 2026-11-02: add by m2/dev
Hans Föllmer DH72V77E9S
| URI | m2://inv/DH72V77E9S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#82P0, Hans Föllmer (topic)
History
- 2026-11-02: add by m2/dev
Binomial tail DH769HQJY0
| URI | m2://inv/DH769HQJY0 |
|---|---|
| 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.11007#Q7JB, Binomial tail (statement). In MF0H78XZXC/e1, lemma C.7
History
- 2026-10-28: add by m2/v0.4.3
Feigenbaum constant DH77W8ABY3
| URI | m2://inv/DH77W8ABY3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#MRBW, Feigenbaum constant (definition)
History
- 2026-11-02: add by m2/dev
Highly totient number DH7800GEDP
| URI | m2://inv/DH7800GEDP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#O1YV, Highly totient number (definition)
History
- 2026-11-02: add by m2/dev
DH78F1GZMQ DH78F1GZMQ
| URI | m2://inv/DH78F1GZMQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19296#LHCJ (example). In WFR2WNW8NB/e1, example 3.15
History
- 2026-10-28: add by m2/v0.4.2
Eustachio Manfredi DH7J2CZW6Y
| URI | m2://inv/DH7J2CZW6Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#1WA8, Eustachio Manfredi (topic)
- wikipedia: Wikipedia List of Italian mathematicians#S7RY, Eustachio Manfredi (topic)
History
- 2026-11-02: add by m2/dev
Applications DH7J3BVBF4
| URI | m2://inv/DH7J3BVBF4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gegenbauer polynomials#4NTQ, Applications (example)
History
- 2026-11-02: add by m2/dev
Fermat's Last Theorem for cubes DH7K1D1N2A
| URI | m2://inv/DH7K1D1N2A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cube (algebra)#T2Y1, Fermat's Last Theorem for cubes (statement)
History
- 2026-11-02: add by m2/dev
DH7SR1NRJM DH7SR1NRJM
| URI | m2://inv/DH7SR1NRJM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#V1Z1 (example). In Z7E16PFFCP/e1, example 4.14
History
- 2026-10-30: add by m2/v0.4.12
DH89CS1R49 DH89CS1R49
| URI | m2://inv/DH89CS1R49 |
|---|---|
| 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.13229#689Z (statement). In 4WN20N5Z57/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Example DH89HVRZCP
| URI | m2://inv/DH89HVRZCP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized inversive congruential pseudorandom numbers#8DAF, Example (example)
History
- 2026-11-02: add by m2/dev
DH8BB73DH7 DH8BB73DH7
| URI | m2://inv/DH8BB73DH7 |
|---|---|
| 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.11905#SHOG (statement). In QQFXT31CA5/e1, theorem 3.6
History
- 2026-10-28: add by m2/v0.4.3
DH8GGGH16M DH8GGGH16M
| URI | m2://inv/DH8GGGH16M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_logic-proofs.ptx#example-9 (example). In Y91XFCEVHQ, example, section 4.2.4
History
- 2026-11-01: add by m2/v0.6.13
Fixed-Coordinate Recovery DH8K7AN2J8
| URI | m2://inv/DH8K7AN2J8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05504#6VC4, Fixed-Coordinate Recovery (definition). In 5PY98FZVJW/e1, definition 3.3
History
- 2026-10-29: add by m2/v0.4.10
DH8SH55ZMJ DH8SH55ZMJ
| URI | m2://inv/DH8SH55ZMJ |
|---|---|
| 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.33941#IWJN (statement). In 64YCRQCKZN/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Logarithmically concave measure DH8XSR0VTD
| URI | m2://inv/DH8XSR0VTD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logarithmically concave measure, Logarithmically concave measure (definition). Also Wikidata Q338787
History
- 2026-11-02: add by m2/dev
Gaussian period DH8YMQSE4Y
| URI | m2://inv/DH8YMQSE4Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic number theory topics#RKEP, Gaussian period (definition)
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#35W8, Gaussian period (definition)
History
- 2026-11-02: add by m2/dev
Properties DH90BPTPFE
| URI | m2://inv/DH90BPTPFE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-abelian category#QXRM, Properties (statement)
History
- 2026-11-02: add by m2/dev
Exact \(\delta\)-ULC Measures on \(\bb N\ DH92TZBBVN
| URI | m2://inv/DH92TZBBVN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23994#PU7L, Exact \(\delta\)-ULC Measures on \(\bb N\ (example)
History
- 2026-11-02: add by m2/v0.6.17
DH92VAVY7X DH92VAVY7X
| URI | m2://inv/DH92VAVY7X |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#exercise-14 (exercise). In QKM9DD2H56, exercise, section 5
History
- 2026-11-01: add by m2/v0.6.13
Ramsey number DH9C69C1K2
| URI | m2://inv/DH9C69C1K2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/16.8/ramsey-number, Ramsey number (concept). In QKM9DD2H56, index, section 16.8
History
- 2026-11-01: add by m2/v0.6.13
DH9D5P4ZN4 DH9D5P4ZN4
| URI | m2://inv/DH9D5P4ZN4 |
|---|---|
| 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 2301.04933#K7QJ (statement). In Q70CTMCJTP/e1, corollary 4.3
History
- 2026-10-27: add by m2/v0.3.5
Fragment suppression, not a full-recovery advantage DH9G094APB
| URI | m2://inv/DH9G094APB |
|---|---|
| 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.38668#ZV6H, Fragment suppression, not a full-recovery advantage (statement). In VB1EZ9K6YW/e1, proposition C.1
History
- 2026-10-30: add by m2/v0.4.12
DH9M8EMGZS DH9M8EMGZS
| URI | m2://inv/DH9M8EMGZS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#example-5 (example). In E59CDZA4DP, example, section 1.2.3
History
- 2026-11-01: add by m2/v0.6.13
Position-sampled distribution DH9M94002N
| URI | m2://inv/DH9M94002N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03811#6VBN, Position-sampled distribution (statement). In DHQWFJW02X/e1, theorem 6.1
History
- 2026-10-29: add by m2/v0.4.12
DHAGCBFCVD DHAGCBFCVD
| URI | m2://inv/DHAGCBFCVD |
|---|---|
| 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.33070#Z3S8 (statement). In 103SVZSR8E/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
DHAMHS628K DHAMHS628K
| URI | m2://inv/DHAMHS628K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25289#FOC6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
List of trigonometric identities DHAP2ZFZZC
| URI | m2://inv/DHAP2ZFZZC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#HBRQ, List of trigonometric identities (topic)
- wikipedia: Wikipedia List of mathematical identities#81YX, List of trigonometric identities (topic)
History
- 2026-11-02: add by m2/dev
coloring DHB12CAJ5Y
| URI | m2://inv/DHB12CAJ5Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#RXZG, coloring (definition)
History
- 2026-11-02: add by m2/dev
Cellular noise DHB2CR357M
| URI | m2://inv/DHB2CR357M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cellular noise, Cellular noise (definition). Also Wikidata Q5058369
History
- 2026-11-02: add by m2/dev
DHBDNKNWRW DHBDNKNWRW
| URI | m2://inv/DHBDNKNWRW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35325#DHT1 (statement). In GHT5WXFA4E/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
DHBE2B3CYK DHBE2B3CYK
| URI | m2://inv/DHBE2B3CYK |
|---|---|
| Kind | definition |
| 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.04466#GE18 (definition). In EHW82CK883/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
DHBVPBGZ1A DHBVPBGZ1A
| URI | m2://inv/DHBVPBGZ1A |
|---|---|
| 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.10230#G55O (statement). In YS75517SF7/e1, corollary 3.6
History
- 2026-10-29: add by m2/v0.4.10
Applications DHBZS3W172
| URI | m2://inv/DHBZS3W172 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lucas number#H0HO, Applications (example)
History
- 2026-11-02: add by m2/dev
DHC004N3J6 DHC004N3J6
| URI | m2://inv/DHC004N3J6 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.07352#XWSP (problem). In 3VPC1GGZ3E/e1, problem 8.2
History
- 2026-10-27: add by m2/v0.3.5
Vladimir Rokhlin, Jr. DHC1Z4MXTY
| URI | m2://inv/DHC1Z4MXTY |
|---|---|
| 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#B7AF, Vladimir Rokhlin, Jr. (unknown)
History
- 2026-11-02: add by m2/dev
Examples DHC4W1D6GY
| URI | m2://inv/DHC4W1D6GY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Motzkin number#JYK6, Examples (example)
History
- 2026-11-02: add by m2/dev
French Mathematical Society DHCABCTYGX
| URI | m2://inv/DHCABCTYGX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#97YN, French Mathematical Society (topic)
History
- 2026-11-02: add by m2/dev
DHCFBQFA3K DHCFBQFA3K
| URI | m2://inv/DHCFBQFA3K |
|---|---|
| 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.14099#BQSQ (statement). In D77GXFTKFH/e1, proposition 11
History
- 2026-10-28: add by m2/v0.4.2
DHCH7F7ZCA DHCH7F7ZCA
| URI | m2://inv/DHCH7F7ZCA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20558#SG0Z (definition). In 46370P3Y9S/e1, definition 5.10
History
- 2026-10-27: add by m2/v0.4.2
Lewis Evans DHCJGKJ1EN
| URI | m2://inv/DHCJGKJ1EN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lewis Evans (mathematician), Lewis Evans (topic). Also Wikidata Q6536534
History
- 2026-11-02: add by m2/dev
Ana Casís DHCKK034DZ
| URI | m2://inv/DHCKK034DZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ana Casís, Ana Casís (topic). Also Wikidata Q104937936
History
- 2026-11-02: add by m2/dev
Partial DHCTGX3CVW
| URI | m2://inv/DHCTGX3CVW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#CLWY, Partial (definition)
History
- 2026-11-02: add by m2/dev
DHCVCPGZQ5 DHCVCPGZQ5
| URI | m2://inv/DHCVCPGZQ5 |
|---|---|
| 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.21934#TFOB (statement). In YKD51BX3XB/e1, lemma 8.1
History
- 2026-10-27: add by m2/v0.4.2
DHCYHR17ZW DHCYHR17ZW
| URI | m2://inv/DHCYHR17ZW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20460#JXDR (statement)
History
- 2026-11-02: add by m2/v0.6.18
Regular polygonal and Platonic relative-rotation families DHD6DBBD8X
| URI | m2://inv/DHD6DBBD8X |
|---|---|
| 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.04136#2HZJ, Regular polygonal and Platonic relative-rotation families (statement). In TBYTWR87F3/e1, corollary 1.7
History
- 2026-10-29: add by m2/v0.4.12
DHDJH8E9R8 DHDJH8E9R8
| URI | m2://inv/DHDJH8E9R8 |
|---|---|
| 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 2501.17850#NNI0 (statement). In WS5KWBEG5Q/e1, theorem 6
History
- 2026-10-27: add by m2/v0.4.0
Immanuel Halton DHDMPZ5KSB
| URI | m2://inv/DHDMPZ5KSB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Immanuel Halton, Immanuel Halton (topic). Also Wikidata Q6004658
History
- 2026-11-02: add by m2/dev
DHDW1MB3DP DHDW1MB3DP
| URI | m2://inv/DHDW1MB3DP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20002#268R (statement)
History
- 2026-11-02: add by m2/v0.6.18
DHDW2X6FBD DHDW2X6FBD
| URI | m2://inv/DHDW2X6FBD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21929#X377 (statement). In 2PP4XRVS0J/e1, corollary 11.4
History
- 2026-10-27: add by m2/v0.4.2
DHE260WP6G DHE260WP6G
| URI | m2://inv/DHE260WP6G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10511#42M1 (statement). In BTX64QG716/e1, proposition 3.12
History
- 2026-10-29: add by m2/v0.4.10
DHE4QYYPHJ DHE4QYYPHJ
| URI | m2://inv/DHE4QYYPHJ |
|---|---|
| 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 1004.4564#UQOW (statement). In BZ54C9SKYS/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.3.5
DHE5Y3M96P DHE5Y3M96P
| URI | m2://inv/DHE5Y3M96P |
|---|---|
| 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.15489#KGB0 (statement). In 5BCTP0B6Q1/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
Simultaneous analytic lamination DHE9V2GT2R
| URI | m2://inv/DHE9V2GT2R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24701#SGA8, Simultaneous analytic lamination (definition)
History
- 2026-11-01: add by m2/v0.6.15
Georg Cantor DHECFW7KZK
| URI | m2://inv/DHECFW7KZK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#2ABX, Georg Cantor (topic)
History
- 2026-11-02: add by m2/dev
DHES6JR3K7 DHES6JR3K7
| URI | m2://inv/DHES6JR3K7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#thm:path-coprod (statement). In N54F33XE07, thm, section 1.12
History
- 2026-11-01: add by m2/v0.6.13
DHET8SN4K0 DHET8SN4K0
| URI | m2://inv/DHET8SN4K0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35183#0N2W (statement). In FYM5XFD9RR/e1, proposition 3.4
History
- 2026-10-30: add by m2/v0.4.12
DHEW7TDQBE DHEW7TDQBE
| URI | m2://inv/DHEW7TDQBE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2406.06762#HHZB (statement). In J99PFFJXPE/e1, proposition 3.8
History
- 2026-10-27: add by m2/v0.3.6
Transfer to general ensembles DHF27CW09G
| URI | m2://inv/DHF27CW09G |
|---|---|
| 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.21363#WG7P, Transfer to general ensembles (statement). In YPH7NS5AAQ/e1, corollary 4.6
History
- 2026-10-27: add by m2/v0.4.2
Atkinson index DHFPH1C05V
| URI | m2://inv/DHFPH1C05V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#27OC, Atkinson index (definition)
History
- 2026-11-02: add by m2/dev
Applications DHFZB8RGZT
| URI | m2://inv/DHFZB8RGZT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random sample consensus#F16G, Applications (example)
History
- 2026-11-02: add by m2/dev
Zipf–Mandelbrot law DHFZWR4WMT
| URI | m2://inv/DHFZWR4WMT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zipf–Mandelbrot law, Zipf–Mandelbrot law (statement). Also Wikidata Q3351025
History
- 2026-11-02: add by m2/dev
Josiah Willard Gibbs Lectureship DHG2BHZVWR
| URI | m2://inv/DHG2BHZVWR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Josiah Willard Gibbs Lectureship, Josiah Willard Gibbs Lectureship (definition). Also Wikidata Q1522873
History
- 2026-11-02: add by m2/dev
DHG3KVV30N DHG3KVV30N
| URI | m2://inv/DHG3KVV30N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.09945#S6PO (statement). In V7VCEA0VAA/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Zvi Arad DHG55878RP
| URI | m2://inv/DHG55878RP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zvi Arad, Zvi Arad (topic). Also Wikidata Q8075532
History
- 2026-11-02: add by m2/dev
DHG6PHDCFC DHG6PHDCFC
| URI | m2://inv/DHG6PHDCFC |
|---|---|
| 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.10078#IPMZ (statement). In YVGRZK1HRS/e1, proposition 2.4
History
- 2026-10-29: add by m2/v0.4.10
DHG6XR7SER DHG6XR7SER
| URI | m2://inv/DHG6XR7SER |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38815#HZ7A (statement). In 2CEETN5YTZ/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
Ben Andrews DHG963F6WZ
| URI | m2://inv/DHG963F6WZ |
|---|---|
| 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#9MES, Ben Andrews (topic)
History
- 2026-11-02: add by m2/dev
Linear–quadratic regulator DHGASHV2DK
| URI | m2://inv/DHGASHV2DK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear–quadratic regulator, Linear–quadratic regulator (definition). Also Wikidata Q2520550
History
- 2026-11-02: add by m2/dev
Danzer's configuration DHGCRYN4NZ
| URI | m2://inv/DHGCRYN4NZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Danzer's configuration, Danzer's configuration (definition). Also Wikidata Q113372033
History
- 2026-11-02: add by m2/dev
DHGGGXXNXV DHGGGXXNXV
| URI | m2://inv/DHGGGXXNXV |
|---|---|
| Kind | definition |
| 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.25539#QT4V (definition)
History
- 2026-11-01: add by m2/v0.6.15
DHGGJZVDX1 DHGGJZVDX1
| URI | m2://inv/DHGGJZVDX1 |
|---|---|
| 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 2411.07061#FVEK (statement). In S988ZVA1QE/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.6
Properties DHGGN95CXZ
| URI | m2://inv/DHGGN95CXZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean distance#C23R, Properties (statement)
History
- 2026-11-02: add by m2/dev
Skolem's paradox DHGJ9FCGGR
| URI | m2://inv/DHGJ9FCGGR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Skolem's paradox 68QZWDXAQ4 |
Mentions
- wikidata: Wikidata Q1096353, Skolem's paradox (concept). Also MathWorld SkolemParadox, nLab Skolem's paradox
- wikipedia: Wikipedia Skolem's paradox, Skolem's paradox (statement). Also Wikidata Q1096353
History
- 2026-10-26: add by m2/dev
Explanation DHGKE2VM7A
| URI | m2://inv/DHGKE2VM7A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Explanation, Explanation (definition). Also Wikidata Q7958
History
- 2026-11-02: add by m2/dev
DHGMAVKBW6 DHGMAVKBW6
| URI | m2://inv/DHGMAVKBW6 |
|---|---|
| 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.20991#9ZFU (statement). In H98ZC5YBSD/e1, corollary 1.3
History
- 2026-10-27: add by m2/v0.4.2
DHGN0WB3NZ DHGN0WB3NZ
| URI | m2://inv/DHGN0WB3NZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33651#PISB (statement). In 69DBD2HKGK/e1, lemma 7.5
History
- 2026-10-30: add by m2/v0.4.12
Typical exponential rate DHGTT7Z39A
| URI | m2://inv/DHGTT7Z39A |
|---|---|
| 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.28198#5QWK, Typical exponential rate (statement)
History
- 2026-11-01: add by m2/v0.6.15
DHGX2E9T0S DHGX2E9T0S
| URI | m2://inv/DHGX2E9T0S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/quotient.tex#exercise-3 (exercise). In RZP28ERRZV, exercise, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Construction DHGXZXCRJ6
| URI | m2://inv/DHGXZXCRJ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Salinon#G1TC, Construction (definition)
History
- 2026-11-02: add by m2/dev
DHH0EZK353 DHH0EZK353
| URI | m2://inv/DHH0EZK353 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05146#HASN (statement). In 63MJS935N4/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
Properties DHH2TCESEY
| URI | m2://inv/DHH2TCESEY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Godement resolution#HFJZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
DHH30ZR73J DHH30ZR73J
| URI | m2://inv/DHH30ZR73J |
|---|---|
| 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.26948#IP9E (statement)
History
- 2026-11-01: add by m2/v0.6.15
DHH398ESJV DHH398ESJV
| URI | m2://inv/DHH398ESJV |
|---|---|
| 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.38206#37LE (statement). In F71MS1F637/e1, corollary 5.7
History
- 2026-10-30: add by m2/v0.4.12
DHHJ22QEZY DHHJ22QEZY
| URI | m2://inv/DHHJ22QEZY |
|---|---|
| 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.19464#GDL7 (statement). In G8JCZ109A9/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
brute force DHHJMFEJ98
| URI | m2://inv/DHHJMFEJ98 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#083J, brute force (definition)
History
- 2026-11-02: add by m2/dev
DHHKGWSKB6 DHHKGWSKB6
| URI | m2://inv/DHHKGWSKB6 |
|---|---|
| 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.05486#7D6S (statement). In 5Z46AK2XTC/e1, lemma C.7
History
- 2026-10-29: add by m2/v0.4.10
Secure key issuing cryptography DHHPATBARX
| URI | m2://inv/DHHPATBARX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secure key issuing cryptography, Secure key issuing cryptography (definition). Also Wikidata Q7444875
History
- 2026-11-02: add by m2/dev
DHHTKNDBS4 DHHTKNDBS4
| URI | m2://inv/DHHTKNDBS4 |
|---|---|
| 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.22769#5I5H (statement)
History
- 2026-11-02: add by m2/v0.6.17
DHHVKWZF5W DHHVKWZF5W
| URI | m2://inv/DHHVKWZF5W |
|---|---|
| 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.09989#JK2K (statement). In 4KZA07H3GE/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
DHJ1S7ZF15 DHJ1S7ZF15
| URI | m2://inv/DHJ1S7ZF15 |
|---|---|
| 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 1601.02354#L9QB (example). In 3YSZKHNCRA/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
Cyclic higher obstruction DHJ41F7WM8
| URI | m2://inv/DHJ41F7WM8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20649#KN03, Cyclic higher obstruction (statement). In XDTM624YPE/e1, theorem 18.1
History
- 2026-10-27: add by m2/v0.4.2
\hspace{1pt DHJ7QFP8HK
| URI | m2://inv/DHJ7QFP8HK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20583#ORBW, \hspace{1pt (statement). In 5YEEPDPAQE/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.4.2
double Mersenne number DHJ939Q58M
| URI | m2://inv/DHJ939Q58M |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1318413, double Mersenne number (unknown). Also MathWorld DoubleMersenneNumber, OEIS A077586
- wikipedia: Wikipedia Double Mersenne number, Double Mersenne number (conjecture). Also Wikidata Q1318413
History
- 2026-10-26: add by m2/dev
Étienne Pardoux DHJ95ZAK0Q
| URI | m2://inv/DHJ95ZAK0Q |
|---|---|
| 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#86XW, Étienne Pardoux (topic)
History
- 2026-11-02: add by m2/dev
Image resolution DHJ9PHJ7PG
| URI | m2://inv/DHJ9PHJ7PG |
|---|---|
| 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#C9RQ, Image resolution (unknown)
History
- 2026-11-02: add by m2/dev
inflexion DHJHX22N9Q
| URI | m2://inv/DHJHX22N9Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#8PUV, inflexion (definition)
History
- 2026-11-02: add by m2/dev
Wilf–Zeilberger pair DHJW8R02FC
| URI | m2://inv/DHJW8R02FC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Wilf–Zeilberger pair WC0QNABPZ4 |
Mentions
- wikidata: Wikidata Q3147828, Wilf–Zeilberger pair (concept). Also MathWorld Wilf-ZeilbergerPair
- wikipedia: Wikipedia Wilf–Zeilberger pair, Wilf–Zeilberger pair (definition). Also Wikidata Q3147828
History
- 2026-10-26: add by m2/dev
Interpolation slack DHK4G3XBAC
| URI | m2://inv/DHK4G3XBAC |
|---|---|
| Kind | definition |
| 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.33360#U074, Interpolation slack (definition). In GH6FSDK4YB/e1, definition 6.1
History
- 2026-10-30: add by m2/v0.4.12
Completion of a weak coloring DHK7TFXRHD
| URI | m2://inv/DHK7TFXRHD |
|---|---|
| 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.18907#0GK2, Completion of a weak coloring (statement). In 4SSZ4PF2P2/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
Noether DHK7YVNGXS
| URI | m2://inv/DHK7YVNGXS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of symplectic geometry#082U, Noether (definition)
History
- 2026-11-02: add by m2/dev
DHKA7JT716 DHKA7JT716
| URI | m2://inv/DHKA7JT716 |
|---|---|
| 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.23694#Y8PB (statement)
History
- 2026-11-02: add by m2/v0.6.17
DHKCCEE5T6 DHKCCEE5T6
| URI | m2://inv/DHKCCEE5T6 |
|---|---|
| Kind | problem |
| 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.23538#98NS (problem)
History
- 2026-11-02: add by m2/v0.6.17
DHKDHD9J8X DHKDHD9J8X
| URI | m2://inv/DHKDHD9J8X |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-52 (exercise). In VNMV985MXX, exercise, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
Ralph Louis Cohen DHKGHBS3MH
| URI | m2://inv/DHKGHBS3MH |
|---|---|
| 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#MNF5, Ralph Louis Cohen (topic)
History
- 2026-11-02: add by m2/dev
Two Creeks, Manitoba DHKP6YVSC6
| URI | m2://inv/DHKP6YVSC6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#BQ4U, Two Creeks, Manitoba (unknown)
History
- 2026-11-02: add by m2/dev
DHKQDZTVQZ DHKQDZTVQZ
| URI | m2://inv/DHKQDZTVQZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-4 (exercise). In E59CDZA4DP, exercise, section 9.1.4
History
- 2026-11-01: add by m2/v0.6.13
Triadic closure DHKX0W55MX
| URI | m2://inv/DHKX0W55MX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triadic closure, Triadic closure (definition). Also Wikidata Q7839907
History
- 2026-11-02: add by m2/dev
DHKY2SX8TV DHKY2SX8TV
| URI | m2://inv/DHKY2SX8TV |
|---|---|
| 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 2411.16465#EHQK (statement). In 900P3XBZ5P/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
Liouville's theorem DHKY40TW6B
| URI | m2://inv/DHKY40TW6B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonical transformation#U9E6, Liouville's theorem (statement)
History
- 2026-11-02: add by m2/dev
Qi-Man Shao DHKYDNB7QN
| URI | m2://inv/DHKYDNB7QN |
|---|---|
| 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#8JLC, Qi-Man Shao (topic)
History
- 2026-11-02: add by m2/dev
Brent's algorithm DHM1Z3PT7M
| URI | m2://inv/DHM1Z3PT7M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#0W0D, Brent's algorithm (unknown)
History
- 2026-11-02: add by m2/dev
apogee DHM2NV44KH
| URI | m2://inv/DHM2NV44KH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1179441, apogee (definition). Also ProofWiki Definition:Apogee
History
- 2026-10-26: add by m2/dev
DHM6Z8C9AA DHM6Z8C9AA
| URI | m2://inv/DHM6Z8C9AA |
|---|---|
| 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.03661#PJX1 (statement). In ESDKTYDHC8/e1, theorem 17
History
- 2026-10-29: add by m2/v0.4.12
Charm (finance) DHMJQVSS7P
| URI | m2://inv/DHMJQVSS7P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greeks (finance)#77F1, Charm (finance) (unknown)
History
- 2026-11-02: add by m2/dev
DHMMP0454P DHMMP0454P
| URI | m2://inv/DHMMP0454P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35927#MRIO (statement). In 7S0DWBCNS8/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
Coordinate invariance DHMQAT0C5H
| URI | m2://inv/DHMQAT0C5H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invariant (mathematics)#9C9B, Coordinate invariance (unknown)
History
- 2026-11-02: add by m2/dev
DHN5RJQTNE DHN5RJQTNE
| URI | m2://inv/DHN5RJQTNE |
|---|---|
| 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.28341#6171 (statement)
History
- 2026-11-01: add by m2/v0.6.15
DHNMGPYT7T DHNMGPYT7T
| URI | m2://inv/DHNMGPYT7T |
|---|---|
| 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.18464#1BH1 (statement). In VSTFM3ME25/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Optical Kerr effect DHNY5AJSNF
| URI | m2://inv/DHNY5AJSNF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kerr effect#GKJO, Optical Kerr effect (unknown)
History
- 2026-11-02: add by m2/dev
Charles Hermite DHNYAWZ0NJ
| URI | m2://inv/DHNYAWZ0NJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#HSA5, Charles Hermite (topic)
History
- 2026-11-02: add by m2/dev
Stephen Cole Kleene DHP85Q3HRQ
| URI | m2://inv/DHP85Q3HRQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#G8EE, Stephen Cole Kleene (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#72JH, Stephen Cole Kleene (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TWT4, Stephen Cole Kleene (topic)
History
- 2026-11-02: add by m2/dev
Incomplete comparison DHPAT0B89S
| URI | m2://inv/DHPAT0B89S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incomplete comparison, Incomplete comparison (definition). Also Wikidata Q6015177
History
- 2026-11-02: add by m2/dev
DHPDDDVBSZ DHPDDDVBSZ
| URI | m2://inv/DHPDDDVBSZ |
|---|---|
| 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 2506.00952#G19T (statement). In GX0TV70D4N/e1, lemma 5
History
- 2026-10-27: add by m2/v0.3.5
DHPDNY27G6 DHPDNY27G6
| URI | m2://inv/DHPDNY27G6 |
|---|---|
| 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.16358#8C9V (statement). In RJA3YJ9NYK/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
DHPF3R5RFV DHPF3R5RFV
| URI | m2://inv/DHPF3R5RFV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.01612#N76L (statement). In A5KESSK05N/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
No-Hee Park DHPFMFKF9S
| URI | m2://inv/DHPFMFKF9S |
|---|---|
| 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#UN7Q, No-Hee Park (unknown)
History
- 2026-11-02: add by m2/dev
Properties DHPGC4SAKR
| URI | m2://inv/DHPGC4SAKR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary icosahedral group#A1QF, Properties (statement)
History
- 2026-11-02: add by m2/dev
DHPKD1YR6S DHPKD1YR6S
| URI | m2://inv/DHPKD1YR6S |
|---|---|
| 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 2407.08004#41IV (statement). In TYS65EG479/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.5
Tape diagram DHPN9QGKB0
| URI | m2://inv/DHPN9QGKB0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#HFOW, Tape diagram (definition)
History
- 2026-11-02: add by m2/dev
Fuzzy mathematics DHPP1C5Z5H
| URI | m2://inv/DHPP1C5Z5H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuzzy mathematics, Fuzzy mathematics (topic). Also Wikidata Q5511129
History
- 2026-11-02: add by m2/dev
DHPSER5BF8 DHPSER5BF8
| URI | m2://inv/DHPSER5BF8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27366#D8AF (statement)
History
- 2026-11-01: add by m2/v0.6.15
semi-latus rectum DHQ4B4TEBF
| URI | m2://inv/DHQ4B4TEBF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16318811, semi-latus rectum (unknown). Also MathWorld SemilatusRectum
History
- 2026-10-26: add by m2/dev
Regularized dislocations DHQ59M2Y5F
| URI | m2://inv/DHQ59M2Y5F |
|---|---|
| Kind | example |
| 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.37584#C9VA, Regularized dislocations (example). In 66F6N3BJWV/e1, example 2.3
History
- 2026-10-30: add by m2/v0.4.12
DHQ7MKMZ0V DHQ7MKMZ0V
| URI | m2://inv/DHQ7MKMZ0V |
|---|---|
| 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.15472#4U9F (statement). In 5Z3FH46YSY/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
Regression control chart DHQECHC51G
| URI | m2://inv/DHQECHC51G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regression control chart, Regression control chart (definition). Also Wikidata Q7309535
History
- 2026-11-02: add by m2/dev
DHQFG3GJ3T DHQFG3GJ3T
| URI | m2://inv/DHQFG3GJ3T |
|---|---|
| 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.21715#W9LJ (statement). In QW0SV5D6MQ/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.4.2
Cartesian circle DHQFQ1VDTE
| URI | m2://inv/DHQFQ1VDTE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartesian circle, Cartesian circle (definition). Also Wikidata Q2340490
History
- 2026-11-02: add by m2/dev
40,000 DHQFZ9TEYF
| URI | m2://inv/DHQFZ9TEYF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 40,000, 40,000 (definition). Also Wikidata Q2420843
History
- 2026-11-02: add by m2/dev
Exact coverage by the radial chart DHQPTM851G
| URI | m2://inv/DHQPTM851G |
|---|---|
| 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#PUQ9, Exact coverage by the radial chart (statement)
History
- 2026-11-01: add by m2/v0.6.15
Self-similar process DHQQQ0D6QH
| URI | m2://inv/DHQQQ0D6QH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-similar process, Self-similar process (definition). Also Wikidata Q7448216
History
- 2026-11-02: add by m2/dev
DHQS0K430F DHQS0K430F
| URI | m2://inv/DHQS0K430F |
|---|---|
| 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.06707#10FY (statement). In 9TR5E527P5/e1, proposition 5.3
History
- 2026-10-29: add by m2/v0.4.10
DHQS4D50EJ DHQS4D50EJ
| URI | m2://inv/DHQS4D50EJ |
|---|---|
| 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#OX17 (example)
History
- 2026-11-02: add by m2/v0.6.18
DHQTMZ4FJ8 DHQTMZ4FJ8
| URI | m2://inv/DHQTMZ4FJ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-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.28814#DEWH (statement)
History
- 2026-11-01: add by m2/v0.6.15
DHR78R1N2T DHR78R1N2T
| URI | m2://inv/DHR78R1N2T |
|---|---|
| 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.30237#8L12 (statement). In AC2VX701GX/e1, proposition 2.4
History
- 2026-10-31: add by m2/v0.5.6
Richard S. Hamilton DHR86GJKXD
| URI | m2://inv/DHR86GJKXD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard S. Hamilton, Richard S. Hamilton (topic). Also Wikidata Q239904
History
- 2026-11-02: add by m2/dev
Ronald Raphael Coifman DHS0SVND6G
| URI | m2://inv/DHS0SVND6G |
|---|---|
| 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#8QWN, Ronald Raphael Coifman (topic)
History
- 2026-11-02: add by m2/dev
The Beardwood-Halton-Hammersley Theorem DHS1JFN5SA
| URI | m2://inv/DHS1JFN5SA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jillian Beardwood#HBRD, The Beardwood-Halton-Hammersley Theorem (statement)
History
- 2026-11-02: add by m2/dev
Homoeoid and focaloid DHS1SA6QF3
| URI | m2://inv/DHS1SA6QF3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homoeoid and focaloid, Homoeoid and focaloid (definition). Also Wikidata Q1626445
History
- 2026-11-02: add by m2/dev
DHS3E597H2 DHS3E597H2
| URI | m2://inv/DHS3E597H2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09926#R2UL (definition). In ZZY5S3FHMJ/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
DHSNSS75VQ DHSNSS75VQ
| URI | m2://inv/DHSNSS75VQ |
|---|---|
| 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 1010.0868#BWTY (statement). In VZJNNRQXPM/e1, corollary 4
History
- 2026-10-27: add by m2/v0.3.5
DHSS7AFD6T DHSS7AFD6T
| URI | m2://inv/DHSS7AFD6T |
|---|---|
| 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.23167#KV5B (statement)
History
- 2026-11-02: add by m2/v0.6.17
Applications DHSWM1CV25
| URI | m2://inv/DHSWM1CV25 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nut graph (graph theory)#ZFFW, Applications (example)
History
- 2026-11-02: add by m2/dev
Private measure on the cube DHSXVYX7YH
| URI | m2://inv/DHSXVYX7YH |
|---|---|
| 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 2204.09167#UEJE, Private measure on the cube (statement). In S1MENYEAG5/e1, corollary 9.1
History
- 2026-10-27: add by m2/v0.3.5
Semion Mogilevich DHT1YVQCXH
| URI | m2://inv/DHT1YVQCXH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#Y6EF, Semion Mogilevich (unknown)
History
- 2026-11-02: add by m2/dev
Semimartingale DHT3H3NATD
| URI | m2://inv/DHT3H3NATD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semimartingale, Semimartingale (definition). Also Wikidata Q506346
History
- 2026-11-02: add by m2/dev
DHT5704QCP DHT5704QCP
| URI | m2://inv/DHT5704QCP |
|---|---|
| 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.13864#B9XC (example). In ZGZGGGCWD3/e1, example 4.5
History
- 2026-10-28: add by m2/v0.4.2
Fermat's theorem on sums of two squares DHT8QVE6J7
| URI | m2://inv/DHT8QVE6J7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#X6SH, Fermat's theorem on sums of two squares (statement)
History
- 2026-11-02: add by m2/dev
DHTAK10SBZ DHTAK10SBZ
| URI | m2://inv/DHTAK10SBZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23922#PML8 (statement)
History
- 2026-11-02: add by m2/v0.6.17
DHTFF3PE3F DHTFF3PE3F
| URI | m2://inv/DHTFF3PE3F |
|---|---|
| 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#BEON (statement)
History
- 2026-11-02: add by m2/v0.6.17
DHTHFCJWZ5 DHTHFCJWZ5
| URI | m2://inv/DHTHFCJWZ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25289#FJ1M (statement)
History
- 2026-11-01: add by m2/v0.6.15
DHTJGFM3WS DHTJGFM3WS
| URI | m2://inv/DHTJGFM3WS |
|---|---|
| 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 2108.09796#SVUQ (statement). In NAA7WFQN20/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.3.5
DHTKW1VRZ5 DHTKW1VRZ5
| URI | m2://inv/DHTKW1VRZ5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22557#1T60 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Coxian distribution DHTR3951SV
| URI | m2://inv/DHTR3951SV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phase-type distribution#G9D9, Coxian distribution (unknown)
History
- 2026-11-02: add by m2/dev
DHTRBPGS9G DHTRBPGS9G
| URI | m2://inv/DHTRBPGS9G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2610.20368#CR5Y (statement). In T8CDHW9MC1/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.4.2
DHTRHGKTP7 DHTRHGKTP7
| URI | m2://inv/DHTRHGKTP7 |
|---|---|
| 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#7JHH (statement). In F3BKXXPR3K/e1, proposition 3.11
History
- 2026-10-27: add by m2/v0.4.2
DHTWZG3KS9 DHTWZG3KS9
| URI | m2://inv/DHTWZG3KS9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/filtrations/euclidean-filtrations.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 51.8
History
- 2026-11-01: add by m2/v0.6.13
DHTZYNX6K7 DHTZYNX6K7
| URI | m2://inv/DHTZYNX6K7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30482#FGKJ (statement). In KWB9M5YH9G/e1, corollary 7.7
History
- 2026-10-31: add by m2/v0.5.6
Statement DHV1G5J529
| URI | m2://inv/DHV1G5J529 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Szemerédi regularity lemma#MOUM, Statement (statement)
History
- 2026-11-02: add by m2/dev
Star number DHV8AAB0D8
| URI | m2://inv/DHV8AAB0D8 |
|---|---|
| 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 2609.27241#H6IS, Star number (definition)
History
- 2026-11-01: add by m2/v0.6.15
Truth condition DHV9KMC0W9
| URI | m2://inv/DHV9KMC0W9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truth condition, Truth condition (definition). Also Wikidata Q2891657
History
- 2026-11-02: add by m2/dev
Euclidean minimum spanning tree DHVCSX6474
| URI | m2://inv/DHVCSX6474 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#DBEW, Euclidean minimum spanning tree (definition)
History
- 2026-11-02: add by m2/dev
Characterization of exponentiable objects DHVF4452JJ
| URI | m2://inv/DHVF4452JJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23281#LBT9, Characterization of exponentiable objects (statement)
History
- 2026-11-02: add by m2/v0.6.17
Fierz identity DHVN6NPTC9
| URI | m2://inv/DHVN6NPTC9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5447297, Fierz identity (unknown). Also nLab Fierz identity
- wikipedia: Wikipedia Fierz identity, Fierz identity (statement). Also Wikidata Q5447297
History
- 2026-10-26: add by m2/dev
DHVP9ASCVP DHVP9ASCVP
| URI | m2://inv/DHVP9ASCVP |
|---|---|
| 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.11609#LH3P (statement). In YBCF3XKJMC/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.3
DHVZ9NKD8M DHVZ9NKD8M
| URI | m2://inv/DHVZ9NKD8M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.13855#XOY3 (statement). In GJKRVZ5YN5/e1, lemma 8
History
- 2026-10-27: add by m2/v0.3.5
Lightweight cipher DHW3DW4BYK
| URI | m2://inv/DHW3DW4BYK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptography#F69D, Lightweight cipher (unknown)
History
- 2026-11-02: add by m2/dev
DHW4X6F6HG DHW4X6F6HG
| URI | m2://inv/DHW4X6F6HG |
|---|---|
| Kind | example |
| 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#NGCL (example)
History
- 2026-11-01: add by m2/v0.6.15
DHW7BD2CBC DHW7BD2CBC
| URI | m2://inv/DHW7BD2CBC |
|---|---|
| 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 2007.14459#G2WD (statement). In SGQ7VFEZ22/e1, theorem 4.6
History
- 2026-10-27: add by m2/v0.3.5
DHW8ZDZ9SD DHW8ZDZ9SD
| URI | m2://inv/DHW8ZDZ9SD |
|---|---|
| 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.07530#J0SY (statement). In C7QZ0VPBC8/e1, lemma 6.5
History
- 2026-10-29: add by m2/v0.4.10
DHWAB1VWJ3 DHWAB1VWJ3
| URI | m2://inv/DHWAB1VWJ3 |
|---|---|
| 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.10875#N10J (statement). In N91F15MHW1/e1, lemma 23
History
- 2026-10-28: add by m2/v0.4.3
NUS Business School DHWBTT4HSP
| URI | m2://inv/DHWBTT4HSP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National University of Singapore#XMVZ, NUS Business School (unknown)
History
- 2026-11-02: add by m2/dev
František Rádl DHWCKKS8EZ
| URI | m2://inv/DHWCKKS8EZ |
|---|---|
| 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#EWVA, František Rádl (unknown)
History
- 2026-11-02: add by m2/dev
Applications DHWDAXCNZJ
| URI | m2://inv/DHWDAXCNZJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zipf–Mandelbrot law#3I3J, Applications (example)
History
- 2026-11-02: add by m2/dev
Golomb's formula DHWDMF0863
| URI | m2://inv/DHWDMF0863 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formula for primes#ZJI9, Golomb's formula (statement)
History
- 2026-11-02: add by m2/dev
DHWKEKE9JG DHWKEKE9JG
| URI | m2://inv/DHWKEKE9JG |
|---|---|
| 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.19535#VJWX (statement). In MJXSE9QR4X/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
Time-reversal symmetry DHWR1QC7SS
| URI | m2://inv/DHWR1QC7SS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time-reversal symmetry, Time-reversal symmetry (definition). Also Wikidata Q142270
History
- 2026-11-02: add by m2/dev
Floyd Williams DHWVCV8ZGY
| URI | m2://inv/DHWVCV8ZGY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Floyd Williams, Floyd Williams (topic). Also Wikidata Q5462575
History
- 2026-11-02: add by m2/dev
DHWXKMYFGQ DHWXKMYFGQ
| URI | m2://inv/DHWXKMYFGQ |
|---|---|
| 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 2408.13548#66UT (statement). In EQF1ZQ5K1S/e1, corollary 3.18
History
- 2026-10-27: add by m2/v0.4.0
Finite convergents and a norm error bound DHX4MD9ZK8
| URI | m2://inv/DHX4MD9ZK8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#W3L0, Finite convergents and a norm error bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
DHX7EDY7J1 DHX7EDY7J1
| URI | m2://inv/DHX7EDY7J1 |
|---|---|
| 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.21278#38ZV (definition). In DCH1JJGGYH/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.4.2
395 (number) DHXKFWN1VA
| URI | m2://inv/DHXKFWN1VA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#GRSO, 395 (number) (unknown)
History
- 2026-11-02: add by m2/dev
DHXN3VJ61Q DHXN3VJ61Q
| URI | m2://inv/DHXN3VJ61Q |
|---|---|
| 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.26357#Y3W3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Generalizations DHXNZ7A209
| URI | m2://inv/DHXNZ7A209 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler–Lagrange equation#YYIC, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
DHXY3FV3M4 DHXY3FV3M4
| URI | m2://inv/DHXY3FV3M4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/composition-representable.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 29.8
History
- 2026-11-01: add by m2/v0.6.13
Bernoulli rigidity DHXZSSTHSP
| URI | m2://inv/DHXZSSTHSP |
|---|---|
| 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#MSZK, Bernoulli rigidity (statement). In GQH4ZPDWET/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
DHY0YMKYMS DHY0YMKYMS
| URI | m2://inv/DHY0YMKYMS |
|---|---|
| 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.17677#50BQ (statement). In 5E9G06XJKC/e1, corollary C.26
History
- 2026-10-28: add by m2/v0.4.2
Felix A. E. Pirani DHY6DH8ZV1
| URI | m2://inv/DHY6DH8ZV1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#47MT, Felix A. E. Pirani (unknown)
History
- 2026-11-02: add by m2/dev
DHY7E32J5J DHY7E32J5J
| URI | m2://inv/DHY7E32J5J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03746#PH4T (statement). In 4E1D0NS89S/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.12
DHY89FXCZ9 DHY89FXCZ9
| URI | m2://inv/DHY89FXCZ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08776#I7UJ (statement). In ZQ4M778EA7/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Register machine DHY9CDF432
| URI | m2://inv/DHY9CDF432 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#6GHX, Register machine (definition)
History
- 2026-11-02: add by m2/dev
CLs method DHYEB1VWY3
| URI | m2://inv/DHYEB1VWY3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CLs method (particle physics), CLs method (definition). Also Wikidata Q5012817
History
- 2026-11-02: add by m2/dev
DHYVBG8QHD DHYVBG8QHD
| URI | m2://inv/DHYVBG8QHD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09133#VKVH (statement). In E7BPGPP9Z5/e1, lemma 1.1
History
- 2026-10-29: add by m2/v0.4.10
DHZ01GJYY4 DHZ01GJYY4
| URI | m2://inv/DHZ01GJYY4 |
|---|---|
| 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 2305.06030#S084 (statement). In 2Q0CNQ8DQB/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.3.5
Kabbalah DHZ4RKPVEA
| URI | m2://inv/DHZ4RKPVEA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#LE89, Kabbalah (unknown)
History
- 2026-11-02: add by m2/dev
induction principle, for identity type DHZA5156SY
| URI | m2://inv/DHZA5156SY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1/induction-principle-for-identity-type, induction principle, for identity type (concept). In N54F33XE07, index, section 1
History
- 2026-11-01: add by m2/v0.6.13
coin flipping DHZARMRMCA
| URI | m2://inv/DHZARMRMCA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q825367, coin flipping (unknown). Also MathWorld CoinTossing
- wikipedia: Wikipedia Coin flipping, Coin flipping (definition). Also Wikidata Q825367
History
- 2026-10-26: add by m2/dev
Mean integrated squared error DHZAY9799X
| URI | m2://inv/DHZAY9799X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean integrated squared error, Mean integrated squared error (definition). Also Wikidata Q6803626
History
- 2026-11-02: add by m2/dev
$\T$-conditional pseudoconvexity DHZBAWQP4E
| URI | m2://inv/DHZBAWQP4E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23872#ZPG0, $\T$-conditional pseudoconvexity (definition)
History
- 2026-11-02: add by m2/v0.6.17
\textsc{Quantum Circuit-SAT} Dissipator DHZBCSAM82
| URI | m2://inv/DHZBCSAM82 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26769#50H0, \textsc{Quantum Circuit-SAT} Dissipator (definition)
History
- 2026-11-01: add by m2/v0.6.15
DHZCGK706W DHZCGK706W
| URI | m2://inv/DHZCGK706W |
|---|---|
| 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.18562#AFYW (statement). In 793KXAR957/e1, theorem 1.6
History
- 2026-10-28: add by m2/v0.4.2
Reduction to minimal conductors DHZD4ZKM31
| URI | m2://inv/DHZD4ZKM31 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30301#PHNK, Reduction to minimal conductors (statement). In 7NS75J7HAM/e1, lemma 7.17
History
- 2026-10-31: add by m2/v0.5.6
Explicit solution formulas DHZE2AXZV9
| URI | m2://inv/DHZE2AXZV9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peakon#MWXL, Explicit solution formulas (statement)
History
- 2026-11-02: add by m2/dev
DHZMG5MTGR DHZMG5MTGR
| URI | m2://inv/DHZMG5MTGR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21552#T6K6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
DHZPNHMVBA DHZPNHMVBA
| URI | m2://inv/DHZPNHMVBA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/arithmetization-syntax/proofs-in-lk.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 27.6
History
- 2026-11-01: add by m2/v0.6.13
DHZRFPA8J9 DHZRFPA8J9
| URI | m2://inv/DHZRFPA8J9 |
|---|---|
| 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.00789#T9AJ (statement). In 4WPYBTARS2/e1, corollary 4.16
History
- 2026-10-29: add by m2/v0.4.12
DHZSD2EHMB DHZSD2EHMB
| URI | m2://inv/DHZSD2EHMB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:esofull-precomp-ff (statement). In N54F33XE07, lem, section 2.9
History
- 2026-11-01: add by m2/v0.6.13