Inventory rows 77
The cards of the rows of the inventory whose ids start with 77. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Georg Kreisel 7702CAV3DK
| URI | m2://inv/7702CAV3DK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q951409, Georg Kreisel (unknown). Also nLab Georg Kreisel
- wikipedia: Wikipedia Georg Kreisel, Georg Kreisel (topic). Also Wikidata Q951409
History
- 2026-10-26: add by m2/dev
DevSecOps 7703P6Y1PA
| URI | m2://inv/7703P6Y1PA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DevOps#86J4, DevSecOps (unknown)
History
- 2026-11-02: add by m2/dev
inclusive first-order logic 7705YMHXWW
| URI | m2://inv/7705YMHXWW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#LFSI, inclusive first-order logic (definition)
History
- 2026-11-02: add by m2/dev
Polykay 77060B9FT4
| URI | m2://inv/77060B9FT4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16879636, Polykay (unknown). Also MathWorld Polykay
- wikipedia: Wikipedia Polykay, Polykay (definition). Also Wikidata Q16879636
History
- 2026-10-26: add by m2/dev
Degrees of freedom 770EA9ZVKZ
| URI | m2://inv/770EA9ZVKZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Degrees of freedom (mechanics), Degrees of freedom (definition). Also Wikidata Q2480745
History
- 2026-11-02: add by m2/dev
cluster 770SB7D94A
| URI | m2://inv/770SB7D94A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#208X, cluster (definition)
History
- 2026-11-02: add by m2/dev
Computable number 770Z60BZ7X
| URI | m2://inv/770Z60BZ7X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#P8EI, Computable number (definition)
History
- 2026-11-02: add by m2/dev
Kaoru Ono 7712ZTGPME
| URI | m2://inv/7712ZTGPME |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaoru Ono, Kaoru Ono (topic). Also Wikidata Q11464262
History
- 2026-11-02: add by m2/dev
Explicit counts above Gaussian mass one half 7718A9BN0S
| URI | m2://inv/7718A9BN0S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#BDOH, Explicit counts above Gaussian mass one half (statement). In 9YAE8FNQST/e1, corollary 15.11
History
- 2026-10-30: add by m2/v0.4.12
Overconvergent modular form 771FDBDZ3P
| URI | m2://inv/771FDBDZ3P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overconvergent modular form, Overconvergent modular form (definition). Also Wikidata Q7113612
History
- 2026-11-02: add by m2/dev
minimum vertex degree 771PC63AVE
| URI | m2://inv/771PC63AVE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q106553065, minimum vertex degree (unknown). Also MathWorld MinimumVertexDegree
History
- 2026-10-26: add by m2/dev
Fireworks algorithm 771QZSR85Q
| URI | m2://inv/771QZSR85Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fireworks algorithm, Fireworks algorithm (definition). Also Wikidata Q23556832
History
- 2026-11-02: add by m2/dev
Irmgard Lotz 771S17Y4QQ
| URI | m2://inv/771S17Y4QQ |
|---|---|
| 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#61HQ, Irmgard Lotz (topic)
History
- 2026-11-02: add by m2/dev
771SC5Z2DR 771SC5Z2DR
| URI | m2://inv/771SC5Z2DR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.10505#Q50E (statement). In JW8HH6EPG2/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.10
universal concomitant 771SH5TNKQ
| URI | m2://inv/771SH5TNKQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#VOF8, universal concomitant (definition)
History
- 2026-11-02: add by m2/dev
Diophantine set 771X55SWCP
| URI | m2://inv/771X55SWCP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#UGZ2, Diophantine set (definition)
- wikipedia: Wikipedia List of number theory topics#SEZD, Diophantine set (definition)
- wikipedia: Wikipedia List of types of sets#QKS0, Diophantine set (definition)
History
- 2026-11-02: add by m2/dev
Periodic case 772505FSF8
| URI | m2://inv/772505FSF8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21945#FPIJ, Periodic case (statement). In 371P9QASSJ/e1, lemma A.3
History
- 2026-10-27: add by m2/v0.4.2
Static network model 7726EVVSD0
| URI | m2://inv/7726EVVSD0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21565#E20Z, Static network model (definition)
History
- 2026-11-02: add by m2/v0.6.18
Definition 77286QE24P
| URI | m2://inv/77286QE24P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric topology (object)#OKDE, Definition (definition)
History
- 2026-11-02: add by m2/dev
30-60-90 triangle 77288AK5FV
| URI | m2://inv/77288AK5FV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q105332790, 30-60-90 triangle (unknown). Also MathWorld 30-60-90Triangle
History
- 2026-10-26: add by m2/dev
Extended Riemann hypothesis 7729MB8F9S
| URI | m2://inv/7729MB8F9S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dedekind zeta function#TDVX, Extended Riemann hypothesis (statement)
History
- 2026-11-02: add by m2/dev
772B0ZM4DP 772B0ZM4DP
| URI | m2://inv/772B0ZM4DP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29022#VK1X (definition)
History
- 2026-11-01: add by m2/v0.6.15
Truncated tesseractic honeycomb 772C3GDW63
| URI | m2://inv/772C3GDW63 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated tesseractic honeycomb, Truncated tesseractic honeycomb (definition). Also Wikidata Q17007239
History
- 2026-11-02: add by m2/dev
Central limit theorem 772H0V1BRX
| URI | m2://inv/772H0V1BRX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central limit theorem#1XLA, Central limit theorem (statement)
History
- 2026-11-02: add by m2/dev
772V9BHAZ3 772V9BHAZ3
| URI | m2://inv/772V9BHAZ3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-179 (exercise). In VNMV985MXX, exercise, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Eric van Damme 772VFPA0TF
| URI | m2://inv/772VFPA0TF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15127191, Eric van Damme (unknown). Also ProofWiki Mathematician:Eric_Eleterius_Coralie_van_Damme
History
- 2026-10-26: add by m2/dev
Sergey Pinchuk 772VW29KM3
| URI | m2://inv/772VW29KM3 |
|---|---|
| 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#HY4A, Sergey Pinchuk (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OGYV, Sergey Pinchuk (unknown)
History
- 2026-11-02: add by m2/dev
7730KCX6TW 7730KCX6TW
| URI | m2://inv/7730KCX6TW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#106U (statement). In X765ZXXVC3/e1, lemma 2.26
History
- 2026-10-29: add by m2/v0.4.12
77353JJEMC 77353JJEMC
| URI | m2://inv/77353JJEMC |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/z/infinity-again.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 76.3
History
- 2026-11-01: add by m2/v0.6.13
Euler characteristic polynomial 773AYFQT30
| URI | m2://inv/773AYFQT30 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09295#XH1L, Euler characteristic polynomial (statement). In 29X0B511NF/e1, proposition 3.6
History
- 2026-10-29: add by m2/v0.4.10
Rien Kaashoek 773BY1WE2H
| URI | m2://inv/773BY1WE2H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rien Kaashoek, Rien Kaashoek (topic). Also Wikidata Q15727795
History
- 2026-11-02: add by m2/dev
773CE8HBXC 773CE8HBXC
| URI | m2://inv/773CE8HBXC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/functors.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 37.7
History
- 2026-11-01: add by m2/v0.6.13
Definition 773J5Q3FSA
| URI | m2://inv/773J5Q3FSA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transfer operator#U2FM, Definition (definition)
History
- 2026-11-02: add by m2/dev
773KZFAWA0 773KZFAWA0
| URI | m2://inv/773KZFAWA0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#RCES (statement). In 9DQKY7KGE8/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
773PWCN6FV 773PWCN6FV
| URI | m2://inv/773PWCN6FV |
|---|---|
| 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.11939#9GHR (statement). In DQMEN40FZV/e1, corollary 2
History
- 2026-10-28: add by m2/v0.4.3
773XQF9XMJ 773XQF9XMJ
| URI | m2://inv/773XQF9XMJ |
|---|---|
| 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.32977#HA95 (statement). In 4KT9TK3MG4/e1, lemma E.7
History
- 2026-10-31: add by m2/v0.5.6
774019ZS8G 774019ZS8G
| URI | m2://inv/774019ZS8G |
|---|---|
| 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.23872#FJE8 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Weighted product model 7741E3KS9H
| URI | m2://inv/7741E3KS9H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weighted product model, Weighted product model (definition). Also Wikidata Q7979901
History
- 2026-11-02: add by m2/dev
774220SJWZ 774220SJWZ
| URI | m2://inv/774220SJWZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29489#IREB (statement)
History
- 2026-11-01: add by m2/v0.6.15
7748YPC3K6 7748YPC3K6
| URI | m2://inv/7748YPC3K6 |
|---|---|
| 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.29537#X5W0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 774F8WMB2G
| URI | m2://inv/774F8WMB2G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-polynomial#KJ69, Examples (example)
History
- 2026-11-02: add by m2/dev
774GNFT3PM 774GNFT3PM
| URI | m2://inv/774GNFT3PM |
|---|---|
| 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.19300#809G (statement). In S6S4RD5VXJ/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
sequence 774J1HDG76
| URI | m2://inv/774J1HDG76 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.6/sequence, sequence (concept). In N54F33XE07, index, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
antiparticle 774JW8Z3BR
| URI | m2://inv/774JW8Z3BR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q182717, antiparticle (unknown). Also nLab antiparticle
History
- 2026-10-26: add by m2/dev
18 (age) 774SCM1CZH
| URI | m2://inv/774SCM1CZH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 18 (number)#O7SP, 18 (age) (unknown)
History
- 2026-11-02: add by m2/dev
774XEGM7ZB 774XEGM7ZB
| URI | m2://inv/774XEGM7ZB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19707#X89B (statement). In R6SEBXARYC/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
loop group 7752XN4VZD
| URI | m2://inv/7752XN4VZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Loop group 8MEDVAEERQ |
Mentions
- wikidata: Wikidata Q6675827, loop group (unknown). Also nLab loop group
- wikipedia: Wikipedia Loop group, Loop group (definition). Also Wikidata Q6675827
History
- 2026-10-26: add by m2/dev
Jacobi polynomials 775AX7TRTK
| URI | m2://inv/775AX7TRTK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Jacobi polynomials TRD7DSF2KR |
Mentions
- wikidata: Wikidata Q371631, Jacobi polynomials (concept). Also MathWorld JacobiPolynomial
- wikipedia: Wikipedia Jacobi polynomials, Jacobi polynomials (definition). Also Wikidata Q371631
History
- 2026-10-26: add by m2/dev
775H8TNJ6X 775H8TNJ6X
| URI | m2://inv/775H8TNJ6X |
|---|---|
| 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 2303.00676#AFWZ (statement). In 5351H04TJY/e1, lemma 4.10
History
- 2026-10-27: add by m2/v0.4.0
Sampling distribution 775HMMS5KM
| URI | m2://inv/775HMMS5KM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#REMQ, Sampling distribution (definition)
History
- 2026-11-02: add by m2/dev
58 775PCR4JAD
| URI | m2://inv/775PCR4JAD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 58 (number), 58 (definition). Also Wikidata Q241673
History
- 2026-11-02: add by m2/dev
775R21ZJZM 775R21ZJZM
| URI | m2://inv/775R21ZJZM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-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 1204.5958#V7AT (example). In XYCBKM4WKY/e1, example 55
History
- 2026-10-27: add by m2/v0.3.5
George Dantzig 776D4D2PWA
| URI | m2://inv/776D4D2PWA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FY6K, George Dantzig (topic)
History
- 2026-11-02: add by m2/dev
Recency effect 776NNDT497
| URI | m2://inv/776NNDT497 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#01DX, Recency effect (unknown)
History
- 2026-11-02: add by m2/dev
776WF1Y66N 776WF1Y66N
| URI | m2://inv/776WF1Y66N |
|---|---|
| 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 2608.23797#4AWQ (statement). In PZCA01JXVR/e1, theorem 0.2
History
- 2026-10-27: add by m2/v0.3.5
Koteck\'y--Preiss , Fern\'andez--Procacci 776Z8S4G9D
| URI | m2://inv/776Z8S4G9D |
|---|---|
| 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.25038#NL0S, Koteck\'y--Preiss , Fern\'andez--Procacci (statement)
History
- 2026-11-01: add by m2/v0.6.15
Anisotropic Epstein zeta function 7771H0AE4F
| URI | m2://inv/7771H0AE4F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28282#VHI5, Anisotropic Epstein zeta function (definition)
History
- 2026-11-01: add by m2/v0.6.15
Local PL convergence and finite trajectory length 7775AVR1NC
| URI | m2://inv/7775AVR1NC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06557#UPNZ, Local PL convergence and finite trajectory length (statement). In VV5CH6Y31D/e1, theorem 3.9
History
- 2026-10-29: add by m2/v0.4.10
7775D2FVTE 7775D2FVTE
| URI | m2://inv/7775D2FVTE |
|---|---|
| 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.01783#BLDQ (statement). In 8BKC3PVX9G/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Properties 777762VVQ7
| URI | m2://inv/777762VVQ7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skew and direct sums of permutations#S0TI, Properties (statement)
History
- 2026-11-02: add by m2/dev
7777B3SWWN 7777B3SWWN
| URI | m2://inv/7777B3SWWN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.12669#NICN (definition). In ZA6XNBA90V/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.3.5
Adding one coordinate 777BEQ1SH1
| URI | m2://inv/777BEQ1SH1 |
|---|---|
| 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.32710#5LBR, Adding one coordinate (statement). In KVYG6R7CGJ/e1, lemma 6.2
History
- 2026-10-31: add by m2/v0.5.6
Erdős–Szekeres conjecture 777K2XXJA8
| URI | m2://inv/777K2XXJA8 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures by Paul Erdős#01Y7, Erdős–Szekeres conjecture (problem)
History
- 2026-11-02: add by m2/dev
Xin Sun 777PV5C6EH
| URI | m2://inv/777PV5C6EH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Xin Sun, Xin Sun (topic)
History
- 2026-11-02: add by m2/dev
777RANDKYJ 777RANDKYJ
| URI | m2://inv/777RANDKYJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23503#55PO (statement)
History
- 2026-11-02: add by m2/v0.6.17
777TARVYHZ 777TARVYHZ
| URI | m2://inv/777TARVYHZ |
|---|---|
| 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.07644#4RH8 (definition). In TFAN2DR6FD/e1, definition 7
History
- 2026-10-27: add by m2/v0.3.5
Parallax error 777TRWX8BX
| URI | m2://inv/777TRWX8BX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stellar parallax#KMD8, Parallax error (unknown)
History
- 2026-11-02: add by m2/dev
778H7FGBD7 778H7FGBD7
| URI | m2://inv/778H7FGBD7 |
|---|---|
| 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#JBF6 (statement). In ESDKTYDHC8/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.12
778K1B8QQ5 778K1B8QQ5
| URI | m2://inv/778K1B8QQ5 |
|---|---|
| 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.22667#P243 (statement)
History
- 2026-11-02: add by m2/v0.6.17
778SBKVWEA 778SBKVWEA
| URI | m2://inv/778SBKVWEA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09084#7OWH (statement). In F5VT2K2QYX/e1, lemma 29
History
- 2026-10-29: add by m2/v0.4.10
Perpendicular axis theorem 778TZP1NKE
| URI | m2://inv/778TZP1NKE |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q995926, Perpendicular axis theorem (statement). Also Wikidata Q995926
- thousand_plus: thousand_plus Q995926, Perpendicular axis theorem (statement). Also Wikidata Q995926, Wikipedia Perpendicular axis theorem
- wikipedia: Wikipedia Perpendicular axis theorem, Perpendicular axis theorem (statement). Also Wikidata Q995926
History
- 2026-10-26: add by m2/dev
778VS8GH67 778VS8GH67
| URI | m2://inv/778VS8GH67 |
|---|---|
| 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#ESVI (statement). In SGQ7VFEZ22/e1, fact 3.10
History
- 2026-10-27: add by m2/v0.3.5
measure theory 778XWY2MZG
| URI | m2://inv/778XWY2MZG |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 28Axx |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15614122, measure theory (topic). Also MathWorld MeasureTheory, nLab measure theory, ProofWiki Definition:Measure_Theory
History
- 2026-10-26: add by m2/dev
77930B5VG5 77930B5VG5
| URI | m2://inv/77930B5VG5 |
|---|---|
| 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.15525#QKT6 (statement). In EFDRME13PT/e1, corollary 7.6
History
- 2026-10-28: add by m2/v0.4.2
77998B4FAA 77998B4FAA
| URI | m2://inv/77998B4FAA |
|---|---|
| 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.08280#65YN (statement). In EGADPYP7R3/e1, corollary 6.2
History
- 2026-10-29: add by m2/v0.4.10
779DRPW5NW 779DRPW5NW
| URI | m2://inv/779DRPW5NW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24131#EEEG (statement)
History
- 2026-11-02: add by m2/v0.6.17
Occam's razor 779GX081HT
| URI | m2://inv/779GX081HT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q131012, Occam's razor (statement). Also ProofWiki Occam's_Razor
- wikipedia: Wikipedia Occam's razor, Occam's razor (definition). Also Wikidata Q131012
History
- 2026-10-26: add by m2/dev
779H5WZN2A 779H5WZN2A
| URI | m2://inv/779H5WZN2A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40017#KZOX (statement). In MBHJA0HT06/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
Robert C. O'Brien 779TSG8721
| URI | m2://inv/779TSG8721 |
|---|---|
| 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#6WW3, Robert C. O'Brien (unknown)
History
- 2026-11-02: add by m2/dev
Examples 779VR0W4GF
| URI | m2://inv/779VR0W4GF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radical of a ring#ITEB, Examples (example)
History
- 2026-11-02: add by m2/dev
779YKY59F5 779YKY59F5
| URI | m2://inv/779YKY59F5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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 2403.16388#W8IY (definition). In HH4ADHZ8XD/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.4.0
Determination 77AC52V016
| URI | m2://inv/77AC52V016 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/completeness/completeness-K.tex#thm:determination, Determination (statement). In PKGMM3P5QY, thm, section 50.16
History
- 2026-11-01: add by m2/v0.6.13
Robbins constant 77ADXANSF3
| URI | m2://inv/77ADXANSF3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean line segment length#JSPH, Robbins constant (unknown)
History
- 2026-11-02: add by m2/dev
Iris flower data set 77AKQ3W89Z
| URI | m2://inv/77AKQ3W89Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KL0X, Iris flower data set (definition)
History
- 2026-11-02: add by m2/dev
tacnode 77ASBHE5B0
| URI | m2://inv/77ASBHE5B0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#HQNT, tacnode (definition)
History
- 2026-11-02: add by m2/dev
77AV4WEBBV 77AV4WEBBV
| URI | m2://inv/77AV4WEBBV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#7Z82 (statement). In RK0ZMDJ23T/e1, lemma 3.2.11
History
- 2026-10-31: add by m2/v0.5.6
Poynting's theorem 77AW9JB5PF
| URI | m2://inv/77AW9JB5PF |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1637085, Poynting's theorem (statement). Also Wikidata Q1637085
- thousand_plus: thousand_plus Q1637085, Poynting's theorem (statement). Also Wikidata Q1637085, Wikipedia Poynting's theorem
- wikipedia: Wikipedia Poynting's theorem, Poynting's theorem (statement). Also Wikidata Q1637085
History
- 2026-10-26: add by m2/dev
Schinzel's theorem 77AXJ9YYAX
| URI | m2://inv/77AXJ9YYAX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25304092, Schinzel's theorem (statement). Also MathWorld SchinzelsTheorem
- wikipedia: Wikipedia Schinzel's theorem, Schinzel's theorem (statement). Also Wikidata Q25304092
History
- 2026-10-26: add by m2/dev
Applications 77B6VV4449
| URI | m2://inv/77B6VV4449 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum harmonic oscillator#4Z69, Applications (example)
History
- 2026-11-02: add by m2/dev
77BE3SJK2C 77BE3SJK2C
| URI | m2://inv/77BE3SJK2C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.17060#QUJE (definition). In 5KR3MHYVV6/e1, definition 3.11
History
- 2026-10-28: add by m2/v0.4.2
77BEZZSW7C 77BEZZSW7C
| URI | m2://inv/77BEZZSW7C |
|---|---|
| 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.39675#00IU (statement). In VM16G3PPH3/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
proper element search 77BG0NWZPB
| URI | m2://inv/77BG0NWZPB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Iterative methods of solving systems of real and vector-valued equations > proper element search, proper element search (unknown)
History
- 2026-10-26: add by m2/dev
77BHYFCA3G 77BHYFCA3G
| URI | m2://inv/77BHYFCA3G |
|---|---|
| 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.27253#XGQR (statement)
History
- 2026-11-01: add by m2/v0.6.15
77BKZ50G54 77BKZ50G54
| URI | m2://inv/77BKZ50G54 |
|---|---|
| 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.27715#GL02 (statement)
History
- 2026-11-01: add by m2/v0.6.15
77BP1ABQWD 77BP1ABQWD
| URI | m2://inv/77BP1ABQWD |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/preliminaries.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 62.6
History
- 2026-11-01: add by m2/v0.6.13
77BVA0WZJ9 77BVA0WZJ9
| URI | m2://inv/77BVA0WZJ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#9PI1 (statement). In CGA36VE1C5/e1, lemma 5.2.1
History
- 2026-10-27: add by m2/v0.3.6
Persistent merge block 77BYAF8TTN
| URI | m2://inv/77BYAF8TTN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20492#O85X, Persistent merge block (statement)
History
- 2026-11-02: add by m2/v0.6.18
The unipotent blocks at the boundary 77C2E4Y68Y
| URI | m2://inv/77C2E4Y68Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2610.04099#RMFP, The unipotent blocks at the boundary (statement). In QPJ6FWG5HD/e1, proposition 2.94
History
- 2026-10-29: add by m2/v0.4.12
Compound of six pentagrammic prisms 77C5A92SWV
| URI | m2://inv/77C5A92SWV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#XTTN, Compound of six pentagrammic prisms (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#CMY3, Compound of six pentagrammic prisms (definition)
History
- 2026-11-02: add by m2/dev
77CG92GWAY 77CG92GWAY
| URI | m2://inv/77CG92GWAY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32233#ZFL4 (statement). In V42PPD7SWH/e1, corollary 4.8
History
- 2026-10-31: add by m2/v0.5.6
Shift rule 77CM4Z2H7N
| URI | m2://inv/77CM4Z2H7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shift rule, Shift rule (definition). Also Wikidata Q16910545
History
- 2026-11-02: add by m2/dev
Hua's lemma 77CND8HHNX
| URI | m2://inv/77CND8HHNX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#HRQX, Hua's lemma (statement)
History
- 2026-11-02: add by m2/dev
77CPD0ME52 77CPD0ME52
| URI | m2://inv/77CPD0ME52 |
|---|---|
| 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.20237#UQEE (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples 77CVFDV3CV
| URI | m2://inv/77CVFDV3CV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph paper#HE7X, Examples (example)
History
- 2026-11-02: add by m2/dev
Chapman–Enskog theory 77D1N3200Y
| URI | m2://inv/77D1N3200Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chapman–Enskog theory, Chapman–Enskog theory (definition). Also Wikidata Q4133108
History
- 2026-11-02: add by m2/dev
77D8B7KBV3 77D8B7KBV3
| URI | m2://inv/77D8B7KBV3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.00440#T6TH (statement). In 3HMRK8KEVD/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.6
77D8TN1EVR 77D8TN1EVR
| URI | m2://inv/77D8TN1EVR |
|---|---|
| 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.10372#U3EK (statement). In P77W283VXT/e1, corollary 4.4
History
- 2026-10-29: add by m2/v0.4.10
77DBRKR5CM 77DBRKR5CM
| URI | m2://inv/77DBRKR5CM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#VGVS (definition)
History
- 2026-11-02: add by m2/v0.6.18
Dendroid 77DGC2N53H
| URI | m2://inv/77DGC2N53H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dendroid (topology), Dendroid (definition). Also Wikidata Q5256753
History
- 2026-11-02: add by m2/dev
Isabelle 77DRVPQ8R4
| URI | m2://inv/77DRVPQ8R4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q460340, Isabelle (unknown). Also nLab Isabelle
- wikipedia: Wikipedia Isabelle (proof assistant), Isabelle (definition). Also Wikidata Q460340
History
- 2026-10-26: add by m2/dev
Worst-Case Runtime of \STADTFI(Specialized Kernels 77DSX1F7PA
| URI | m2://inv/77DSX1F7PA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34025#IWZZ, Worst-Case Runtime of \STADTFI(Specialized Kernels (statement). In VCG579E7MM/e1, corollary 4
History
- 2026-10-30: add by m2/v0.4.12
77E3GZ70JS 77E3GZ70JS
| URI | m2://inv/77E3GZ70JS |
|---|---|
| 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.31782#XU2I (statement). In YAYP5VZ94H/e1, corollary 9.2
History
- 2026-10-31: add by m2/v0.5.6
77EFNACT6D 77EFNACT6D
| URI | m2://inv/77EFNACT6D |
|---|---|
| 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 2508.02432#0F7F (statement). In B366ACYB37/e1, corollary 4.10
History
- 2026-10-27: add by m2/v0.3.5
Theorem 77ENRWAT8F
| URI | m2://inv/77ENRWAT8F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Havel–Hakimi algorithm#T4LZ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
77EP2X5NHP 77EP2X5NHP
| URI | m2://inv/77EP2X5NHP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-20 (exercise). In VNMV985MXX, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
77EPK8RAN4 77EPK8RAN4
| URI | m2://inv/77EPK8RAN4 |
|---|---|
| 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.32977#QBHP (statement). In 4KT9TK3MG4/e1, lemma F.3
History
- 2026-10-31: add by m2/v0.5.6
Applications 77ESZNJHFE
| URI | m2://inv/77ESZNJHFE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rooted graph#Y4Z9, Applications (example)
History
- 2026-11-02: add by m2/dev
Stability of the duality gap 77EY2MTW24
| URI | m2://inv/77EY2MTW24 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09640#22BN, Stability of the duality gap (statement). In E9T3B4RVW4/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.10
77FAWE9YXH 77FAWE9YXH
| URI | m2://inv/77FAWE9YXH |
|---|---|
| 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.17871#GGQO (statement). In H17E7PBG1M/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
Remembering some bits 77FDTRR1BB
| URI | m2://inv/77FDTRR1BB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#8OPH, Remembering some bits (definition). In WD2NCBV9F0/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
77FV2ZQB77 77FV2ZQB77
| URI | m2://inv/77FV2ZQB77 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28141#3PIC (statement)
History
- 2026-11-01: add by m2/v0.6.15
77FVSDBVKT 77FVSDBVKT
| URI | m2://inv/77FVSDBVKT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.35543#8MUM (statement). In WSG1ZW956E/e1, corollary 4.6
History
- 2026-10-30: add by m2/v0.4.12
Ramanujan theta function 77G1C7AVT6
| URI | m2://inv/77G1C7AVT6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#JOMV, Ramanujan theta function (definition)
History
- 2026-11-02: add by m2/dev
Leah Berman 77GAEVRC9T
| URI | m2://inv/77GAEVRC9T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#AVDY, Leah Berman (topic)
History
- 2026-11-02: add by m2/dev
Disjoint coproduct, monic coprojections 77GEFJN9ZS
| URI | m2://inv/77GEFJN9ZS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#CIL7, Disjoint coproduct, monic coprojections (definition). In HX63A1PH1W/e1, definition 6.15
History
- 2026-10-28: add by m2/v0.4.3
77GGD4QJW2 77GGD4QJW2
| URI | m2://inv/77GGD4QJW2 |
|---|---|
| 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.10452#A53Y (statement). In 2F4PNP1V3B/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
77GHS8HE9V 77GHS8HE9V
| URI | m2://inv/77GHS8HE9V |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.12669#0R3U (statement). In ZA6XNBA90V/e1, lemma
History
- 2026-10-27: add by m2/v0.3.5
Completion 77H5GWGWDF
| URI | m2://inv/77H5GWGWDF |
|---|---|
| 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.26665#JAHF, Completion (statement)
History
- 2026-11-01: add by m2/v0.6.15
77H6RZ8V9N 77H6RZ8V9N
| URI | m2://inv/77H6RZ8V9N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06152#CN5J (statement). In HH35K7S17H/e1, lemma 6.12
History
- 2026-10-29: add by m2/v0.4.10
Uniform boundedness principle 77H9GHDQ0W
| URI | m2://inv/77H9GHDQ0W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ursescu theorem#GPLR, Uniform boundedness principle (statement)
History
- 2026-11-02: add by m2/dev
77HDVTM9XX 77HDVTM9XX
| URI | m2://inv/77HDVTM9XX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#M1WZ (statement). In REDG6QVHM3/e1, corollary 10.5
History
- 2026-10-29: add by m2/v0.4.12
77HGXV8KPJ 77HGXV8KPJ
| URI | m2://inv/77HGXV8KPJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.09700#JNTZ (statement). In XCSQ27P0XW/e1, proposition 7.5
History
- 2026-10-27: add by m2/v0.4.0
Inner product structure of tensors 77HK0699HH
| URI | m2://inv/77HK0699HH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/inner-form.tex#prob:inner_prod_tensor, Inner product structure of tensors (exercise). In RZP28ERRZV, sproblem, section 60.5
History
- 2026-11-01: add by m2/v0.6.13
77HMW2E6T2 77HMW2E6T2
| URI | m2://inv/77HMW2E6T2 |
|---|---|
| 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 2512.07470#KMD2 (statement). In XPF72KTPMZ/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
Applications 77HV9NAYHH
| URI | m2://inv/77HV9NAYHH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maneuvering board#766Z, Applications (example)
History
- 2026-11-02: add by m2/dev
Benchmarks for lossless compression 77HZ7T7XGN
| URI | m2://inv/77HZ7T7XGN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lossless compression#CGP0, Benchmarks for lossless compression (unknown)
History
- 2026-11-02: add by m2/dev
77J8FBXG6Y 77J8FBXG6Y
| URI | m2://inv/77J8FBXG6Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16853#861F (statement). In Y43AAKZ7E6/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
77J9G5DWG0 77J9G5DWG0
| URI | m2://inv/77J9G5DWG0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07890#OZVM (example). In 6F3GSDT2V1/e1, example 5.11
History
- 2026-10-29: add by m2/v0.4.10
77JBR05GEM 77JBR05GEM
| URI | m2://inv/77JBR05GEM |
|---|---|
| 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.00364#KUSL (statement). In ANR3DHYQPQ/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
77JKRHZG10 77JKRHZG10
| URI | m2://inv/77JKRHZG10 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.28677#LT1P (statement)
History
- 2026-11-01: add by m2/v0.6.15
Frank Redington 77JN25QQQK
| URI | m2://inv/77JN25QQQK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#A9AY, Frank Redington (unknown)
History
- 2026-11-02: add by m2/dev
Definition 77JT2CSRP4
| URI | m2://inv/77JT2CSRP4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial differential equation#LXL0, Definition (definition)
History
- 2026-11-02: add by m2/dev
Superadditive function 77K7DVVBG5
| URI | m2://inv/77K7DVVBG5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#JSVJ, Superadditive function (definition)
History
- 2026-11-02: add by m2/dev
Serre twist 77K9XYYWH6
| URI | m2://inv/77K9XYYWH6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proj construction#BYXS, Serre twist (unknown)
History
- 2026-11-02: add by m2/dev
77KA8ZFJRA 77KA8ZFJRA
| URI | m2://inv/77KA8ZFJRA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02500#19NS (example). In 9KFCFXF7FK/e1, example 1
History
- 2026-10-29: add by m2/v0.4.12
Length-$n$ operational block broadcast graph 77KCVN626J
| URI | m2://inv/77KCVN626J |
|---|---|
| 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.08202#7O6F, Length-$n$ operational block broadcast graph (definition). In N7XJ16700B/e1, definition 11
History
- 2026-10-29: add by m2/v0.4.10
77KP5WGA3Q 77KP5WGA3Q
| URI | m2://inv/77KP5WGA3Q |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-coloring.ptx#exercise-5 (exercise). In Y91XFCEVHQ, exercise, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
Ed Savitz 77KQZP2Y1M
| URI | m2://inv/77KQZP2Y1M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#KV3N, Ed Savitz (unknown)
History
- 2026-11-02: add by m2/dev
First variation and midpoint map error 77KV626C11
| URI | m2://inv/77KV626C11 |
|---|---|
| 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.21991#6A7I, First variation and midpoint map error (statement). In KRBDK9J44X/e1, proposition 6.3
History
- 2026-10-27: add by m2/v0.4.2
Garth Gibson 77M3S1G63Y
| URI | m2://inv/77M3S1G63Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CAJE, Garth Gibson (unknown)
History
- 2026-11-02: add by m2/dev
77MC7PGDH1 77MC7PGDH1
| URI | m2://inv/77MC7PGDH1 |
|---|---|
| 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.10452#F9DI (statement). In 2F4PNP1V3B/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.10
Hall notation 77MCBG5TFE
| URI | m2://inv/77MCBG5TFE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Space group#UN49, Hall notation (definition)
History
- 2026-11-02: add by m2/dev
77MDYGBHD7 77MDYGBHD7
| URI | m2://inv/77MDYGBHD7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06544#O6VY (statement). In VCRB27RMN6/e1, lemma 12.2
History
- 2026-10-29: add by m2/v0.4.10
77MFF9753K 77MFF9753K
| URI | m2://inv/77MFF9753K |
|---|---|
| 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 2602.07485#GOEJ (statement). In 8KAC1E81JQ/e1, theorem 7
History
- 2026-10-27: add by m2/v0.3.5
Category of groupoids 77MHZEVWBV
| URI | m2://inv/77MHZEVWBV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Groupoid#ZTOU, Category of groupoids (unknown)
History
- 2026-11-02: add by m2/dev
77MJJXNPEH 77MJJXNPEH
| URI | m2://inv/77MJJXNPEH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#RXGE (statement). In B9EX6K51RD/e1, proposition 2.17
History
- 2026-10-28: add by m2/v0.4.2
77MJY4614T 77MJY4614T
| URI | m2://inv/77MJY4614T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11800#5B0A (statement). In 8TSZ2E32K3/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.3
inter-universal Teichmüller theory 77MVWW9EWS
| URI | m2://inv/77MVWW9EWS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q19597596, inter-universal Teichmüller theory (unknown). Also nLab inter-universal Teichmüller theory
- wikipedia: Wikipedia Inter-universal Teichmüller theory, Inter-universal Teichmüller theory (definition). Also Wikidata Q19597596
History
- 2026-10-26: add by m2/dev
biproduct 77MWGAT2F6
| URI | m2://inv/77MWGAT2F6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Biproduct BZEJKTQ76T |
Mentions
- wikidata: Wikidata Q4915506, biproduct (unknown). Also nLab biproduct
- wikipedia: Wikipedia Biproduct, Biproduct (definition). Also Wikidata Q4915506
History
- 2026-10-26: add by m2/dev
77MWRHTFHX 77MWRHTFHX
| URI | m2://inv/77MWRHTFHX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#3RPA (statement). In V97F4YZ8B0/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
77MZQ2DWW3 77MZQ2DWW3
| URI | m2://inv/77MZQ2DWW3 |
|---|---|
| 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.37589#JK12 (statement). In 18HVB2SKW1/e1, theorem 2.4
History
- 2026-10-30: add by m2/v0.4.12
Poynting's theorem 77N2S8YN65
| URI | m2://inv/77N2S8YN65 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#1J4D, Poynting's theorem (statement)
History
- 2026-11-02: add by m2/dev
77N8MXVVZ1 77N8MXVVZ1
| URI | m2://inv/77N8MXVVZ1 |
|---|---|
| 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.21472#KFBN (statement)
History
- 2026-11-02: add by m2/v0.6.18
77NFEC7SSF 77NFEC7SSF
| URI | m2://inv/77NFEC7SSF |
|---|---|
| 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:deriv (statement). In PKGMM3P5QY, prop, section 27.6
History
- 2026-11-01: add by m2/v0.6.13
77NJ7GA1T6 77NJ7GA1T6
| URI | m2://inv/77NJ7GA1T6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-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.04314#Q4GK (statement). In AKWTE0M6PE/e1, proposition 14
History
- 2026-10-29: add by m2/v0.4.12
77NRBVGGPS 77NRBVGGPS
| URI | m2://inv/77NRBVGGPS |
|---|---|
| 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.12912#KNK9 (statement). In PDKBKKJ4BV/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.2
77NRMAZFAK 77NRMAZFAK
| URI | m2://inv/77NRMAZFAK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9807180#V718 (statement). In VR3766BVE5/e1, proposition 2.9
History
- 2026-10-27: add by m2/v0.3.5
77NW594DC4 77NW594DC4
| URI | m2://inv/77NW594DC4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34295#35W3 (statement). In A93R925Z24/e1, corollary 8.2
History
- 2026-10-30: add by m2/v0.4.12
triangularization 77NWAD65ZK
| URI | m2://inv/77NWAD65ZK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Structure theory of endomorphisms > triangularization, triangularization (unknown)
History
- 2026-10-26: add by m2/dev
77P3GBSNWE 77P3GBSNWE
| URI | m2://inv/77P3GBSNWE |
|---|---|
| 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.37208#IWZ1 (statement). In 7MCBCP4T0B/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
commutator subgroup 77P5RV0524
| URI | m2://inv/77P5RV0524 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 8847) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#D09X, commutator subgroup (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
77P7HJ4BN4 77P7HJ4BN4
| URI | m2://inv/77P7HJ4BN4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.27103#AVJ5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
77P7Y9CK4Y 77P7Y9CK4Y
| URI | m2://inv/77P7Y9CK4Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02961#35U7 (statement). In 986DENWM1D/e1, theorem 3.8
History
- 2026-10-29: add by m2/v0.4.12
Michael Burry 77Q1GCXDXB
| URI | m2://inv/77Q1GCXDXB |
|---|---|
| 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#1R80, Michael Burry (unknown)
History
- 2026-11-02: add by m2/dev
77Q1JEJBGQ 77Q1JEJBGQ
| URI | m2://inv/77Q1JEJBGQ |
|---|---|
| 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#2JWV (statement). In K3WJ6ZN184/e1, lemma A.10
History
- 2026-10-27: add by m2/v0.3.5
77Q2X3R4RP 77Q2X3R4RP
| URI | m2://inv/77Q2X3R4RP |
|---|---|
| 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.18600#X69A (statement). In 31D6TQVCNZ/e1, theorem 1.9
History
- 2026-10-28: add by m2/v0.4.2
Nihilist cipher 77Q8EPWDQD
| URI | m2://inv/77Q8EPWDQD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nihilist cipher, Nihilist cipher (definition). Also Wikidata Q1771226
History
- 2026-11-02: add by m2/dev
Beckman–Quarles theorem 77QEGFD8B6
| URI | m2://inv/77QEGFD8B6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2226606, Beckman–Quarles theorem (statement). Also Wikidata Q2226606
- thousand_plus: thousand_plus Q2226606, Beckman–Quarles theorem (statement). Also Wikidata Q2226606, Wikipedia Beckman–Quarles theorem
- wikipedia: Wikipedia Beckman–Quarles theorem, Beckman–Quarles theorem (statement). Also Wikidata Q2226606
History
- 2026-10-26: add by m2/dev
77QF13FZGA 77QF13FZGA
| URI | m2://inv/77QF13FZGA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 1012.0963#BAE7 (statement). In TSA766V8F8/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
Linear least squares 77QJFNGRW5
| URI | m2://inv/77QJFNGRW5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear least squares, Linear least squares (definition). Also Wikidata Q6553462
History
- 2026-11-02: add by m2/dev
POPCNT 77QJRWS0H7
| URI | m2://inv/77QJRWS0H7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SSE4#RE9J, POPCNT (unknown)
History
- 2026-11-02: add by m2/dev
Ineffable cardinal 77QMCA6K6V
| URI | m2://inv/77QMCA6K6V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ineffable cardinal, Ineffable cardinal (definition). Also Wikidata Q6028353
History
- 2026-11-02: add by m2/dev
structuralism 77QVN780Z0
| URI | m2://inv/77QVN780Z0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q179168, structuralism (unknown). Also nLab structuralism
History
- 2026-10-26: add by m2/dev
Rarefaction wave 77QWK1BSG8
| URI | m2://inv/77QWK1BSG8 |
|---|---|
| Kind | example |
| 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 2604.11825#XXJ0, Rarefaction wave (example). In 6H76S52BG7/e1, example A.1
History
- 2026-10-27: add by m2/v0.4.0
Examples 77QZMRT2SJ
| URI | m2://inv/77QZMRT2SJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exterior derivative#72BD, Examples (example)
History
- 2026-11-02: add by m2/dev
Contraction of a tensor 77R6FR9H6F
| URI | m2://inv/77R6FR9H6F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of tensor theory#IO9Z, Contraction of a tensor (definition)
History
- 2026-11-02: add by m2/dev
77RHYW3SQ2 77RHYW3SQ2
| URI | m2://inv/77RHYW3SQ2 |
|---|---|
| Kind | definition |
| 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.21403#7BLL (definition)
History
- 2026-11-02: add by m2/v0.6.18
Spearman–Brown prediction formula 77RJXKDNWJ
| URI | m2://inv/77RJXKDNWJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spearman–Brown prediction formula, Spearman–Brown prediction formula (statement). Also Wikidata Q1518773
History
- 2026-11-02: add by m2/dev
Claude Fable 5 77RMXZ67HP
| URI | m2://inv/77RMXZ67HP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#0QM8, Claude Fable 5 (unknown)
History
- 2026-11-02: add by m2/dev
77RNYPYFVF 77RNYPYFVF
| URI | m2://inv/77RNYPYFVF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.01073#O92P (definition). In W4TYN4PGE8/e1, definition 2.17
History
- 2026-10-27: add by m2/v0.3.5
Exceptional divisor 77RXG7VADT
| URI | m2://inv/77RXG7VADT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exceptional divisor, Exceptional divisor (definition). Also Wikidata Q5419508
History
- 2026-11-02: add by m2/dev
Empty clause 77RXX5028B
| URI | m2://inv/77RXX5028B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clause (logic)#7S5L, Empty clause (unknown)
History
- 2026-11-02: add by m2/dev
77S2CX3QSH 77S2CX3QSH
| URI | m2://inv/77S2CX3QSH |
|---|---|
| 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 2209.00108#5F2T (statement). In V2G422ZMPW/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.5
Luigi Amerio 77SAJZH1XB
| URI | m2://inv/77SAJZH1XB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luigi Amerio, Luigi Amerio (topic). Also Wikidata Q3839261
History
- 2026-11-02: add by m2/dev
Juan Martín Maldacena 77SC14SWXW
| URI | m2://inv/77SC14SWXW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#7EZ8, Juan Martín Maldacena (unknown)
History
- 2026-11-02: add by m2/dev
77SDHPS4EZ 77SDHPS4EZ
| URI | m2://inv/77SDHPS4EZ |
|---|---|
| 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.10773#YP74 (statement). In 744Y8ZPEV7/e1, proposition 3.6
History
- 2026-10-28: add by m2/v0.4.3
Examples 77SFS6BCAT
| URI | m2://inv/77SFS6BCAT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple extension#S57G, Examples (example)
History
- 2026-11-02: add by m2/dev
Foot, David 77SMPVPX66
| URI | m2://inv/77SMPVPX66 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#BS81, Foot, David (unknown)
History
- 2026-11-02: add by m2/dev
Géza Fodor 77SSZRMA85
| URI | m2://inv/77SSZRMA85 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Géza Fodor (mathematician), Géza Fodor (topic). Also Wikidata Q661507
History
- 2026-11-02: add by m2/dev
Bound on the unknotting number 77SZHF2XBG
| URI | m2://inv/77SZHF2XBG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10206#TAFM, Bound on the unknotting number (statement). In 8TRCP1482Q/e1, corollary B.26
History
- 2026-10-29: add by m2/v0.4.10
77T0KANGJ5 77T0KANGJ5
| URI | m2://inv/77T0KANGJ5 |
|---|---|
| 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 2508.03972#J3QB (statement). In 2JD3KNKJ1P/e1, proposition 3.9
History
- 2026-10-27: add by m2/v0.3.5
77TM75NRYF 77TM75NRYF
| URI | m2://inv/77TM75NRYF |
|---|---|
| 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-ax.tex#prop:followsby (statement). In PKGMM3P5QY, prop, section 27.5
History
- 2026-11-01: add by m2/v0.6.13
Integer factorization 77V1YPP1P5
| URI | m2://inv/77V1YPP1P5 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#EGMV, Integer factorization (conjecture)
History
- 2026-11-02: add by m2/dev
Kolmogorov complexity 77V9GK4R3H
| URI | m2://inv/77V9GK4R3H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of undecidable problems#4X17, Kolmogorov complexity (definition)
History
- 2026-11-02: add by m2/dev
77VDWEBMFR 77VDWEBMFR
| URI | m2://inv/77VDWEBMFR |
|---|---|
| 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.35950#Z06L (statement). In BZN1G5W5FX/e1, corollary 3.3
History
- 2026-10-30: add by m2/v0.4.12
77VHBKRPKC 77VHBKRPKC
| URI | m2://inv/77VHBKRPKC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16123#3D3Z (statement). In 6VR4TY5BGV/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
Pietro De Martino 77VKCXW752
| URI | m2://inv/77VKCXW752 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pietro De Martino, Pietro De Martino (topic). Also Wikidata Q18945748
History
- 2026-11-02: add by m2/dev
silver 77VVNQAJM8
| URI | m2://inv/77VVNQAJM8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1090, silver (definition). Also ProofWiki Definition:Silver
History
- 2026-10-26: add by m2/dev
Mixtilinear Incircle 77VZBZ6NJT
| URI | m2://inv/77VZBZ6NJT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q55730659, Mixtilinear Incircle (unknown). Also MathWorld MixtilinearIncircles
- wikipedia: Wikipedia Mixtilinear incircles of a triangle, Mixtilinear incircles of a triangle (definition). Also Wikidata Q55730659
History
- 2026-10-26: add by m2/dev
Electronic signature 77W2Q8E2FX
| URI | m2://inv/77W2Q8E2FX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electronic signature, Electronic signature (definition). Also Wikidata Q869548
History
- 2026-11-02: add by m2/dev
77W3KAW9B6 77W3KAW9B6
| URI | m2://inv/77W3KAW9B6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#1OV1 (statement). In X38P26DK6S/e1, lemma 5.5
History
- 2026-10-27: add by m2/v0.4.0
77WK8CBZVQ 77WK8CBZVQ
| URI | m2://inv/77WK8CBZVQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28020#4P72 (statement)
History
- 2026-11-01: add by m2/v0.6.15
77WRW6R45W 77WRW6R45W
| URI | m2://inv/77WRW6R45W |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ulam's packing conjecture#7SUE (problem)
History
- 2026-11-02: add by m2/dev
InMoment 77WS9GXBGG
| URI | m2://inv/77WS9GXBGG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia InMoment, InMoment (definition). Also Wikidata Q25349079
History
- 2026-11-02: add by m2/dev
77WZE4YYJK 77WZE4YYJK
| URI | m2://inv/77WZE4YYJK |
|---|---|
| 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#AAK6 (statement). In Y8QQAH7VCF/e1, corollary 3.5
History
- 2026-10-28: add by m2/v0.4.2
Geometry of the truncated cell 77X1EDGZ8P
| URI | m2://inv/77X1EDGZ8P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06372#F94M, Geometry of the truncated cell (statement). In G3E1P350Z6/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Sunnyside 77XAXKXRY8
| URI | m2://inv/77XAXKXRY8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#UJPD, Sunnyside (unknown)
History
- 2026-11-02: add by m2/dev
lazy list 77XDKWW0H4
| URI | m2://inv/77XDKWW0H4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Data structures > List-like structures > lazy list, lazy list (unknown). Also Mathlib MLList
History
- 2026-10-26: add by m2/dev
Properties 77XKFHQJJ8
| URI | m2://inv/77XKFHQJJ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin L-function#QQKN, Properties (statement)
History
- 2026-11-02: add by m2/dev
77XN0R4NQQ 77XN0R4NQQ
| URI | m2://inv/77XN0R4NQQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-XX, 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 2605.02634#A1XB (statement). In EZ6PAF0MXH/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.3.5
Lattice configuration 77XS32XKZ2
| URI | m2://inv/77XS32XKZ2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#2Z83, Lattice configuration (definition). In WD2NCBV9F0/e1, definition 4.12
History
- 2026-10-27: add by m2/v0.3.5
Riemannian Penrose inequality 77Y8HFMKYV
| URI | m2://inv/77Y8HFMKYV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemannian Penrose inequality, Riemannian Penrose inequality (statement). Also Wikidata Q7333121
History
- 2026-11-02: add by m2/dev
77Y9SE9GBC 77Y9SE9GBC
| URI | m2://inv/77Y9SE9GBC |
|---|---|
| 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 2503.01563#D0D3 (statement). In H96Q47E9E1/e1, proposition 3.7
History
- 2026-10-27: add by m2/v0.3.5
Mann's theorem 77YBWPW16E
| URI | m2://inv/77YBWPW16E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schnirelmann density#MG8C, Mann's theorem (statement)
History
- 2026-11-02: add by m2/dev
Diaconescu 77YDP67A5C
| URI | m2://inv/77YDP67A5C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#thm:1surj_to_surj_to_pem, Diaconescu (statement). In N54F33XE07, thm, section C.1.5
History
- 2026-11-01: add by m2/v0.6.13
Slodowy correspondence 77YH2HGA7F
| URI | m2://inv/77YH2HGA7F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ADE classification#5DVN, Slodowy correspondence (unknown)
History
- 2026-11-02: add by m2/dev
Properties 77YQKS50EH
| URI | m2://inv/77YQKS50EH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krawtchouk matrices#5X5B, Properties (statement)
History
- 2026-11-02: add by m2/dev
77YWEZRF1N 77YWEZRF1N
| URI | m2://inv/77YWEZRF1N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 60-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07679#OGVH (statement). In K8JMTRS42G/e1, lemma 7.3
History
- 2026-10-29: add by m2/v0.4.10
77ZJPTV1C3 77ZJPTV1C3
| URI | m2://inv/77ZJPTV1C3 |
|---|---|
| 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.01803#TF12 (statement). In J6N4X33BME/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
77ZP6XZ3SR 77ZP6XZ3SR
| URI | m2://inv/77ZP6XZ3SR |
|---|---|
| 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.10408#W7UN (statement). In H976NYKBNT/e1, corollary 10
History
- 2026-10-29: add by m2/v0.4.10
Eckler, A. Ross Jr. 77ZRSB24SV
| URI | m2://inv/77ZRSB24SV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#XQA6, Eckler, A. Ross Jr. (unknown)
History
- 2026-11-02: add by m2/dev
William J. Firey 77ZV0M8FGX
| URI | m2://inv/77ZV0M8FGX |
|---|---|
| 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#DOKF, William J. Firey (topic)
History
- 2026-11-02: add by m2/dev