Inventory rows A7
The cards of the rows of the inventory whose ids start with A7. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
A7041E2TMA A7041E2TMA
| URI | m2://inv/A7041E2TMA |
|---|---|
| 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.06438#0ZUD (statement). In Z633BH3HER/e1, theorem 2.6
History
- 2026-10-29: add by m2/v0.4.10
A704S14211 A704S14211
| URI | m2://inv/A704S14211 |
|---|---|
| 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 2609.37815#DXI7 (definition). In SVJYA0171G/e1, definition 5.4
History
- 2026-10-30: add by m2/v0.4.12
asymptote, horizontal A706ZTXF2R
| URI | m2://inv/A706ZTXF2R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/3.2.3/asymptote-horizontal, asymptote, horizontal (concept). In 907G4C4EJ1, index, section 3.2.3
History
- 2026-11-01: add by m2/v0.6.13
A7075QF23Q A7075QF23Q
| URI | m2://inv/A7075QF23Q |
|---|---|
| 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 2601.18223#X1E0 (statement). In ZRXE7EJA93/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.5
Boundary data for horizontal derivatives A70AHFPP4Y
| URI | m2://inv/A70AHFPP4Y |
|---|---|
| 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 2609.32829#GL7L, Boundary data for horizontal derivatives (statement). In RYWAX33Z51/e1, proposition 8.4
History
- 2026-10-31: add by m2/v0.5.6
A70CGSA2XE A70CGSA2XE
| URI | m2://inv/A70CGSA2XE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#L702 (statement). In JWNYJVH8XG/e1, theorem 3.29
History
- 2026-10-29: add by m2/v0.4.10
A70EE8914R A70EE8914R
| URI | m2://inv/A70EE8914R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39274#GDA6 (statement). In HVC7RVEM6V/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
polynomial fitting A70F5N8WN0
| URI | m2://inv/A70F5N8WN0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/3.3/polynomial-fitting, polynomial fitting (concept). In Y91XFCEVHQ, index, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
A70FBGTDQZ A70FBGTDQZ
| URI | m2://inv/A70FBGTDQZ |
|---|---|
| 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#4HVP (statement)
History
- 2026-11-02: add by m2/v0.6.18
A70MTJ2121 A70MTJ2121
| URI | m2://inv/A70MTJ2121 |
|---|---|
| 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 2609.32829#GIVU (statement). In RYWAX33Z51/e1, lemma 4.10
History
- 2026-10-31: add by m2/v0.5.6
Marianne Korten A70NED63V1
| URI | m2://inv/A70NED63V1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marianne Korten, Marianne Korten (topic). Also Wikidata Q102199253
History
- 2026-11-02: add by m2/dev
Vladimir Buslaev A70NVTDE79
| URI | m2://inv/A70NVTDE79 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vladimir Buslaev, Vladimir Buslaev (topic). Also Wikidata Q15455686
History
- 2026-11-02: add by m2/dev
smooth map between manifolds A70VMF43AK
| URI | m2://inv/A70VMF43AK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > smooth map between manifolds, smooth map between manifolds (unknown). Also Mathlib ContMDiff
History
- 2026-10-26: add by m2/dev
A719VX5RKX A719VX5RKX
| URI | m2://inv/A719VX5RKX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.10558#N287 (statement). In GYSF9JXQCH/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
Clemency Montelle A71EGX5433
| URI | m2://inv/A71EGX5433 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clemency Montelle, Clemency Montelle (topic). Also Wikidata Q99441392
History
- 2026-11-02: add by m2/dev
A71KYY94B9 A71KYY94B9
| URI | m2://inv/A71KYY94B9 |
|---|---|
| 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.06206#12U6 (statement). In A7611PTXVQ/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.10
Pre-fixed point A71QRHMNRV
| URI | m2://inv/A71QRHMNRV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fixed point (mathematics)#P8JS, Pre-fixed point (unknown)
History
- 2026-11-02: add by m2/dev
Applying the causal adequacy principle A71SBBK2E4
| URI | m2://inv/A71SBBK2E4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trademark argument#78LS, Applying the causal adequacy principle (statement)
History
- 2026-11-02: add by m2/dev
Angry white male A71V9R5TYX
| URI | m2://inv/A71V9R5TYX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angry white male, Angry white male (definition). Also Wikidata Q4763953
History
- 2026-11-02: add by m2/dev
Truncated 120-cells A727ZCMMWS
| URI | m2://inv/A727ZCMMWS |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated 120-cells, Truncated 120-cells (object). Also Wikidata Q7847845
History
- 2026-11-02: add by m2/dev
Properties A728M155MQ
| URI | m2://inv/A728M155MQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordered exponential field#S7IT, Properties (statement)
History
- 2026-11-02: add by m2/dev
Three-point identity A72AA9P9Y7
| URI | m2://inv/A72AA9P9Y7 |
|---|---|
| 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.33360#GZDB, Three-point identity (statement). In GH6FSDK4YB/e1, lemma 6.2
History
- 2026-10-30: add by m2/v0.4.12
Lagrange's four-square theorem A72BQMEZ96
| URI | m2://inv/A72BQMEZ96 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#ZMQT, Lagrange's four-square theorem (statement)
History
- 2026-11-02: add by m2/dev
Euclidean division of polynomials A72HVSMF16
| URI | m2://inv/A72HVSMF16 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial greatest common divisor#L9Z1, Euclidean division of polynomials (unknown)
History
- 2026-11-02: add by m2/dev
Algorithm A72REFQVCW
| URI | m2://inv/A72REFQVCW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermat primality test#JZZD, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
$\alphad$-relative stationarity A730628QYD
| URI | m2://inv/A730628QYD |
|---|---|
| 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 2411.05198#W1XD, $\alphad$-relative stationarity (definition). In NJWY6HPFHG/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
Birkhoff interpolation A73DQ70CJB
| URI | m2://inv/A73DQ70CJB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birkhoff interpolation, Birkhoff interpolation (definition). Also Wikidata Q3800523
History
- 2026-11-02: add by m2/dev
A73P53MJRG A73P53MJRG
| URI | m2://inv/A73P53MJRG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 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 2610.18302#OLYN (statement). In VJTRH1S4JA/e1, proposition 4.20
History
- 2026-10-28: add by m2/v0.4.2
Privacy guarantee of Saturated PTR A73SGZHRDH
| URI | m2://inv/A73SGZHRDH |
|---|---|
| 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.05867#X284, Privacy guarantee of Saturated PTR (statement). In E2TP3AKTNV/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
A73Y5WZ3XY A73Y5WZ3XY
| URI | m2://inv/A73Y5WZ3XY |
|---|---|
| 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.26600#RX0Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications A7461T486Z
| URI | m2://inv/A7461T486Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-adic analysis#SC9R, Applications (example)
History
- 2026-11-02: add by m2/dev
Karl Stein A74H40CWYK
| URI | m2://inv/A74H40CWYK |
|---|---|
| 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 Q68536, Karl Stein (unknown). Also nLab Karl Stein
- wikipedia: Wikipedia Karl Stein (mathematician), Karl Stein (topic). Also Wikidata Q68536
History
- 2026-10-26: add by m2/dev
Hidden-excursion factorization A755YQH93G
| URI | m2://inv/A755YQH93G |
|---|---|
| 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.13951#2ABE, Hidden-excursion factorization (statement). In BDV8G2CV16/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.2
singleton A757FMKYMM
| URI | m2://inv/A757FMKYMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#Z03P, singleton (definition)
History
- 2026-11-02: add by m2/dev
A75B0572T6 A75B0572T6
| URI | m2://inv/A75B0572T6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/rep-alg.tex#definition-6 (definition). In RZP28ERRZV, definition, section 80.2
History
- 2026-11-01: add by m2/v0.6.13
Examples A75D4HMSBX
| URI | m2://inv/A75D4HMSBX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivalence (measure theory)#GWXA, Examples (example)
History
- 2026-11-02: add by m2/dev
Hungry judge effect A75GT55CV4
| URI | m2://inv/A75GT55CV4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#RQ2V, Hungry judge effect (unknown)
History
- 2026-11-02: add by m2/dev
Examples A75J65AH67
| URI | m2://inv/A75J65AH67 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Well-quasi-ordering#HP76, Examples (example)
History
- 2026-11-02: add by m2/dev
essential singularity A75KPYMJ2Y
| URI | m2://inv/A75KPYMJ2Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Essential singularity 0B8837S5T3 |
Mentions
- wikidata: Wikidata Q1876526, essential singularity (definition). Also EoM Essential_singular_point, MathWorld EssentialSingularity, ProofWiki Definition:Essential_Singularity
- wikipedia: Wikipedia Essential singularity, Essential singularity (definition). Also Wikidata Q1876526
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Castelnuovo–Severi inequality A75SS2XFTE
| URI | m2://inv/A75SS2XFTE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#N4M6, Castelnuovo–Severi inequality (unknown)
History
- 2026-11-02: add by m2/dev
Scrambler A75VV48EPT
| URI | m2://inv/A75VV48EPT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scrambler, Scrambler (definition). Also Wikidata Q535939
History
- 2026-11-02: add by m2/dev
Example A75VX5XVXF
| URI | m2://inv/A75VX5XVXF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PLS (complexity)#X182, Example (example)
History
- 2026-11-02: add by m2/dev
A75WBGHV5H A75WBGHV5H
| URI | m2://inv/A75WBGHV5H |
|---|---|
| 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.28650#YO57 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Uniform non-clipping A760KQ9HC0
| URI | m2://inv/A760KQ9HC0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37917#3B0G, Uniform non-clipping (statement). In YYN10BJG1Q/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
gravitational field A762136END
| URI | m2://inv/A762136END |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q558066, gravitational field (definition). Also ProofWiki Definition:Gravitational_Field
History
- 2026-10-26: add by m2/dev
Pure gauge A76NDSJZ9V
| URI | m2://inv/A76NDSJZ9V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauge theory#SJH5, Pure gauge (unknown)
History
- 2026-11-02: add by m2/dev
Synonymia A76X8CR2M4
| URI | m2://inv/A76X8CR2M4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Synathroesmus#3XN0, Synonymia (unknown)
History
- 2026-11-02: add by m2/dev
The Takagi existence theorem A777Z24X50
| URI | m2://inv/A777Z24X50 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Class formation#XGVA, The Takagi existence theorem (statement)
History
- 2026-11-02: add by m2/dev
A778E7W69V A778E7W69V
| URI | m2://inv/A778E7W69V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/arithmetization/rationals.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 78.5
History
- 2026-11-01: add by m2/v0.6.13
Formal statement A77A78T3RE
| URI | m2://inv/A77A78T3RE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walras's law#6ULE, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
A77ATEX914 A77ATEX914
| URI | m2://inv/A77ATEX914 |
|---|---|
| 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#PU8K (statement). In 8PTDFHV8SQ/e1, proposition C.7
History
- 2026-10-28: add by m2/v0.4.3
Mixture independence A77BS4JA4Y
| URI | m2://inv/A77BS4JA4Y |
|---|---|
| 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 2609.25026#QXTR, Mixture independence (statement)
History
- 2026-11-01: add by m2/v0.6.15
Yoshiko Ogata A77R2RWRXQ
| URI | m2://inv/A77R2RWRXQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RGSM, Yoshiko Ogata (unknown)
History
- 2026-11-02: add by m2/dev
Saunders Mac Lane A77XHXTKN7
| URI | m2://inv/A77XHXTKN7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#DMQG, Saunders Mac Lane (topic)
History
- 2026-11-02: add by m2/dev
Definitions A77XW4JCVN
| URI | m2://inv/A77XW4JCVN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-analytic function#O3PE, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Mai Gehrke A781BBQ63R
| URI | m2://inv/A781BBQ63R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#X3YI, Mai Gehrke (topic)
History
- 2026-11-02: add by m2/dev
Blocked Gibbs sampler A7831TB2GX
| URI | m2://inv/A7831TB2GX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gibbs sampling#4PY0, Blocked Gibbs sampler (unknown)
History
- 2026-11-02: add by m2/dev
Vlad Tenev A784C6JJV5
| URI | m2://inv/A784C6JJV5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#K3XT, Vlad Tenev (unknown)
History
- 2026-11-02: add by m2/dev
Probabilistic validity of Formulation 2 A785E6QZ6M
| URI | m2://inv/A785E6QZ6M |
|---|---|
| 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.20539#T9HR, Probabilistic validity of Formulation 2 (statement). In 94KNW375B9/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.2
Properties A78AB8KR0E
| URI | m2://inv/A78AB8KR0E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective cone#1EEZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
A78ETW7XSR A78ETW7XSR
| URI | m2://inv/A78ETW7XSR |
|---|---|
| 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.16505#X4ET (statement). In P9V43TXCJ3/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Examples A78Y79DX33
| URI | m2://inv/A78Y79DX33 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stefan–Boltzmann law#UFMR, Examples (example)
History
- 2026-11-02: add by m2/dev
Uniqueness from the square A793XD9NAD
| URI | m2://inv/A793XD9NAD |
|---|---|
| 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.20994#QKYK, Uniqueness from the square (statement). In E90KYMVZMR/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.4.2
A79422YRJF A79422YRJF
| URI | m2://inv/A79422YRJF |
|---|---|
| Kind | example |
| 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#V2BN (example). In BDN507RN7J/e1, example 4.2.7
History
- 2026-10-30: add by m2/v0.4.12
A798YNM5ZC A798YNM5ZC
| URI | m2://inv/A798YNM5ZC |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 03-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2110.11143#S2AE (conjecture). In VTVC0TCWSB/e1, conjecture 1.4
History
- 2026-10-27: add by m2/v0.3.5
Jacob T. Schwartz A7997KASHS
| URI | m2://inv/A7997KASHS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2R4G, Jacob T. Schwartz (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Z9JA, Jacob T. Schwartz (unknown)
History
- 2026-11-02: add by m2/dev
Triskaidecagon A79GCW4CW2
| URI | m2://inv/A79GCW4CW2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#OV9C, Triskaidecagon (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#S2QH, Triskaidecagon (definition)
History
- 2026-11-02: add by m2/dev
Quantitative anisotropic covering comparison A79JRPEGP1
| URI | m2://inv/A79JRPEGP1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22485#MMQL, Quantitative anisotropic covering comparison (statement)
History
- 2026-11-02: add by m2/v0.6.17
Spectrum of a theory A7A32GVANE
| URI | m2://inv/A7A32GVANE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectrum of a theory, Spectrum of a theory (definition). Also Wikidata Q7575321
History
- 2026-11-02: add by m2/dev
A7A4D8802Q A7A4D8802Q
| URI | m2://inv/A7A4D8802Q |
|---|---|
| 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 2609.33469#88OE (definition). In TC5QA4AB4Z/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Ehrhart's volume conjecture A7A4Z087DX
| URI | m2://inv/A7A4Z087DX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#VB36, Ehrhart's volume conjecture (statement)
History
- 2026-11-02: add by m2/dev
Directed Information A7A94DTTCC
| URI | m2://inv/A7A94DTTCC |
|---|---|
| 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.16328#9EH5, Directed Information (definition). In F6C1FJNXQW/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
A7AQ3SK30H A7AQ3SK30H
| URI | m2://inv/A7AQ3SK30H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1711.00219#K6GY (statement). In 7V3HG30ZGW/e1, theorem 3.9
History
- 2026-10-27: add by m2/v0.4.0
Enrico Giovannini A7ASWJ7NK3
| URI | m2://inv/A7ASWJ7NK3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enrico Giovannini, Enrico Giovannini (topic). Also Wikidata Q3725799
History
- 2026-11-02: add by m2/dev
Hard A7AV8WR6WT
| URI | m2://inv/A7AV8WR6WT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise-32, Hard (exercise). In E59CDZA4DP, exercise, section 7.4.1
History
- 2026-11-01: add by m2/v0.6.13
A. Rod Gover A7B1G8SYYQ
| URI | m2://inv/A7B1G8SYYQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A. Rod Gover, A. Rod Gover (topic). Also Wikidata Q27733889
History
- 2026-11-02: add by m2/dev
A7B4M0Q7M3 A7B4M0Q7M3
| URI | m2://inv/A7B4M0Q7M3 |
|---|---|
| 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#09CK (statement)
History
- 2026-11-01: add by m2/v0.6.15
A7B57KZM2J A7B57KZM2J
| URI | m2://inv/A7B57KZM2J |
|---|---|
| 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#JLTQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
A7B7DAMT2X A7B7DAMT2X
| URI | m2://inv/A7B7DAMT2X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24297#7DUN (statement)
History
- 2026-11-01: add by m2/v0.6.15
A7BA7NYMAX A7BA7NYMAX
| URI | m2://inv/A7BA7NYMAX |
|---|---|
| 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#GDAD (definition). In BDN507RN7J/e1, definition 2.3.2
History
- 2026-10-30: add by m2/v0.4.12
Generalizations A7BG05GN6R
| URI | m2://inv/A7BG05GN6R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolutely convex set#KUQT, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
A7BH0H5HR1 A7BH0H5HR1
| URI | m2://inv/A7BH0H5HR1 |
|---|---|
| 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 2208.05288#92ZQ (statement). In RTW3GDYPND/e1, fact 3.16
History
- 2026-10-27: add by m2/v0.4.0
axiom of limitation of size A7BKMQ06WX
| URI | m2://inv/A7BKMQ06WX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q836475, axiom of limitation of size (statement). Also ProofWiki Axiom:Axiom_of_Limitation_of_Size
- wikipedia: Wikipedia Axiom of limitation of size, Axiom of limitation of size (statement). Also Wikidata Q836475
History
- 2026-10-26: add by m2/dev
orthogonal tensor A7BPPTVJJ4
| URI | m2://inv/A7BPPTVJJ4 |
|---|---|
| Kind | definition |
| 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 2505.04063#IUSD, orthogonal tensor (definition). In TFH7T63DX9/e1, definition A.7
History
- 2026-10-27: add by m2/v0.3.5
A7BSMN9DNE A7BSMN9DNE
| URI | m2://inv/A7BSMN9DNE |
|---|---|
| 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.15316#KQTD (statement). In 3K84E4150C/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
A7C2JY04Z5 A7C2JY04Z5
| URI | m2://inv/A7C2JY04Z5 |
|---|---|
| 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#S6LV (statement). In G00EYA9DXG/e1, theorem 6.3
History
- 2026-10-28: add by m2/v0.4.2
Alex Eskin A7C51MC0QB
| URI | m2://inv/A7C51MC0QB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Z29V, Alex Eskin (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DPHJ, Alex Eskin (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LDS4, Alex Eskin (topic)
History
- 2026-11-02: add by m2/dev
A7C776NR0F A7C776NR0F
| URI | m2://inv/A7C776NR0F |
|---|---|
| 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 2403.01959#CKO5 (statement). In 5YMNGJRC6Y/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.5
Orbit ambiguity in BB$(6,3)$ A7CCGHETZT
| URI | m2://inv/A7CCGHETZT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39121#GAR1, Orbit ambiguity in BB$(6,3)$ (example). In A42CWWRZJE/e1, example 3
History
- 2026-10-30: add by m2/v0.4.12
Fundamental theorem of finitely generated abelian groups A7CCNW1EH7
| URI | m2://inv/A7CCNW1EH7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems called fundamental#4661, Fundamental theorem of finitely generated abelian groups (definition)
History
- 2026-11-02: add by m2/dev
Additive smoothing A7CEQQRTFG
| URI | m2://inv/A7CEQQRTFG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0XC9, Additive smoothing (definition)
History
- 2026-11-02: add by m2/dev
A7CMGRR2HA A7CMGRR2HA
| URI | m2://inv/A7CMGRR2HA |
|---|---|
| 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.09019#2HCP (statement). In 8V6YECFCC1/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
A7CP4WDG5Z A7CP4WDG5Z
| URI | m2://inv/A7CP4WDG5Z |
|---|---|
| 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#FNSI (statement). In K2KYNCWER3/e1, lemma 10
History
- 2026-10-29: add by m2/v0.4.12
rational A7D12HEMQP
| URI | m2://inv/A7D12HEMQP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractional-order system#K63K, rational (definition)
- wikipedia: Wikipedia Fractional-order system#QHHA, commensurate (definition)
History
- 2026-11-02: add by m2/dev
Definition A7D837TJ47
| URI | m2://inv/A7D837TJ47 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross-ratio#2VD3, Definition (definition)
History
- 2026-11-02: add by m2/dev
Von Neumann algebra A7DCB57458
| URI | m2://inv/A7DCB57458 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#U0KQ, Von Neumann algebra (definition)
History
- 2026-11-02: add by m2/dev
A7DDVE4JX4 A7DDVE4JX4
| URI | m2://inv/A7DDVE4JX4 |
|---|---|
| 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.21963#HZRX (statement). In HR9R8RPKN8/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.4.2
A7DJCR2KHF A7DJCR2KHF
| URI | m2://inv/A7DJCR2KHF |
|---|---|
| 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.13392#4UKK (statement). In 2FVND41HVS/e1, theorem 5.16
History
- 2026-10-28: add by m2/v0.4.2
Spectral convergence A7DMAMP0BC
| URI | m2://inv/A7DMAMP0BC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01501#Z8D5, Spectral convergence (statement). In 8Q2PXZDGB5/e1, corollary 3.7
History
- 2026-10-29: add by m2/v0.4.12
Moser's worm problem A7DZN89PHE
| URI | m2://inv/A7DZN89PHE |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moser's worm problem, Moser's worm problem (conjecture). Also Wikidata Q15904307
History
- 2026-11-02: add by m2/dev
Chiliagon A7E0TY8RN3
| URI | m2://inv/A7E0TY8RN3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chiliagon, Chiliagon (definition). Also Wikidata Q2339094
History
- 2026-11-02: add by m2/dev
List of academic statistical associations A7E2E9JW2X
| URI | m2://inv/A7E2E9JW2X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of academic statistical associations, List of academic statistical associations (topic). Also Wikidata Q6604737
History
- 2026-11-02: add by m2/dev
Kenneth Steiglitz A7EGV8YNFA
| URI | m2://inv/A7EGV8YNFA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#OGWQ, Kenneth Steiglitz (unknown)
History
- 2026-11-02: add by m2/dev
zero divisor A7EKMZA5XT
| URI | m2://inv/A7EKMZA5XT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Zero divisor 0K26YKNBSA |
Mentions
- wikidata: Wikidata Q828111, zero divisor (definition). Also EoM Zero_divisor, LMFDB knowl ring.zero_divisor, MathWorld ZeroDivisor, ProofWiki Definition:Zero_Divisor
- wikipedia: Wikipedia Zero divisor, Zero divisor (definition). Also Wikidata Q828111
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
A7EMJJCQHC A7EMJJCQHC
| URI | m2://inv/A7EMJJCQHC |
|---|---|
| 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 2609.19959#P8KK (statement)
History
- 2026-11-02: add by m2/v0.6.18
A7EP0RG9DQ A7EP0RG9DQ
| URI | m2://inv/A7EP0RG9DQ |
|---|---|
| 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.28076#5LP2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Wolfram Demonstrations Project A7ETSDGHPG
| URI | m2://inv/A7ETSDGHPG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wolfram Demonstrations Project, Wolfram Demonstrations Project (definition). Also Wikidata Q2632017
History
- 2026-11-02: add by m2/dev
Istituto per le Applicazioni del Calcolo Mauro Picone A7EW1R4D8E
| URI | m2://inv/A7EW1R4D8E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Istituto per le Applicazioni del Calcolo Mauro Picone, Istituto per le Applicazioni del Calcolo Mauro Picone (definition). Also Wikidata Q3803803
History
- 2026-11-02: add by m2/dev
Interaction A7EXY000FH
| URI | m2://inv/A7EXY000FH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27181#5AB6, Interaction (definition)
History
- 2026-11-01: add by m2/v0.6.15
$L^p$-bounds for H\"ormander classes A7F9JXNYHG
| URI | m2://inv/A7F9JXNYHG |
|---|---|
| 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.21692#H2QO, $L^p$-bounds for H\"ormander classes (statement)
History
- 2026-11-02: add by m2/v0.6.18
Continuous embedding A7FDJQTR65
| URI | m2://inv/A7FDJQTR65 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous embedding, Continuous embedding (definition). Also Wikidata Q3796689
History
- 2026-11-02: add by m2/dev
Luca Tagliacozzo A7FHDTWYDH
| URI | m2://inv/A7FHDTWYDH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q51508171, Luca Tagliacozzo (unknown). Also nLab Luca Tagliacozzo
History
- 2026-10-26: add by m2/dev
A7FP6B4933 A7FP6B4933
| URI | m2://inv/A7FP6B4933 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08193#NYJL (statement). In 8XAKGH8S2D/e1, proposition 3.6
History
- 2026-10-29: add by m2/v0.4.10
A7FQFSCXAG A7FQFSCXAG
| URI | m2://inv/A7FQFSCXAG |
|---|---|
| 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 2609.31304#6JDM (statement). In 3YK9MDW1D2/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
Remez algorithm A7FVTQN770
| URI | m2://inv/A7FVTQN770 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#A9X2, Remez algorithm (definition)
History
- 2026-11-02: add by m2/dev
Sarah Seager A7G501Q08Z
| URI | m2://inv/A7G501Q08Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#ETRV, Sarah Seager (unknown)
History
- 2026-11-02: add by m2/dev
The algorithm A7GJR87R91
| URI | m2://inv/A7GJR87R91 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cornacchia's algorithm#VWI4, The algorithm (definition)
History
- 2026-11-02: add by m2/dev
Theorem (Funayama and Nakayama 1942) A7GMEPYJSW
| URI | m2://inv/A7GMEPYJSW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence lattice problem#YPLI, Theorem (Funayama and Nakayama 1942) (statement)
History
- 2026-11-02: add by m2/dev
A7GMT9HC2Z A7GMT9HC2Z
| URI | m2://inv/A7GMT9HC2Z |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#proof-8 (proof). In E59CDZA4DP, proof, section 3.2.4
History
- 2026-11-01: add by m2/v0.6.13
A7H0KRPDED A7H0KRPDED
| URI | m2://inv/A7H0KRPDED |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.05198#W9AE (statement). In NJWY6HPFHG/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Fritz Ursell A7H69VVB7Z
| URI | m2://inv/A7H69VVB7Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#GN1G, Fritz Ursell (topic)
History
- 2026-11-02: add by m2/dev
Busemann G-space A7H727PQ52
| URI | m2://inv/A7H727PQ52 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Busemann G-space, Busemann G-space (definition). Also Wikidata Q55606213
History
- 2026-11-02: add by m2/dev
Example A7H9X9JRJK
| URI | m2://inv/A7H9X9JRJK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derived tensor product#J5KX, Example (example)
History
- 2026-11-02: add by m2/dev
Jaco de Bakker A7H9XM7ZW4
| URI | m2://inv/A7H9XM7ZW4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#3EVT, Jaco de Bakker (unknown)
History
- 2026-11-02: add by m2/dev
Inverse depth parametrization A7HA2Z48F7
| URI | m2://inv/A7HA2Z48F7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse depth parametrization, Inverse depth parametrization (definition). Also Wikidata Q97359643
History
- 2026-11-02: add by m2/dev
Tautology A7HBC37D2X
| URI | m2://inv/A7HBC37D2X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tautology (rule of inference), Tautology (definition). Also Wikidata Q7688964
History
- 2026-11-02: add by m2/dev
Generic exact bounds A7HT3Y45FS
| URI | m2://inv/A7HT3Y45FS |
|---|---|
| Kind | statement |
| 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.02407#CMKW, Generic exact bounds (statement). In ZZER8ZBSCR/e1, theorem 5.4
History
- 2026-10-29: add by m2/v0.4.12
Member, American Academy of Actuaries A7HW2BNPQ7
| URI | m2://inv/A7HW2BNPQ7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia American Academy of Actuaries#M8XG, Member, American Academy of Actuaries (unknown)
History
- 2026-11-02: add by m2/dev
Applications A7HXWV9GGE
| URI | m2://inv/A7HXWV9GGE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's basis theorem#HM0D, Applications (example)
History
- 2026-11-02: add by m2/dev
A7HY1T903G A7HY1T903G
| URI | m2://inv/A7HY1T903G |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/filtrations/preliminaries.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 52.4
History
- 2026-11-01: add by m2/v0.6.13
Definition A7J0X51M42
| URI | m2://inv/A7J0X51M42 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blancmange curve#88SL, Definition (definition)
History
- 2026-11-02: add by m2/dev
Byers–Yang theorem A7JE0D5CDN
| URI | m2://inv/A7JE0D5CDN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#QZFG, Byers–Yang theorem (statement)
History
- 2026-11-02: add by m2/dev
Special cases A7JEYF8ZFS
| URI | m2://inv/A7JEYF8ZFS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crouzeix's conjecture#79FX, Special cases (statement)
History
- 2026-11-02: add by m2/dev
A7JMV3B0D2 A7JMV3B0D2
| URI | m2://inv/A7JMV3B0D2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28020#4QZL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Restrictions preserve the hypothesis A7JNG4AYDT
| URI | m2://inv/A7JNG4AYDT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-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 2610.12831#OZ28, Restrictions preserve the hypothesis (statement). In 7ZBQ8WGQVB/e1, lemma 6.4
History
- 2026-10-28: add by m2/v0.4.2
Fang-Hua Lin A7JNM6KGXA
| URI | m2://inv/A7JNM6KGXA |
|---|---|
| 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#D4UD, Fang-Hua Lin (topic)
History
- 2026-11-02: add by m2/dev
Gaussian initialization event A7JRZ8C83V
| URI | m2://inv/A7JRZ8C83V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 62-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.23927#UUK8, Gaussian initialization event (statement)
History
- 2026-11-02: add by m2/v0.6.17
A7JXS15YZ8 A7JXS15YZ8
| URI | m2://inv/A7JXS15YZ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09739#EVDM (statement). In ZYNZ95FSFD/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
A7JXY0VNS7 A7JXY0VNS7
| URI | m2://inv/A7JXY0VNS7 |
|---|---|
| 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.04069#VP89 (statement). In ZA7WXGZYWC/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
A7JY38P4E7 A7JY38P4E7
| URI | m2://inv/A7JY38P4E7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.29399#6THU (statement)
History
- 2026-11-01: add by m2/v0.6.15
The Common Topics A7JYRVDG44
| URI | m2://inv/A7JYRVDG44 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Common Topics, The Common Topics (definition). Also Wikidata Q7727019
History
- 2026-11-02: add by m2/dev
Variations A7K4SBVES4
| URI | m2://inv/A7K4SBVES4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rainbow#RUW2, Variations (statement)
History
- 2026-11-02: add by m2/dev
interval order A7K5P9ZN55
| URI | m2://inv/A7K5P9ZN55 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/6.6/interval-order, interval order (concept). In QKM9DD2H56, index, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
Representation A7KDC1WDP5
| URI | m2://inv/A7KDC1WDP5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leximin order#OET4, Representation (definition)
History
- 2026-11-02: add by m2/dev
A7KDNF1HSH A7KDNF1HSH
| URI | m2://inv/A7KDNF1HSH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31365#JZHA (statement). In 19GENJ3NCP/e1, proposition 4.5
History
- 2026-10-31: add by m2/v0.5.6
Game theory A7KE6TE93Z
| URI | m2://inv/A7KE6TE93Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#AZUT, Game theory (definition)
History
- 2026-11-02: add by m2/dev
A7KFY6A1GP A7KFY6A1GP
| URI | m2://inv/A7KFY6A1GP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19455#HGT5 (statement). In CBF6TQS4DW/e1, proposition 1.9
History
- 2026-10-28: add by m2/v0.4.2
A7KPM3ZJ7X A7KPM3ZJ7X
| URI | m2://inv/A7KPM3ZJ7X |
|---|---|
| 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.36877#1WEF (statement). In FYS6VV5M99/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
A7KYNVPWAX A7KYNVPWAX
| URI | m2://inv/A7KYNVPWAX |
|---|---|
| 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 2609.24577#JDDK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example A7M08P7C1T
| URI | m2://inv/A7M08P7C1T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius covariant#GDBL, Example (example)
History
- 2026-11-02: add by m2/dev
Hencky strain A7M5JGN14E
| URI | m2://inv/A7M5JGN14E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite strain theory#R6EI, Hencky strain (unknown)
History
- 2026-11-02: add by m2/dev
A7M6X33P2R A7M6X33P2R
| URI | m2://inv/A7M6X33P2R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2607.25960#S4IC (statement). In 13GSWBXPCM/e1, proposition 2.16
History
- 2026-10-27: add by m2/v0.3.5
A7M8ENHD0K A7M8ENHD0K
| URI | m2://inv/A7M8ENHD0K |
|---|---|
| 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.31104#2EVL (statement). In 67NFPNF39Y/e1, corollary 1.6
History
- 2026-10-31: add by m2/v0.5.6
Löwenheim A7M906C3EP
| URI | m2://inv/A7M906C3EP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#W2IQ, Löwenheim (definition)
History
- 2026-11-02: add by m2/dev
double integral A7M94FC5Z0
| URI | m2://inv/A7M94FC5Z0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Double integral 0NKBMFC18R |
Mentions
- wikidata: Wikidata Q9185332, double integral (unknown). Also MathWorld DoubleIntegral
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Non-examples A7MKWEAEE4
| URI | m2://inv/A7MKWEAEE4 |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Rham curve#N6KY, Non-examples (counterexample)
History
- 2026-11-02: add by m2/dev
A7MT692R81 A7MT692R81
| URI | m2://inv/A7MT692R81 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25524#ML8P (definition)
History
- 2026-11-01: add by m2/v0.6.15
One-time password A7N0M0W939
| URI | m2://inv/A7N0M0W939 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One-time password, One-time password (definition). Also Wikidata Q1137840
History
- 2026-11-02: add by m2/dev
Identity type A7N20T5V4H
| URI | m2://inv/A7N20T5V4H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Type theory#Q8YK, Identity type (statement)
History
- 2026-11-02: add by m2/dev
Gelfand pair A7N5695J4W
| URI | m2://inv/A7N5695J4W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.01567#RUGQ, Gelfand pair (definition). In GB0V23Q6C5/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Origin A7N7FGJFGG
| URI | m2://inv/A7N7FGJFGG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Origin (data analysis software), Origin (definition). Also Wikidata Q1307239
History
- 2026-11-02: add by m2/dev
A7N8Y59RAJ A7N8Y59RAJ
| URI | m2://inv/A7N8Y59RAJ |
|---|---|
| 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.11031#4K97 (definition). In 9DMJXFRQN9/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.3
Insertion of a factorization A7N9PA1MBE
| URI | m2://inv/A7N9PA1MBE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20572#A7EQ, Insertion of a factorization (statement)
History
- 2026-11-02: add by m2/v0.6.18
A7NNP260FC A7NNP260FC
| URI | m2://inv/A7NNP260FC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#HFKR (statement). In E7W2HDNEKJ/e1, theorem 7.13
History
- 2026-10-30: add by m2/v0.4.12
Examples A7NV4N7365
| URI | m2://inv/A7NV4N7365 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Estimand#7CNO, Examples (example)
History
- 2026-11-02: add by m2/dev
iron-55 A7P57SHGW0
| URI | m2://inv/A7P57SHGW0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2015910, iron-55 (definition). Also ProofWiki Definition:Iron/55
History
- 2026-10-26: add by m2/dev
Set identification A7P5N334FX
| URI | m2://inv/A7P5N334FX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set identification, Set identification (definition). Also Wikidata Q104847819
History
- 2026-11-02: add by m2/dev
A7PA23NCWQ A7PA23NCWQ
| URI | m2://inv/A7PA23NCWQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23004#AFSD (statement)
History
- 2026-11-02: add by m2/v0.6.17
Frobenius inner product A7PBXY91BB
| URI | m2://inv/A7PBXY91BB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Ferdinand Georg Frobenius#AWED, Frobenius inner product (definition)
History
- 2026-11-02: add by m2/dev
metamathematics A7PE1KN2VH
| URI | m2://inv/A7PE1KN2VH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#AXVI, metamathematics (definition)
History
- 2026-11-02: add by m2/dev
A7PGQ4GBNY A7PGQ4GBNY
| URI | m2://inv/A7PGQ4GBNY |
|---|---|
| Kind | definition |
| 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.39317#DCWX (definition). In QM1T8JDK4A/e1, definition 5.7
History
- 2026-10-30: add by m2/v0.4.12
A7PSHE16VF A7PSHE16VF
| URI | m2://inv/A7PSHE16VF |
|---|---|
| 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.14838#MS7P (statement). In J7ZX3WWRQP/e1, corollary 2.16
History
- 2026-10-28: add by m2/v0.4.2
Excision theorem A7PW8M0NZ4
| URI | m2://inv/A7PW8M0NZ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#J7SV, Excision theorem (statement)
History
- 2026-11-02: add by m2/dev
Consequences of the Gaussian estimates A7PWKSVJN8
| URI | m2://inv/A7PWKSVJN8 |
|---|---|
| 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.07790#TUHW, Consequences of the Gaussian estimates (statement). In A5YJDDM0NX/e1, lemma A.9
History
- 2026-10-29: add by m2/v0.4.10
$H^2$ estimate for $f$ A7Q2KPH0N9
| URI | m2://inv/A7Q2KPH0N9 |
|---|---|
| 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.08434#RLYS, $H^2$ estimate for $f$ (statement). In VN8087G2FC/e1, lemma 8.10
History
- 2026-10-29: add by m2/v0.4.10
Exact output law and prescribed moment attenuation A7Q570321S
| URI | m2://inv/A7Q570321S |
|---|---|
| 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#6XU8, Exact output law and prescribed moment attenuation (statement). In 9YAE8FNQST/e1, theorem 10.11
History
- 2026-10-30: add by m2/v0.4.12
Michiel Coignet A7Q5EJG1G0
| URI | m2://inv/A7Q5EJG1G0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michiel Coignet, Michiel Coignet (topic). Also Wikidata Q3309299
History
- 2026-11-02: add by m2/dev
A7Q700G7F9 A7Q700G7F9
| URI | m2://inv/A7Q700G7F9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-7 (exercise). In E9HS8K3A52, exercise, section 10.1.6
History
- 2026-11-01: add by m2/v0.6.13
Stationary contribution at a finite horizon A7QAFDXX8S
| URI | m2://inv/A7QAFDXX8S |
|---|---|
| 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.15543#39WA, Stationary contribution at a finite horizon (statement). In TQSHQZFCS5/e1, proposition E.1
History
- 2026-10-28: add by m2/v0.4.2
Global law A7QD10GZ8Q
| URI | m2://inv/A7QD10GZ8Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian ensemble#6CEH, Global law (statement)
History
- 2026-11-02: add by m2/dev
Laws of large numbers A7QDC7RBAT
| URI | m2://inv/A7QDC7RBAT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#H1DX, Laws of large numbers (statement)
History
- 2026-11-02: add by m2/dev
Lemma A7QV4JWYBM
| URI | m2://inv/A7QV4JWYBM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proofs of Fermat's little theorem#9TK8, Lemma (statement)
History
- 2026-11-02: add by m2/dev
A7R5QSZBD3 A7R5QSZBD3
| URI | m2://inv/A7R5QSZBD3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/infinite-valued-logics/goedel.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 39.4
History
- 2026-11-01: add by m2/v0.6.13
Properties A7RB29XYKW
| URI | m2://inv/A7RB29XYKW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete group#JCEA, Properties (statement)
History
- 2026-11-02: add by m2/dev
Steven Weinberg A7RCKER34Q
| URI | m2://inv/A7RCKER34Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YBRZ, Steven Weinberg (unknown)
History
- 2026-11-02: add by m2/dev
Escape velocity A7RQG2DKQY
| URI | m2://inv/A7RQG2DKQY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#1GNR, Escape velocity (definition)
History
- 2026-11-02: add by m2/dev
Examples A7S0NCP0QZ
| URI | m2://inv/A7S0NCP0QZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonical singularity#1UED, Examples (example)
History
- 2026-11-02: add by m2/dev
Maryna Viazovska A7S5HJ1ZQ8
| URI | m2://inv/A7S5HJ1ZQ8 |
|---|---|
| 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#LQRM, Maryna Viazovska (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#R1VQ, Maryna Viazovska (topic)
History
- 2026-11-02: add by m2/dev
Per-epoch noise A7SJ5AK72T
| URI | m2://inv/A7SJ5AK72T |
|---|---|
| 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#YHK5, Per-epoch noise (statement). In B29M4E6KGC/e1, lemma H.19
History
- 2026-10-28: add by m2/v0.4.2
A7SKNREYX7 A7SKNREYX7
| URI | m2://inv/A7SKNREYX7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2110.11143#976O (definition). In VTVC0TCWSB/e1, definition 6.13
History
- 2026-10-27: add by m2/v0.3.5
A7SMM44PCV A7SMM44PCV
| URI | m2://inv/A7SMM44PCV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01433#K8R1 (definition). In 160PQ7F1AS/e1, definition 4.12
History
- 2026-10-29: add by m2/v0.4.12
mathematics, proof-relevant A7SNB1MXV9
| URI | m2://inv/A7SNB1MXV9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.6/mathematics-proof-relevant, mathematics, proof-relevant (concept). In N54F33XE07, index, section A.6
History
- 2026-11-01: add by m2/v0.6.13
Hierocrypt A7SSYHXQPC
| URI | m2://inv/A7SSYHXQPC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hierocrypt, Hierocrypt (definition). Also Wikidata Q4040651
History
- 2026-11-02: add by m2/dev
≡ A7SV2X03N8
| URI | m2://inv/A7SV2X03N8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#QVAE, ≡ (definition)
History
- 2026-11-02: add by m2/dev
Arithmetical formation A7TA3R490Q
| URI | m2://inv/A7TA3R490Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract analytic number theory#KKOC, Arithmetical formation (unknown)
History
- 2026-11-02: add by m2/dev
Example A7TA4PAH03
| URI | m2://inv/A7TA4PAH03 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski functional#WWEZ, Example (example)
History
- 2026-11-02: add by m2/dev
Wolf Prize A7TCX9V8HY
| URI | m2://inv/A7TCX9V8HY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q739936, Wolf Prize (definition). Also MathWorld WolfPrize, ProofWiki Definition:Wolf_Prize
History
- 2026-10-26: add by m2/dev
Erdős–Mollin–Walsh conjecture A7TDV4C9YA
| URI | m2://inv/A7TDV4C9YA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#JLM8, Erdős–Mollin–Walsh conjecture (definition)
History
- 2026-11-02: add by m2/dev
Cross-sectional data A7TE05D6HT
| URI | m2://inv/A7TE05D6HT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#W0K1, Cross-sectional data (definition)
History
- 2026-11-02: add by m2/dev
A7TJMBXNC2 A7TJMBXNC2
| URI | m2://inv/A7TJMBXNC2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2605.16669#LUAE (statement). In 1463YCCRP5/e1, theorem 3.10
History
- 2026-10-27: add by m2/v0.4.0
Shapley–Folkman–Starr theorem A7TP13F6XP
| URI | m2://inv/A7TP13F6XP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shapley–Folkman lemma#WLQ9, Shapley–Folkman–Starr theorem (statement)
History
- 2026-11-02: add by m2/dev
A7TPEB9F1G A7TPEB9F1G
| URI | m2://inv/A7TPEB9F1G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-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 2610.15736#7DYQ (statement). In 17WP1JCDAV/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
A7TQTDMRFR A7TQTDMRFR
| URI | m2://inv/A7TQTDMRFR |
|---|---|
| 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.08424#KJ2W (conjecture). In BVD2HAAKD5/e1, conjecture 1.1
History
- 2026-10-29: add by m2/v0.4.10
A7TTADM1M2 A7TTADM1M2
| URI | m2://inv/A7TTADM1M2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19464#K4P4 (statement). In G8JCZ109A9/e1, corollary 4.3
History
- 2026-10-28: add by m2/v0.4.2
Example A7TW26W5DJ
| URI | m2://inv/A7TW26W5DJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hall word#08A5, Example (example)
History
- 2026-11-02: add by m2/dev
Richard Rusczyk A7V14EV04R
| URI | m2://inv/A7V14EV04R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Rusczyk, Richard Rusczyk (topic). Also Wikidata Q7328783
History
- 2026-11-02: add by m2/dev
Robert H. Gowdy A7V46Z8PNE
| URI | m2://inv/A7V46Z8PNE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#YKQN, Robert H. Gowdy (unknown)
History
- 2026-11-02: add by m2/dev
A7V78KFP56 A7V78KFP56
| URI | m2://inv/A7V78KFP56 |
|---|---|
| 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#VMX8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
A7V7VZ36BF A7V7VZ36BF
| URI | m2://inv/A7V7VZ36BF |
|---|---|
| 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 2504.09464#HHCD (statement). In RN1XRCS2CH/e1, proposition 9
History
- 2026-10-27: add by m2/v0.3.6
ISAAC A7V8CFM177
| URI | m2://inv/A7V8CFM177 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ISAAC (cipher), ISAAC (definition). Also Wikidata Q1994471
History
- 2026-11-02: add by m2/dev
Feuerbach’s Theorem A7V8GJ95T7
| URI | m2://inv/A7V8GJ95T7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 29, Feuerbach’s Theorem (statement)
History
- 2026-10-26: add by m2/dev
cubical A7VGQ56KCK
| URI | m2://inv/A7VGQ56KCK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#2WO0, cubical (definition)
History
- 2026-11-02: add by m2/dev
$H^{m-1}$-regularity of velocity change A7W3YPA2NN
| URI | m2://inv/A7W3YPA2NN |
|---|---|
| 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 2410.06788#48KS, $H^{m-1}$-regularity of velocity change (statement). In B2VE3JQZD3/e1, corollary 26
History
- 2026-10-27: add by m2/v0.3.5
Computer-automated design A7W54T1DVZ
| URI | m2://inv/A7W54T1DVZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#O9P9, Computer-automated design (unknown)
History
- 2026-11-02: add by m2/dev
Applications A7W8BBFAJP
| URI | m2://inv/A7W8BBFAJP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deconvolution#WNZ9, Applications (example)
History
- 2026-11-02: add by m2/dev
A7WCSHVQ1C A7WCSHVQ1C
| URI | m2://inv/A7WCSHVQ1C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36823#EFGK (statement). In 55WT8DME6Y/e1, corollary 2.8
History
- 2026-10-30: add by m2/v0.4.12
Einstein equivalence principle A7WG8PQ6PM
| URI | m2://inv/A7WG8PQ6PM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivalence principle#ZTZB, Einstein equivalence principle (statement)
History
- 2026-11-02: add by m2/dev
multiple integral A7WQJQAG93
| URI | m2://inv/A7WQJQAG93 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#Q17A, multiple integral (definition)
History
- 2026-11-02: add by m2/dev
Applications A7WYEH98YA
| URI | m2://inv/A7WYEH98YA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Histogram#1OVZ, Applications (example)
History
- 2026-11-02: add by m2/dev
inverse, in a (pre)category A7XBR0ZYWR
| URI | m2://inv/A7XBR0ZYWR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.1/inverse-in-a-pre-category, inverse, in a (pre)category (concept). In N54F33XE07, index, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Ursula Martin A7XPGYSSTM
| URI | m2://inv/A7XPGYSSTM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#8BKJ, Ursula Martin (unknown)
History
- 2026-11-02: add by m2/dev
Szegedy, Márió A7Y5N54JMG
| URI | m2://inv/A7Y5N54JMG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#J75E, Szegedy, Márió (topic)
History
- 2026-11-02: add by m2/dev
A7YRFZT3JP A7YRFZT3JP
| URI | m2://inv/A7YRFZT3JP |
|---|---|
| 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 2610.20311#WO02 (statement). In SW758TCN31/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
Samuel C. Bradford A7YTP7YXTB
| URI | m2://inv/A7YTP7YXTB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Samuel C. Bradford, Samuel C. Bradford (topic). Also Wikidata Q706365
History
- 2026-11-02: add by m2/dev
Schmidt rank A7YWJ5EYDE
| URI | m2://inv/A7YWJ5EYDE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schmidt decomposition#NNMI, Schmidt rank (unknown)
History
- 2026-11-02: add by m2/dev
PyMC A7YXR0SKR3
| URI | m2://inv/A7YXR0SKR3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#SOBO, PyMC (definition)
History
- 2026-11-02: add by m2/dev
A7Z2DVPRCJ A7Z2DVPRCJ
| URI | m2://inv/A7Z2DVPRCJ |
|---|---|
| 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.05696#5UGT (definition). In MG81A9XJTQ/e1, definition VI.3
History
- 2026-10-29: add by m2/v0.4.10
7-demicubic honeycomb A7Z503FWDA
| URI | m2://inv/A7Z503FWDA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#AJK4, 7-demicubic honeycomb (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#BC94, 7-demicubic honeycomb (definition)
History
- 2026-11-02: add by m2/dev
Tree-mixture approximation A7Z56Z6DX2
| URI | m2://inv/A7Z56Z6DX2 |
|---|---|
| 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 2610.12544#ZHMF, Tree-mixture approximation (statement). In XXV36V6CK8/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
A7Z8NYX7BX A7Z8NYX7BX
| URI | m2://inv/A7Z8NYX7BX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise-11 (exercise). In E59CDZA4DP, exercise, section 7.1.1
History
- 2026-11-01: add by m2/v0.6.13
A7ZCRN7JQ5 A7ZCRN7JQ5
| URI | m2://inv/A7ZCRN7JQ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22394#AXM4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
A7ZF4G4PMR A7ZF4G4PMR
| URI | m2://inv/A7ZF4G4PMR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10372#KQY7 (statement). In P77W283VXT/e1, corollary 3.6
History
- 2026-10-29: add by m2/v0.4.10
Definition A7ZM0SBHR1
| URI | m2://inv/A7ZM0SBHR1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gittins index#XKNN, Definition (definition)
History
- 2026-11-02: add by m2/dev
A7ZTV59DEN A7ZTV59DEN
| URI | m2://inv/A7ZTV59DEN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31300#GM6O (example). In ERHQDB8M41/e1, example 3.11
History
- 2026-10-31: add by m2/v0.5.6