Inventory rows Y9
The cards of the rows of the inventory whose ids start with Y9. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Nilpotent extension Y902VJGSWW
| URI | m2://inv/Y902VJGSWW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebra extension#XXTN, Nilpotent extension (unknown)
History
- 2026-11-02: add by m2/dev
Parametric amplifier Y90B8E0WFQ
| URI | m2://inv/Y90B8E0WFQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parametric oscillator#TKP4, Parametric amplifier (unknown)
History
- 2026-11-02: add by m2/dev
cogredient Y90M2AB6T7
| URI | m2://inv/Y90M2AB6T7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#7O7U, cogredient (definition)
History
- 2026-11-02: add by m2/dev
Y90QMBPFP6 Y90QMBPFP6
| URI | m2://inv/Y90QMBPFP6 |
|---|---|
| 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 2103.12669#2U0U (statement). In ZA6XNBA90V/e1, proposition 1.3
History
- 2026-10-27: add by m2/v0.3.5
Goursat's theorem and its generalizations Y90TJYWRWK
| URI | m2://inv/Y90TJYWRWK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy–Riemann equations#7PYE, Goursat's theorem and its generalizations (statement)
History
- 2026-11-02: add by m2/dev
Y90ZM78BDP Y90ZM78BDP
| URI | m2://inv/Y90ZM78BDP |
|---|---|
| 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 2202.03009#3D3I (statement). In GYEQJ534W1/e1, theorem 7
History
- 2026-10-27: add by m2/v0.3.5
Y910TCBQXF Y910TCBQXF
| URI | m2://inv/Y910TCBQXF |
|---|---|
| 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.26262#I1RK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Uniform escape bound for local block updates Y9152XVMBH
| URI | m2://inv/Y9152XVMBH |
|---|---|
| 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#G5P0, Uniform escape bound for local block updates (statement). In 9YAE8FNQST/e1, theorem 25.4
History
- 2026-10-30: add by m2/v0.4.12
Y916QZVFD4 Y916QZVFD4
| URI | m2://inv/Y916QZVFD4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_exercises.ptx#exercise-20 (exercise). In QKM9DD2H56, exercise, section 2
History
- 2026-11-01: add by m2/v0.6.13
Y91B2MGXPA Y91B2MGXPA
| URI | m2://inv/Y91B2MGXPA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14278#8RJZ (statement). In RTE2C0PH4S/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
Y91E6PVEVC Y91E6PVEVC
| URI | m2://inv/Y91E6PVEVC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 49-XX, 51-XX, 52-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 1904.08413#7DRR (example). In X88HPQ0W8C/e1, example 2.36
History
- 2026-10-27: add by m2/v0.3.5
Theorem Y91EC65B0Q
| URI | m2://inv/Y91EC65B0Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random matrix#X8DP, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Inhabited set Y920PQXPMR
| URI | m2://inv/Y920PQXPMR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of sets#HUJE, Inhabited set (definition)
History
- 2026-11-02: add by m2/dev
Halfway, Oregon Y9251Z874H
| URI | m2://inv/Y9251Z874H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#MNZ4, Halfway, Oregon (unknown)
History
- 2026-11-02: add by m2/dev
Maass wave form Y92660VN5E
| URI | m2://inv/Y92660VN5E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maass wave form, Maass wave form (definition). Also Wikidata Q6721246
History
- 2026-11-02: add by m2/dev
Quaternionic representation Y927YP44EM
| URI | m2://inv/Y927YP44EM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of representation theory topics#F6SA, Quaternionic representation (definition)
History
- 2026-11-02: add by m2/dev
multi-modal logic Y928NJC9HD
| URI | m2://inv/Y928NJC9HD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#J3HZ, multi-modal logic (definition)
History
- 2026-11-02: add by m2/dev
Poisson summation Y92CYYC3DT
| URI | m2://inv/Y92CYYC3DT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12203#YXA4, Poisson summation (statement). In F4YTAZSCS2/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Y92GCW6MSZ Y92GCW6MSZ
| URI | m2://inv/Y92GCW6MSZ |
|---|---|
| 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#UCGF (statement). In G2PA4KAGRP/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.6
Alexander Furman Y92HPPRJMP
| URI | m2://inv/Y92HPPRJMP |
|---|---|
| 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#C300, Alexander Furman (topic)
History
- 2026-11-02: add by m2/dev
Klein's identity Y92MV8AYWR
| URI | m2://inv/Y92MV8AYWR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06521#N8H7, Klein's identity (statement). In NVXWD513NM/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.10
Pop 10 Y92P7GPZS3
| URI | m2://inv/Y92P7GPZS3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connect Four#T7HV, Pop 10 (unknown)
History
- 2026-11-02: add by m2/dev
Relation to the strong perfect graph theorem Y92PH7QP73
| URI | m2://inv/Y92PH7QP73 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect graph theorem#2PGA, Relation to the strong perfect graph theorem (statement)
History
- 2026-11-02: add by m2/dev
Locally finite space Y92RABMGZ7
| URI | m2://inv/Y92RABMGZ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#S2VW, Locally finite space (definition)
History
- 2026-11-02: add by m2/dev
GCD matrix Y93111YPRC
| URI | m2://inv/Y93111YPRC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GCD matrix, GCD matrix (definition). Also Wikidata Q111914625
History
- 2026-11-02: add by m2/dev
Pseudo-wild number Y935H51ZF8
| URI | m2://inv/Y935H51ZF8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Wild Numbers#0FSV, Pseudo-wild number (unknown)
History
- 2026-11-02: add by m2/dev
Y93DN1XEJD Y93DN1XEJD
| URI | m2://inv/Y93DN1XEJD |
|---|---|
| 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.01599#9PQZ (statement). In K2KYNCWER3/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.12
Y93H1T69Q3 Y93H1T69Q3
| URI | m2://inv/Y93H1T69Q3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_formal-num-sys.ptx#lem_sum0 (statement). In QKM9DD2H56, lemma, section B.7.1
History
- 2026-11-01: add by m2/v0.6.13
Y93RZHJ9JS Y93RZHJ9JS
| URI | m2://inv/Y93RZHJ9JS |
|---|---|
| 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 2411.16655#OPUA (statement). In EJHAXRV685/e1, proposition 4.8
History
- 2026-10-27: add by m2/v0.3.5
Definition Y94C5J85FQ
| URI | m2://inv/Y94C5J85FQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elasticity tensor#ZBNK, Definition (definition)
History
- 2026-11-02: add by m2/dev
Y94G84E735 Y94G84E735
| URI | m2://inv/Y94G84E735 |
|---|---|
| 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#VRQO (statement). In G3E1P350Z6/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
Generalizations Y94VSS8D70
| URI | m2://inv/Y94VSS8D70 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real analytic Eisenstein series#1O7S, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Examples Y94XWFJFXY
| URI | m2://inv/Y94XWFJFXY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order of operations#PCZ8, Examples (example)
History
- 2026-11-02: add by m2/dev
Erdős–Woods number Y94YB9605Z
| URI | m2://inv/Y94YB9605Z |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q990533, Erdős–Woods number (concept). Also OEIS A059756
- wikipedia: Wikipedia Erdős–Woods number, Erdős–Woods number (definition). Also Wikidata Q990533
History
- 2026-10-26: add by m2/dev
vector spherical harmonics Y957YCGM8V
| URI | m2://inv/Y957YCGM8V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7917842, vector spherical harmonics (unknown). Also MathWorld VectorSphericalHarmonic
- wikipedia: Wikipedia Vector spherical harmonics, Vector spherical harmonics (definition). Also Wikidata Q7917842
History
- 2026-10-26: add by m2/dev
Null semigroup Y9596MRGVF
| URI | m2://inv/Y9596MRGVF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Null semigroup, Null semigroup (definition). Also Wikidata Q7068969
History
- 2026-11-02: add by m2/dev
Y95FF1B1XG Y95FF1B1XG
| URI | m2://inv/Y95FF1B1XG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2609.37520#5SBD (statement). In BDN507RN7J/e1, proposition 3.6.26
History
- 2026-10-30: add by m2/v0.4.12
Y95W7AZVD8 Y95W7AZVD8
| URI | m2://inv/Y95W7AZVD8 |
|---|---|
| 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 2207.11097#H1H1 (statement). In 13H5BTAXHF/e1, theorem 14
History
- 2026-10-27: add by m2/v0.3.5
Chuck Waseleski Y95Z1W95X1
| URI | m2://inv/Y95Z1W95X1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chuck Waseleski, Chuck Waseleski (topic). Also Wikidata Q23908923
History
- 2026-11-02: add by m2/dev
Exponential linear unit (neural networks) Y961NXQVV4
| URI | m2://inv/Y961NXQVV4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified linear unit#2SIZ, Exponential linear unit (neural networks) (unknown)
History
- 2026-11-02: add by m2/dev
Block-rank-1 collapse Y9663SKFJE
| URI | m2://inv/Y9663SKFJE |
|---|---|
| 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.15184#4LPG, Block-rank-1 collapse (statement). In S8A7ZM40DN/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Barry Mazur Y967JPQ1S9
| URI | m2://inv/Y967JPQ1S9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#8YJ8, Barry Mazur (topic)
History
- 2026-11-02: add by m2/dev
Vesna Stojanoska Y96A9P3JPQ
| URI | m2://inv/Y96A9P3JPQ |
|---|---|
| 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 Q102382710, Vesna Stojanoska (unknown). Also nLab Vesna Stojanoska
- wikipedia: Wikipedia Vesna Stojanoska, Vesna Stojanoska (topic). Also Wikidata Q102382710
History
- 2026-10-26: add by m2/dev
List of countries by mean age at childbearing Y96D84EQC2
| URI | m2://inv/Y96D84EQC2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of countries by mean age at childbearing, List of countries by mean age at childbearing (topic). Also Wikidata Q59775079
History
- 2026-11-02: add by m2/dev
Y96F0E73HX Y96F0E73HX
| URI | m2://inv/Y96F0E73HX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-1-2-2.xml#act-1-2-2 (exercise). In 907G4C4EJ1, activity, section 1.2.3
History
- 2026-11-01: add by m2/v0.6.13
Cannon's algorithm Y96N6DX0G4
| URI | m2://inv/Y96N6DX0G4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cannon's algorithm, Cannon's algorithm (definition). Also Wikidata Q2835781
History
- 2026-11-02: add by m2/dev
Y96RRBPE2V Y96RRBPE2V
| URI | m2://inv/Y96RRBPE2V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15403#S53T (statement). In BSWNH3NW1M/e1, theorem 6.8
History
- 2026-10-27: add by m2/v0.4.0
Infinity Y96TBPPQE8
| URI | m2://inv/Y96TBPPQE8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of films about mathematicians#RY8G, Infinity (unknown)
History
- 2026-11-02: add by m2/dev
Y96WSYJZA9 Y96WSYJZA9
| URI | m2://inv/Y96WSYJZA9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-229 (exercise). In VNMV985MXX, exercise, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
The Green function Y96WZ9BHH0
| URI | m2://inv/Y96WZ9BHH0 |
|---|---|
| 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.13753#ORMR, The Green function (statement). In AHM0PBKZZN/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Definitions Y974K29V66
| URI | m2://inv/Y974K29V66 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia False coverage rate#PG2G, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Theorems Y976PMN8TX
| URI | m2://inv/Y976PMN8TX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete Laplace operator#V35T, Theorems (statement)
History
- 2026-11-02: add by m2/dev
1961 United Kingdom census Y97C6PNDTH
| URI | m2://inv/Y97C6PNDTH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1961 United Kingdom census, 1961 United Kingdom census (definition). Also Wikidata Q21274975
History
- 2026-11-02: add by m2/dev
algebraic function Y97EA5J7FV
| URI | m2://inv/Y97EA5J7FV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q746863, algebraic function (unknown). Also MathWorld AlgebraicFunction, nLab algebraic function
- wikipedia: Wikipedia Algebraic function, Algebraic function (definition). Also Wikidata Q746863
History
- 2026-10-26: add by m2/dev
Y97PZBGR2F Y97PZBGR2F
| URI | m2://inv/Y97PZBGR2F |
|---|---|
| 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.00019#R8PY (statement). In VJ09B3HRHQ/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
Compatible Pair Y980GZJZJ1
| URI | m2://inv/Y980GZJZJ1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.13523#EN6W, Compatible Pair (definition). In DDA62XQTWW/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Example Y9832W49JH
| URI | m2://inv/Y9832W49JH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Encrypted function#PH3Z, Example (example)
History
- 2026-11-02: add by m2/dev
Y983PQSKB7 Y983PQSKB7
| URI | m2://inv/Y983PQSKB7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38742#4035 (definition). In TSXBJB0EXK/e1, definition 5.7
History
- 2026-10-30: add by m2/v0.4.12
Y9856RPF4X Y9856RPF4X
| URI | m2://inv/Y9856RPF4X |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-66 (exercise). In E59CDZA4DP, exercise, section 2.5.4
History
- 2026-11-01: add by m2/v0.6.13
Coefficient Y9865KH2F4
| URI | m2://inv/Y9865KH2F4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#TDFI, Coefficient (definition)
History
- 2026-11-02: add by m2/dev
Mary Beth Landrum Y98BSMYXKQ
| URI | m2://inv/Y98BSMYXKQ |
|---|---|
| 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#ZB2S, Mary Beth Landrum (topic)
History
- 2026-11-02: add by m2/dev
Score Central Limit Theorem Y98EE4Y8KG
| URI | m2://inv/Y98EE4Y8KG |
|---|---|
| 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.20041#14PQ, Score Central Limit Theorem (statement)
History
- 2026-11-02: add by m2/v0.6.18
Local coefficients over finite global dimension Y98FEB1A7T
| URI | m2://inv/Y98FEB1A7T |
|---|---|
| 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.36444#HPVL, Local coefficients over finite global dimension (statement). In 4DJE72VPJP/e1, proposition 4.8
History
- 2026-10-30: add by m2/v0.4.12
Y98KTNH0K3 Y98KTNH0K3
| URI | m2://inv/Y98KTNH0K3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-42 (exercise). In E59CDZA4DP, exercise, section 11.3.5
History
- 2026-11-01: add by m2/v0.6.13
conjunction Y98NP2F9W6
| URI | m2://inv/Y98NP2F9W6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.2.1/conjunction, conjunction (concept). In Y91XFCEVHQ, index, section 1.2.1
History
- 2026-11-01: add by m2/v0.6.13
Inverse recovery in EEG Y98Z2VZWAX
| URI | m2://inv/Y98Z2VZWAX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse recovery in EEG, Inverse recovery in EEG (definition). Also Wikidata Q137798926
History
- 2026-11-02: add by m2/dev
Y990CCNG5Z Y990CCNG5Z
| URI | m2://inv/Y990CCNG5Z |
|---|---|
| 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.22952#8RVQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Invariant Levi-flats and logarithmic transverse structure Y990KG4EJP
| URI | m2://inv/Y990KG4EJP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.12497#H86T, Invariant Levi-flats and logarithmic transverse structure (statement). In Z0SAF18JPP/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Anomalous electric dipole moment Y998V5Q9SS
| URI | m2://inv/Y998V5Q9SS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electric dipole moment#C8E8, Anomalous electric dipole moment (unknown)
History
- 2026-11-02: add by m2/dev
preon Y99NDPKZA9
| URI | m2://inv/Y99NDPKZA9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1141611, preon (unknown). Also nLab preon
History
- 2026-10-26: add by m2/dev
Y99PCFPFSW Y99PCFPFSW
| URI | m2://inv/Y99PCFPFSW |
|---|---|
| Kind | definition |
| 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.26813#FT7E (definition)
History
- 2026-11-01: add by m2/v0.6.15
Efficient Java Matrix Library Y99RZF9QPC
| URI | m2://inv/Y99RZF9QPC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#I96Z, Efficient Java Matrix Library (unknown)
History
- 2026-11-02: add by m2/dev
Y99WQP99BP Y99WQP99BP
| URI | m2://inv/Y99WQP99BP |
|---|---|
| Kind | definition |
| 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#9YND (definition). In AVDB4KJ6XB/e1, definition 5.5
History
- 2026-10-28: add by m2/v0.4.2
T0 Y99XSTNQC4
| URI | m2://inv/Y99XSTNQC4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#ZLFN, T0 (definition)
History
- 2026-11-02: add by m2/dev
gnomonic projection Y9A191EJF6
| URI | m2://inv/Y9A191EJF6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q246599, gnomonic projection (unknown). Also MathWorld GnomonicProjection
- wikipedia: Wikipedia Gnomonic projection, Gnomonic projection (definition). Also Wikidata Q246599
History
- 2026-10-26: add by m2/dev
BV4.1 Y9A1ZYS1MB
| URI | m2://inv/Y9A1ZYS1MB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BV4.1 (software), BV4.1 (definition). Also Wikidata Q797100
History
- 2026-11-02: add by m2/dev
Properties Y9A7GCEGQQ
| URI | m2://inv/Y9A7GCEGQQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Degree of a continuous mapping#7XO1, Properties (statement)
History
- 2026-11-02: add by m2/dev
H Y9A9PS8D8A
| URI | m2://inv/Y9A9PS8D8A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#OF50, H (definition)
History
- 2026-11-02: add by m2/dev
Y9ACDHBX7E Y9ACDHBX7E
| URI | m2://inv/Y9ACDHBX7E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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 2609.37520#AC62 (definition). In BDN507RN7J/e1, definition 3.5.18
History
- 2026-10-30: add by m2/v0.4.12
Kuratowski Y9AHGH6A45
| URI | m2://inv/Y9AHGH6A45 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#SBZR, Kuratowski (definition)
History
- 2026-11-02: add by m2/dev
Y9AJ2BZ49G Y9AJ2BZ49G
| URI | m2://inv/Y9AJ2BZ49G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-zariski.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 28.3
History
- 2026-11-01: add by m2/v0.6.13
Miura fold Y9AJQESKN6
| URI | m2://inv/Y9AJQESKN6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Miura fold, Miura fold (definition). Also Wikidata Q2642174
History
- 2026-11-02: add by m2/dev
Y9AN3NENE9 Y9AN3NENE9
| URI | m2://inv/Y9AN3NENE9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.12054#2L4G (statement). In 1A01NFHBGA/e1, corollary 2
History
- 2026-10-28: add by m2/v0.4.3
chain complex Y9B3YBW6JN
| URI | m2://inv/Y9B3YBW6JN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Homological algebra > chain complex, chain complex (unknown). Also Mathlib ChainComplex
History
- 2026-10-26: add by m2/dev
Y9B47521TK Y9B47521TK
| URI | m2://inv/Y9B47521TK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26769#MMSI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kőnig's theorem Y9B7NERVKH
| URI | m2://inv/Y9B7NERVKH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kőnig's theorem (complex analysis), Kőnig's theorem (statement). Also Wikidata Q6453869
History
- 2026-11-02: add by m2/dev
Compact resolvent of the square-sum Y9BE3GBTAW
| URI | m2://inv/Y9BE3GBTAW |
|---|---|
| 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.01855#8I1C, Compact resolvent of the square-sum (statement). In MM8P5CJR18/e1, corollary 3.12
History
- 2026-10-29: add by m2/v0.4.12
Geometric allocation in a contraction Y9BG4BE5C8
| URI | m2://inv/Y9BG4BE5C8 |
|---|---|
| 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.03638#79TW, Geometric allocation in a contraction (statement). In H39AZG67B6/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.12
Carathéodory's extension theorem Y9BHRVZF4H
| URI | m2://inv/Y9BHRVZF4H |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 28-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2631152, Carathéodory's extension theorem (statement). Also Mathlib MeasureTheory.AddContent.measure, Mathlib MeasureTheory.AddContent.measure_eq, Wikidata Q2631152
- thousand_plus: thousand_plus Q2631152, Carathéodory's extension theorem (statement). Also Wikidata Q2631152, Wikipedia Carathéodory's extension theorem, Wikipedia Hahn–Kolmogorov theorem
- wikipedia: Wikipedia Carathéodory's extension theorem, Carathéodory's extension theorem (statement). Also Wikidata Q2631152
History
- 2026-10-26: add by m2/dev
Definition Y9BM5Z7QAE
| URI | m2://inv/Y9BM5Z7QAE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Observed information#X7RC, Definition (definition)
History
- 2026-11-02: add by m2/dev
Y9BQR977RD Y9BQR977RD
| URI | m2://inv/Y9BQR977RD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2609.30033#ADKQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Y9BX4QBG6P Y9BX4QBG6P
| URI | m2://inv/Y9BX4QBG6P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.34289#6O2H (statement). In 9RBATD2Z1F/e1, corollary 3.23
History
- 2026-10-30: add by m2/v0.4.12
Y9C1G58NNB Y9C1G58NNB
| URI | m2://inv/Y9C1G58NNB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26357#KLGU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Y9C1PY55QR Y9C1PY55QR
| URI | m2://inv/Y9C1PY55QR |
|---|---|
| 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.19660#WCMQ (statement). In YKVVY2BW1B/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
Y9C3XM226Y Y9C3XM226Y
| URI | m2://inv/Y9C3XM226Y |
|---|---|
| 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.21358#ALWL (statement). In XV70TXYS5A/e1, lemma 2.9
History
- 2026-10-27: add by m2/v0.4.2
Y9CA3XQ1Y8 Y9CA3XQ1Y8
| URI | m2://inv/Y9CA3XQ1Y8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15535#VK6L (statement). In 73A9KWZJRD/e1, theorem 7.5
History
- 2026-10-28: add by m2/v0.4.2
Criticisms of the theorem Y9CA6W5DT4
| URI | m2://inv/Y9CA6W5DT4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coase theorem#DHEJ, Criticisms of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Application Y9D73PA8X6
| URI | m2://inv/Y9D73PA8X6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohort study#8OZX, Application (example)
History
- 2026-11-02: add by m2/dev
Hartley Rogers Jr. Y9DB58TQ0Q
| URI | m2://inv/Y9DB58TQ0Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hartley Rogers Jr., Hartley Rogers Jr. (topic). Also Wikidata Q5674941
History
- 2026-11-02: add by m2/dev
Y9DMJV9S4S Y9DMJV9S4S
| URI | m2://inv/Y9DMJV9S4S |
|---|---|
| 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 2304.09819#9EEE (statement). In FYKSPSVT37/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.4.0
Fractional Brownian motion Y9DNVF6XMK
| URI | m2://inv/Y9DNVF6XMK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#T021, Fractional Brownian motion (definition)
History
- 2026-11-02: add by m2/dev
Distance set Y9DVS0MPJE
| URI | m2://inv/Y9DVS0MPJE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distance set, Distance set (definition). Also Wikidata Q60791114
History
- 2026-11-02: add by m2/dev
Weak Syntactical Embedding from $ \bf FDE^{\bf S5}_{\circ\bullet}$ to $ \bf FDE^{\bf S5}_{\B\D}$ Y9DYY7Y9GQ
| URI | m2://inv/Y9DYY7Y9GQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08323#AG8G, Weak Syntactical Embedding from $ \bf FDE^{\bf S5}_{\circ\bullet}$ to $ \bf FDE^{\bf S5}_{\B\D}$ (statement). In FR51ART4NF/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.10
Ternary phase diagram Y9E00ARS18
| URI | m2://inv/Y9E00ARS18 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phase diagram#S19Q, Ternary phase diagram (unknown)
History
- 2026-11-02: add by m2/dev
Glossary of logic Y9E8AXCZWN
| URI | m2://inv/Y9E8AXCZWN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic, Glossary of logic (topic). Also Wikidata Q125924359
History
- 2026-11-02: add by m2/dev
Y9EBPN9KSS Y9EBPN9KSS
| URI | m2://inv/Y9EBPN9KSS |
|---|---|
| Kind | exercise |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an exercise of a paper, which becomes a node only when a node, a project or a curriculum asks for it (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01802#OHX0 (exercise). In XGPZ0G9E1Q/e1, exercise 6.6
History
- 2026-10-29: add by m2/v0.4.12
515 (number) Y9EBYMA335
| URI | m2://inv/Y9EBYMA335 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#IHZ4, 515 (number) (unknown)
History
- 2026-11-02: add by m2/dev
split supersymmetry Y9EJAEP968
| URI | m2://inv/Y9EJAEP968 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7578720, split supersymmetry (unknown). Also nLab split supersymmetry
History
- 2026-10-26: add by m2/dev
Infinity-Borel set Y9ENS2XJRP
| URI | m2://inv/Y9ENS2XJRP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of properties of sets of reals#3UA6, Infinity-Borel set (definition)
History
- 2026-11-02: add by m2/dev
Y9ERDJT8A9 Y9ERDJT8A9
| URI | m2://inv/Y9ERDJT8A9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08633#UYYT (definition). In 7MV7RGDVXF/e1, definition 4.1.2
History
- 2026-10-29: add by m2/v0.4.10
Y9EZVE0BGE Y9EZVE0BGE
| URI | m2://inv/Y9EZVE0BGE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19658#G40U (statement). In G00EYA9DXG/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
Y9F8XKM8A1 Y9F8XKM8A1
| URI | m2://inv/Y9F8XKM8A1 |
|---|---|
| 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 1902.04230#B10J (statement). In 22JZ68FGCW/e1, lemma 4.7
History
- 2026-10-27: add by m2/v0.3.5
Y9FA65EAZW Y9FA65EAZW
| URI | m2://inv/Y9FA65EAZW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16875#31KU (statement). In KS30K5JXGB/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Y9FB2QQTWM Y9FB2QQTWM
| URI | m2://inv/Y9FB2QQTWM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/dedekind.tex#definition-7 (definition). In RZP28ERRZV, definition, section 10.7
History
- 2026-11-01: add by m2/v0.6.13
Y9FEDZYK3Z Y9FEDZYK3Z
| URI | m2://inv/Y9FEDZYK3Z |
|---|---|
| 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 2610.00512#2KAO (definition). In RB5QBG3MJY/e1, definition 3.5
History
- 2026-10-30: add by m2/v0.4.12
Y9FRHMAQZ3 Y9FRHMAQZ3
| URI | m2://inv/Y9FRHMAQZ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04164#UHK7 (statement). In KR7WXN4EWR/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Y9FSFW3FR3 Y9FSFW3FR3
| URI | m2://inv/Y9FSFW3FR3 |
|---|---|
| Kind | definition |
| 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#KQM7 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Y9FTBPJ77W Y9FTBPJ77W
| URI | m2://inv/Y9FTBPJ77W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03138#U0VB (definition). In P5SY7AVP5E/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.12
Capped grope Y9FW6C6D9X
| URI | m2://inv/Y9FW6C6D9X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Capped grope, Capped grope (definition). Also Wikidata Q5036141
History
- 2026-11-02: add by m2/dev
Paul Kelly Y9FW90QT8N
| URI | m2://inv/Y9FW90QT8N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#J2TB, Paul Kelly (topic)
History
- 2026-11-02: add by m2/dev
Lambek calculus Y9FX652E4M
| URI | m2://inv/Y9FX652E4M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#Z4LI, Lambek calculus (definition)
History
- 2026-11-02: add by m2/dev
N-of-1 trial Y9FY01GCFJ
| URI | m2://inv/Y9FY01GCFJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N-of-1 trial, N-of-1 trial (definition). Also Wikidata Q6956315
History
- 2026-11-02: add by m2/dev
antiparallel line Y9FY3YW7NF
| URI | m2://inv/Y9FY3YW7NF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1053976, antiparallel line (unknown). Also EoM Anti-parallel_straight_lines, MathWorld Antiparallel
- wikipedia: Wikipedia Antiparallel lines, Antiparallel lines (definition). Also Wikidata Q1053976
History
- 2026-10-26: add by m2/dev
Non-interactive LDP prefix oracle Y9G5NXAQ3V
| URI | m2://inv/Y9G5NXAQ3V |
|---|---|
| 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.21033#PTCO, Non-interactive LDP prefix oracle (statement). In A8C1M9BSWH/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.4.2
Y9GGM9P208 Y9GGM9P208
| URI | m2://inv/Y9GGM9P208 |
|---|---|
| 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.08935#1LQ9 (statement). In G02N9D40B9/e1, theorem B
History
- 2026-10-29: add by m2/v0.4.10
Y9GN6AGTZM Y9GN6AGTZM
| URI | m2://inv/Y9GN6AGTZM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24185#1XD8 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Simultaneous conditional-type packing Y9GXBXQ53F
| URI | m2://inv/Y9GXBXQ53F |
|---|---|
| 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.09472#GKAP, Simultaneous conditional-type packing (statement). In 35925M9GJW/e1, lemma B.3
History
- 2026-10-29: add by m2/v0.4.10
Y9GZ76JZY5 Y9GZ76JZY5
| URI | m2://inv/Y9GZ76JZY5 |
|---|---|
| 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 2610.20891#VP31 (statement). In WH55XAE8E2/e1, lemma A.5
History
- 2026-10-27: add by m2/v0.4.2
Y9H8AC28MT Y9H8AC28MT
| URI | m2://inv/Y9H8AC28MT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01717#2QT3 (statement). In KSK8SVD27S/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
square-integrable Y9HBY5QD8Y
| URI | m2://inv/Y9HBY5QD8Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q116508929, square-integrable (unknown). Also MathWorld SquareIntegrable
History
- 2026-10-26: add by m2/dev
Y9HCP1YNH8 Y9HCP1YNH8
| URI | m2://inv/Y9HCP1YNH8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2112.05010#6O3E (definition). In 4SZNPS3Z00/e1, definition
History
- 2026-10-27: add by m2/v0.3.6
Y9HJT3RTE6 Y9HJT3RTE6
| URI | m2://inv/Y9HJT3RTE6 |
|---|---|
| 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 2609.20900#88OM (statement)
History
- 2026-11-02: add by m2/v0.6.18
Y9HRVBC3D8 Y9HRVBC3D8
| URI | m2://inv/Y9HRVBC3D8 |
|---|---|
| Kind | definition |
| 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.31365#44CJ (definition). In 19GENJ3NCP/e1, definition 4.7
History
- 2026-10-31: add by m2/v0.5.6
Examples Y9J49NCX1K
| URI | m2://inv/Y9J49NCX1K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sphenic number#AI2X, Examples (example)
History
- 2026-11-02: add by m2/dev
Y9J5NRZ2TQ Y9J5NRZ2TQ
| URI | m2://inv/Y9J5NRZ2TQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2404.13734#RFDN (statement). In 7AXKHR4YB3/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.3.6
Structure of the conditional Hessian Y9JG4KK97C
| URI | m2://inv/Y9JG4KK97C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#ZEN6, Structure of the conditional Hessian (statement). In NKXTXH59P1/e1, lemma E.23
History
- 2026-10-29: add by m2/v0.4.10
Definition Y9JMJVN8M5
| URI | m2://inv/Y9JMJVN8M5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous embedding#96JZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
BCG conjecture Y9JSG72FD7
| URI | m2://inv/Y9JSG72FD7 |
|---|---|
| Kind | conjecture |
| 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.10365#JRBC, BCG conjecture (conjecture). In PRVQPSBVHK/e1, conjecture 4
History
- 2026-10-29: add by m2/v0.4.10
Flash loan Y9JT0FHJS4
| URI | m2://inv/Y9JT0FHJS4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decentralized finance#YDK5, Flash loan (unknown)
History
- 2026-11-02: add by m2/dev
Büchi-Elgot-Trakhtenbrot theorem Y9JTPQW38B
| URI | m2://inv/Y9JTPQW38B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#PVO9, Büchi-Elgot-Trakhtenbrot theorem (statement)
History
- 2026-11-02: add by m2/dev
Example Y9K3SYKQAD
| URI | m2://inv/Y9K3SYKQAD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimum-variance unbiased estimator#PQR5, Example (example)
History
- 2026-11-02: add by m2/dev
Carl Wolfgang Benjamin Goldschmidt Y9K4P4S8X8
| URI | m2://inv/Y9K4P4S8X8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carl Wolfgang Benjamin Goldschmidt, Carl Wolfgang Benjamin Goldschmidt (topic). Also Wikidata Q5040980
History
- 2026-11-02: add by m2/dev
Strong monotonicity of $G(z)$ Y9K5641SKW
| URI | m2://inv/Y9K5641SKW |
|---|---|
| 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 2411.02694#N37I, Strong monotonicity of $G(z)$ (statement). In A8EK2ARN5Q/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.4.0
Q Y9KEY3MA0J
| URI | m2://inv/Y9KEY3MA0J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q (cipher), Q (definition). Also Wikidata Q7265633
History
- 2026-11-02: add by m2/dev
Y9KFQ0T4C4 Y9KFQ0T4C4
| URI | m2://inv/Y9KFQ0T4C4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/p-adic.tex#ex:token (example). In RZP28ERRZV, example, section 33.1
History
- 2026-11-01: add by m2/v0.6.13
Applications Y9KJ95SCRT
| URI | m2://inv/Y9KJ95SCRT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schützenberger group#QVX4, Applications (example)
History
- 2026-11-02: add by m2/dev
Upgrading an ambient comparison Y9KNB5SV93
| URI | m2://inv/Y9KNB5SV93 |
|---|---|
| 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#F9HN, Upgrading an ambient comparison (statement). In 8PTDFHV8SQ/e1, corollary C.8
History
- 2026-10-28: add by m2/v0.4.3
Y9KR57GTAV Y9KR57GTAV
| URI | m2://inv/Y9KR57GTAV |
|---|---|
| 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#Q4QK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Aviation meteorology Y9KTFGJEDY
| URI | m2://inv/Y9KTFGJEDY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meteorology#YJ8J, Aviation meteorology (unknown)
History
- 2026-11-02: add by m2/dev
Boundary-local-time averaging Y9M2JBJKZ8
| URI | m2://inv/Y9M2JBJKZ8 |
|---|---|
| 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.07380#XHB1, Boundary-local-time averaging (statement). In XM2CDRKSGE/e1, proposition B.2
History
- 2026-10-29: add by m2/v0.4.10
Examples Y9M46C9FA0
| URI | m2://inv/Y9M46C9FA0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrangian mechanics#7HPN, Examples (example)
History
- 2026-11-02: add by m2/dev
Y9M86WYG0M Y9M86WYG0M
| URI | m2://inv/Y9M86WYG0M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-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.05164#FDDT (statement). In JY6RYSNXMJ/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.10
Structure group Y9MEZ8VMJC
| URI | m2://inv/Y9MEZ8VMJC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fiber bundle#L6YA, Structure group (unknown)
History
- 2026-11-02: add by m2/dev
Theorem Y9MFWVK2J0
| URI | m2://inv/Y9MFWVK2J0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sonnenschein–Mantel–Debreu theorem#KVKF, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples Y9MPJWPZCP
| URI | m2://inv/Y9MPJWPZCP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concentration dimension#01IR, Examples (example)
History
- 2026-11-02: add by m2/dev
General combinatorial principles and methods Y9MPK7DFNS
| URI | m2://inv/Y9MPK7DFNS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outline of combinatorics#WLYO, General combinatorial principles and methods (statement)
History
- 2026-11-02: add by m2/dev
Y9MQTVAKKW Y9MQTVAKKW
| URI | m2://inv/Y9MQTVAKKW |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-25 (proof). In N54F33XE07, proof, section 7.5.3
History
- 2026-11-01: add by m2/v0.6.13
Y9MRASCRYZ Y9MRASCRYZ
| URI | m2://inv/Y9MRASCRYZ |
|---|---|
| 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.34923#9WAC (statement). In 7WKVFJEZQT/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
W Y9N1EYEBST
| URI | m2://inv/Y9N1EYEBST |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#AXS1, W (definition)
History
- 2026-11-02: add by m2/dev
Density on $\Gamma_\A\cup\Gamma_\B$ Y9N81KHTR4
| URI | m2://inv/Y9N81KHTR4 |
|---|---|
| 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.21781#S4NQ, Density on $\Gamma_\A\cup\Gamma_\B$ (statement). In FEQ72D1AX6/e1, proposition 6.1
History
- 2026-10-27: add by m2/v0.4.2
Y9NBPAVHQP Y9NBPAVHQP
| URI | m2://inv/Y9NBPAVHQP |
|---|---|
| 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.29449#GDEJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Linear matrix inequality Y9NHNVDQ5X
| URI | m2://inv/Y9NHNVDQ5X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#5MFJ, Linear matrix inequality (statement)
History
- 2026-11-02: add by m2/dev
truth value Y9NQDYP1JD
| URI | m2://inv/Y9NQDYP1JD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#TFA8, truth value (definition)
History
- 2026-11-02: add by m2/dev
Y9NRVPW4BQ Y9NRVPW4BQ
| URI | m2://inv/Y9NRVPW4BQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18219#R38W (statement). In X1AGBB90EH/e1, lemma 2.9
History
- 2026-10-28: add by m2/v0.4.2
Y9NW9MCF5W Y9NW9MCF5W
| URI | m2://inv/Y9NW9MCF5W |
|---|---|
| Kind | definition |
| 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 1008.4946#WWUE (definition). In R4ZM6Q4SHH/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
Y9NYXPKM7Q Y9NYXPKM7Q
| URI | m2://inv/Y9NYXPKM7Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-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.17482#0A32 (statement). In BQQK9JDJ9F/e1, theorem 2.8
History
- 2026-10-28: add by m2/v0.4.2
Endcells Y9P731YY8M
| URI | m2://inv/Y9P731YY8M |
|---|---|
| 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#VKE7, Endcells (definition). In WD2NCBV9F0/e1, definition 14.9
History
- 2026-10-27: add by m2/v0.3.5
determinism Y9PFTJJWA2
| URI | m2://inv/Y9PFTJJWA2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q111031095, determinism (unknown). Also MathWorld Deterministic
History
- 2026-10-26: add by m2/dev
Resurgent function Y9PK7BPN6K
| URI | m2://inv/Y9PK7BPN6K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Resurgent function, Resurgent function (definition). Also Wikidata Q108530228
History
- 2026-11-02: add by m2/dev
Y9PPSZHPGB Y9PPSZHPGB
| URI | m2://inv/Y9PPSZHPGB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2609.22297#K00D (statement)
History
- 2026-11-02: add by m2/v0.6.17
Y9PR11R4KP Y9PR11R4KP
| URI | m2://inv/Y9PR11R4KP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05696#TFXT (statement). In MG81A9XJTQ/e1, lemma III.1
History
- 2026-10-29: add by m2/v0.4.10
Y9PRBHJXSS Y9PRBHJXSS
| URI | m2://inv/Y9PRBHJXSS |
|---|---|
| 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.28211#XXFR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Torus trick Y9PY7Y0N1C
| URI | m2://inv/Y9PY7Y0N1C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Annulus theorem#GIOI, Torus trick (unknown)
History
- 2026-11-02: add by m2/dev
separable Y9PYC39N61
| URI | m2://inv/Y9PYC39N61 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#2H91, separable (definition)
History
- 2026-11-02: add by m2/dev
Signalling Y9Q2X5YK2N
| URI | m2://inv/Y9Q2X5YK2N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signalling (economics), Signalling (definition). Also Wikidata Q3262595
History
- 2026-11-02: add by m2/dev
Applications Y9QCHH7A4B
| URI | m2://inv/Y9QCHH7A4B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Miura fold#R7BC, Applications (example)
History
- 2026-11-02: add by m2/dev
Data reduction Y9QSJ13RXK
| URI | m2://inv/Y9QSJ13RXK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data reduction, Data reduction (definition). Also Wikidata Q5227343
History
- 2026-11-02: add by m2/dev
Y9QTM6M8FK Y9QTM6M8FK
| URI | m2://inv/Y9QTM6M8FK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CountableSets.tex#thm:countable union of countable sets (statement). In P1C114YBXG, theorem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Y9QW5GP62Y Y9QW5GP62Y
| URI | m2://inv/Y9QW5GP62Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/formation-sequences.tex#thm:fseq-frm-equiv (statement). In PKGMM3P5QY, thm, section 62.3
History
- 2026-11-01: add by m2/v0.6.13
Y9R341SDSA Y9R341SDSA
| URI | m2://inv/Y9R341SDSA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17135#1QAK (definition). In XX1J2REXY2/e1, definition 4.12
History
- 2026-10-28: add by m2/v0.4.2
Examples Y9R63QDS91
| URI | m2://inv/Y9R63QDS91 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum entropy probability distribution#205E, Examples (example)
History
- 2026-11-02: add by m2/dev
Madapusi--Youcis Y9R9E0SFRH
| URI | m2://inv/Y9R9E0SFRH |
|---|---|
| Kind | definition |
| 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.33808#DG2N, Madapusi--Youcis (definition). In 328KGRNN0W/e1, definition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Equilibrium measure Y9R9J6SPGB
| URI | m2://inv/Y9R9J6SPGB |
|---|---|
| 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.21781#VFV4, Equilibrium measure (statement). In FEQ72D1AX6/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.4.2
Eilenberg–Moore spectral sequence Y9RGD71NHY
| URI | m2://inv/Y9RGD71NHY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Eilenberg–Moore spectral sequence NNCBVR7Z2X |
Mentions
- wikidata: Wikidata Q5349492, Eilenberg–Moore spectral sequence (concept). Also nLab Eilenberg–Moore spectral sequence
- wikipedia: Wikipedia Eilenberg–Moore spectral sequence, Eilenberg–Moore spectral sequence (definition). Also Wikidata Q5349492
History
- 2026-10-26: add by m2/dev
Nathan Netanyahu Y9RKC6JGCB
| URI | m2://inv/Y9RKC6JGCB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#412V, Nathan Netanyahu (unknown)
History
- 2026-11-02: add by m2/dev
Y9RKKW8ZCC Y9RKKW8ZCC
| URI | m2://inv/Y9RKKW8ZCC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#PWXM (statement). In CC6S1HVK0T/e1, lemma 5.39
History
- 2026-10-28: add by m2/v0.4.2
Y9RQNTE01F Y9RQNTE01F
| URI | m2://inv/Y9RQNTE01F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.00806#OYWF (statement). In SBN06J39DG/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
Y9RQXJ7W3N Y9RQXJ7W3N
| URI | m2://inv/Y9RQXJ7W3N |
|---|---|
| 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.19288#F18Y (statement). In 1EA6AM9V01/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Properties Y9RVYDXJGP
| URI | m2://inv/Y9RVYDXJGP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace diagram#12C0, Properties (statement)
History
- 2026-11-02: add by m2/dev
Schottky's theorem Y9S3F20K81
| URI | m2://inv/Y9S3F20K81 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schottky's theorem, Schottky's theorem (statement). Also Wikidata Q15214697
History
- 2026-11-02: add by m2/dev
Eleanor P. Cushing Y9S4KGZMS6
| URI | m2://inv/Y9S4KGZMS6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eleanor P. Cushing, Eleanor P. Cushing (topic). Also Wikidata Q108852897
History
- 2026-11-02: add by m2/dev
Y9SEZQSK2S Y9SEZQSK2S
| URI | m2://inv/Y9SEZQSK2S |
|---|---|
| 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.19980#79HR (statement). In G25RAH0XT4/e1, theorem
History
- 2026-10-27: add by m2/v0.4.2
Robust ``Energy-Independent" Tomography via Iterative Unsqueezing Y9SM2873DW
| URI | m2://inv/Y9SM2873DW |
|---|---|
| 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 2610.06810#GIDU, Robust ``Energy-Independent" Tomography via Iterative Unsqueezing (statement). In 1NY2SA03XF/e1, theorem 3.4
History
- 2026-10-29: add by m2/v0.4.10
A scalar recursion with two phases Y9SVVDSF7R
| URI | m2://inv/Y9SVVDSF7R |
|---|---|
| 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.12641#W9BG, A scalar recursion with two phases (statement). In X5BYGZZHPF/e1, lemma F.3
History
- 2026-10-28: add by m2/v0.4.2
Y9SZXAFMDQ Y9SZXAFMDQ
| URI | m2://inv/Y9SZXAFMDQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-12 (exercise). In QKM9DD2H56, exercise, section 7
History
- 2026-11-01: add by m2/v0.6.13
Dianne Cook Y9TDXTVATD
| URI | m2://inv/Y9TDXTVATD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dianne Cook (statistician), Dianne Cook (topic). Also Wikidata Q42315025
History
- 2026-11-02: add by m2/dev
Sonja Smets Y9TQ3PFG04
| URI | m2://inv/Y9TQ3PFG04 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#VJBP, Sonja Smets (unknown)
History
- 2026-11-02: add by m2/dev
Solenoid (mathematics) Y9TYHEJA9N
| URI | m2://inv/Y9TYHEJA9N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#G3YM, Solenoid (mathematics) (definition)
- wikipedia: Wikipedia List of mathematical examples#8DIA, Solenoid (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
Mathematics education in the United Kingdom Y9V57F3MZ8
| URI | m2://inv/Y9V57F3MZ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics education in the United Kingdom, Mathematics education in the United Kingdom (definition). Also Wikidata Q24995281
History
- 2026-11-02: add by m2/dev
Y9V67PZAAW Y9V67PZAAW
| URI | m2://inv/Y9V67PZAAW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21017#7UKB (statement). In 8KKYZ4NKT2/e1, lemma 34
History
- 2026-10-27: add by m2/v0.4.2
Tanya Christiansen Y9V8R5AKMN
| URI | m2://inv/Y9V8R5AKMN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tanya Christiansen, Tanya Christiansen (topic). Also Wikidata Q67187681
History
- 2026-11-02: add by m2/dev
Y9V9VAG5FN Y9V9VAG5FN
| URI | m2://inv/Y9V9VAG5FN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15367#YKU9 (definition). In 9AFZ1S368G/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Rudin's conjecture Y9VGGP1W1W
| URI | m2://inv/Y9VGGP1W1W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rudin's conjecture, Rudin's conjecture (statement). Also Wikidata Q55632080
History
- 2026-11-02: add by m2/dev
Y9VMXHFJ59 Y9VMXHFJ59
| URI | m2://inv/Y9VMXHFJ59 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#4VJ4 (definition). In 9H45HQE7AZ/e1, definition 3.12
History
- 2026-10-27: add by m2/v0.3.5
P-adic modular form Y9VNV216YG
| URI | m2://inv/Y9VNV216YG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-adic modular form, P-adic modular form (definition). Also Wikidata Q7116918
History
- 2026-11-02: add by m2/dev
Regular Figures Y9W1TFV5D6
| URI | m2://inv/Y9W1TFV5D6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular Figures, Regular Figures (definition). Also Wikidata Q104861289
History
- 2026-11-02: add by m2/dev
Logical inputs Y9W315X6CY
| URI | m2://inv/Y9W315X6CY |
|---|---|
| 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.15824#PLZ9, Logical inputs (statement). In GDZXR87FJV/e1, statement 3
History
- 2026-10-28: add by m2/v0.4.2
Underfitting Y9W9EGM1Z3
| URI | m2://inv/Y9W9EGM1Z3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZCXU, Underfitting (definition)
History
- 2026-11-02: add by m2/dev
Multiplication theorem Y9WEP4RZKB
| URI | m2://inv/Y9WEP4RZKB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Confluent hypergeometric function#X5DU, Multiplication theorem (statement)
History
- 2026-11-02: add by m2/dev
Extensions Y9WG8RVEBE
| URI | m2://inv/Y9WG8RVEBE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goldstone boson#AX2O, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Y9WKHXJKP9 Y9WKHXJKP9
| URI | m2://inv/Y9WKHXJKP9 |
|---|---|
| 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.24448#LZLN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Corollary Y9WNJVTWFX
| URI | m2://inv/Y9WNJVTWFX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski functional#PCOX, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Y9WQ5GXSRB Y9WQ5GXSRB
| URI | m2://inv/Y9WQ5GXSRB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/application-fixed-point.tex#thm-1 (statement). In PKGMM3P5QY, thm, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
*{Lemma 2.5.2 Y9X3RJ9XYD
| URI | m2://inv/Y9X3RJ9XYD |
|---|---|
| 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.04876#7UNA, *{Lemma 2.5.2 (statement). In 2TNAKVC0YP/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.12
Stage-1 bounds Y9X6XXP1XR
| URI | m2://inv/Y9X6XXP1XR |
|---|---|
| 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.14498#CGMK, Stage-1 bounds (statement). In 81YXGYETE4/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
Setup and motivation for the theorem Y9XTAQT16R
| URI | m2://inv/Y9XTAQT16R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph structure theorem#GAUS, Setup and motivation for the theorem (statement)
History
- 2026-11-02: add by m2/dev
Explicit algebraic measure for the deformation Y9XTTE7P9C
| URI | m2://inv/Y9XTTE7P9C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08568#AB8B, Explicit algebraic measure for the deformation (statement). In FDDA562VCA/e1, corollary 3.23
History
- 2026-10-29: add by m2/v0.4.10
Markus−Yamabe theorem Y9Y33FQJDA
| URI | m2://inv/Y9Y33FQJDA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#WNII, Markus−Yamabe theorem (statement)
History
- 2026-11-02: add by m2/dev
Open problems Y9YFJ8HV03
| URI | m2://inv/Y9YFJ8HV03 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures#I4JX, Open problems (statement)
History
- 2026-11-02: add by m2/dev
Y9YG9SZFGK Y9YG9SZFGK
| URI | m2://inv/Y9YG9SZFGK |
|---|---|
| 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.30823#SNR4 (statement). In 1YHQ9YNQ68/e1, lemma 3.3
History
- 2026-10-31: add by m2/v0.5.6
Klaus Hulek Y9YK1PTKJ5
| URI | m2://inv/Y9YK1PTKJ5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Klaus Hulek, Klaus Hulek (topic). Also Wikidata Q15456281
History
- 2026-11-02: add by m2/dev
Friedrich Waismann Y9YVZ6YPVK
| URI | m2://inv/Y9YVZ6YPVK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedrich Waismann, Friedrich Waismann (topic). Also Wikidata Q93826
History
- 2026-11-02: add by m2/dev
Y9Z4XDZZ73 Y9Z4XDZZ73
| URI | m2://inv/Y9Z4XDZZ73 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18929#CMUH (statement). In ZRJ2DZT6P1/e1, theorem 8.4
History
- 2026-10-28: add by m2/v0.4.2
Y9Z6N7QNHW Y9Z6N7QNHW
| URI | m2://inv/Y9Z6N7QNHW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10928#EXWW (statement). In 8M7BFVQYMM/e1, lemma 6.6
History
- 2026-10-28: add by m2/v0.4.3
Y9ZB9PET4A Y9ZB9PET4A
| URI | m2://inv/Y9ZB9PET4A |
|---|---|
| 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.14988#Q51H (statement). In B29M4E6KGC/e1, corollary G.1
History
- 2026-10-28: add by m2/v0.4.2
Y9ZFSXB3H0 Y9ZFSXB3H0
| URI | m2://inv/Y9ZFSXB3H0 |
|---|---|
| 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.21102#KW13 (statement)
History
- 2026-11-02: add by m2/v0.6.18
\myindex{Cousin II} Y9ZS27DJ6Z
| URI | m2://inv/Y9ZS27DJ6Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#defn-22, \myindex{Cousin II} (definition). In VNMV985MXX, defn, section 4.6
History
- 2026-11-01: add by m2/v0.6.13
Y9ZV8NQH3N Y9ZV8NQH3N
| URI | m2://inv/Y9ZV8NQH3N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19283#GO11 (statement). In 28BAGZRCKG/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2