Inventory rows V4
The cards of the rows of the inventory whose ids start with V4. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
V40GJMSG89 V40GJMSG89
| URI | m2://inv/V40GJMSG89 |
|---|---|
| Kind | example |
| 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.26776#XMST (example)
History
- 2026-11-01: add by m2/v0.6.15
Algorithm V40GM5YSP4
| URI | m2://inv/V40GM5YSP4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yamartino method#JL4W, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
V40H15GGJQ V40H15GGJQ
| URI | m2://inv/V40H15GGJQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33019#HLWY (statement). In R4V2A3Z5GP/e1, theorem 2.5
History
- 2026-10-31: add by m2/v0.5.6
strong monomorphism V40NYNSNVZ
| URI | m2://inv/V40NYNSNVZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q48971638, strong monomorphism (unknown). Also nLab strong monomorphism
History
- 2026-10-26: add by m2/dev
Properties V40PXEPT4Q
| URI | m2://inv/V40PXEPT4Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross-correlation#9X85, Properties (statement)
History
- 2026-11-02: add by m2/dev
V40TAC4GHG V40TAC4GHG
| URI | m2://inv/V40TAC4GHG |
|---|---|
| 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#SXRX (statement). In 7MCBCP4T0B/e1, lemma 4.9
History
- 2026-10-30: add by m2/v0.4.12
V40V68884P V40V68884P
| URI | m2://inv/V40V68884P |
|---|---|
| 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.13613#Y9TE (statement). In 3HCT4TQ5PM/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Regular growth of moments V40VVVZ4NA
| URI | m2://inv/V40VVVZ4NA |
|---|---|
| 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.05829#7I51, Regular growth of moments (statement). In ZH9NNSEKMD/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Compactness for the localised $K_\mu$ V40WM40M08
| URI | m2://inv/V40WM40M08 |
|---|---|
| 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 2608.19483#V9N0, Compactness for the localised $K_\mu$ (statement). In M2PEDAF7AX/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.5
V40X2DC40V V40X2DC40V
| URI | m2://inv/V40X2DC40V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/functors.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 37.2
History
- 2026-11-01: add by m2/v0.6.13
Assaf Naor V40YBFNFJ3
| URI | m2://inv/V40YBFNFJ3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#90HL, Assaf Naor (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7UGT, Assaf Naor (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#B1FJ, Assaf Naor (topic)
History
- 2026-11-02: add by m2/dev
V410NTRAKW V410NTRAKW
| URI | m2://inv/V410NTRAKW |
|---|---|
| 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.29784#VWTV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dittus-Boelter equation V411HE9TF7
| URI | m2://inv/V411HE9TF7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nusselt number#NT97, Dittus-Boelter equation (unknown)
History
- 2026-11-02: add by m2/dev
V413965DBV V413965DBV
| URI | m2://inv/V413965DBV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31127#UC75 (statement). In NS3RZ26JC7/e1, lemma 4
History
- 2026-10-31: add by m2/v0.5.6
V41JDPPW2M V41JDPPW2M
| URI | m2://inv/V41JDPPW2M |
|---|---|
| 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.07828#SFXA (statement). In TWGMVT1N1G/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.10
Michał Misiurewicz V41XHPKTTQ
| URI | m2://inv/V41XHPKTTQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2T3J, Michał Misiurewicz (topic)
History
- 2026-11-02: add by m2/dev
V429B7Z7XT V429B7Z7XT
| URI | m2://inv/V429B7Z7XT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40207#J6B1 (example). In JXTG8KP95P/e1, example 8.1
History
- 2026-10-30: add by m2/v0.4.12
Yuri Gurevich V42F1KCJR2
| URI | m2://inv/V42F1KCJR2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RLF6, Yuri Gurevich (topic)
History
- 2026-11-02: add by m2/dev
Semiotic information V42K30T8XG
| URI | m2://inv/V42K30T8XG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Information theory#KOOA, Semiotic information (unknown)
History
- 2026-11-02: add by m2/dev
V42ZEVTFEB V42ZEVTFEB
| URI | m2://inv/V42ZEVTFEB |
|---|---|
| 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.10840#WTPF (statement). In JSJQEPY71E/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.3
V431BDHWZX V431BDHWZX
| URI | m2://inv/V431BDHWZX |
|---|---|
| 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.26401#ZBHN (statement)
History
- 2026-11-01: add by m2/v0.6.15
V435R4TEE6 V435R4TEE6
| URI | m2://inv/V435R4TEE6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 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 2610.21365#OZRS (statement). In FCMMB2EVAP/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.4.2
Formally catenary ring V43AWHGYFE
| URI | m2://inv/V43AWHGYFE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-unmixed ring#C7R0, Formally catenary ring (unknown)
History
- 2026-11-02: add by m2/dev
A pair outside the length-additive case V43CGQZTZ3
| URI | m2://inv/V43CGQZTZ3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12531#YN6E, A pair outside the length-additive case (example). In D6RAQZ2DSK/e1, example 3.4
History
- 2026-10-28: add by m2/v0.4.2
Generalizations V43HEW86SD
| URI | m2://inv/V43HEW86SD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markovian arrival process#PWQX, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Mittag-Leffler's theorem V43JFKY16J
| URI | m2://inv/V43JFKY16J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#2QWP, Mittag-Leffler's theorem (statement)
History
- 2026-11-02: add by m2/dev
V43N7BWBEH V43N7BWBEH
| URI | m2://inv/V43N7BWBEH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.07541#29NK (statement). In X3RFXWN6FW/e1, corollary 5.10
History
- 2026-10-27: add by m2/v0.3.6
V43Y2SHCZP V43Y2SHCZP
| URI | m2://inv/V43Y2SHCZP |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/truth-in-model.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 55.3
History
- 2026-11-01: add by m2/v0.6.13
Artinian vanishing without a simultaneous normalization V43Y5Y1KRK
| URI | m2://inv/V43Y5Y1KRK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.10828#KYVX, Artinian vanishing without a simultaneous normalization (statement). In 8PTDFHV8SQ/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.3
Wald's martingale V4427WSJ28
| URI | m2://inv/V4427WSJ28 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of stochastic processes topics#AMGM, Wald's martingale (definition)
History
- 2026-11-02: add by m2/dev
V442VHBC65 V442VHBC65
| URI | m2://inv/V442VHBC65 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2609.23884#M2KL (statement)
History
- 2026-11-02: add by m2/v0.6.17
Notation V445SXV76Y
| URI | m2://inv/V445SXV76Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Empty set#3HTM, Notation (definition)
History
- 2026-11-02: add by m2/dev
V449MZY7MZ V449MZY7MZ
| URI | m2://inv/V449MZY7MZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-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 2609.20725#Q6EQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
V456PYNM35 V456PYNM35
| URI | m2://inv/V456PYNM35 |
|---|---|
| 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.21692#CW9L (statement). In CT4N0JGDP4/e1, lemma B.3
History
- 2026-10-27: add by m2/v0.4.2
Naimark's dilation theorem V459G4NQZC
| URI | m2://inv/V459G4NQZC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Naimark's dilation theorem, Naimark's dilation theorem (statement). Also Wikidata Q6959669
History
- 2026-11-02: add by m2/dev
Totalized Stokes identity V45CD4G0FJ
| URI | m2://inv/V45CD4G0FJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#AJEZ, Totalized Stokes identity (statement)
History
- 2026-11-01: add by m2/v0.6.15
V45Y2W38CQ V45Y2W38CQ
| URI | m2://inv/V45Y2W38CQ |
|---|---|
| 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 2610.05320#1P9H (statement). In MVXZWHKEX8/e1, lemma 10.1
History
- 2026-10-29: add by m2/v0.4.10
Formulation V45YAGABPD
| URI | m2://inv/V45YAGABPD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kansa method#K2RJ, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Alfredo Noel Iusem V46RSB6SW5
| URI | m2://inv/V46RSB6SW5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfredo Noel Iusem, Alfredo Noel Iusem (topic). Also Wikidata Q19969088
History
- 2026-11-02: add by m2/dev
Supersymmetric theory of stochastic dynamics V4705CR3K6
| URI | m2://inv/V4705CR3K6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supersymmetric theory of stochastic dynamics, Supersymmetric theory of stochastic dynamics (topic). Also Wikidata Q30325015
History
- 2026-11-02: add by m2/dev
Discrete dipole approximation V47Q3RFX23
| URI | m2://inv/V47Q3RFX23 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete dipole approximation, Discrete dipole approximation (definition). Also Wikidata Q5282045
History
- 2026-11-02: add by m2/dev
Mautner's lemma V47QC0NETT
| URI | m2://inv/V47QC0NETT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#4UW9, Mautner's lemma (statement)
History
- 2026-11-02: add by m2/dev
V4878EZ5FE V4878EZ5FE
| URI | m2://inv/V4878EZ5FE |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/ch_probmeth.ptx#proof-2 (proof). In QKM9DD2H56, proof, section 11.1
History
- 2026-11-01: add by m2/v0.6.13
Fox--Wigderson V487HDH6XT
| URI | m2://inv/V487HDH6XT |
|---|---|
| Kind | conjecture |
| 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#P0O4, Fox--Wigderson (conjecture)
History
- 2026-11-02: add by m2/v0.6.18
Uses V48BQ0VCS5
| URI | m2://inv/V48BQ0VCS5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blockchain#V0YA, Uses (example)
History
- 2026-11-02: add by m2/dev
Surface group V48G3DY13E
| URI | m2://inv/V48G3DY13E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental group#M1CZ, Surface group (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations V4916GVV5T
| URI | m2://inv/V4916GVV5T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Popoviciu's inequality#J18I, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Newlander-Nirenberg theorem V491WSHW3V
| URI | m2://inv/V491WSHW3V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Almost complex manifold#0IP6, Newlander-Nirenberg theorem (unknown)
History
- 2026-11-02: add by m2/dev
Formal definition V49R5K8C4T
| URI | m2://inv/V49R5K8C4T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berge equilibrium#RXX7, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
V49SN0NCZS V49SN0NCZS
| URI | m2://inv/V49SN0NCZS |
|---|---|
| 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 2406.19866#O90I (statement). In 9F94CEQ1ZM/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
V49ZD8VH42 V49ZD8VH42
| URI | m2://inv/V49ZD8VH42 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-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.10591#JRTO (statement). In FTEA0TM35J/e1, corollary 4.8
History
- 2026-10-29: add by m2/v0.4.10
consistency V49ZMV9N5Z
| URI | m2://inv/V49ZMV9N5Z |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.4/consistency, consistency (concept). In N54F33XE07, index, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
V49ZX6E1P9 V49ZX6E1P9
| URI | m2://inv/V49ZX6E1P9 |
|---|---|
| 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.38436#SCNX (statement). In 702AF3E4AF/e1, lemma 7.1
History
- 2026-10-30: add by m2/v0.4.12
model theory V4A3CW688P
| URI | m2://inv/V4A3CW688P |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 03Cxx |
| Sources | 2 |
| Outcome | open |
| Node | Model theory HFTBG5PMXC |
Mentions
- wikidata: Wikidata Q467606, model theory (topic). Also EoM Model_theory, MathWorld ModelTheory, nLab model theory, ProofWiki Definition:Model_Theory
- wikipedia: Wikipedia Model theory, Model theory (topic). Also Wikidata Q467606
History
- 2026-10-26: add by m2/dev
Skewness V4A46B3FAD
| URI | m2://inv/V4A46B3FAD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Z2D5, Skewness (definition)
History
- 2026-11-02: add by m2/dev
Spectral theorem V4A60YB3JF
| URI | m2://inv/V4A60YB3JF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral theory of ordinary differential equations#8XIN, Spectral theorem (statement)
History
- 2026-11-02: add by m2/dev
Complete catalogue and exact SVP V4A9BFQ373
| URI | m2://inv/V4A9BFQ373 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37482#Q60J, Complete catalogue and exact SVP (statement). In 9QDRMZX8EY/e1, corollary 3
History
- 2026-10-30: add by m2/v0.4.12
Whewell equation V4ABE2JV24
| URI | m2://inv/V4ABE2JV24 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#PGGN, Whewell equation (definition)
History
- 2026-11-02: add by m2/dev
classical Gaudin model V4AE08AS0E
| URI | m2://inv/V4AE08AS0E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q116881111, classical Gaudin model (unknown). Also nLab Gaudin integrable model
- wikipedia: Wikipedia Garnier integrable system, Garnier integrable system (definition). Also Wikidata Q116881111
History
- 2026-10-26: add by m2/dev
Madsen–Weiss theorem V4AE4D0FZ0
| URI | m2://inv/V4AE4D0FZ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#R2E3, Madsen–Weiss theorem (definition)
History
- 2026-11-02: add by m2/dev
V4AXXVGHVN V4AXXVGHVN
| URI | m2://inv/V4AXXVGHVN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21960#4C7C (statement). In QX77AN49J0/e1, lemma 6.3
History
- 2026-10-27: add by m2/v0.4.2
V4AYD28JES V4AYD28JES
| URI | m2://inv/V4AYD28JES |
|---|---|
| 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.31983#WU4C (statement). In K06R03KX8Y/e1, lemma 2
History
- 2026-10-31: add by m2/v0.5.6
General definition V4B1VZKJGY
| URI | m2://inv/V4B1VZKJGY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clausen function#CAB4, General definition (definition)
History
- 2026-11-02: add by m2/dev
Descent and invertibility V4B6K6GQ4W
| URI | m2://inv/V4B6K6GQ4W |
|---|---|
| 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.19953#K70F, Descent and invertibility (statement). In CHPJWBREES/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
436 (number) V4BAKF9DDP
| URI | m2://inv/V4BAKF9DDP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#BLJ7, 436 (number) (unknown)
History
- 2026-11-02: add by m2/dev
digit sum V4BGAVG0HC
| URI | m2://inv/V4BGAVG0HC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1363568, digit sum (unknown). Also MathWorld DigitSum
- wikipedia: Wikipedia Digit sum, Digit sum (definition). Also Wikidata Q1363568
History
- 2026-10-26: add by m2/dev
V4BGQ7V5N2 V4BGQ7V5N2
| URI | m2://inv/V4BGQ7V5N2 |
|---|---|
| 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 2506.07061#DEKU (statement). In G2PA4KAGRP/e1, corollary 4.3
History
- 2026-10-27: add by m2/v0.3.6
Terminal vertices V4BHJ25ZDM
| URI | m2://inv/V4BHJ25ZDM |
|---|---|
| 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.00525#4LPP, Terminal vertices (definition). In JN34PDDXH8/e1, definition 4.1
History
- 2026-10-30: add by m2/v0.4.12
Univariate distribution V4BJ01YXRH
| URI | m2://inv/V4BJ01YXRH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KVPK, Univariate distribution (definition)
History
- 2026-11-02: add by m2/dev
Davenport V4BRZGCY58
| URI | m2://inv/V4BRZGCY58 |
|---|---|
| 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.33953#SW89, Davenport (statement). In QS8R9BEJ8N/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
V4BV5XWN9D V4BV5XWN9D
| URI | m2://inv/V4BV5XWN9D |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/cardinals/classing.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 70.2
History
- 2026-11-01: add by m2/v0.6.13
V4BVC0T1G5 V4BVC0T1G5
| URI | m2://inv/V4BVC0T1G5 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#proof-30 (proof). In N54F33XE07, proof, section 5.12
History
- 2026-11-01: add by m2/v0.6.13
Forgetting curve V4C3DE4NSJ
| URI | m2://inv/V4C3DE4NSJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#YLFS, Forgetting curve (unknown)
- wikipedia: Wikipedia List of exponential topics#UYV4, Forgetting curve (unknown)
History
- 2026-11-02: add by m2/dev
V4C4WHJ0S7 V4C4WHJ0S7
| URI | m2://inv/V4C4WHJ0S7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.14380#J94S (statement). In 2ZRQP063HP/e1, theorem 5.4
History
- 2026-10-28: add by m2/v0.4.2
Aristotle V4C7250FBR
| URI | m2://inv/V4C7250FBR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#OVNI, Aristotle (topic)
History
- 2026-11-02: add by m2/dev
V4C7BFAS0M V4C7BFAS0M
| URI | m2://inv/V4C7BFAS0M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 57-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 2111.14699#JKI2 (statement). In ES1CVGG59Y/e1, proposition 6.1
History
- 2026-10-27: add by m2/v0.3.5
V4C8A35SZC V4C8A35SZC
| URI | m2://inv/V4C8A35SZC |
|---|---|
| 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.26713#KEVG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Yoshimura buckling V4C9HDCMAM
| URI | m2://inv/V4C9HDCMAM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yoshimura buckling, Yoshimura buckling (definition). Also Wikidata Q16916941
History
- 2026-11-02: add by m2/dev
Martin-L\of V4CBZHEGJ1
| URI | m2://inv/V4CBZHEGJ1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.8/martin-l-of, Martin-L\of (concept). In N54F33XE07, index, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
V4CE491VR0 V4CE491VR0
| URI | m2://inv/V4CE491VR0 |
|---|---|
| Kind | definition |
| 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#07U1 (definition). In Z7E16PFFCP/e1, definition 3.24
History
- 2026-10-30: add by m2/v0.4.12
dodecagon V4CEDKNHCY
| URI | m2://inv/V4CEDKNHCY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q212074, dodecagon (unknown). Also MathWorld Dodecagon
- wikipedia: Wikipedia Dodecagon, Dodecagon (definition). Also Wikidata Q212074
History
- 2026-10-26: add by m2/dev
V4CHJK7D33 V4CHJK7D33
| URI | m2://inv/V4CHJK7D33 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1707.07744#4HRD (statement). In WAFGHHHJY9/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
V4CWE7HKWZ V4CWE7HKWZ
| URI | m2://inv/V4CWE7HKWZ |
|---|---|
| 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.21622#8S1E (statement). In H21X3FHNYJ/e1, corollary 7.8
History
- 2026-10-27: add by m2/v0.4.2
Jan Mikusiński V4D0QB3DJS
| URI | m2://inv/V4D0QB3DJS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RGBN, Jan Mikusiński (topic)
History
- 2026-11-02: add by m2/dev
Abraham Wald V4D1SSYGDQ
| URI | m2://inv/V4D1SSYGDQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#9RUC, Abraham Wald (topic)
History
- 2026-11-02: add by m2/dev
empty function V4D5693H98
| URI | m2://inv/V4D5693H98 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2295354, empty function (unknown). Also nLab empty function
History
- 2026-10-26: add by m2/dev
V4D734QDNK V4D734QDNK
| URI | m2://inv/V4D734QDNK |
|---|---|
| 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 2610.17737#1KKH (statement). In 8SXY7Y68HV/e1, corollary 4.5
History
- 2026-10-28: add by m2/v0.4.2
linear system V4D7HW9ZA0
| URI | m2://inv/V4D7HW9ZA0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#5NJZ, linear system (definition)
History
- 2026-11-02: add by m2/dev
radix V4DCF60E8X
| URI | m2://inv/V4DCF60E8X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q843684, radix (definition). Also MathWorld Base, ProofWiki Definition:Number_Base
- wikipedia: Wikipedia Radix, Radix (definition). Also Wikidata Q843684
History
- 2026-10-26: add by m2/dev
Surgery with metastable-seminorm error V4DKDT6YPD
| URI | m2://inv/V4DKDT6YPD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.40214#Y7J6, Surgery with metastable-seminorm error (statement). In XD603HRHKC/e1, proposition 5.2
History
- 2026-10-30: add by m2/v0.4.12
Orthogonality principle for linear estimators V4DNAZ224N
| URI | m2://inv/V4DNAZ224N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonality principle#Z5JU, Orthogonality principle for linear estimators (statement)
History
- 2026-11-02: add by m2/dev
$E_2$ refinement V4E4RBM3C5
| URI | m2://inv/V4E4RBM3C5 |
|---|---|
| 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.01035#4E7C, $E_2$ refinement (statement). In MVQWXFXWM7/e1, corollary 8.2
History
- 2026-10-29: add by m2/v0.4.12
Theorem of the highest weight V4E5BF064H
| URI | m2://inv/V4E5BF064H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weight (representation theory)#GMWO, Theorem of the highest weight (statement)
History
- 2026-11-02: add by m2/dev
nat V4EFANTFCN
| URI | m2://inv/V4EFANTFCN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q376660, nat (unknown). Also MathWorld Nat
- wikipedia: Wikipedia Nat (unit), Nat (definition). Also Wikidata Q376660
History
- 2026-10-26: add by m2/dev
OpenAI 2026+, weak inhomogeneous Duffin--Schaeffer conjecture V4EMC4R321
| URI | m2://inv/V4EMC4R321 |
|---|---|
| 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.15809#YPSK, OpenAI 2026+, weak inhomogeneous Duffin--Schaeffer conjecture (statement). In 6GBT11XKAF/e1, theorem 1.11
History
- 2026-10-28: add by m2/v0.4.2
Walter A. Shewhart V4EMC8QDA5
| URI | m2://inv/V4EMC8QDA5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walter A. Shewhart, Walter A. Shewhart (topic). Also Wikidata Q462232
History
- 2026-11-02: add by m2/dev
19293 Dedekind V4EQ3BBKDY
| URI | m2://inv/V4EQ3BBKDY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Richard Dedekind#6BDH, 19293 Dedekind (unknown)
History
- 2026-11-02: add by m2/dev
Validity V4ERRF0S6C
| URI | m2://inv/V4ERRF0S6C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/semantic-notions.tex#defn-1, Validity (definition). In PKGMM3P5QY, defn, section 19.15
History
- 2026-11-01: add by m2/v0.6.13
V4ES3CT5RK V4ES3CT5RK
| URI | m2://inv/V4ES3CT5RK |
|---|---|
| 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 2510.23812#YWIS (statement). In D8XZBXJPR5/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.3.5
Applications V4ETP8VZNS
| URI | m2://inv/V4ETP8VZNS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential algebra#HFLU, Applications (example)
History
- 2026-11-02: add by m2/dev
V4EZG6H5C3 V4EZG6H5C3
| URI | m2://inv/V4EZG6H5C3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17863#BOPG (statement). In Y8XQT02BBF/e1, lemma 2.45
History
- 2026-10-28: add by m2/v0.4.2
Examples V4F9ZSV96T
| URI | m2://inv/V4F9ZSV96T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Least fixed point#EJ96, Examples (example)
History
- 2026-11-02: add by m2/dev
V4FPNMPTSR V4FPNMPTSR
| URI | m2://inv/V4FPNMPTSR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises3-5.xml#exercise-1 (exercise). In 649HGZKE96, exercise, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
discontinuity V4G11NZXK9
| URI | m2://inv/V4G11NZXK9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#8F53, discontinuity (definition)
History
- 2026-11-02: add by m2/dev
V4GJ3RA39B V4GJ3RA39B
| URI | m2://inv/V4GJ3RA39B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.20798#UFPL (statement)
History
- 2026-11-02: add by m2/v0.6.18
Auxiliary polynomial theorem V4GKF1NR1D
| URI | m2://inv/V4GKF1NR1D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Auxiliary function#NT70, Auxiliary polynomial theorem (statement)
History
- 2026-11-02: add by m2/dev
typical ambiguity V4GN97X05H
| URI | m2://inv/V4GN97X05H |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2/typical-ambiguity, typical ambiguity (concept). In N54F33XE07, index, section B.2
History
- 2026-11-01: add by m2/v0.6.13
Sholom Aleichem V4GNBMZ70Z
| URI | m2://inv/V4GNBMZ70Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#QCD4, Sholom Aleichem (unknown)
History
- 2026-11-02: add by m2/dev
Applications V4GQDVMAWC
| URI | m2://inv/V4GQDVMAWC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collective classification#068N, Applications (example)
History
- 2026-11-02: add by m2/dev
V4GQE0QD85 V4GQE0QD85
| URI | m2://inv/V4GQE0QD85 |
|---|---|
| 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.20466#JA03 (statement). In M4ZVJWM8YA/e1, corollary 4.16
History
- 2026-10-27: add by m2/v0.4.2
V4GSXMFAP7 V4GSXMFAP7
| URI | m2://inv/V4GSXMFAP7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.28297#BGTK (statement)
History
- 2026-11-01: add by m2/v0.6.15
T/t V4GT6J4SDH
| URI | m2://inv/V4GT6J4SDH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9813, T/t (unknown). Also ProofWiki Symbols:T
History
- 2026-10-26: add by m2/dev
V4GW5Q2RBN V4GW5Q2RBN
| URI | m2://inv/V4GW5Q2RBN |
|---|---|
| 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.11823#TXSN (statement). In YNQHA63Z2B/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.3
Method V4GX0Q616Q
| URI | m2://inv/V4GX0Q616Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Granger causality#NHMH, Method (definition)
History
- 2026-11-02: add by m2/dev
Smith number V4GY1ESJVT
| URI | m2://inv/V4GY1ESJVT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1418132, Smith number (unknown). Also MathWorld SmithNumber, OEIS A006753
- wikipedia: Wikipedia Smith number, Smith number (definition). Also Wikidata Q1418132
History
- 2026-10-26: add by m2/dev
V4HFGQR8F4 V4HFGQR8F4
| URI | m2://inv/V4HFGQR8F4 |
|---|---|
| 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.36279#L09U (statement). In HX1QA0MJYV/e1, theorem 6
History
- 2026-10-30: add by m2/v0.4.12
\textbf{Mixed systems V4HN8ZR37W
| URI | m2://inv/V4HN8ZR37W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14266#4QV1, \textbf{Mixed systems (statement). In 7R33E8515R/e1, theorem 2.20
History
- 2026-10-28: add by m2/v0.4.2
V4HSJFMX9X V4HSJFMX9X
| URI | m2://inv/V4HSJFMX9X |
|---|---|
| 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.04466#M8V6 (statement). In EHW82CK883/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
MUS coverage geometry V4HXK8KSNB
| URI | m2://inv/V4HXK8KSNB |
|---|---|
| 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.10950#AG59, MUS coverage geometry (statement). In P392PEVRAY/e1, lemma 6.5
History
- 2026-10-28: add by m2/v0.4.3
Application V4JNHYP2JP
| URI | m2://inv/V4JNHYP2JP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Green's theorem#314V, Application (example)
History
- 2026-11-02: add by m2/dev
V4JQ5S3PG9 V4JQ5S3PG9
| URI | m2://inv/V4JQ5S3PG9 |
|---|---|
| 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 2610.14446#RK6J (statement). In AWRXXZR673/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
V4JQKWRHE8 V4JQKWRHE8
| URI | m2://inv/V4JQKWRHE8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/natural-deduction/sequents.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 58.3
History
- 2026-11-01: add by m2/v0.6.13
V4JTYC0D9Y V4JTYC0D9Y
| URI | m2://inv/V4JTYC0D9Y |
|---|---|
| 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#PJ88 (statement). In MJXSE9QR4X/e1, lemma A.4
History
- 2026-10-28: add by m2/v0.4.2
logic V4JV8GMNG6
| URI | m2://inv/V4JV8GMNG6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8078, logic (definition). Also MathWorld Logic, ProofWiki Definition:Logic
- wikipedia: Wikipedia Logic, Logic (topic). Also Wikidata Q8078
History
- 2026-10-26: add by m2/dev
V4JX2G5FXV V4JX2G5FXV
| URI | m2://inv/V4JX2G5FXV |
|---|---|
| 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 2501.18744#EZ67 (statement). In YRWZ02BGEF/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.3.5
Fractal V4K9RVNDGG
| URI | m2://inv/V4K9RVNDGG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#OEUH, Fractal (definition)
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#ZVL1, Fractal (definition)
History
- 2026-11-02: add by m2/dev
349 (number) V4KBRVNW1Y
| URI | m2://inv/V4KBRVNW1Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#Y9PY, 349 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Lipschitz-continuous control laws V4KD4NJEKT
| URI | m2://inv/V4KD4NJEKT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Separation principle in stochastic control#VCXN, Lipschitz-continuous control laws (statement)
History
- 2026-11-02: add by m2/dev
Chand Rattan V4M3JA44T9
| URI | m2://inv/V4M3JA44T9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#Y3AO, Chand Rattan (unknown)
History
- 2026-11-02: add by m2/dev
Kramers' theorem V4M6DHXXS0
| URI | m2://inv/V4M6DHXXS0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time-reversal symmetry#1G7T, Kramers' theorem (statement)
History
- 2026-11-02: add by m2/dev
Example V4M94EYHAV
| URI | m2://inv/V4M94EYHAV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forward secrecy#MW4W, Example (example)
History
- 2026-11-02: add by m2/dev
Rodion Kuzmin V4M9Z0CJK3
| URI | m2://inv/V4M9Z0CJK3 |
|---|---|
| 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 Q959719, Rodion Kuzmin (unknown). Also ProofWiki Mathematician:Rodion_Osievich_Kuzmin
- wikipedia: Wikipedia Rodion Kuzmin, Rodion Kuzmin (topic). Also Wikidata Q959719
History
- 2026-10-26: add by m2/dev
V4MA1W19SP V4MA1W19SP
| URI | m2://inv/V4MA1W19SP |
|---|---|
| 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 2412.12141#6W0X (statement). In V980ZMH759/e1, theorem 4.5
History
- 2026-10-27: add by m2/v0.4.0
Lindstrom, Frederick B. V4MC2C64ZH
| URI | m2://inv/V4MC2C64ZH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#YBW7, Lindstrom, Frederick B. (unknown)
History
- 2026-11-02: add by m2/dev
V4MCEVNGX3 V4MCEVNGX3
| URI | m2://inv/V4MCEVNGX3 |
|---|---|
| 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.10902#TBF4 (statement). In 96T1K6C3NZ/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.3
V4ME9S1GSY V4ME9S1GSY
| URI | m2://inv/V4ME9S1GSY |
|---|---|
| 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 2308.05715#9M6W (statement). In FC0SB9JFWH/e1, lemma 5.16
History
- 2026-10-27: add by m2/v0.3.5
Bayes optimality of weak Schur sampling V4MHV6RJSR
| URI | m2://inv/V4MHV6RJSR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.29348#XJYR, Bayes optimality of weak Schur sampling (statement)
History
- 2026-11-01: add by m2/v0.6.15
Chandrashekhar Khare V4MJ5N6Z6M
| URI | m2://inv/V4MJ5N6Z6M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BYOL, Chandrashekhar Khare (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9U2T, Chandrashekhar Khare (topic)
History
- 2026-11-02: add by m2/dev
Daniele Cassani V4MK4EFFWD
| URI | m2://inv/V4MK4EFFWD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniele Cassani, Daniele Cassani (topic). Also Wikidata Q57872607
History
- 2026-11-02: add by m2/dev
Corollary V4MPM3TGNA
| URI | m2://inv/V4MPM3TGNA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuglede's theorem#VVUX, Corollary (statement)
History
- 2026-11-02: add by m2/dev
V4MQCAFX08 V4MQCAFX08
| URI | m2://inv/V4MQCAFX08 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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 2610.19791#K9A8 (statement). In AVDB4KJ6XB/e1, proposition 5.9
History
- 2026-10-28: add by m2/v0.4.2
Tall Story V4MVVDYY2Y
| URI | m2://inv/V4MVVDYY2Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of films about mathematicians#66W6, Tall Story (unknown)
History
- 2026-11-02: add by m2/dev
Generalized Tobit V4MXW442V1
| URI | m2://inv/V4MXW442V1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tobit model#7E1Z, Generalized Tobit (unknown)
History
- 2026-11-02: add by m2/dev
V4N0D0P5QZ V4N0D0P5QZ
| URI | m2://inv/V4N0D0P5QZ |
|---|---|
| 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 1204.1664#8RSC (statement). In 66ERDN7YHW/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
V4N69PV6EK V4N69PV6EK
| URI | m2://inv/V4N69PV6EK |
|---|---|
| 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 1009.3308#TB2B (statement). In KGBKNQB52Z/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Project NExT V4N6WHW1RZ
| URI | m2://inv/V4N6WHW1RZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Project NExT, Project NExT (definition). Also Wikidata Q7249218
History
- 2026-11-02: add by m2/dev
Singular distribution V4N9PD6ZXH
| URI | m2://inv/V4N9PD6ZXH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singular distribution, Singular distribution (definition). Also Wikidata Q3711805
History
- 2026-11-02: add by m2/dev
O'Nan group V4NFNBFGRP
| URI | m2://inv/V4NFNBFGRP |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3117692, O'Nan group (unknown). Also MathWorld ONanGroup
- wikipedia: Wikipedia O'Nan group, O'Nan group (object). Also Wikidata Q3117692
History
- 2026-10-26: add by m2/dev
V4NGZ742PD V4NGZ742PD
| URI | m2://inv/V4NGZ742PD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01346#UMD6 (statement). In 44DQ7W1NW9/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
V4NHP0ZFJ9 V4NHP0ZFJ9
| URI | m2://inv/V4NHP0ZFJ9 |
|---|---|
| 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 2403.02207#EVUN (statement). In 1T3ZYPQZF0/e1, proposition 2.10
History
- 2026-10-27: add by m2/v0.3.6
V4NWYBKG3S V4NWYBKG3S
| URI | m2://inv/V4NWYBKG3S |
|---|---|
| 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 2610.04730#8N3Z (statement). In QHFP0837Q8/e1, lemma 5.13
History
- 2026-10-29: add by m2/v0.4.12
Example V4NYW71X4N
| URI | m2://inv/V4NYW71X4N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph dynamical system#790K, Example (example)
History
- 2026-11-02: add by m2/dev
V4PM4V8651 V4PM4V8651
| URI | m2://inv/V4PM4V8651 |
|---|---|
| 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#BAMP (statement). In ZJQB9W60T6/e1, lemma 3.9
History
- 2026-10-28: add by m2/v0.4.2
Psychometric software V4PPFK2RBZ
| URI | m2://inv/V4PPFK2RBZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Psychometric software, Psychometric software (definition). Also Wikidata Q7256434
History
- 2026-11-02: add by m2/dev
Definition V4PR4N8HTD
| URI | m2://inv/V4PR4N8HTD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MaxDDBS#1E9Z, Definition (definition)
History
- 2026-11-02: add by m2/dev
V4PS0M8PWC V4PS0M8PWC
| URI | m2://inv/V4PS0M8PWC |
|---|---|
| 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.28489#7F6U (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definitions V4PSEVR3Q5
| URI | m2://inv/V4PSEVR3Q5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Viscosity#MX1R, Definitions (definition)
History
- 2026-11-02: add by m2/dev
fundamental solution of the Laplacian V4PV6D5GNZ
| URI | m2://inv/V4PV6D5GNZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Applications > fundamental solution of the Laplacian, fundamental solution of the Laplacian (unknown)
History
- 2026-10-26: add by m2/dev
V4PWG90X3F V4PWG90X3F
| URI | m2://inv/V4PWG90X3F |
|---|---|
| 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.15720#QLQU (statement). In VNN52G3BRE/e1, lemma B.1
History
- 2026-10-28: add by m2/v0.4.2
Symplectic structure V4PX51JAPM
| URI | m2://inv/V4PX51JAPM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#L823, Symplectic structure (topic)
History
- 2026-11-02: add by m2/dev
V4Q4SS7TAA V4Q4SS7TAA
| URI | m2://inv/V4Q4SS7TAA |
|---|---|
| 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 2609.26410#QNJG (statement)
History
- 2026-11-01: add by m2/v0.6.15
List of limits V4QBF6534J
| URI | m2://inv/V4QBF6534J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of limits, List of limits (topic). Also Wikidata Q1022111
History
- 2026-11-02: add by m2/dev
Complex differential geometry V4QKBABS76
| URI | m2://inv/V4QKBABS76 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#T2Z2, Complex differential geometry (definition)
History
- 2026-11-02: add by m2/dev
V4QR56JNJF V4QR56JNJF
| URI | m2://inv/V4QR56JNJF |
|---|---|
| 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#RP6W (statement). In 6X76XBE3HV/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.5
General definition V4QRMP5RC5
| URI | m2://inv/V4QRMP5RC5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minor (linear algebra)#YJXR, General definition (definition)
History
- 2026-11-02: add by m2/dev
V4QVJZN9RJ V4QVJZN9RJ
| URI | m2://inv/V4QVJZN9RJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2411.16022#X3XP (statement). In QG9ATXTKJ6/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.5
V4QZDBJ7SK V4QZDBJ7SK
| URI | m2://inv/V4QZDBJ7SK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20678#322F (statement)
History
- 2026-11-02: add by m2/v0.6.18
Kronecker product V4R9DR3R6F
| URI | m2://inv/V4R9DR3R6F |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Kronecker product 0JK6M18QZH |
Mentions
- wikidata: Wikidata Q1238125, Kronecker product (concept). Also MathWorld KroneckerProduct
- wikipedia: Wikipedia Kronecker product, Kronecker product (definition). Also Wikidata Q1238125
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
V4RAZVVRQJ V4RAZVVRQJ
| URI | m2://inv/V4RAZVVRQJ |
|---|---|
| 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.03754#PI3C (statement). In J1Z9P0H13V/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.12
Hans Hefer V4RJEKMZRT
| URI | m2://inv/V4RJEKMZRT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans Hefer, Hans Hefer (topic). Also Wikidata Q102355726
History
- 2026-11-02: add by m2/dev
Manifolds of lightly compressible periodic waves V4RMDKZB7V
| URI | m2://inv/V4RMDKZB7V |
|---|---|
| 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.01883#T5UD, Manifolds of lightly compressible periodic waves (statement). In CYV4P9TDV0/e1, corollary 3.4
History
- 2026-10-29: add by m2/v0.4.12
V4RZ83NPBB V4RZ83NPBB
| URI | m2://inv/V4RZ83NPBB |
|---|---|
| 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.28507#Z7BX (statement)
History
- 2026-11-01: add by m2/v0.6.15
V4RZRXQDCK V4RZRXQDCK
| URI | m2://inv/V4RZRXQDCK |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#proof-26 (proof). In N54F33XE07, proof, section 1.7
History
- 2026-11-01: add by m2/v0.6.13
Definition V4S20F8Q6E
| URI | m2://inv/V4S20F8Q6E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite broom#ZST1, Definition (definition)
History
- 2026-11-02: add by m2/dev
F-distribution V4S2G99E4Y
| URI | m2://inv/V4S2G99E4Y |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | F-distribution PBT8VRJADK |
Mentions
- wikidata: Wikidata Q177144, F-distribution (concept). Also EoM Fisher-F-distribution, MathWorld SnedecorsF-Distribution
- wikipedia: Wikipedia F-distribution, F-distribution (definition). Also Wikidata Q177144
History
- 2026-10-26: add by m2/dev
vector subtraction V4SANWQ8YD
| URI | m2://inv/V4SANWQ8YD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q117442307, vector subtraction (unknown). Also MathWorld VectorSubtraction
History
- 2026-10-26: add by m2/dev
V4SCFQPRJ7 V4SCFQPRJ7
| URI | m2://inv/V4SCFQPRJ7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.23797#EM7Q (definition). In PZCA01JXVR/e1, definition 5.8
History
- 2026-10-27: add by m2/v0.3.5
V4T6QE10N0 V4T6QE10N0
| URI | m2://inv/V4T6QE10N0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12357#AO5I (statement). In 1F26AF81XP/e1, theorem 7.2
History
- 2026-10-28: add by m2/v0.4.2
Example V4T7M65TDW
| URI | m2://inv/V4T7M65TDW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mohr's circle#9RTP, Example (example)
History
- 2026-11-02: add by m2/dev
V4TH3VAA6M V4TH3VAA6M
| URI | m2://inv/V4TH3VAA6M |
|---|---|
| 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#MX1V (statement). In 8KAC1E81JQ/e1, theorem 17
History
- 2026-10-27: add by m2/v0.3.5
V4THSW9P9P V4THSW9P9P
| URI | m2://inv/V4THSW9P9P |
|---|---|
| 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#ZN36 (statement). In RK0ZMDJ23T/e1, lemma 4.2.2
History
- 2026-10-31: add by m2/v0.5.6
negative pedal curve V4TWZ95AMF
| URI | m2://inv/V4TWZ95AMF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4067113, negative pedal curve (unknown). Also MathWorld NegativePedalCurve
- wikipedia: Wikipedia Negative pedal curve, Negative pedal curve (definition). Also Wikidata Q4067113
History
- 2026-10-26: add by m2/dev
Tautological consequence V4V08TW68N
| URI | m2://inv/V4V08TW68N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tautological consequence, Tautological consequence (definition). Also Wikidata Q7688961
History
- 2026-11-02: add by m2/dev
GNU.FREE V4V4TVSV52
| URI | m2://inv/V4V4TVSV52 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GNU.FREE, GNU.FREE (definition). Also Wikidata Q5514017
History
- 2026-11-02: add by m2/dev
Equivalence of channels V4V87FJ3D7
| URI | m2://inv/V4V87FJ3D7 |
|---|---|
| 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 1803.10042#K0TD, Equivalence of channels (definition). In 718SP8YERQ/e1, definition A1
History
- 2026-10-27: add by m2/v0.3.5
V4V8C5Z7WA V4V8C5Z7WA
| URI | m2://inv/V4V8C5Z7WA |
|---|---|
| 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.06441#I9VN (statement). In YFJ62HWHVK/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.10
Salamin–Brent algorithm V4V99EHPVN
| URI | m2://inv/V4V99EHPVN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics related to π#EFN2, Salamin–Brent algorithm (definition)
History
- 2026-11-02: add by m2/dev
E. F. Lindquist V4VAWGTCQB
| URI | m2://inv/V4VAWGTCQB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#EB1H, E. F. Lindquist (unknown)
History
- 2026-11-02: add by m2/dev
V4VB5PHCCW V4VB5PHCCW
| URI | m2://inv/V4VB5PHCCW |
|---|---|
| Kind | proof |
| 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#proof-2 (proof). In PKGMM3P5QY, proof, section 50.16
History
- 2026-11-01: add by m2/v0.6.13
Unit disc V4VSK4X063
| URI | m2://inv/V4VSK4X063 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier analysis topics#6TKG, Unit disc (definition)
History
- 2026-11-02: add by m2/dev
V4VY0Z4KZQ V4VY0Z4KZQ
| URI | m2://inv/V4VY0Z4KZQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20860#1YM8 (definition)
History
- 2026-11-02: add by m2/v0.6.18
V4VYYHDR48 V4VYYHDR48
| URI | m2://inv/V4VYYHDR48 |
|---|---|
| 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.28961#XS30 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sine V4VZCPCD4M
| URI | m2://inv/V4VZCPCD4M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#JKWY, Sine (definition)
History
- 2026-11-02: add by m2/dev
V4W4C5C8WJ V4W4C5C8WJ
| URI | m2://inv/V4W4C5C8WJ |
|---|---|
| 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 2510.12502#E4A5 (statement). In 3A4K47Y9F2/e1, lemma 3.34
History
- 2026-10-27: add by m2/v0.4.0
V4W6DEX4X4 V4W6DEX4X4
| URI | m2://inv/V4W6DEX4X4 |
|---|---|
| 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.04809#8EIB (statement). In 2VHV0RNTNV/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.12
V4WC2G95HJ V4WC2G95HJ
| URI | m2://inv/V4WC2G95HJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13532#JUFL (definition). In 9B0X8YPF3P/e1, definition 9.2
History
- 2026-10-28: add by m2/v0.4.2
V4WC592P4B V4WC592P4B
| URI | m2://inv/V4WC592P4B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25449#CXYC (definition). In 9JHMTYGWFQ/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.3.6
maximum modulus principle V4WK0FZ9KV
| URI | m2://inv/V4WK0FZ9KV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Complex analysis > maximum modulus principle, maximum modulus principle (unknown). Also Mathlib Complex.eventually_eq_of_isLocalMax_norm
- mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > maximum principle, maximum principle (unknown). Also Mathlib Complex.eventually_eq_of_isLocalMax_norm
History
- 2026-10-26: add by m2/dev
Clustering V4WQHAFVWP
| URI | m2://inv/V4WQHAFVWP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clustering (demographics), Clustering (definition). Also Wikidata Q5136710
History
- 2026-11-02: add by m2/dev
V4WR72DF8B V4WR72DF8B
| URI | m2://inv/V4WR72DF8B |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cohomology.tex#proof-3 (proof). In RZP28ERRZV, proof, section 51.6
History
- 2026-11-01: add by m2/v0.6.13
affinity V4WS2MYBAZ
| URI | m2://inv/V4WS2MYBAZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#RLDF, affinity (definition)
History
- 2026-11-02: add by m2/dev
Statement V4WSB0WAC2
| URI | m2://inv/V4WSB0WAC2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bondy's theorem#0BNG, Statement (statement)
History
- 2026-11-02: add by m2/dev
V4WT6352ME V4WT6352ME
| URI | m2://inv/V4WT6352ME |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-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.09422#K6W7 (statement). In MS7M2BJS9X/e1, lemma 7.12
History
- 2026-10-29: add by m2/v0.4.10
V4WVV3QMER V4WVV3QMER
| URI | m2://inv/V4WVV3QMER |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05391#5U8D (definition). In 9B5TNEBJHV/e1, definition 4.2
History
- 2026-10-29: add by m2/v0.4.10
710 (number) V4WX7ANJMH
| URI | m2://inv/V4WX7ANJMH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#5SRG, 710 (number) (unknown)
History
- 2026-11-02: add by m2/dev
V4X8MHD0AT V4X8MHD0AT
| URI | m2://inv/V4X8MHD0AT |
|---|---|
| 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 2204.01073#XWFA (statement). In W4TYN4PGE8/e1, lemma 2.43
History
- 2026-10-27: add by m2/v0.3.5
Farkas' lemma V4XHB02P25
| URI | m2://inv/V4XHB02P25 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Farkas' lemma, Farkas' lemma (statement). Also Wikidata Q606254
History
- 2026-11-02: add by m2/dev
V4XRPFC4A6 V4XRPFC4A6
| URI | m2://inv/V4XRPFC4A6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31331#JFXW (statement). In TWB64HRHWZ/e1, theorem 3
History
- 2026-10-31: add by m2/v0.5.6
Kleene's recursion theorem V4XWHVTZV5
| URI | m2://inv/V4XWHVTZV5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 4 |
| Outcome | open |
| Node | Kleene's recursion theorem F3Z30M606H |
Mentions
- mathlib_1000: mathlib_1000 Q1933521, Kleene's recursion theorem (statement). Also Mathlib Nat.Partrec.Code.fixed_point₂, Wikidata Q1933521
- thousand_plus: thousand_plus Q1933521, Kleene's recursion theorem (statement). Also Mathlib Nat.Partrec.Code.fixed_point₂, Wikidata Q1933521, Wikipedia Kleene's recursion theorem
- wikidata: Wikidata Q1933521, Kleene's recursion theorem (statement). Also MathWorld KleenesRecursionTheorem
- wikipedia: Wikipedia Kleene's recursion theorem, Kleene's recursion theorem (statement). Also Wikidata Q1933521
History
- 2026-10-26: add by m2/dev
Peregrina Quintela Estévez V4XZ5SVSFT
| URI | m2://inv/V4XZ5SVSFT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peregrina Quintela Estévez, Peregrina Quintela Estévez (topic). Also Wikidata Q63254138
History
- 2026-11-02: add by m2/dev
Exponentially large memory time for $Z$ errors in open-boundary helical HGP codes V4Y6VW5MJC
| URI | m2://inv/V4Y6VW5MJC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-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.04834#TQ4Z, Exponentially large memory time for $Z$ errors in open-boundary helical HGP codes (statement). In YZNK67K060/e1, proposition 8.6
History
- 2026-10-29: add by m2/v0.4.12
myriagon V4Y92P82N8
| URI | m2://inv/V4Y92P82N8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1897973, myriagon (unknown). Also MathWorld Myriagon
- wikipedia: Wikipedia Myriagon, Myriagon (definition). Also Wikidata Q1897973
History
- 2026-10-26: add by m2/dev
Walsh function V4YFRK89FY
| URI | m2://inv/V4YFRK89FY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Walsh function F12A5QKW8Z |
Mentions
- wikidata: Wikidata Q1934233, Walsh function (concept). Also MathWorld WalshFunction
- wikipedia: Wikipedia Walsh function, Walsh function (definition). Also Wikidata Q1934233
History
- 2026-10-26: add by m2/dev
Applications V4YFYES4FS
| URI | m2://inv/V4YFYES4FS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group with operators#15I1, Applications (example)
History
- 2026-11-02: add by m2/dev
Equality in the second Minkowski inequality V4YGQBDS43
| URI | m2://inv/V4YGQBDS43 |
|---|---|
| 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#4QAV, Equality in the second Minkowski inequality (statement)
History
- 2026-11-02: add by m2/v0.6.18
cubic equation V4YRGTGRC4
| URI | m2://inv/V4YRGTGRC4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 12-XX |
| Sources | 5 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 37, The Solution of a Cubic (statement). Also Mathlib Theorems100.cubic_eq_zero_iff
- mathlib_1000: mathlib_1000 Q203565, Solutions of a general cubic equation (statement). Also Mathlib Theorems100.cubic_eq_zero_iff, Wikidata Q203565
- thousand_plus: thousand_plus Q203565, Solutions of a general cubic equation (statement). Also Mathlib Theorems100.cubic_eq_zero_iff, Wikidata Q203565, Wikipedia Cubic equation
- wikidata: Wikidata Q203565, cubic equation (definition). Also EoM Cubic_equation, MathWorld CubicFormula, ProofWiki Definition:Cubic_Equation
- wikipedia: Wikipedia Cubic equation, Cubic equation (definition). Also Wikidata Q203565
History
- 2026-10-26: add by m2/dev
V4YYAAXK2T V4YYAAXK2T
| URI | m2://inv/V4YYAAXK2T |
|---|---|
| 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#E7EB (statement). In B366ACYB37/e1, corollary 3.15
History
- 2026-10-27: add by m2/v0.3.5
Peter Hilton V4Z23FF651
| URI | m2://inv/V4Z23FF651 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QFFV, Peter Hilton (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TREE, Peter Hilton (topic)
History
- 2026-11-02: add by m2/dev
V4Z2F5Q5YG V4Z2F5Q5YG
| URI | m2://inv/V4Z2F5Q5YG |
|---|---|
| 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.20206#81EF (statement)
History
- 2026-11-02: add by m2/v0.6.18
Forced two-dimensional Leray--Hopf solution V4Z30CZYEY
| URI | m2://inv/V4Z30CZYEY |
|---|---|
| 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.33033#G7KL, Forced two-dimensional Leray--Hopf solution (statement). In AJWBAHJ8VD/e1, theorem 2.3
History
- 2026-10-31: add by m2/v0.5.6
Applications V4Z36XWS7T
| URI | m2://inv/V4Z36XWS7T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring of modular forms#B5AS, Applications (example)
History
- 2026-11-02: add by m2/dev
V4Z3MXVA4M V4Z3MXVA4M
| URI | m2://inv/V4Z3MXVA4M |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20860#FGUZ (example)
History
- 2026-11-02: add by m2/v0.6.18
Schreier refinement theorem V4ZB93MSX9
| URI | m2://inv/V4ZB93MSX9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7432872, Schreier refinement theorem (statement). Also Wikidata Q7432872
- thousand_plus: thousand_plus Q7432872, Schreier refinement theorem (statement). Also Wikidata Q7432872, Wikipedia Schreier refinement theorem
- wikipedia: Wikipedia Schreier refinement theorem, Schreier refinement theorem (statement). Also Wikidata Q7432872
History
- 2026-10-26: add by m2/dev
Definition V4ZDDG6CS4
| URI | m2://inv/V4ZDDG6CS4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function of several complex variables#1F73, Definition (definition)
History
- 2026-11-02: add by m2/dev
V4ZFJF3J0B V4ZFJF3J0B
| URI | m2://inv/V4ZFJF3J0B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#XJJ3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Joan Staniswalis V4ZG3X21CP
| URI | m2://inv/V4ZG3X21CP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#B0QZ, Joan Staniswalis (topic)
History
- 2026-11-02: add by m2/dev
Ernst Mayr V4ZJF8G7VF
| URI | m2://inv/V4ZJF8G7VF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#7X16, Ernst Mayr (unknown)
History
- 2026-11-02: add by m2/dev
V4ZJXZSX26 V4ZJXZSX26
| URI | m2://inv/V4ZJXZSX26 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#52YB (statement). In WRE0P7V6Z3/e1, theorem 1.9
History
- 2026-10-30: add by m2/v0.4.12
Minimal realization V4ZQ08QCGB
| URI | m2://inv/V4ZQ08QCGB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimal realization, Minimal realization (definition). Also Wikidata Q770324
History
- 2026-11-02: add by m2/dev
V4ZTRHTFEA V4ZTRHTFEA
| URI | m2://inv/V4ZTRHTFEA |
|---|---|
| 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.13931#W3ST (statement). In EXA79VR78Q/e1, theorem 2.6
History
- 2026-10-28: add by m2/v0.4.2