Inventory rows 44
The cards of the rows of the inventory whose ids start with 44. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Gaussian endpoint and nonattainment 4400NMXVQG
| URI | m2://inv/4400NMXVQG |
|---|---|
| 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#0BAC, Gaussian endpoint and nonattainment (statement). In 9YAE8FNQST/e1, theorem 28.13
History
- 2026-10-30: add by m2/v0.4.12
Properties 4406D6QGYJ
| URI | m2://inv/4406D6QGYJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Augmented sphenocorona#Q0F5, Properties (statement)
History
- 2026-11-02: add by m2/dev
quadratic residue 440770N1BX
| URI | m2://inv/440770N1BX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Quadratic residue 0DKCECSYCF |
Mentions
- wikidata: Wikidata Q878259, quadratic residue (concept). Also MathWorld QuadraticResidue
- wikipedia: Wikipedia Quadratic residue, Quadratic residue (definition). Also Wikidata Q878259
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
4407YNTDW0 4407YNTDW0
| URI | m2://inv/4407YNTDW0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13528#UFVA (statement). In TSBJEBS7SP/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
Exact link 440F632ZJE
| URI | m2://inv/440F632ZJE |
|---|---|
| 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.32558#9LHX, Exact link (statement). In SGQS629QNK/e1, proposition 2.1
History
- 2026-10-31: add by m2/v0.5.6
Further examples 440GZK74KS
| URI | m2://inv/440GZK74KS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplier (Fourier analysis)#V9MP, Further examples (example)
History
- 2026-11-02: add by m2/dev
440QV233V4 440QV233V4
| URI | m2://inv/440QV233V4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21403#XPJ1 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Exact \(\Gamma_0(T)\) scattering matrix 440RTCECMA
| URI | m2://inv/440RTCECMA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25925#SVZA, Exact \(\Gamma_0(T)\) scattering matrix (statement)
History
- 2026-11-01: add by m2/v0.6.15
Stochastic multicriteria acceptability analysis 440WTZJKJ7
| URI | m2://inv/440WTZJKJ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic multicriteria acceptability analysis, Stochastic multicriteria acceptability analysis (definition). Also Wikidata Q25053798
History
- 2026-11-02: add by m2/dev
Omnipotence paradox 440XSRAMBE
| URI | m2://inv/440XSRAMBE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Omnipotence paradox, Omnipotence paradox (statement). Also Wikidata Q834848
History
- 2026-11-02: add by m2/dev
Abel's theorem 440YH4Q72N
| URI | m2://inv/440YH4Q72N |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 4 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Abel's theorem 0S4EMDQS2F |
Mentions
- mathlib_1000: mathlib_1000 Q318767, Abel's theorem (statement). Also Mathlib Complex.tendsto_tsum_powerSeries_nhdsWithin_stolzCone, Mathlib Real.tendsto_tsum_powerSeries_nhdsWithin_lt, Wikidata Q318767
- thousand_plus: thousand_plus Q318767, Abel's theorem (statement). Also Mathlib Complex.tendsto_tsum_powerSeries_nhdsWithin_stolzCone, Mathlib Real.tendsto_tsum_powerSeries_nhdsWithin_lt, Wikidata Q318767, Wikipedia Abel's theorem
- wikidata: Wikidata Q318767, Abel's theorem (statement). Also EoM Abel_summation_method, MathWorld AbelsConvergenceTheorem
- wikipedia: Wikipedia Abel's theorem, Abel's theorem (statement). Also Wikidata Q318767
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Flux limiter 4411A0QGY1
| URI | m2://inv/4411A0QGY1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flux limiter, Flux limiter (definition). Also Wikidata Q5463027
History
- 2026-11-02: add by m2/dev
Leonard Gillman 4412BT7K7H
| URI | m2://inv/4412BT7K7H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ICO6, Leonard Gillman (topic)
History
- 2026-11-02: add by m2/dev
4418DD2JQY 4418DD2JQY
| URI | m2://inv/4418DD2JQY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 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.16475#9VOW (definition). In FM9SKN560Q/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
One integer, successive primes 441GXA6K3R
| URI | m2://inv/441GXA6K3R |
|---|---|
| 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.13365#VB98, One integer, successive primes (statement). In YMBTSX10FF/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Fan Chung 441J0010SB
| URI | m2://inv/441J0010SB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#KB7Z, Fan Chung (topic)
History
- 2026-11-02: add by m2/dev
Deltoidal trihexagonal tiling 441YBSYSAV
| URI | m2://inv/441YBSYSAV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rhombitrihexagonal tiling#WAAG, Deltoidal trihexagonal tiling (unknown)
History
- 2026-11-02: add by m2/dev
441Z7YDX1E 441Z7YDX1E
| URI | m2://inv/441Z7YDX1E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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.05850#AGPB (definition). In D424GB5MAW/e1, definition 4.5
History
- 2026-10-29: add by m2/v0.4.10
Construction 4423S86Z9N
| URI | m2://inv/4423S86Z9N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clebsch graph#5BGS, Construction (definition)
History
- 2026-11-02: add by m2/dev
Paschen curve 4426BNHWHX
| URI | m2://inv/4426BNHWHX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#TMUK, Paschen curve (unknown)
History
- 2026-11-02: add by m2/dev
Example 4429VJWYSM
| URI | m2://inv/4429VJWYSM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Turing reduction#4W3Z, Example (example)
History
- 2026-11-02: add by m2/dev
János Pintz 442ANAXZJJ
| URI | m2://inv/442ANAXZJJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CH5F, János Pintz (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#H1O4, János Pintz (topic)
History
- 2026-11-02: add by m2/dev
representation 442AZXN58A
| URI | m2://inv/442AZXN58A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#ENVX, representation (definition)
History
- 2026-11-02: add by m2/dev
Five stages of grief 442K0NYDJS
| URI | m2://inv/442K0NYDJS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#BVE6, Five stages of grief (unknown)
History
- 2026-11-02: add by m2/dev
Definition 4435FE34N8
| URI | m2://inv/4435FE34N8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variational inequality#SVET, Definition (definition)
History
- 2026-11-02: add by m2/dev
complete bipartite graph 4437565NFT
| URI | m2://inv/4437565NFT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Complete bipartite graph 0V0GC7BQAN |
Mentions
- wikidata: Wikidata Q913598, complete bipartite graph (definition). Also MathWorld CompleteBipartiteGraph, ProofWiki Definition:Complete_Bipartite_Graph
- wikipedia: Wikipedia Complete bipartite graph, Complete bipartite graph (definition). Also Wikidata Q913598
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Examples 4437MVQCBJ
| URI | m2://inv/4437MVQCBJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical graphics#X0X2, Examples (example)
History
- 2026-11-02: add by m2/dev
Numerical dispersion 443AQJCW63
| URI | m2://inv/443AQJCW63 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#3K1Y, Numerical dispersion (definition)
History
- 2026-11-02: add by m2/dev
David Ruelle 443CBZAQ5R
| URI | m2://inv/443CBZAQ5R |
|---|---|
| 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 Q248997, David Ruelle (unknown). Also nLab David Ruelle, ProofWiki Mathematician:David_Pierre_Ruelle
History
- 2026-10-26: add by m2/dev
443JYG24BH 443JYG24BH
| URI | m2://inv/443JYG24BH |
|---|---|
| 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 2401.05118#LA2F (statement). In BT0T0QS2TN/e1, theorem 3.7
History
- 2026-10-27: add by m2/v0.4.0
443MKD0VWJ 443MKD0VWJ
| URI | m2://inv/443MKD0VWJ |
|---|---|
| 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.25190#HWZX (statement)
History
- 2026-11-01: add by m2/v0.6.15
443Q9M8DVX 443Q9M8DVX
| URI | m2://inv/443Q9M8DVX |
|---|---|
| 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.03988#BYHK (statement). In PQ2X97H1T9/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
T. N. Venkataramana 443VVPY6QM
| URI | m2://inv/443VVPY6QM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#3P5V, T. N. Venkataramana (topic)
History
- 2026-11-02: add by m2/dev
Hamming sphere 443WY6XMMQ
| URI | m2://inv/443WY6XMMQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sphere packing#S9YL, Hamming sphere (unknown)
History
- 2026-11-02: add by m2/dev
444288N9AA 444288N9AA
| URI | m2://inv/444288N9AA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.00596#W0L4 (statement). In F8RC6AENB0/e1, corollary 5.8
History
- 2026-10-27: add by m2/v0.3.5
absolute convergence 4442WQ92VF
| URI | m2://inv/4442WQ92VF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Numerical series > absolute convergence, absolute convergence (unknown)
History
- 2026-10-26: add by m2/dev
Dedekind–MacNeille completion 4444K7GYV4
| URI | m2://inv/4444K7GYV4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Dedekind–MacNeille completion DKH4933HMQ |
Mentions
- wikidata: Wikidata Q5249756, Dedekind–MacNeille completion (unknown). Also nLab MacNeille completion
- wikipedia: Wikipedia Dedekind–MacNeille completion, Dedekind–MacNeille completion (definition). Also Wikidata Q5249756
History
- 2026-10-26: add by m2/dev
Seed-based d mapping 4447JZMC0C
| URI | m2://inv/4447JZMC0C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seed-based d mapping, Seed-based d mapping (definition). Also Wikidata Q7512905
History
- 2026-11-02: add by m2/dev
Definition 4447W5Y5J0
| URI | m2://inv/4447W5Y5J0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radical of a module#NWN0, Definition (definition)
History
- 2026-11-02: add by m2/dev
Stable conditional laws 444B1H3FV2
| URI | m2://inv/444B1H3FV2 |
|---|---|
| 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#HZS9, Stable conditional laws (statement)
History
- 2026-11-01: add by m2/v0.6.15
444JK317H4 444JK317H4
| URI | m2://inv/444JK317H4 |
|---|---|
| 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 2610.16295#CUIR (definition). In J1SKCVMNCB/e1, definition
History
- 2026-10-28: add by m2/v0.4.2
4456FJ6QHE 4456FJ6QHE
| URI | m2://inv/4456FJ6QHE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09562#1XKH (statement). In 2XH87FWG8Y/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.10
T-duality 44573EGBY6
| URI | m2://inv/44573EGBY6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#4T6A, T-duality (definition)
History
- 2026-11-02: add by m2/dev
non-alternating knot 445GQ574N9
| URI | m2://inv/445GQ574N9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q96741342, non-alternating knot (unknown). Also MathWorld NonalternatingKnot
History
- 2026-10-26: add by m2/dev
445MFCM4PJ 445MFCM4PJ
| URI | m2://inv/445MFCM4PJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-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.08638#PP3D (statement). In 113VZ5XX7J/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.10
445SHDQMJS 445SHDQMJS
| URI | m2://inv/445SHDQMJS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 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 2610.16541#NORP (statement). In D0XH7W96T3/e1, corollary 6.4
History
- 2026-10-28: add by m2/v0.4.2
445VA7P2Z6 445VA7P2Z6
| URI | m2://inv/445VA7P2Z6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:Laurentser (exercise). In VNMV985MXX, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
445XYEMC7Z 445XYEMC7Z
| URI | m2://inv/445XYEMC7Z |
|---|---|
| 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.39430#JPUQ (statement). In 6FH24CYAMW/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
Catalecticant 4460SQF8HN
| URI | m2://inv/4460SQF8HN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catalecticant, Catalecticant (definition). Also Wikidata Q5051240
History
- 2026-11-02: add by m2/dev
Hadwiger's theorem 4464J9Q5KV
| URI | m2://inv/4464J9Q5KV |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 28-XX |
| Sources | 4 |
| Outcome | open |
| Node | Hadwiger's theorem 7V2X68AMEY |
Mentions
- mathlib_1000: mathlib_1000 Q5638112, Hadwiger's theorem (statement). Also Wikidata Q5638112
- thousand_plus: thousand_plus Q5638112, Hadwiger's theorem (statement). Also Wikidata Q5638112, Wikipedia Hadwiger's theorem
- wikidata: Wikidata Q5638112, Hadwiger's theorem (statement). Also nLab Hadwiger's theorem
- wikipedia: Wikipedia Hadwiger's theorem, Hadwiger's theorem (statement). Also Wikidata Q5638112
History
- 2026-10-26: add by m2/dev
446J5M6HX0 446J5M6HX0
| URI | m2://inv/446J5M6HX0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10329#3YP3 (statement). In SCSTR1Q1BW/e1, corollary 5.4
History
- 2026-10-29: add by m2/v0.4.10
446Q3DYX3Y 446Q3DYX3Y
| URI | m2://inv/446Q3DYX3Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07471#U95D (definition). In 7DHCS5SEHT/e1, definition
History
- 2026-10-29: add by m2/v0.4.10
Strictness 446VVSQ426
| URI | m2://inv/446VVSQ426 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22407#WD7C, Strictness (statement)
History
- 2026-11-02: add by m2/v0.6.17
4474E0251V 4474E0251V
| URI | m2://inv/4474E0251V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.23797#4U0E (definition). In PZCA01JXVR/e1, definition 4.11
History
- 2026-10-27: add by m2/v0.3.5
Teena Gerhardt 4479QSH22C
| URI | m2://inv/4479QSH22C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9CYG, Teena Gerhardt (topic)
History
- 2026-11-02: add by m2/dev
447B9W36G0 447B9W36G0
| URI | m2://inv/447B9W36G0 |
|---|---|
| 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.09129#YOTZ (statement). In Z1RZSF68XZ/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.10
Examples 447ENKHNMS
| URI | m2://inv/447ENKHNMS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Historical fallacy#DLBK, Examples (example)
History
- 2026-11-02: add by m2/dev
Formulas 447N6CM1VR
| URI | m2://inv/447N6CM1VR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Great stellated dodecahedron#Y24H, Formulas (statement)
History
- 2026-11-02: add by m2/dev
447RYXFR4P 447RYXFR4P
| URI | m2://inv/447RYXFR4P |
|---|---|
| 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.22074#J5ER (statement). In F3BKXXPR3K/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.4.2
Transfer from positive fixed-point potentials 447WAXTEQ7
| URI | m2://inv/447WAXTEQ7 |
|---|---|
| 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#HSGA, Transfer from positive fixed-point potentials (statement)
History
- 2026-11-01: add by m2/v0.6.15
normal form 44842JJR8X
| URI | m2://inv/44842JJR8X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#1KDK, normal form (definition)
History
- 2026-11-02: add by m2/dev
Rooted network 448DAS4RXF
| URI | m2://inv/448DAS4RXF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07855#8FV4, Rooted network (definition). In 1VT8CVVCM7/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
448DMR2A24 448DMR2A24
| URI | m2://inv/448DMR2A24 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.09945#QT76 (statement). In V7VCEA0VAA/e1, proposition 3.19
History
- 2026-10-29: add by m2/v0.4.10
448J0Q6KV5 448J0Q6KV5
| URI | m2://inv/448J0Q6KV5 |
|---|---|
| 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.13723#TWP7 (statement). In HPBCRT0Z0V/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
Formal derivative 448S5QM55J
| URI | m2://inv/448S5QM55J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal derivative, Formal derivative (definition). Also Wikidata Q1955819
History
- 2026-11-02: add by m2/dev
E-plane and H-plane 4493KPF8KN
| URI | m2://inv/4493KPF8KN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E-plane and H-plane, E-plane and H-plane (definition). Also Wikidata Q5321538
History
- 2026-11-02: add by m2/dev
Beale ciphers 4494WSZMC1
| URI | m2://inv/4494WSZMC1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beale ciphers, Beale ciphers (definition). Also Wikidata Q812923
History
- 2026-11-02: add by m2/dev
44958A7X1P 44958A7X1P
| URI | m2://inv/44958A7X1P |
|---|---|
| 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#GIXW (statement). In Z0SAF18JPP/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
Cross-interleaved Reed–Solomon coding 449B4PBTQT
| URI | m2://inv/449B4PBTQT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross-interleaved Reed–Solomon coding, Cross-interleaved Reed–Solomon coding (definition). Also Wikidata Q1141113
History
- 2026-11-02: add by m2/dev
Initial condition 449GE515XF
| URI | m2://inv/449GE515XF |
|---|---|
| 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#ALIV, Initial condition (statement). In KVYG6R7CGJ/e1, proposition 2.11
History
- 2026-10-31: add by m2/v0.5.6
Existence and uniqueness 449GHYH054
| URI | m2://inv/449GHYH054 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal property#1BBI, Existence and uniqueness (statement)
History
- 2026-11-02: add by m2/dev
Example 449JJJ937P
| URI | m2://inv/449JJJ937P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjunctive grammar#KWT4, Example (example)
History
- 2026-11-02: add by m2/dev
Odds algorithm 449MNHPM81
| URI | m2://inv/449MNHPM81 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Odds algorithm, Odds algorithm (definition). Also Wikidata Q2014150
History
- 2026-11-02: add by m2/dev
449P9WB3CD 449P9WB3CD
| URI | m2://inv/449P9WB3CD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27800#BHT8 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Mabinogion sheep problem 449PWCWH0X
| URI | m2://inv/449PWCWH0X |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mabinogion sheep problem, Mabinogion sheep problem (problem). Also Wikidata Q17080019
History
- 2026-11-02: add by m2/dev
449Q13CNZT 449Q13CNZT
| URI | m2://inv/449Q13CNZT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-236 (exercise). In VNMV985MXX, exercise, section 4.5
History
- 2026-11-01: add by m2/v0.6.13
Successive over-relaxation 449TH0C7NV
| URI | m2://inv/449TH0C7NV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#4458, Successive over-relaxation (definition)
History
- 2026-11-02: add by m2/dev
Riemann--Lebesgue theorem 449WQJ0MCS
| URI | m2://inv/449WQJ0MCS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/5.4.2/riemann-lebesgue-theorem, Riemann--Lebesgue theorem (concept). In E59CDZA4DP, index, section 5.4.2
History
- 2026-11-01: add by m2/v0.6.13
44A4KK0KYJ 44A4KK0KYJ
| URI | m2://inv/44A4KK0KYJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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.11869#AQ45 (statement). In B5GGGWNJA6/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.3
polyhedral graph 44A8B6VBFW
| URI | m2://inv/44A8B6VBFW |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4555371, polyhedral graph (unknown). Also MathWorld PolyhedralGraph, OEIS A000944
- wikipedia: Wikipedia Polyhedral graph, Polyhedral graph (object). Also Wikidata Q4555371
History
- 2026-10-26: add by m2/dev
Quadratic trace--norm identity 44AG2C2EM5
| URI | m2://inv/44AG2C2EM5 |
|---|---|
| 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.30301#V95D, Quadratic trace--norm identity (statement). In 7NS75J7HAM/e1, lemma 9.1
History
- 2026-10-31: add by m2/v0.5.6
Usual conditions 44AVBJ89H1
| URI | m2://inv/44AVBJ89H1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Filtration (probability theory)#HVYW, Usual conditions (unknown)
History
- 2026-11-02: add by m2/dev
44BPJFWY3Q 44BPJFWY3Q
| URI | m2://inv/44BPJFWY3Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21090#WBZX (statement)
History
- 2026-11-02: add by m2/v0.6.18
Genus-zero two-point monodromy 44BVVY7B85
| URI | m2://inv/44BVVY7B85 |
|---|---|
| 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.03520#U7QO, Genus-zero two-point monodromy (statement). In CSRZ9CWK69/e1, lemma 8.19
History
- 2026-10-29: add by m2/v0.4.12
Cryptographic nonce 44C1PBFW17
| URI | m2://inv/44C1PBFW17 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptographic nonce, Cryptographic nonce (definition). Also Wikidata Q1749235
History
- 2026-11-02: add by m2/dev
Properties 44C8P6544B
| URI | m2://inv/44C8P6544B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Converse relation#ZE7J, Properties (statement)
History
- 2026-11-02: add by m2/dev
q-exponential 44CBT1VPJ9
| URI | m2://inv/44CBT1VPJ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of q-analogs#Y0E5, q-exponential (definition)
- wikipedia: Wikipedia List of exponential topics#QPWT, Q-exponential (definition)
History
- 2026-11-02: add by m2/dev
Existence and uniqueness 44CEVTDRGA
| URI | m2://inv/44CEVTDRGA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximal compact subgroup#F0D2, Existence and uniqueness (statement)
History
- 2026-11-02: add by m2/dev
44CGZ0THH4 44CGZ0THH4
| URI | m2://inv/44CGZ0THH4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#K8NP (statement). In GW23NX78SB/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Harnack inequalities 44CS6KFT7Y
| URI | m2://inv/44CS6KFT7Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12430#9UAY, Harnack inequalities (statement). In VGKCBWQ65N/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
44CV3ZAD7D 44CV3ZAD7D
| URI | m2://inv/44CV3ZAD7D |
|---|---|
| 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#QISZ (definition). In G30YTST9ZK/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.3
44D3DFDTS7 44D3DFDTS7
| URI | m2://inv/44D3DFDTS7 |
|---|---|
| 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.09390#X57Q (statement). In 7SSKW778T8/e1, lemma 2.13
History
- 2026-10-29: add by m2/v0.4.10
loop space, iterated 44D8Q12CHF
| URI | m2://inv/44D8Q12CHF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.3/loop-space-iterated, loop space, iterated (concept). In N54F33XE07, index, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
sentence 44DDQHSRBC
| URI | m2://inv/44DDQHSRBC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Sentence DKFGQTRYZE |
Mentions
- wikidata: Wikidata Q2509500, sentence (unknown). Also MathWorld Sentence
- wikipedia: Wikipedia Sentence (mathematical logic), Sentence (definition). Also Wikidata Q2509500
History
- 2026-10-26: add by m2/dev
Theorem 44DSFFSS7T
| URI | m2://inv/44DSFFSS7T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally convex vector lattice#NBF2, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Automatic low-frequency smallness 44DVY709TX
| URI | m2://inv/44DVY709TX |
|---|---|
| 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.02721#AUEB, Automatic low-frequency smallness (statement). In XXFYVDVPPE/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.12
Schwarz criterion 44E9W6X6SW
| URI | m2://inv/44E9W6X6SW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#POZF, Schwarz criterion (statement)
History
- 2026-11-02: add by m2/dev
Szekeres, György 44EK41N1DP
| URI | m2://inv/44EK41N1DP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#D0LZ, Szekeres, György (topic)
History
- 2026-11-02: add by m2/dev
Gregg Jay Zuckerman 44EPXV7PK1
| URI | m2://inv/44EPXV7PK1 |
|---|---|
| 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#MVB6, Gregg Jay Zuckerman (topic)
History
- 2026-11-02: add by m2/dev
Helen Abbot Merrill 44ERVJRXH6
| URI | m2://inv/44ERVJRXH6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helen Abbot Merrill, Helen Abbot Merrill (topic). Also Wikidata Q5701781
History
- 2026-11-02: add by m2/dev
44EXXAP86N 44EXXAP86N
| URI | m2://inv/44EXXAP86N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-11 (exercise). In E59CDZA4DP, exercise, section 5.2.1
History
- 2026-11-01: add by m2/v0.6.13
44EYZXT7NQ 44EYZXT7NQ
| URI | m2://inv/44EYZXT7NQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/c-representable.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 29.5
History
- 2026-11-01: add by m2/v0.6.13
44F2GHYWTM 44F2GHYWTM
| URI | m2://inv/44F2GHYWTM |
|---|---|
| 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#LBF1 (statement). In PWF23QSGDX/e1, theorem 5.3
History
- 2026-10-28: add by m2/v0.4.2
Uniform deviation of a sampled affine cut 44FMGQSQAC
| URI | m2://inv/44FMGQSQAC |
|---|---|
| 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.12713#WDTH, Uniform deviation of a sampled affine cut (statement). In F14A5HX20Q/e1, lemma C.4.2
History
- 2026-10-28: add by m2/v0.4.2
44FP53VDJA 44FP53VDJA
| URI | m2://inv/44FP53VDJA |
|---|---|
| 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 2011.08789#NB90 (statement). In 43AGRMP7T3/e1, proposition
History
- 2026-10-27: add by m2/v0.3.5
Carl Jensen Burrau 44FP6JSDW9
| URI | m2://inv/44FP6JSDW9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carl Jensen Burrau, Carl Jensen Burrau (topic). Also Wikidata Q5590602
History
- 2026-11-02: add by m2/dev
44FPHHWKJV 44FPHHWKJV
| URI | m2://inv/44FPHHWKJV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16381#8JFL (statement). In 304QK565QF/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
44FTBG7JVZ 44FTBG7JVZ
| URI | m2://inv/44FTBG7JVZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2608.17785#JFHD (statement). In H3FDP8S1Z7/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.5
44FW0SB5H3 44FW0SB5H3
| URI | m2://inv/44FW0SB5H3 |
|---|---|
| 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.30519#PMW6 (statement). In GQQZNRYK15/e1, lemma 2.5
History
- 2026-10-31: add by m2/v0.5.6
44FZ3TQJWX 44FZ3TQJWX
| URI | m2://inv/44FZ3TQJWX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#77V1 (definition). In CY1FE8W1ZW/e1, definition 0.11
History
- 2026-10-27: add by m2/v0.3.5
44G0WAGF00 44G0WAGF00
| URI | m2://inv/44G0WAGF00 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11478#P2F6 (definition). In R81S9R1XNR/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.3
44G8R71XQ5 44G8R71XQ5
| URI | m2://inv/44G8R71XQ5 |
|---|---|
| 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.07049#PSQJ (statement). In GMF552ESG6/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.10
Alternating sign matrix theorem 44GFJXHK44
| URI | m2://inv/44GFJXHK44 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternating sign matrix#52GI, Alternating sign matrix theorem (statement)
History
- 2026-11-02: add by m2/dev
Lowndean Professor of Astronomy and Geometry 44GVAPVGMY
| URI | m2://inv/44GVAPVGMY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics history topics#GVHW, Lowndean Professor of Astronomy and Geometry (definition)
History
- 2026-11-02: add by m2/dev
44GX84P837 44GX84P837
| URI | m2://inv/44GX84P837 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18329#MUGV (definition). In 3VWEPEFHN3/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Richard Montague 44GYH8B3CS
| URI | m2://inv/44GYH8B3CS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#S6J2, Richard Montague (topic)
History
- 2026-11-02: add by m2/dev
Recursive tree 44H7SKMKSN
| URI | m2://inv/44H7SKMKSN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recursive tree, Recursive tree (definition). Also Wikidata Q17133279
History
- 2026-11-02: add by m2/dev
PP 44H8DFSA8K
| URI | m2://inv/44H8DFSA8K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PP (complexity), PP (definition). Also Wikidata Q1563053
History
- 2026-11-02: add by m2/dev
Free algebra 44H9M6P10B
| URI | m2://inv/44H9M6P10B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#MSQE, Free algebra (definition)
History
- 2026-11-02: add by m2/dev
44HFASYNY6 44HFASYNY6
| URI | m2://inv/44HFASYNY6 |
|---|---|
| Kind | definition |
| 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.24363#WKFC (definition)
History
- 2026-11-01: add by m2/v0.6.15
44HG4H5A0M 44HG4H5A0M
| URI | m2://inv/44HG4H5A0M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34289#2XT9 (statement). In 9RBATD2Z1F/e1, corollary 3.22
History
- 2026-10-30: add by m2/v0.4.12
44HSF3GXMG 44HSF3GXMG
| URI | m2://inv/44HSF3GXMG |
|---|---|
| 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.06225#KEK9 (statement). In RQVG8V4FJA/e1, corollary 5.1
History
- 2026-10-29: add by m2/v0.4.10
Anomaly time series 44J6WPKWWY
| URI | m2://inv/44J6WPKWWY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4OF7, Anomaly time series (definition)
History
- 2026-11-02: add by m2/dev
44J8Q4CJJ5 44J8Q4CJJ5
| URI | m2://inv/44J8Q4CJJ5 |
|---|---|
| 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.01329#7BLP (statement). In 7XEVYJKJ5C/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.12
James Joseph Sylvester 44J9VY0809
| URI | m2://inv/44J9VY0809 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#LWXU, James Joseph Sylvester (topic)
History
- 2026-11-02: add by m2/dev
44JKRR7C3K 44JKRR7C3K
| URI | m2://inv/44JKRR7C3K |
|---|---|
| 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.39455#5BP9 (statement). In HW4Y4TMEZ3/e1, proposition 5.5
History
- 2026-10-30: add by m2/v0.4.12
Statement 44JNDTDWHD
| URI | m2://inv/44JNDTDWHD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas–Yau conjecture#NZJT, Statement (statement)
History
- 2026-11-02: add by m2/dev
Louise Nevelson 44JNNTKZ9X
| URI | m2://inv/44JNNTKZ9X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#XQ4C, Louise Nevelson (unknown)
History
- 2026-11-02: add by m2/dev
44JNXASHFK 44JNXASHFK
| URI | m2://inv/44JNXASHFK |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#proof-5 (proof). In RZP28ERRZV, proof, section 9.6
History
- 2026-11-01: add by m2/v0.6.13
Theorem 44JRFBWNY3
| URI | m2://inv/44JRFBWNY3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantor space#QXYQ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
List of nonlinear ordinary differential equations 44JV9GJ46X
| URI | m2://inv/44JV9GJ46X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of nonlinear ordinary differential equations, List of nonlinear ordinary differential equations (topic). Also Wikidata Q48996302
History
- 2026-11-02: add by m2/dev
Definition 44K4JXQ088
| URI | m2://inv/44K4JXQ088 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirac measure#B41M, Definition (definition)
History
- 2026-11-02: add by m2/dev
Special abelian subgroup 44K7BJQ6K2
| URI | m2://inv/44K7BJQ6K2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Special abelian subgroup, Special abelian subgroup (definition). Also Wikidata Q7574778
History
- 2026-11-02: add by m2/dev
44KEXMFAXD 44KEXMFAXD
| URI | m2://inv/44KEXMFAXD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28141#L1DW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition 44KF2XRCX5
| URI | m2://inv/44KF2XRCX5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Rényi model#REM5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Pythagoras' theorem 44KK57RJBG
| URI | m2://inv/44KK57RJBG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of misnamed theorems#FQ1N, Pythagoras' theorem (statement)
History
- 2026-11-02: add by m2/dev
Explicit formula 44KKS05N40
| URI | m2://inv/44KKS05N40 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stirling numbers of the first kind#DGMV, Explicit formula (statement)
History
- 2026-11-02: add by m2/dev
Global arithmetic dynamics 44KKYVAC02
| URI | m2://inv/44KKYVAC02 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#G7DW, Global arithmetic dynamics (definition)
History
- 2026-11-02: add by m2/dev
44KMTGZ0ZP 44KMTGZ0ZP
| URI | m2://inv/44KMTGZ0ZP |
|---|---|
| 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.07893#CRFN (statement). In D3W1X35NGB/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.10
Neyman Type A distribution 44KP7741QA
| URI | m2://inv/44KP7741QA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neyman Type A distribution, Neyman Type A distribution (definition). Also Wikidata Q124323256
History
- 2026-11-02: add by m2/dev
Archaeological sequence 44KPC9E0FW
| URI | m2://inv/44KPC9E0FW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seriation (archaeology)#2D58, Archaeological sequence (unknown)
History
- 2026-11-02: add by m2/dev
44KRMNGARV 44KRMNGARV
| URI | m2://inv/44KRMNGARV |
|---|---|
| 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#134E (statement). In A7611PTXVQ/e1, proposition 3.10
History
- 2026-10-29: add by m2/v0.4.10
Krull intersection theorem 44KSHDS4ZE
| URI | m2://inv/44KSHDS4ZE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local ring#4MQ4, Krull intersection theorem (unknown)
History
- 2026-11-02: add by m2/dev
Ctesibius 44KTQ05BGE
| URI | m2://inv/44KTQ05BGE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#LNAQ, Ctesibius (unknown)
History
- 2026-11-02: add by m2/dev
Applications 44M3X0N50X
| URI | m2://inv/44M3X0N50X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Volumetric mesh#TWPR, Applications (example)
History
- 2026-11-02: add by m2/dev
44MAW17EGA 44MAW17EGA
| URI | m2://inv/44MAW17EGA |
|---|---|
| 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.27078#BD2E (statement)
History
- 2026-11-01: add by m2/v0.6.15
Laurence Baxter 44MB2PAPS9
| URI | m2://inv/44MB2PAPS9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#H10Z, Laurence Baxter (topic)
History
- 2026-11-02: add by m2/dev
Quinnipiac University Polling Institute 44MFHZYJ43
| URI | m2://inv/44MFHZYJ43 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quinnipiac University Polling Institute, Quinnipiac University Polling Institute (definition). Also Wikidata Q7272318
History
- 2026-11-02: add by m2/dev
Stieltjes polynomials 44MJ3609DA
| URI | m2://inv/44MJ3609DA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stieltjes polynomials, Stieltjes polynomials (definition). Also Wikidata Q7616381
History
- 2026-11-02: add by m2/dev
systematic sampling 44MKH46DFT
| URI | m2://inv/44MKH46DFT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#I5O4, systematic sampling (definition)
History
- 2026-11-02: add by m2/dev
Dependence relation 44MMAK0PZV
| URI | m2://inv/44MMAK0PZV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dependence relation, Dependence relation (definition). Also Wikidata Q5260613
History
- 2026-11-02: add by m2/dev
44MN4ZBQNQ 44MN4ZBQNQ
| URI | m2://inv/44MN4ZBQNQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06152#O9HH (statement). In HH35K7S17H/e1, lemma A.34
History
- 2026-10-29: add by m2/v0.4.10
44MQFCYHRB 44MQFCYHRB
| URI | m2://inv/44MQFCYHRB |
|---|---|
| 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.22964#GR6U (statement)
History
- 2026-11-02: add by m2/v0.6.17
One-seventh area triangle 44MR2P4QQB
| URI | m2://inv/44MR2P4QQB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One-seventh area triangle, One-seventh area triangle (definition). Also Wikidata Q7092338
History
- 2026-11-02: add by m2/dev
Brown–Peterson cohomology 44MWEBD442
| URI | m2://inv/44MWEBD442 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brown–Peterson cohomology, Brown–Peterson cohomology (definition). Also Wikidata Q17097796
History
- 2026-11-02: add by m2/dev
Rational number 44N2E29TE1
| URI | m2://inv/44N2E29TE1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#FVDR, Rational number (definition)
History
- 2026-11-02: add by m2/dev
44N2KRQ2WY 44N2KRQ2WY
| URI | m2://inv/44N2KRQ2WY |
|---|---|
| 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.17571#QP34 (statement). In SWFN2HCEE7/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
44N3DS7CKJ 44N3DS7CKJ
| URI | m2://inv/44N3DS7CKJ |
|---|---|
| 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.25926#7395 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Jamshid-i Kashani 44NP7VN02V
| URI | m2://inv/44NP7VN02V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#5WKB, Jamshid-i Kashani (topic)
History
- 2026-11-02: add by m2/dev
44NYCJ3X5M 44NYCJ3X5M
| URI | m2://inv/44NYCJ3X5M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40191#FYQO (statement). In F0D8VSM4Z4/e1, lemma 5.5
History
- 2026-10-30: add by m2/v0.4.12
Qualitative property 44P8WP5SWM
| URI | m2://inv/44P8WP5SWM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Qualitative property, Qualitative property (definition). Also Wikidata Q7268708
History
- 2026-11-02: add by m2/dev
Field discriminant 44PBT8BGXY
| URI | m2://inv/44PBT8BGXY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discriminant#SBEU, Field discriminant (unknown)
History
- 2026-11-02: add by m2/dev
44PFVJN9ZW 44PFVJN9ZW
| URI | m2://inv/44PFVJN9ZW |
|---|---|
| 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.15402#Q5ZZ (definition). In WSE8SEHVXG/e1, definition 15
History
- 2026-10-28: add by m2/v0.4.2
Briot–Bouquet equation 44PPFQKBDG
| URI | m2://inv/44PPFQKBDG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q124414475, Briot–Bouquet equation (concept). Also EoM Briot-Bouquet_equation, MathWorld Briot-BouquetEquation
History
- 2026-10-26: add by m2/dev
intersecting chords theorem 44PTXK7GAD
| URI | m2://inv/44PTXK7GAD |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 5 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Intersecting chords theorem 0YQQYET8YQ |
Mentions
- mathlib_100: mathlib_100 55, Product of Segments of Chords (statement). Also Mathlib EuclideanGeometry.mul_dist_eq_mul_dist_of_cospherical_of_angle_eq_pi
- mathlib_1000: mathlib_1000 Q2266397, Intersecting chords theorem (statement). Also Mathlib EuclideanGeometry.mul_dist_eq_mul_dist_of_cospherical_of_angle_eq_pi, Wikidata Q2266397
- thousand_plus: thousand_plus Q2266397, Intersecting chords theorem (statement). Also Wikidata Q2266397, Wikipedia Intersecting chords theorem
- wikidata: Wikidata Q2266397, intersecting chords theorem (statement). Also ProofWiki Intersecting_Chord_Theorem
- wikipedia: Wikipedia Intersecting chords theorem, Intersecting chords theorem (statement). Also Wikidata Q2266397
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Split conformal predictive distribution 44PY60M7XJ
| URI | m2://inv/44PY60M7XJ |
|---|---|
| Kind | definition |
| 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.23350#4XW4, Split conformal predictive distribution (definition)
History
- 2026-11-02: add by m2/v0.6.17
Voice inversion 44Q1B260HX
| URI | m2://inv/44Q1B260HX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Voice inversion, Voice inversion (definition). Also Wikidata Q7939523
History
- 2026-11-02: add by m2/dev
Notation 44QH9ACZ7K
| URI | m2://inv/44QH9ACZ7K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disjoint union of graphs#MP1Z, Notation (definition)
History
- 2026-11-02: add by m2/dev
Super envy-freeness 44QKT8D1MH
| URI | m2://inv/44QKT8D1MH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Super envy-freeness, Super envy-freeness (definition). Also Wikidata Q107722802
History
- 2026-11-02: add by m2/dev
Generalizations 44QKTSVDJV
| URI | m2://inv/44QKTSVDJV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monsky's theorem#5RR0, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Polynomial-space CVPP by collision search 44QWX9232T
| URI | m2://inv/44QWX9232T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15265#THJP, Polynomial-space CVPP by collision search (statement). In TCQ1JBR84Y/e1, theorem 1.8
History
- 2026-10-28: add by m2/v0.4.2
Appeal to state of nature 44R1SRXYKQ
| URI | m2://inv/44R1SRXYKQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Naturalistic fallacy#KU1M, Appeal to state of nature (unknown)
History
- 2026-11-02: add by m2/dev
44R5XX9PJS 44R5XX9PJS
| URI | m2://inv/44R5XX9PJS |
|---|---|
| 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 math/9901049#90NZ (statement). In SAVNP6BB03/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
44R7VV7GH9 44R7VV7GH9
| URI | m2://inv/44R7VV7GH9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06544#PC6T (statement). In VCRB27RMN6/e1, proposition 17.1
History
- 2026-10-29: add by m2/v0.4.10
Properties 44RGG4774H
| URI | m2://inv/44RGG4774H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Directional component analysis#ITNK, Properties (statement)
History
- 2026-11-02: add by m2/dev
Symmetry-based regularity 44RQK361WW
| URI | m2://inv/44RQK361WW |
|---|---|
| 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.26592#V9ZL, Symmetry-based regularity (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition 44RW24K5VW
| URI | m2://inv/44RW24K5VW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connector (mathematics)#I50D, Definition (definition)
History
- 2026-11-02: add by m2/dev
function, identity 44RX0HG729
| URI | m2://inv/44RX0HG729 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.10/function-identity, function, identity (concept). In N54F33XE07, index, section 1.10
History
- 2026-11-01: add by m2/v0.6.13
Examples 44S4A2FH1P
| URI | m2://inv/44S4A2FH1P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anomaly (natural sciences)#YHAD, Examples (example)
History
- 2026-11-02: add by m2/dev
44S5CCXW1Z 44S5CCXW1Z
| URI | m2://inv/44S5CCXW1Z |
|---|---|
| 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#W8W8 (statement). In FYS6VV5M99/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
ZF 44SBYQZK48
| URI | m2://inv/44SBYQZK48 |
|---|---|
| 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.25291#EZ6Z, ZF (statement)
History
- 2026-11-01: add by m2/v0.6.15
44SDV7V2B7 44SDV7V2B7
| URI | m2://inv/44SDV7V2B7 |
|---|---|
| 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.20881#UX11 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Closed form; cf.\ , Thms.\ 3.1--3.2 44SF31BJWA
| URI | m2://inv/44SF31BJWA |
|---|---|
| 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.08599#9PUP, Closed form; cf.\ , Thms.\ 3.1--3.2 (statement). In DST9FWMHT6/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.10
44SGDX3VMG 44SGDX3VMG
| URI | m2://inv/44SGDX3VMG |
|---|---|
| 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.23994#728T (statement)
History
- 2026-11-02: add by m2/v0.6.17
corridor; traversal 44SRENYY8D
| URI | m2://inv/44SRENYY8D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14051#8X19, corridor; traversal (definition). In ZQ78SP5JBS/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Dynamic convex hull 44SVFPCKNW
| URI | m2://inv/44SVFPCKNW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamic convex hull, Dynamic convex hull (definition). Also Wikidata Q5318961
History
- 2026-11-02: add by m2/dev
Clipping 44SVM0FF0G
| URI | m2://inv/44SVM0FF0G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#LGHZ, Clipping (unknown)
History
- 2026-11-02: add by m2/dev
44SYBKQC6K 44SYBKQC6K
| URI | m2://inv/44SYBKQC6K |
|---|---|
| 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 2606.00589#430T (statement). In C8JAGP8VCQ/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
44T2SCWR0D 44T2SCWR0D
| URI | m2://inv/44T2SCWR0D |
|---|---|
| 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 2111.14143#H1BY (statement). In QSKV7N0T89/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Gerris 44TFNEPB2V
| URI | m2://inv/44TFNEPB2V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#0215, Gerris (unknown)
History
- 2026-11-02: add by m2/dev
congruence relation 44TH6JHNT3
| URI | m2://inv/44TH6JHNT3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#ZOWP, congruence relation (definition)
History
- 2026-11-02: add by m2/dev
44TJBSB610 44TJBSB610
| URI | m2://inv/44TJBSB610 |
|---|---|
| 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 2610.08251#WR2U (statement). In YRJKC9DJEA/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.10
44TQ6C6WTK 44TQ6C6WTK
| URI | m2://inv/44TQ6C6WTK |
|---|---|
| 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 2604.23212#13JJ (statement). In 4X12V9RS0D/e1, lemma G.3
History
- 2026-10-27: add by m2/v0.3.5
Kasch ring 44TZB2XY55
| URI | m2://inv/44TZB2XY55 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kasch ring, Kasch ring (definition). Also Wikidata Q6374084
History
- 2026-11-02: add by m2/dev
44V1RWSN31 44V1RWSN31
| URI | m2://inv/44V1RWSN31 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24580#EFAW (definition)
History
- 2026-11-01: add by m2/v0.6.15
Pompeiu problem 44V8GG8BPW
| URI | m2://inv/44V8GG8BPW |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pompeiu problem, Pompeiu problem (conjecture). Also Wikidata Q3406234
History
- 2026-11-02: add by m2/dev
6-demicube 44VE5Q6X6S
| URI | m2://inv/44VE5Q6X6S |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 6-demicube, 6-demicube (object). Also Wikidata Q4641560
History
- 2026-11-02: add by m2/dev
44VF3KSDR4 44VF3KSDR4
| URI | m2://inv/44VF3KSDR4 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#21WA (unknown). In QNBFHFZ3H0/e1, unknown 20
History
- 2026-10-28: add by m2/v0.4.2
polynomial endofunctor, W-type 44VH4RZ9AG
| URI | m2://inv/44VH4RZ9AG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2405.14678#0RKL, polynomial endofunctor, W-type (definition). In 9ZSNSJRJ5N/e1, definition 10
History
- 2026-10-27: add by m2/v0.4.2
Stan 44VJPZ25YS
| URI | m2://inv/44VJPZ25YS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stan (software), Stan (definition). Also Wikidata Q17085079
History
- 2026-11-02: add by m2/dev
classification of elements of $\mathrm{O}(3, \R)$ 44VPWCN0V0
| URI | m2://inv/44VPWCN0V0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Low dimensions > classification of elements of $\mathrm{O}(3, \R)$, classification of elements of $\mathrm{O}(3, \R)$ (unknown)
History
- 2026-10-26: add by m2/dev
South Miami Heights 44VVZ3X2H0
| URI | m2://inv/44VVZ3X2H0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#19BJ, South Miami Heights (unknown)
History
- 2026-11-02: add by m2/dev
Hurwitz quaternion 44W1J6YMAA
| URI | m2://inv/44W1J6YMAA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hurwitz quaternion, Hurwitz quaternion (definition). Also Wikidata Q1327941
History
- 2026-11-02: add by m2/dev
variation of parameters 44WEV9R6XV
| URI | m2://inv/44WEV9R6XV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Variation of parameters 0Y6TH5PQVS |
Mentions
- wikidata: Wikidata Q1205942, variation of parameters (unknown). Also EoM Variation_of_constants, MathWorld VariationofParameters
- wikipedia: Wikipedia Variation of parameters, Variation of parameters (definition). Also Wikidata Q1205942
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Jean Piaget 44WNP87FHH
| URI | m2://inv/44WNP87FHH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EV14, Jean Piaget (unknown)
History
- 2026-11-02: add by m2/dev
HHL algorithm 44WX0MP03Q
| URI | m2://inv/44WX0MP03Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#APMC, HHL algorithm (definition)
History
- 2026-11-02: add by m2/dev
44X2XE8HFF 44X2XE8HFF
| URI | m2://inv/44X2XE8HFF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05672#VX4H (statement). In BQGX0XE2A6/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
44X5RVKEAZ 44X5RVKEAZ
| URI | m2://inv/44X5RVKEAZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01888#1V7F (statement). In A89G9GMPC9/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.12
44X9R31T00 44X9R31T00
| URI | m2://inv/44X9R31T00 |
|---|---|
| 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.20656#D48P (statement)
History
- 2026-11-02: add by m2/v0.6.18
Mathematics Institute 44XQKE3D5G
| URI | m2://inv/44XQKE3D5G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of research centers at Boston College#ADIW, Mathematics Institute (unknown)
History
- 2026-11-02: add by m2/dev
44XZEEKKA2 44XZEEKKA2
| URI | m2://inv/44XZEEKKA2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.03231#K15P (statement). In 3Y76AQQGF0/e1, proposition 5.3
History
- 2026-10-29: add by m2/v0.4.12
44Y2JQ5DJX 44Y2JQ5DJX
| URI | m2://inv/44Y2JQ5DJX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.01919#DAHM (statement). In 4H727T2YAS/e1, theorem 5.2
History
- 2026-10-29: add by m2/v0.4.12
basepoint, set of 44YA1V7D5B
| URI | m2://inv/44YA1V7D5B |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.7.2/basepoint-set-of, basepoint, set of (concept). In N54F33XE07, index, section 7.7.2
History
- 2026-11-01: add by m2/v0.6.13
44YBJM0PE1 44YBJM0PE1
| URI | m2://inv/44YBJM0PE1 |
|---|---|
| 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.02852#XC49 (statement). In HX6FXCYGKA/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
44YE1CE0GY 44YE1CE0GY
| URI | m2://inv/44YE1CE0GY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22326#P68L (statement). In EAABRG99V8/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.4.0
44YEXRBS07 44YEXRBS07
| URI | m2://inv/44YEXRBS07 |
|---|---|
| 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.08288#JBPA (statement). In CHVWYJM7RM/e1, lemma 4.17
History
- 2026-10-29: add by m2/v0.4.10
Definition 44YGH6Q2M4
| URI | m2://inv/44YGH6Q2M4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental group#K4Z7, Definition (definition)
History
- 2026-11-02: add by m2/dev
44YMQAWG1Z 44YMQAWG1Z
| URI | m2://inv/44YMQAWG1Z |
|---|---|
| Kind | statement |
| 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#RBC3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
44YNEQ9Z9C 44YNEQ9Z9C
| URI | m2://inv/44YNEQ9Z9C |
|---|---|
| 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.24902#RUJZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Common curves and cell boundary 44YQCCBTFE
| URI | m2://inv/44YQCCBTFE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08656#MA9F, Common curves and cell boundary (definition). In JJC4DXX4ZR/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.10
Frequency distribution 44YQSXHPDX
| URI | m2://inv/44YQSXHPDX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8G2J, Frequency distribution (definition)
History
- 2026-11-02: add by m2/dev
Slow-growing hierarchy 44YSVJN125
| URI | m2://inv/44YSVJN125 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slow-growing hierarchy, Slow-growing hierarchy (definition). Also Wikidata Q7541938
History
- 2026-11-02: add by m2/dev
Best linear unbiased prediction 44YV243715
| URI | m2://inv/44YV243715 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Best linear unbiased prediction, Best linear unbiased prediction (definition). Also Wikidata Q796265
History
- 2026-11-02: add by m2/dev
Buchsbaum ring 44Z0VXH95B
| URI | m2://inv/44Z0VXH95B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Buchsbaum ring, Buchsbaum ring (definition). Also Wikidata Q4982735
History
- 2026-11-02: add by m2/dev
Robert Brandenberger 44Z2A6B0WA
| URI | m2://inv/44Z2A6B0WA |
|---|---|
| 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 Q7342315, Robert Brandenberger (unknown). Also nLab Robert Brandenberger
History
- 2026-10-26: add by m2/dev
Cliques 44Z3VFX833
| URI | m2://inv/44Z3VFX833 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#41J3, Cliques (definition)
History
- 2026-11-02: add by m2/dev
44Z6J42ZZ4 44Z6J42ZZ4
| URI | m2://inv/44Z6J42ZZ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CompositionsInverses.tex#theorem-2 (statement). In P1C114YBXG, theorem, section 1
History
- 2026-11-01: add by m2/v0.6.13
44ZE1RQ85C 44ZE1RQ85C
| URI | m2://inv/44ZE1RQ85C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#prop:subseqslimsupinf (statement). In E59CDZA4DP, prop, section 10.3.2
History
- 2026-11-01: add by m2/v0.6.13
Definition 44ZEN4Z0ZT
| URI | m2://inv/44ZEN4Z0ZT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MAXEkSAT#3OI6, Definition (definition)
History
- 2026-11-02: add by m2/dev
44ZG1VKFQ3 44ZG1VKFQ3
| URI | m2://inv/44ZG1VKFQ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-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.14060#D170 (statement). In X47RYAZF8P/e1, lemma 9.1
History
- 2026-10-28: add by m2/v0.4.2
44ZSDAV5NH 44ZSDAV5NH
| URI | m2://inv/44ZSDAV5NH |
|---|---|
| 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.14377#RLJK (statement). In WEZPNET90D/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Weierstrass–Mandelbrot function 44ZWSN6N0G
| URI | m2://inv/44ZWSN6N0G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weierstrass–Mandelbrot function, Weierstrass–Mandelbrot function (definition). Also Wikidata Q135682307
History
- 2026-11-02: add by m2/dev