Inventory rows 7V
The cards of the rows of the inventory whose ids start with 7V. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
7V070Q1JSJ 7V070Q1JSJ
| URI | m2://inv/7V070Q1JSJ |
|---|---|
| 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 2609.33584#CUR4 (statement). In 3HFBAWQCA1/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
Wilson prime 7V0KPMX45T
| URI | m2://inv/7V0KPMX45T |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#W9HD, Wilson prime (conjecture)
- wikipedia: Wikipedia List of factorial and binomial topics#EVO6, Wilson prime (conjecture)
History
- 2026-11-02: add by m2/dev
7V0QG3QGHT 7V0QG3QGHT
| URI | m2://inv/7V0QG3QGHT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10230#XJH5 (statement). In YS75517SF7/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
interest 7V139NT284
| URI | m2://inv/7V139NT284 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q170924, interest (definition). Also MathWorld Interest, ProofWiki Definition:Interest
History
- 2026-10-26: add by m2/dev
Ammann–Beenker tiling 7V25S8YBSR
| URI | m2://inv/7V25S8YBSR |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ammann–Beenker tiling, Ammann–Beenker tiling (object). Also Wikidata Q4747168
History
- 2026-11-02: add by m2/dev
7V273RZPB3 7V273RZPB3
| URI | m2://inv/7V273RZPB3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27765#GUTS (definition)
History
- 2026-11-01: add by m2/v0.6.15
7V2AA8QS13 7V2AA8QS13
| URI | m2://inv/7V2AA8QS13 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09544#BJD9 (statement). In DYBM6Q2K6R/e1, proposition 8.1
History
- 2026-10-29: add by m2/v0.4.10
indecomposable 7V2C3NNKQZ
| URI | m2://inv/7V2C3NNKQZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#NHL6, indecomposable (definition)
History
- 2026-11-02: add by m2/dev
7V2ETATB9M 7V2ETATB9M
| URI | m2://inv/7V2ETATB9M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#thm:trunc0-lump (statement). In N54F33XE07, lem, section 5.9
History
- 2026-11-01: add by m2/v0.6.13
Finite determinant and finite scalars 7V2M9PT1AD
| URI | m2://inv/7V2M9PT1AD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#UAIR, Finite determinant and finite scalars (statement). In QPJ6FWG5HD/e1, proposition 2.100
History
- 2026-10-29: add by m2/v0.4.12
Projective Geometric Algebra 7V2XDGSF34
| URI | m2://inv/7V2XDGSF34 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plane-based geometric algebra#YDN2, Projective Geometric Algebra (unknown)
History
- 2026-11-02: add by m2/dev
logical disjunction 7V32GQBYSG
| URI | m2://inv/7V32GQBYSG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Disjunction 0F72FK8EKB |
Mentions
- wikidata: Wikidata Q1651704, logical disjunction (unknown). Also EoM Disjunction, MathWorld Disjunction
- wikipedia: Wikipedia Logical disjunction, Logical disjunction (definition). Also Wikidata Q1651704
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Generalizations 7V3B0Y84GK
| URI | m2://inv/7V3B0Y84GK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixing (mathematics)#HBQD, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
7V3KA54WQJ 7V3KA54WQJ
| URI | m2://inv/7V3KA54WQJ |
|---|---|
| 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#LW4O (statement). In MG81A9XJTQ/e1, theorem V.1
History
- 2026-10-29: add by m2/v0.4.10
Watts and Strogatz model 7V3R418M60
| URI | m2://inv/7V3R418M60 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#2HU8, Watts and Strogatz model (definition)
History
- 2026-11-02: add by m2/dev
Remark 7V3SZ4NCF0
| URI | m2://inv/7V3SZ4NCF0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Estimation of signal parameters via rotational invariance techniques#J1YC, Remark (unknown)
History
- 2026-11-02: add by m2/dev
Properties 7V41VBBJAG
| URI | m2://inv/7V41VBBJAG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Table of prime factors#6XNS, Properties (statement)
History
- 2026-11-02: add by m2/dev
7V48BBY4MW 7V48BBY4MW
| URI | m2://inv/7V48BBY4MW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06066#KLY8 (statement). In V2YFQ5RF6V/e1, proposition 3
History
- 2026-10-29: add by m2/v0.4.10
Nonlinear isotropy reduction 7V4AFZTNY1
| URI | m2://inv/7V4AFZTNY1 |
|---|---|
| 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.25987#KRXU, Nonlinear isotropy reduction (statement)
History
- 2026-11-01: add by m2/v0.6.15
Paul Funk 7V4EMKTFAD
| URI | m2://inv/7V4EMKTFAD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Funk, Paul Funk (topic). Also Wikidata Q87879
History
- 2026-11-02: add by m2/dev
The {\it as if} rule 7V4JEN6A6A
| URI | m2://inv/7V4JEN6A6A |
|---|---|
| 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 2602.19452#ZSIF, The {\it as if} rule (statement). In 3GF75S0XJ0/e1, statement 2.6
History
- 2026-10-27: add by m2/v0.4.0
Applications 7V4R6HS85N
| URI | m2://inv/7V4R6HS85N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magnetostriction#2KOT, Applications (example)
History
- 2026-11-02: add by m2/dev
Spherical 3-manifold 7V4WP7R4ZB
| URI | m2://inv/7V4WP7R4ZB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of manifolds#NJUZ, Spherical 3-manifold (definition)
History
- 2026-11-02: add by m2/dev
7V524SPK42 7V524SPK42
| URI | m2://inv/7V524SPK42 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16358#GDGL (statement). In RJA3YJ9NYK/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
7V52B5HETA 7V52B5HETA
| URI | m2://inv/7V52B5HETA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.13621#56OW (statement). In DG0EZ1BPV5/e1, corollary A.1
History
- 2026-10-27: add by m2/v0.3.5
Properties 7V549JKWVB
| URI | m2://inv/7V549JKWVB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sheffer stroke#FQ8L, Properties (statement)
History
- 2026-11-02: add by m2/dev
Trois-Rivières 7V57RX9ZSM
| URI | m2://inv/7V57RX9ZSM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#OVZ5, Trois-Rivières (unknown)
History
- 2026-11-02: add by m2/dev
Handshaking lemma 7V5CCEYP5Y
| URI | m2://inv/7V5CCEYP5Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double counting (proof technique)#8ETU, Handshaking lemma (statement)
History
- 2026-11-02: add by m2/dev
7V5ENSRN77 7V5ENSRN77
| URI | m2://inv/7V5ENSRN77 |
|---|---|
| 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 0907.5545#DUAL (statement). In K3GWCTV5YE/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Quantum inverse scattering method 7V5K6B0ADZ
| URI | m2://inv/7V5K6B0ADZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum inverse scattering method, Quantum inverse scattering method (definition). Also Wikidata Q17105415
History
- 2026-11-02: add by m2/dev
Rouch\'e 7V5Z0H0VQK
| URI | m2://inv/7V5Z0H0VQK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm:onevarrouche, Rouch\'e (statement). In VNMV985MXX, thm, section B
History
- 2026-11-01: add by m2/v0.6.13
7V63M28QT1 7V63M28QT1
| URI | m2://inv/7V63M28QT1 |
|---|---|
| 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.26576#55M5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Thermodynamic square 7V64DNQKNB
| URI | m2://inv/7V64DNQKNB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermodynamic square, Thermodynamic square (definition). Also Wikidata Q63485
History
- 2026-11-02: add by m2/dev
7V6A6SZ8VY 7V6A6SZ8VY
| URI | m2://inv/7V6A6SZ8VY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-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.24545#HM45 (definition)
History
- 2026-11-01: add by m2/v0.6.15
7V6GG0J7HB 7V6GG0J7HB
| URI | m2://inv/7V6GG0J7HB |
|---|---|
| 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.13505#W8KO (statement). In 6Z1DDCYCQ8/e1, theorem 10
History
- 2026-10-28: add by m2/v0.4.2
7V6HSZHZ6T 7V6HSZHZ6T
| URI | m2://inv/7V6HSZHZ6T |
|---|---|
| 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.05784#HJM7 (statement). In 6NVP3YRWVA/e1, corollary 2.14
History
- 2026-10-29: add by m2/v0.4.10
7V6KCRX5AM 7V6KCRX5AM
| URI | m2://inv/7V6KCRX5AM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29501#4K1T (statement)
History
- 2026-11-01: add by m2/v0.6.15
Transverse M\"obius-group lemma 7V6KJ9XHHV
| URI | m2://inv/7V6KJ9XHHV |
|---|---|
| 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#OFO0, Transverse M\"obius-group lemma (statement). In Z0SAF18JPP/e1, lemma 12.3
History
- 2026-10-28: add by m2/v0.4.2
Gaussian process 7V70CG4N12
| URI | m2://inv/7V70CG4N12 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of stochastic processes topics#65RU, Gaussian process (definition)
History
- 2026-11-02: add by m2/dev
Vector field 7V74WM7YJ7
| URI | m2://inv/7V74WM7YJ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of multivariable calculus topics#1S6E, Vector field (definition)
History
- 2026-11-02: add by m2/dev
Dynamics (mechanics) 7V768XSMN4
| URI | m2://inv/7V768XSMN4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#8S1B, Dynamics (mechanics) (unknown)
History
- 2026-11-02: add by m2/dev
7V76R68J18 7V76R68J18
| URI | m2://inv/7V76R68J18 |
|---|---|
| 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.03298#9PGI (statement). In 9SBZP218SM/e1, proposition 12.2
History
- 2026-10-29: add by m2/v0.4.12
335 (number) 7V7AQEDVEH
| URI | m2://inv/7V7AQEDVEH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#JO8U, 335 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Definitions 7V7PT9DWD5
| URI | m2://inv/7V7PT9DWD5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infodemic#QPLK, Definitions (definition)
History
- 2026-11-02: add by m2/dev
7V7WETBY2Z 7V7WETBY2Z
| URI | m2://inv/7V7WETBY2Z |
|---|---|
| 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.23593#509F (statement)
History
- 2026-11-02: add by m2/v0.6.17
7V81Y03HDR 7V81Y03HDR
| URI | m2://inv/7V81Y03HDR |
|---|---|
| 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.01475#VND7 (statement). In A7VJF2FYSD/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.12
Statement 7V84VK2VHQ
| URI | m2://inv/7V84VK2VHQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stein factorization#9MFW, Statement (statement)
History
- 2026-11-02: add by m2/dev
7V882ER793 7V882ER793
| URI | m2://inv/7V882ER793 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#liminflimsup:def (definition). In E59CDZA4DP, defn, section 10.3.1
History
- 2026-11-01: add by m2/v0.6.13
7V88Z7Z0T5 7V88Z7Z0T5
| URI | m2://inv/7V88Z7Z0T5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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.26572#8B2J (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hubbert curve 7V8BSFEDM8
| URI | m2://inv/7V8BSFEDM8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hubbert curve, Hubbert curve (definition). Also Wikidata Q3699699
History
- 2026-11-02: add by m2/dev
Tian yuan shu 7V8EZ9VCXK
| URI | m2://inv/7V8EZ9VCXK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tian yuan shu, Tian yuan shu (definition). Also Wikidata Q833631
History
- 2026-11-02: add by m2/dev
Censo General de Población y Vivienda 7V8K0BFT49
| URI | m2://inv/7V8K0BFT49 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Censo General de Población y Vivienda, Censo General de Población y Vivienda (definition). Also Wikidata Q17003001
History
- 2026-11-02: add by m2/dev
Generalizations 7V8PR3VCPD
| URI | m2://inv/7V8PR3VCPD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flag algebra#H34M, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
7V8SZF0WZ5 7V8SZF0WZ5
| URI | m2://inv/7V8SZF0WZ5 |
|---|---|
| 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.07546#NTPU (statement). In H9YE46CGFN/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
Discrete series representation 7V902TDGJR
| URI | m2://inv/7V902TDGJR |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5282059, Harish–Chandra theorem (statement). Also Wikidata Q5282059
- thousand_plus: thousand_plus Q5282059, Harish–Chandra theorem (statement). Also Wikidata Q5282059, Wikipedia Discrete series representation
- wikipedia: Wikipedia Discrete series representation, Discrete series representation (definition). Also Wikidata Q5282059
History
- 2026-10-26: add by m2/dev
Definitions 7V91GQP5MH
| URI | m2://inv/7V91GQP5MH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric rigidity#UM3Q, Definitions (definition)
History
- 2026-11-02: add by m2/dev
7V9436W2NF 7V9436W2NF
| URI | m2://inv/7V9436W2NF |
|---|---|
| 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 2610.11157#A2I7 (definition). In G30YTST9ZK/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.3
Martingale representation theorem 7V981MGRBR
| URI | m2://inv/7V981MGRBR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8ECS, Martingale representation theorem (statement)
History
- 2026-11-02: add by m2/dev
7V99MYWAN7 7V99MYWAN7
| URI | m2://inv/7V99MYWAN7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.06433#IM0H (definition). In 628PJKD3EV/e1, definition 1.9
History
- 2026-10-27: add by m2/v0.3.5
Cauchy formula 7V9APXTDM6
| URI | m2://inv/7V9APXTDM6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/1/cauchy-formula, Cauchy formula (concept). In VNMV985MXX, index, section 1
History
- 2026-11-01: add by m2/v0.6.13
Enneper surface 7V9MW5R21Y
| URI | m2://inv/7V9MW5R21Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#PS7T, Enneper surface (definition)
History
- 2026-11-02: add by m2/dev
7V9QGVY168 7V9QGVY168
| URI | m2://inv/7V9QGVY168 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 60-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07679#F9ZI (statement). In K8JMTRS42G/e1, lemma 6.7
History
- 2026-10-29: add by m2/v0.4.10
7V9RDSZP05 7V9RDSZP05
| URI | m2://inv/7V9RDSZP05 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-53 (exercise). In E9HS8K3A52, exercise, section 7.4.5
History
- 2026-11-01: add by m2/v0.6.13
\textbf{Transversely convex tube 7V9S9CSDDM
| URI | m2://inv/7V9S9CSDDM |
|---|---|
| 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 0904.3493#XTBM, \textbf{Transversely convex tube (definition). In 1ARY7220P4/e1, definition 1.4
History
- 2026-10-27: add by m2/v0.3.5
7V9T1XGVBT 7V9T1XGVBT
| URI | m2://inv/7V9T1XGVBT |
|---|---|
| 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.31242#0JO2 (statement). In 3NPRR9546C/e1, lemma 3.3
History
- 2026-10-31: add by m2/v0.5.6
7V9TZVG0AW 7V9TZVG0AW
| URI | m2://inv/7V9TZVG0AW |
|---|---|
| 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.11757#MSMO (statement). In VSJRVTHWWA/e1, corollary 1.4
History
- 2026-10-28: add by m2/v0.4.3
Limits of the two transforms 7V9XHXGTFF
| URI | m2://inv/7V9XHXGTFF |
|---|---|
| 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.02531#JXX7, Limits of the two transforms (statement). In 44EQ0MZE8G/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
A contracting rectangle 7V9ZD1BSGV
| URI | m2://inv/7V9ZD1BSGV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24568#M35Z, A contracting rectangle (statement)
History
- 2026-11-01: add by m2/v0.6.15
Algorithms 7V9ZEKWTE8
| URI | m2://inv/7V9ZEKWTE8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dominator (graph theory)#D7AW, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
7VA23QWZ60 7VA23QWZ60
| URI | m2://inv/7VA23QWZ60 |
|---|---|
| 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#1OLQ (statement). In CC6S1HVK0T/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
Qusta ibn Luqa 7VA90X2D0C
| URI | m2://inv/7VA90X2D0C |
|---|---|
| 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 Q1621474, Qusta ibn Luqa (unknown). Also ProofWiki Mathematician:Qusta_ibn_Luqa
History
- 2026-10-26: add by m2/dev
Expansion of the errors 7VAEG2VYY0
| URI | m2://inv/7VAEG2VYY0 |
|---|---|
| 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.15805#IAO3, Expansion of the errors (statement). In 2XVWG0Z18V/e1, lemma 5.6
History
- 2026-10-28: add by m2/v0.4.2
7VANS0JS3Q 7VANS0JS3Q
| URI | m2://inv/7VANS0JS3Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.01073#13B0 (definition). In W4TYN4PGE8/e1, definition 3.36
History
- 2026-10-27: add by m2/v0.3.5
manifold, complex 7VAQA35RCV
| URI | m2://inv/7VAQA35RCV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/6.5/manifold-complex, manifold, complex (concept). In VNMV985MXX, index, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
7VAW725WCS 7VAW725WCS
| URI | m2://inv/7VAW725WCS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17737#LEGQ (statement). In 8SXY7Y68HV/e1, theorem D
History
- 2026-10-28: add by m2/v0.4.2
Examples 7VAXRCQR9G
| URI | m2://inv/7VAXRCQR9G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact operator on Hilbert space#KLAB, Examples (example)
History
- 2026-11-02: add by m2/dev
7VAYC6XDW6 7VAYC6XDW6
| URI | m2://inv/7VAYC6XDW6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/halting-problem.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 86.7
History
- 2026-11-01: add by m2/v0.6.13
Hawking radiation 7VB51CW9TQ
| URI | m2://inv/7VB51CW9TQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q497396, Hawking radiation (unknown). Also nLab black hole radiation
- wikipedia: Wikipedia Hawking radiation, Hawking radiation (definition). Also Wikidata Q497396
History
- 2026-10-26: add by m2/dev
Proving the theorem for formulas of degree 1 7VB8FPPH07
| URI | m2://inv/7VB8FPPH07 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Original proof of Gödel's completeness theorem#5BPK, Proving the theorem for formulas of degree 1 (statement)
History
- 2026-11-02: add by m2/dev
Definition 7VBAGKQ0TZ
| URI | m2://inv/7VBAGKQ0TZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-abelian category#L5W7, Definition (definition)
History
- 2026-11-02: add by m2/dev
Gunter Malle 7VBAZ0RXJ5
| URI | m2://inv/7VBAZ0RXJ5 |
|---|---|
| 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#OPFO, Gunter Malle (topic)
History
- 2026-11-02: add by m2/dev
British Mathematical Olympiad 7VBYSR0ZFV
| URI | m2://inv/7VBYSR0ZFV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia British Mathematical Olympiad, British Mathematical Olympiad (definition). Also Wikidata Q4970326
History
- 2026-11-02: add by m2/dev
if, then 7VC1M9GCTA
| URI | m2://inv/7VC1M9GCTA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.2.1/if-then, if, then (concept). In Y91XFCEVHQ, index, section 1.2.1
History
- 2026-11-01: add by m2/v0.6.13
$c$-interior PML to LDP 7VCJW0TXG1
| URI | m2://inv/7VCJW0TXG1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28297#IS6W, $c$-interior PML to LDP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Parabolic Lie algebra 7VD8C2VMDP
| URI | m2://inv/7VD8C2VMDP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parabolic Lie algebra, Parabolic Lie algebra (definition). Also Wikidata Q7133722
History
- 2026-11-02: add by m2/dev
7VDGS2GDG9 7VDGS2GDG9
| URI | m2://inv/7VDGS2GDG9 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/cut-elimination/interpolation.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 57.1
History
- 2026-11-01: add by m2/v0.6.13
7VDNCJ7MW3 7VDNCJ7MW3
| URI | m2://inv/7VDNCJ7MW3 |
|---|---|
| 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.24522#J0SN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Irreducibility 7VDWVQ0YNA
| URI | m2://inv/7VDWVQ0YNA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irreducibility (mathematics), Irreducibility (definition). Also Wikidata Q1827342
History
- 2026-11-02: add by m2/dev
7VDZW22TH2 7VDZW22TH2
| URI | m2://inv/7VDZW22TH2 |
|---|---|
| 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#AQPB (statement). In EJHAXRV685/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
maximum, local 7VE3G2T3SA
| URI | m2://inv/7VE3G2T3SA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/3.3.1/maximum-local, maximum, local (concept). In 907G4C4EJ1, index, section 3.3.1
History
- 2026-11-01: add by m2/v0.6.13
Generalizations 7VE5QAHY2R
| URI | m2://inv/7VE5QAHY2R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liouville function#LOY3, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
post hoc, ergo propter hoc 7VEAJT73X6
| URI | m2://inv/7VEAJT73X6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#RGSD, post hoc, ergo propter hoc (definition)
History
- 2026-11-02: add by m2/dev
Variants of algorithm selection 7VEECVHX8A
| URI | m2://inv/7VEECVHX8A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithm selection#N515, Variants of algorithm selection (statement)
History
- 2026-11-02: add by m2/dev
First-order radial expansion 7VEHQGJPRZ
| URI | m2://inv/7VEHQGJPRZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32710#LP0G, First-order radial expansion (statement). In KVYG6R7CGJ/e1, lemma 3.8
History
- 2026-10-31: add by m2/v0.5.6
Operation research 7VEJTFVDY4
| URI | m2://inv/7VEJTFVDY4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#N3AL, Operation research (definition)
History
- 2026-11-02: add by m2/dev
Étienne Bazeries 7VEND73QJ3
| URI | m2://inv/7VEND73QJ3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#BH3M, Étienne Bazeries (topic)
History
- 2026-11-02: add by m2/dev
Gösta Mittag-Leffler 7VEP4Z9Q69
| URI | m2://inv/7VEP4Z9Q69 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#BSHU, Gösta Mittag-Leffler (topic)
History
- 2026-11-02: add by m2/dev
7VETYYDB7K 7VETYYDB7K
| URI | m2://inv/7VETYYDB7K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.03559#X0B8 (statement). In R68THJCHX6/e1, corollary 9
History
- 2026-10-27: add by m2/v0.3.5
Properties 7VEW02VDXY
| URI | m2://inv/7VEW02VDXY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tor functor#FIXX, Properties (statement)
History
- 2026-11-02: add by m2/dev
7VEWQN85AJ 7VEWQN85AJ
| URI | m2://inv/7VEWQN85AJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 35-XX, 47-XX, 58-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.26058#Q32T (statement)
History
- 2026-11-01: add by m2/v0.6.15
Truncated tetrahedron 7VFEPE5WH7
| URI | m2://inv/7VFEPE5WH7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#K10N, Truncated tetrahedron (definition)
History
- 2026-11-02: add by m2/dev
Trattato di numeri et misure 7VFEXAZX0A
| URI | m2://inv/7VFEXAZX0A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q42196742, Trattato di numeri et misure (unknown). Also ProofWiki Book:Nicolo_Tartaglia/General_Trattato_di_Numeri_et_Misure
History
- 2026-10-26: add by m2/dev
7VFMM7KQZR 7VFMM7KQZR
| URI | m2://inv/7VFMM7KQZR |
|---|---|
| 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.21568#OVMO (statement)
History
- 2026-11-02: add by m2/v0.6.18
Applications 7VFY1N94SV
| URI | m2://inv/7VFY1N94SV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Farey sequence#1QAK, Applications (example)
History
- 2026-11-02: add by m2/dev
7VFZ9TKTRW 7VFZ9TKTRW
| URI | m2://inv/7VFZ9TKTRW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#thm:path-nat (statement). In N54F33XE07, thm, section 1.13
History
- 2026-11-01: add by m2/v0.6.13
closed formula 7VG8M6ZX4V
| URI | m2://inv/7VG8M6ZX4V |
|---|---|
| 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.06909#YMOW, closed formula (statement). In F1EF8XE30A/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.10
7VGG873XEG 7VGG873XEG
| URI | m2://inv/7VGG873XEG |
|---|---|
| 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.10973#4BFG (statement). In H8NGNDP0XT/e1, corollary 17
History
- 2026-10-28: add by m2/v0.4.3
AKSZ 7VGPB7KZD3
| URI | m2://inv/7VGPB7KZD3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of symplectic geometry#GXOQ, AKSZ (definition)
History
- 2026-11-02: add by m2/dev
Minakshisundaram–Pleijel zeta function 7VGVKHEA1V
| URI | m2://inv/7VGVKHEA1V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minakshisundaram–Pleijel zeta function, Minakshisundaram–Pleijel zeta function (definition). Also Wikidata Q11342341
History
- 2026-11-02: add by m2/dev
Craig's theorem 7VGWVKTR11
| URI | m2://inv/7VGWVKTR11 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#VKQG, Craig's theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples 7VGX4DXSYK
| URI | m2://inv/7VGX4DXSYK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liouville's theorem (Hamiltonian)#6AVA, Examples (example)
History
- 2026-11-02: add by m2/dev
Poincaré lemma 7VGXHMTT91
| URI | m2://inv/7VGXHMTT91 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exterior calculus identities#RX4H, Poincaré lemma (statement)
History
- 2026-11-02: add by m2/dev
Multiple discriminant analysis 7VGZP269N8
| URI | m2://inv/7VGZP269N8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple discriminant analysis, Multiple discriminant analysis (definition). Also Wikidata Q28324849
History
- 2026-11-02: add by m2/dev
G. W. O. Howe 7VH1JYD169
| URI | m2://inv/7VH1JYD169 |
|---|---|
| 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#7T28, G. W. O. Howe (unknown)
History
- 2026-11-02: add by m2/dev
Uniform discretization 7VH26MP98C
| URI | m2://inv/7VH26MP98C |
|---|---|
| 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.21033#NLK0, Uniform discretization (definition). In A8C1M9BSWH/e1, definition 6.2
History
- 2026-10-27: add by m2/v0.4.2
7VH7H5Z5RG 7VH7H5Z5RG
| URI | m2://inv/7VH7H5Z5RG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21565#TZ8Q (definition)
History
- 2026-11-02: add by m2/v0.6.18
7VHEJXXET6 7VHEJXXET6
| URI | m2://inv/7VHEJXXET6 |
|---|---|
| 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.08362#O8JE (statement). In 7JHAD30NBB/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
7VHG4YGDEM 7VHG4YGDEM
| URI | m2://inv/7VHG4YGDEM |
|---|---|
| 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.13580#S57U (statement). In KEQ57N9N7Z/e1, theorem 4.7
History
- 2026-10-28: add by m2/v0.4.2
Constructions 7VHK1AB52P
| URI | m2://inv/7VHK1AB52P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iterated function system#K792, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Closed formulas 7VHSJCTW3K
| URI | m2://inv/7VHSJCTW3K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Well-formed formula#LXKF, Closed formulas (statement)
History
- 2026-11-02: add by m2/dev
septenary 7VHSM8ECKV
| URI | m2://inv/7VHSM8ECKV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q930594, septenary (definition). Also ProofWiki Definition:Septenary_Notation
History
- 2026-10-26: add by m2/dev
7VHVDV6Z97 7VHVDV6Z97
| URI | m2://inv/7VHVDV6Z97 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20237#RNLJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Algorithm 7VHVRAC49G
| URI | m2://inv/7VHVRAC49G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic Frobenius test#CMPD, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Applications 7VJ6QZGK8T
| URI | m2://inv/7VJ6QZGK8T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bourbaki–Witt theorem#NEKT, Applications (example)
History
- 2026-11-02: add by m2/dev
7VJA7S402N 7VJA7S402N
| URI | m2://inv/7VJA7S402N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#example-1 (example). In E9HS8K3A52, example, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
60 7VJAEMVJ2B
| URI | m2://inv/7VJAEMVJ2B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 60 (number), 60 (definition). Also Wikidata Q79998
History
- 2026-11-02: add by m2/dev
7VJDTS83PQ 7VJDTS83PQ
| URI | m2://inv/7VJDTS83PQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.00562#Z5X0 (definition). In 99CQPHSSYF/e1, definition Definition
History
- 2026-10-27: add by m2/v0.3.5
7VJKQR6PGN 7VJKQR6PGN
| URI | m2://inv/7VJKQR6PGN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cellular.tex#ex:homology_klein (example). In RZP28ERRZV, example, section 50.5
History
- 2026-11-01: add by m2/v0.6.13
7VJQ7ESMXX 7VJQ7ESMXX
| URI | m2://inv/7VJQ7ESMXX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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 2609.25761#2DQB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Noriko H. Arai 7VKCAQV1G0
| URI | m2://inv/7VKCAQV1G0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#L1ZM, Noriko H. Arai (unknown)
History
- 2026-11-02: add by m2/dev
Stability under commuting additions 7VKG44G42B
| URI | m2://inv/7VKG44G42B |
|---|---|
| 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.36016#IVTH, Stability under commuting additions (statement). In NAM9ZMPHZ9/e1, proposition 4.3
History
- 2026-10-30: add by m2/v0.4.12
7VKNQ16W5S 7VKNQ16W5S
| URI | m2://inv/7VKNQ16W5S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21565#PP9X (statement)
History
- 2026-11-02: add by m2/v0.6.18
semi-minor axis 7VKQ7K8DHR
| URI | m2://inv/7VKQ7K8DHR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1371512, semi-minor axis (unknown). Also MathWorld SemiminorAxis
History
- 2026-10-26: add by m2/dev
Main results 7VKVXGFXQ0
| URI | m2://inv/7VKVXGFXQ0 |
|---|---|
| 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.22205#Q6KL, Main results (statement). In 7REABAAQED/e1, theorem
History
- 2026-10-27: add by m2/v0.4.0
Applications 7VKWTXAYZH
| URI | m2://inv/7VKWTXAYZH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Latent space#I3QM, Applications (example)
History
- 2026-11-02: add by m2/dev
consistency 7VKX6QH0XJ
| URI | m2://inv/7VKX6QH0XJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Ordinary differential equations > consistency, consistency (unknown)
History
- 2026-10-26: add by m2/dev
7VM14ABTGA 7VM14ABTGA
| URI | m2://inv/7VM14ABTGA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 18-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.13841#YENR (example). In AB2EMMXC7X/e1, example 5.5
History
- 2026-10-27: add by m2/v0.3.5
7VM3T2F945 7VM3T2F945
| URI | m2://inv/7VM3T2F945 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#J8AI (statement). In QHFP0837Q8/e1, lemma 2.11
History
- 2026-10-29: add by m2/v0.4.12
7VM7TDKJ36 7VM7TDKJ36
| URI | m2://inv/7VM7TDKJ36 |
|---|---|
| Kind | problem |
| 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.00021#2QEK (problem). In EX42AVA7CV/e1, problem 10.2
History
- 2026-10-30: add by m2/v0.4.12
Ant colony optimization algorithms 7VM89S5W1K
| URI | m2://inv/7VM89S5W1K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#B1D9, Ant colony optimization algorithms (unknown)
History
- 2026-11-02: add by m2/dev
7VM8GJ6RK8 7VM8GJ6RK8
| URI | m2://inv/7VM8GJ6RK8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#K7KU (example). In RK0ZMDJ23T/e1, example 3.2.4
History
- 2026-10-31: add by m2/v0.5.6
Leon Henkin 7VMY0X2W4B
| URI | m2://inv/7VMY0X2W4B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2I1O, Leon Henkin (topic)
History
- 2026-11-02: add by m2/dev
7VMZ5ECMEF 7VMZ5ECMEF
| URI | m2://inv/7VMZ5ECMEF |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/card-arithmetic/opps.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 69.4
History
- 2026-11-01: add by m2/v0.6.13
Local linearization 7VN21CD9PC
| URI | m2://inv/7VN21CD9PC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#NCL9, Local linearization (definition)
History
- 2026-11-02: add by m2/dev
Dror Bar-Natan 7VNDZZT1K4
| URI | m2://inv/7VNDZZT1K4 |
|---|---|
| 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 Q1260333, Dror Bar-Natan (unknown). Also nLab Dror Bar-Natan
- wikipedia: Wikipedia Dror Bar-Natan, Dror Bar-Natan (topic). Also Wikidata Q1260333
History
- 2026-10-26: add by m2/dev
The Knot Atlas 7VNJ2SB5RH
| URI | m2://inv/7VNJ2SB5RH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Knot Atlas, The Knot Atlas (definition). Also Wikidata Q16963570
History
- 2026-11-02: add by m2/dev
7VNNM3DC6S 7VNNM3DC6S
| URI | m2://inv/7VNNM3DC6S |
|---|---|
| Kind | conjecture |
| 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.21116#LGWO (conjecture)
History
- 2026-11-02: add by m2/v0.6.18
Example 7VNQHV33N3
| URI | m2://inv/7VNQHV33N3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MathML#F7G1, Example (example)
History
- 2026-11-02: add by m2/dev
NIP 7VNRJJ7WQ4
| URI | m2://inv/7VNRJJ7WQ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NIP (model theory), NIP (definition). Also Wikidata Q17144130
History
- 2026-11-02: add by m2/dev
Properties of the convex constrained proximal map 7VNSC5DG60
| URI | m2://inv/7VNSC5DG60 |
|---|---|
| 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.34099#KMWR, Properties of the convex constrained proximal map (statement). In 4X2SAM9HR2/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
7VNV5AY9JJ 7VNV5AY9JJ
| URI | m2://inv/7VNV5AY9JJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ModularArithmetic.tex#def:modular arithmetic (definition). In P1C114YBXG, definition, section F
History
- 2026-11-01: add by m2/v0.6.13
7VP32MEXNB 7VP32MEXNB
| URI | m2://inv/7VP32MEXNB |
|---|---|
| Kind | problem |
| 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.03477#L5E0 (problem). In GXN3D4G4HE/e1, problem 1
History
- 2026-10-29: add by m2/v0.4.12
P2-irreducible manifold 7VP4TNPD10
| URI | m2://inv/7VP4TNPD10 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P2-irreducible manifold, P2-irreducible manifold (definition). Also Wikidata Q7263977
History
- 2026-11-02: add by m2/dev
7VP8BXSBJC 7VP8BXSBJC
| URI | m2://inv/7VP8BXSBJC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.15434#YTWY (statement). In PWF23QSGDX/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
Induced chain 7VPDFACPXC
| URI | m2://inv/7VPDFACPXC |
|---|---|
| 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.06724#KS9V, Induced chain (definition). In W5XG3PGVF1/e1, definition 5.10
History
- 2026-10-29: add by m2/v0.4.10
7VPG34VNWB 7VPG34VNWB
| URI | m2://inv/7VPG34VNWB |
|---|---|
| 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.12053#CXFC (statement). In MQ226ETRP6/e1, lemma 2.13
History
- 2026-10-28: add by m2/v0.4.3
7VPJ2HJTF6 7VPJ2HJTF6
| URI | m2://inv/7VPJ2HJTF6 |
|---|---|
| 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.08357#6CN6 (statement). In R9GRCAWHG0/e1, proposition 4.6
History
- 2026-10-29: add by m2/v0.4.10
Savitch's theorem 7VPSJG6R1P
| URI | m2://inv/7VPSJG6R1P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#ADQ4, Savitch's theorem (statement)
History
- 2026-11-02: add by m2/dev
Extensions 7VPTR1MEG6
| URI | m2://inv/7VPTR1MEG6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear regression#1U8Q, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Intersection 7VPVTBX5WP
| URI | m2://inv/7VPVTBX5WP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intersection (set theory)#7Y3U, Intersection (statement)
History
- 2026-11-02: add by m2/dev
Sharkovskii's theorem 7VPWXFMX9C
| URI | m2://inv/7VPWXFMX9C |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 37-XX |
| Sources | 4 |
| Outcome | open |
| Node | Sharkovskii's theorem YBCZ9VY7SX |
Mentions
- mathlib_1000: mathlib_1000 Q2226855, Sharkovskii's theorem (statement). Also Wikidata Q2226855
- thousand_plus: thousand_plus Q2226855, Sarkovskii's theorem (statement). Also Wikidata Q2226855, Wikipedia Sarkovskii's theorem
- wikidata: Wikidata Q2226855, Sharkovskii's theorem (statement). Also MathWorld SharkovskysTheorem
- wikipedia: Wikipedia Sharkovskii's theorem, Sharkovskii's theorem (statement). Also Wikidata Q2226855
History
- 2026-10-26: add by m2/dev
Weil conjectures 7VPXXE2J8Y
| URI | m2://inv/7VPXXE2J8Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjecture#02RX, Weil conjectures (statement)
History
- 2026-11-02: add by m2/dev
7VQ4KE1K1R 7VQ4KE1K1R
| URI | m2://inv/7VQ4KE1K1R |
|---|---|
| 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.18620#ZM52 (statement). In 6WJ0R9YEBR/e1, corollary 3.16
History
- 2026-10-28: add by m2/v0.4.2
partial Postnikov systems 7VQB8W6P55
| URI | m2://inv/7VQB8W6P55 |
|---|---|
| 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.03497#4JFP, partial Postnikov systems (statement). In RRNHC0CAC9/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
7VQK690SNW 7VQK690SNW
| URI | m2://inv/7VQK690SNW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-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.17139#QDX9 (statement). In AQWX60Z563/e1, lemma 2.8
History
- 2026-10-28: add by m2/v0.4.2
7VQME60ZVW 7VQME60ZVW
| URI | m2://inv/7VQME60ZVW |
|---|---|
| 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.26477#BE0Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
7VQV7S5PMX 7VQV7S5PMX
| URI | m2://inv/7VQV7S5PMX |
|---|---|
| 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 2610.10937#JYXR (definition). In 6VVK3YTABP/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.3
7VR387ZCX6 7VR387ZCX6
| URI | m2://inv/7VR387ZCX6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/identity.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 11.4
History
- 2026-11-01: add by m2/v0.6.13
Projective group 7VRAJ7ND1P
| URI | m2://inv/7VRAJ7ND1P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#E4V1, Projective group (definition)
History
- 2026-11-02: add by m2/dev
7VRGS0E91W 7VRGS0E91W
| URI | m2://inv/7VRGS0E91W |
|---|---|
| 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.16700#3SPK (statement). In 3JPKD7NBEN/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
7VRHHF3BGH 7VRHHF3BGH
| URI | m2://inv/7VRHHF3BGH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise:nonuniquedecimals (exercise). In E59CDZA4DP, exercise, section 7.5.1
History
- 2026-11-01: add by m2/v0.6.13
Pi Type Predicate $\Pi_i(R_I, P_I, \El_I, P_O)$ 7VRM7T72HQ
| URI | m2://inv/7VRM7T72HQ |
|---|---|
| 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.21131#B683, Pi Type Predicate $\Pi_i(R_I, P_I, \El_I, P_O)$ (definition). In CPYWHRTPKC/e1, definition 7.9
History
- 2026-10-27: add by m2/v0.4.2
directional derivative 7VRNZ5KV9S
| URI | m2://inv/7VRNZ5KV9S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential calculus > directional derivative, directional derivative (unknown). Also Mathlib lineDeriv
History
- 2026-10-26: add by m2/dev
List of Chinese provincial-level divisions by infant mortality 7VRVSK72YR
| URI | m2://inv/7VRVSK72YR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese provincial-level divisions by infant mortality, List of Chinese provincial-level divisions by infant mortality (topic). Also Wikidata Q33126016
History
- 2026-11-02: add by m2/dev
7VS2XS0434 7VS2XS0434
| URI | m2://inv/7VS2XS0434 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 1209.5343#UACA (statement). In 4SPYEGKZ8J/e1, lemma 3.9
History
- 2026-10-27: add by m2/v0.3.5
Block matrix pseudoinverse 7VS65VSW26
| URI | m2://inv/7VS65VSW26 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#AYYA, Block matrix pseudoinverse (definition)
History
- 2026-11-02: add by m2/dev
7VS7STQBJH 7VS7STQBJH
| URI | m2://inv/7VS7STQBJH |
|---|---|
| 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 2203.16454#947R (statement). In BD8G9W4ZRQ/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
Functional fixedness 7VS95FX1DC
| URI | m2://inv/7VS95FX1DC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#YTKV, Functional fixedness (unknown)
History
- 2026-11-02: add by m2/dev
7VSH10CDCM 7VSH10CDCM
| URI | m2://inv/7VSH10CDCM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/arithmetization/checking-details.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 78.2
History
- 2026-11-01: add by m2/v0.6.13
7VSMB5D83D 7VSMB5D83D
| URI | m2://inv/7VSMB5D83D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-conc.ptx#exercise-7 (exercise). In Y91XFCEVHQ, exercise, section 3.6
History
- 2026-11-01: add by m2/v0.6.13
U. S. R. Murty 7VSVXH6QB4
| URI | m2://inv/7VSVXH6QB4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#UGEI, U. S. R. Murty (unknown)
History
- 2026-11-02: add by m2/dev
Quasi-optimality 7VSWA71D7G
| URI | m2://inv/7VSWA71D7G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36141#TJCR, Quasi-optimality (statement). In F1WNDBMKSZ/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
7VT0YVS3GK 7VT0YVS3GK
| URI | m2://inv/7VT0YVS3GK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28669#OM71 (statement)
History
- 2026-11-01: add by m2/v0.6.15
7VTBM5NJ52 7VTBM5NJ52
| URI | m2://inv/7VTBM5NJ52 |
|---|---|
| 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.19861#6QIO (statement). In 5ZPQ60TM6J/e1, theorem 7
History
- 2026-10-28: add by m2/v0.4.2
7VTE97THS2 7VTE97THS2
| URI | m2://inv/7VTE97THS2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03837#082C (statement). In TX88QS0A8M/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.12
7VTQ5S0RRZ 7VTQ5S0RRZ
| URI | m2://inv/7VTQ5S0RRZ |
|---|---|
| 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.25030#S5DK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Maximum parsimony (phylogenetics) 7VTY1YSXR3
| URI | m2://inv/7VTY1YSXR3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#VSZ8, Maximum parsimony (phylogenetics) (definition)
History
- 2026-11-02: add by m2/dev
Common-zero spectral support 7VTZQ32BRH
| URI | m2://inv/7VTZQ32BRH |
|---|---|
| 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.26576#DJW8, Common-zero spectral support (statement)
History
- 2026-11-01: add by m2/v0.6.15
7VV83ZMWRX 7VV83ZMWRX
| URI | m2://inv/7VV83ZMWRX |
|---|---|
| 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.20568#IA2N (statement). In BCD0ATARNZ/e1, corollary 4.9
History
- 2026-10-27: add by m2/v0.4.2
7VV87QQ94K 7VV87QQ94K
| URI | m2://inv/7VV87QQ94K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10247#RMHS (statement). In XWTMY44RF1/e1, corollary 1.4
History
- 2026-10-29: add by m2/v0.4.10
Examples 7VVC9SR1CZ
| URI | m2://inv/7VVC9SR1CZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proportionality (mathematics)#SLF4, Examples (example)
History
- 2026-11-02: add by m2/dev
free 7VVHBNYX18
| URI | m2://inv/7VVHBNYX18 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of undecidable problems#3Y09, free (definition)
History
- 2026-11-02: add by m2/dev
7VVN8Y3B28 7VVN8Y3B28
| URI | m2://inv/7VVN8Y3B28 |
|---|---|
| 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.24023#AHH7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Multivariate Student's $t$ Distribution 7VWD8B2DJ0
| URI | m2://inv/7VWD8B2DJ0 |
|---|---|
| Kind | example |
| 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.16883#O0M9, Multivariate Student's $t$ Distribution (example). In TYS9N30M63/e1, example 3
History
- 2026-10-28: add by m2/v0.4.2
Dickson polynomial 7VWG6VVS6B
| URI | m2://inv/7VWG6VVS6B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#ZECD, Dickson polynomial (definition)
History
- 2026-11-02: add by m2/dev
Golda Meir 7VWGCR0P5Y
| URI | m2://inv/7VWGCR0P5Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#QYJ7, Golda Meir (unknown)
History
- 2026-11-02: add by m2/dev
divides 7VWHPAEHZA
| URI | m2://inv/7VWHPAEHZA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/3.5.1/divides, divides (concept). In QKM9DD2H56, index, section 3.5.1
History
- 2026-11-01: add by m2/v0.6.13
Shanti S. Gupta 7VWPDSB9VZ
| URI | m2://inv/7VWPDSB9VZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shanti S. Gupta, Shanti S. Gupta (topic). Also Wikidata Q37732888
History
- 2026-11-02: add by m2/dev
Block structure of the reduced constraint matrix 7VWR6SZRZB
| URI | m2://inv/7VWR6SZRZB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.27966#12X8, Block structure of the reduced constraint matrix (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fourth-moment maximal bound 7VWRRZMEPJ
| URI | m2://inv/7VWRRZMEPJ |
|---|---|
| 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.36594#WD42, Fourth-moment maximal bound (statement). In 8JDQ9FWFRK/e1, lemma E.8
History
- 2026-10-30: add by m2/v0.4.12
A local target 7VX2JG4NWF
| URI | m2://inv/7VX2JG4NWF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21662#1N4W, A local target (statement). In 25B3WHEKH2/e1, theorem 5.12
History
- 2026-10-27: add by m2/v0.4.2
time-independent Schrödinger equation 7VX359GXVH
| URI | m2://inv/7VX359GXVH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25829357, time-independent Schrödinger equation (definition). Also ProofWiki Definition:Schrödinger's_Equation/Time_Independent
History
- 2026-10-26: add by m2/dev
7VX45JPPXY 7VX45JPPXY
| URI | m2://inv/7VX45JPPXY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/proving-things.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 22.11
History
- 2026-11-01: add by m2/v0.6.13
7VXA2T634X 7VXA2T634X
| URI | m2://inv/7VXA2T634X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00323#6LZA (definition). In BPRFEQY7W4/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.6
7VXD0YTSF5 7VXD0YTSF5
| URI | m2://inv/7VXD0YTSF5 |
|---|---|
| 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.12108#VPQ5 (statement). In JQH3FHYPW3/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
7VXJNA5TCS 7VXJNA5TCS
| URI | m2://inv/7VXJNA5TCS |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/syntax-and-semantics/inf-count.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 67.2
History
- 2026-11-01: add by m2/v0.6.13
Berlekamp switching game 7VXP5KKNAS
| URI | m2://inv/7VXP5KKNAS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berlekamp switching game, Berlekamp switching game (definition). Also Wikidata Q97332827
History
- 2026-11-02: add by m2/dev
Applications 7VXQ3D48Y5
| URI | m2://inv/7VXQ3D48Y5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Series-parallel partial order#TPU7, Applications (example)
History
- 2026-11-02: add by m2/dev
Definitions 7VY0F8R1HZ
| URI | m2://inv/7VY0F8R1HZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frenet–Serret formulas#MYRO, Definitions (definition)
History
- 2026-11-02: add by m2/dev
\coqident{Partiality}{PartialElements}{lift 7VY6G0PV27
| URI | m2://inv/7VY6G0PV27 |
|---|---|
| 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 1904.09810#1YR0, \coqident{Partiality}{PartialElements}{lift (definition). In T1VFA7TXPA/e1, definition 18
History
- 2026-10-27: add by m2/v0.3.5
7VY9ESEGXN 7VY9ESEGXN
| URI | m2://inv/7VY9ESEGXN |
|---|---|
| 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 1512.06981#VI0W (statement). In X923ZEY423/e1, lemma 1.8.2
History
- 2026-10-27: add by m2/v0.3.5
7VYFCRZ6R5 7VYFCRZ6R5
| URI | m2://inv/7VYFCRZ6R5 |
|---|---|
| Kind | example |
| 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 2610.04046#VUGQ (example). In 3THDT8WNF7/e1, example 8
History
- 2026-10-29: add by m2/v0.4.12
Frances Harshbarger 7VYNTGGJRW
| URI | m2://inv/7VYNTGGJRW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frances Harshbarger, Frances Harshbarger (topic). Also Wikidata Q42899336
History
- 2026-11-02: add by m2/dev
Shi Yuguang 7VZ1BE66X6
| URI | m2://inv/7VZ1BE66X6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shi Yuguang, Shi Yuguang (topic). Also Wikidata Q20797060
History
- 2026-11-02: add by m2/dev
Formulation 7VZ2PTVEM1
| URI | m2://inv/7VZ2PTVEM1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geostrophic wind#OYN6, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Andrea Naccari 7VZ853NKH2
| URI | m2://inv/7VZ853NKH2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrea Naccari, Andrea Naccari (topic). Also Wikidata Q3615898
History
- 2026-11-02: add by m2/dev
Komornik–Loreti constant 7VZAVJATWY
| URI | m2://inv/7VZAVJATWY |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6428513, Komornik–Loreti constant (object). Also OEIS A055060
- wikipedia: Wikipedia Komornik–Loreti constant, Komornik–Loreti constant (object). Also Wikidata Q6428513
History
- 2026-10-26: add by m2/dev
National Resident Matching Program 7VZF5K0VEN
| URI | m2://inv/7VZF5K0VEN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Resident Matching Program, National Resident Matching Program (definition). Also Wikidata Q6978073
History
- 2026-11-02: add by m2/dev
7VZFFEN60C 7VZFFEN60C
| URI | m2://inv/7VZFFEN60C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18562#1F9B (statement). In 793KXAR957/e1, corollary 2.9
History
- 2026-10-28: add by m2/v0.4.2
Applications 7VZW2DGVHC
| URI | m2://inv/7VZW2DGVHC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithmic Lovász local lemma#MAHR, Applications (example)
History
- 2026-11-02: add by m2/dev
Julian day 7VZX7S2C6R
| URI | m2://inv/7VZX7S2C6R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Julian day, Julian day (definition). Also Wikidata Q14267
History
- 2026-11-02: add by m2/dev
7VZYB0E2KZ 7VZYB0E2KZ
| URI | m2://inv/7VZYB0E2KZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 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 2505.05539#AFGN (statement). In 8SVVEVGMNE/e1, proposition 2.17
History
- 2026-10-27: add by m2/v0.3.5