Inventory rows JZ
The cards of the rows of the inventory whose ids start with JZ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
JZ05K7WJ8E JZ05K7WJ8E
| URI | m2://inv/JZ05K7WJ8E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-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.21528#0ADY (definition)
History
- 2026-11-02: add by m2/v0.6.18
Clarke generalized derivative JZ082JTR3B
| URI | m2://inv/JZ082JTR3B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clarke generalized derivative, Clarke generalized derivative (definition). Also Wikidata Q116858622
History
- 2026-11-02: add by m2/dev
JZ0K26EQ60 JZ0K26EQ60
| URI | m2://inv/JZ0K26EQ60 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20599#L7TP (statement)
History
- 2026-11-02: add by m2/v0.6.18
JZ0TDXXV3F JZ0TDXXV3F
| URI | m2://inv/JZ0TDXXV3F |
|---|---|
| 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 2610.00105#4BOA (statement). In EZXTEXR47M/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
Examples JZ16H7ES0N
| URI | m2://inv/JZ16H7ES0N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Separoid#44XL, Examples (example)
History
- 2026-11-02: add by m2/dev
JZ1EN0KPKX JZ1EN0KPKX
| URI | m2://inv/JZ1EN0KPKX |
|---|---|
| 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 2609.34168#LN8L (statement). In 30YQV8N04M/e1, lemma 12.1
History
- 2026-10-30: add by m2/v0.4.12
JZ1ESPM0NF JZ1ESPM0NF
| URI | m2://inv/JZ1ESPM0NF |
|---|---|
| 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 1303.4328#CVB3 (statement). In HCTYW6VH87/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
Riccati equation JZ1JRNDNFN
| URI | m2://inv/JZ1JRNDNFN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Riccati equation 0E1ZZBHZ3Z |
Mentions
- wikidata: Wikidata Q851503, Riccati equation (concept). Also MathWorld RiccatiDifferentialEquation, nLab Riccati equation, ProofWiki Definition:Riccati_Equation
- wikipedia: Wikipedia Riccati equation, Riccati equation (definition). Also Wikidata Q851503
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Dual bound JZ1MPXVQYH
| URI | m2://inv/JZ1MPXVQYH |
|---|---|
| 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.14458#E3QS, Dual bound (statement). In WJ76MVYAZQ/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
Properties JZ1Q3YERPY
| URI | m2://inv/JZ1Q3YERPY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse tangent integral#W7PU, Properties (statement)
History
- 2026-11-02: add by m2/dev
ADaMSoft JZ1WR41BZX
| URI | m2://inv/JZ1WR41BZX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#6HS4, ADaMSoft (unknown)
History
- 2026-11-02: add by m2/dev
Claudio Bunster JZ1XT7Z9R8
| URI | m2://inv/JZ1XT7Z9R8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#3CTU, Claudio Bunster (unknown)
History
- 2026-11-02: add by m2/dev
constructive analysis JZ1ZKPK9RX
| URI | m2://inv/JZ1ZKPK9RX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Constructive analysis HEB1VQW0DQ |
Mentions
- wikidata: Wikidata Q2845197, constructive analysis (topic). Also EoM Constructive_analysis, nLab constructive analysis
- wikipedia: Wikipedia Constructive analysis, Constructive analysis (definition). Also Wikidata Q2845197
History
- 2026-10-26: add by m2/dev
Disposition (math) JZ20QPP25T
| URI | m2://inv/JZ20QPP25T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permutation#GGA2, Disposition (math) (unknown)
History
- 2026-11-02: add by m2/dev
JZ29Z8T4CQ JZ29Z8T4CQ
| URI | m2://inv/JZ29Z8T4CQ |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.14143#QUF8 (conjecture). In QSKV7N0T89/e1, conjecture 9.3
History
- 2026-10-27: add by m2/v0.3.5
Example JZ2A0WYN9E
| URI | m2://inv/JZ2A0WYN9E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Association rule learning#VPR0, Example (example)
History
- 2026-11-02: add by m2/dev
Knot congruence JZ2E9CCD15
| URI | m2://inv/JZ2E9CCD15 |
|---|---|
| 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.18618#IJ3H, Knot congruence (statement). In C8VC86B6H8/e1, proposition 5.5
History
- 2026-10-28: add by m2/v0.4.2
Frequency spectrum JZ2MEM2EG1
| URI | m2://inv/JZ2MEM2EG1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier analysis topics#8N93, Frequency spectrum (definition)
History
- 2026-11-02: add by m2/dev
JZ2ZDVZHGK JZ2ZDVZHGK
| URI | m2://inv/JZ2ZDVZHGK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07471#XRUF (statement). In 7DHCS5SEHT/e1, theorem
History
- 2026-10-29: add by m2/v0.4.10
JZ31YWSSGF JZ31YWSSGF
| URI | m2://inv/JZ31YWSSGF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15720#UZU8 (statement). In VNN52G3BRE/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.2
Standard part function JZ397X7084
| URI | m2://inv/JZ397X7084 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#90ZM, Standard part function (definition)
History
- 2026-11-02: add by m2/dev
Cross JZ3M4GKVJ3
| URI | m2://inv/JZ3M4GKVJ3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#BLQB, Cross (unknown)
History
- 2026-11-02: add by m2/dev
JZ3QDY7VC6 JZ3QDY7VC6
| URI | m2://inv/JZ3QDY7VC6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-2 (exercise). In Y91XFCEVHQ, exercise, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
Additive bias JZ3V86KBYP
| URI | m2://inv/JZ3V86KBYP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#1SY0, Additive bias (unknown)
History
- 2026-11-02: add by m2/dev
NIST SP 800-90A JZ42DT8RR5
| URI | m2://inv/JZ42DT8RR5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NIST SP 800-90A, NIST SP 800-90A (definition). Also Wikidata Q17083105
History
- 2026-11-02: add by m2/dev
Bernoulli trial JZ42YBS20N
| URI | m2://inv/JZ42YBS20N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernoulli trial, Bernoulli trial (definition). Also Wikidata Q1077800
History
- 2026-11-02: add by m2/dev
Oblivious pseudorandom function JZ4839729V
| URI | m2://inv/JZ4839729V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oblivious pseudorandom function, Oblivious pseudorandom function (definition). Also Wikidata Q124485996
History
- 2026-11-02: add by m2/dev
Formulas and identities JZ49KGD2C0
| URI | m2://inv/JZ49KGD2C0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's constant#4OOA, Formulas and identities (statement)
History
- 2026-11-02: add by m2/dev
JZ4AYFQDTD JZ4AYFQDTD
| URI | m2://inv/JZ4AYFQDTD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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.10930#GO4L (definition). In HX63A1PH1W/e1, definition 8.18
History
- 2026-10-28: add by m2/v0.4.3
Principle of maximum entropy JZ4CN34T2M
| URI | m2://inv/JZ4CN34T2M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principle of maximum entropy, Principle of maximum entropy (statement). Also Wikidata Q1417473
History
- 2026-11-02: add by m2/dev
Exponential factorial JZ4SQWVVJS
| URI | m2://inv/JZ4SQWVVJS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential factorial, Exponential factorial (definition). Also Wikidata Q2919059
History
- 2026-11-02: add by m2/dev
Properties JZ4SR854S1
| URI | m2://inv/JZ4SR854S1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander horned sphere#DG5O, Properties (statement)
History
- 2026-11-02: add by m2/dev
JZ4SRK21YN JZ4SRK21YN
| URI | m2://inv/JZ4SRK21YN |
|---|---|
| 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 2402.05268#0GNJ (statement). In MQZC12P7SA/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Predictive state representation JZ4V8VPTDD
| URI | m2://inv/JZ4V8VPTDD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Predictive state representation, Predictive state representation (definition). Also Wikidata Q7239676
History
- 2026-11-02: add by m2/dev
Explained sum of squares JZ4VZCA296
| URI | m2://inv/JZ4VZCA296 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Explained sum of squares, Explained sum of squares (definition). Also Wikidata Q3964631
History
- 2026-11-02: add by m2/dev
Cont'd JZ5AS3Z5WN
| URI | m2://inv/JZ5AS3Z5WN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2206.11471#XG8S, Cont'd (example). In 8387H919D5/e1, example 2
History
- 2026-10-27: add by m2/v0.3.5
JZ5ME10EGJ JZ5ME10EGJ
| URI | m2://inv/JZ5ME10EGJ |
|---|---|
| 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.18152#JCLW (statement). In AAVGAGCWTE/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Non-constructive lower bound for $k$-graphs JZ5WCG8PXD
| URI | m2://inv/JZ5WCG8PXD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07379#ME4D, Non-constructive lower bound for $k$-graphs (statement). In N0EVQ46HBR/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Properties JZ61183QXD
| URI | m2://inv/JZ61183QXD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex series#P5VK, Properties (statement)
History
- 2026-11-02: add by m2/dev
Conjectures on the boundedness of ranks JZ64DQ8EJR
| URI | m2://inv/JZ64DQ8EJR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rank of an elliptic curve#7RJZ, Conjectures on the boundedness of ranks (statement)
History
- 2026-11-02: add by m2/dev
The constrained problem JZ6DJZH01T
| URI | m2://inv/JZ6DJZH01T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06480#VC9C, The constrained problem (statement). In 2Y47E704Z9/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
JZ6DYX531T JZ6DYX531T
| URI | m2://inv/JZ6DYX531T |
|---|---|
| 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.10474#O0KC (statement). In MB29RAAQMG/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
Analysis of clinical trials JZ6FKRBRER
| URI | m2://inv/JZ6FKRBRER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analysis of clinical trials, Analysis of clinical trials (definition). Also Wikidata Q4751103
History
- 2026-11-02: add by m2/dev
JZ6QR11TZC JZ6QR11TZC
| URI | m2://inv/JZ6QR11TZC |
|---|---|
| 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.12108#T1PD (definition). In JQH3FHYPW3/e1, definition 2.13
History
- 2026-10-28: add by m2/v0.4.2
Applications JZ7355CRCM
| URI | m2://inv/JZ7355CRCM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poincaré–Bendixson theorem#8E0H, Applications (example)
History
- 2026-11-02: add by m2/dev
Project 6, Quezon City JZ73XRK00H
| URI | m2://inv/JZ73XRK00H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#27DZ, Project 6, Quezon City (unknown)
History
- 2026-11-02: add by m2/dev
Image compression JZ749D1YQW
| URI | m2://inv/JZ749D1YQW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#8N34, Image compression (unknown)
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#BT8K, Image compression (unknown)
History
- 2026-11-02: add by m2/dev
Definition JZ74VES9H6
| URI | m2://inv/JZ74VES9H6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Möbius geometry#H4TC, Definition (definition)
History
- 2026-11-02: add by m2/dev
KLV polynomial JZ777SZJ47
| URI | m2://inv/JZ777SZJ47 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kazhdan–Lusztig polynomial#LRMW, KLV polynomial (unknown)
History
- 2026-11-02: add by m2/dev
The Fourier exchange law JZ7CVCM9YG
| URI | m2://inv/JZ7CVCM9YG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 53-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 2501.09848#41AM, The Fourier exchange law (statement). In HF7YNMW39N/e1, lemma 12.1
History
- 2026-10-27: add by m2/v0.4.0
Identity JZ7FFYK389
| URI | m2://inv/JZ7FFYK389 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propositional formula#TJCV, Identity (statement)
History
- 2026-11-02: add by m2/dev
Codimension-two collar propagator JZ7G7N67WF
| URI | m2://inv/JZ7G7N67WF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#1X2L, Codimension-two collar propagator (statement)
History
- 2026-11-01: add by m2/v0.6.15
JZ7JQTGK2V JZ7JQTGK2V
| URI | m2://inv/JZ7JQTGK2V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise:upperlowerlinineq (exercise). In E59CDZA4DP, exercise, section 8.2.5
History
- 2026-11-01: add by m2/v0.6.13
FinVect JZ7PKFMDH9
| URI | m2://inv/JZ7PKFMDH9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FinVect, FinVect (definition). Also Wikidata Q117061348
History
- 2026-11-02: add by m2/dev
Construction JZ7VYY7CT9
| URI | m2://inv/JZ7VYY7CT9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hantzsche–Wendt manifold#8YB6, Construction (definition)
History
- 2026-11-02: add by m2/dev
JZ82BBHHFQ JZ82BBHHFQ
| URI | m2://inv/JZ82BBHHFQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-19 (exercise). In E59CDZA4DP, exercise, section 10.1.4
History
- 2026-11-01: add by m2/v0.6.13
Upper topology JZ85RP18CY
| URI | m2://inv/JZ85RP18CY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Upper topology, Upper topology (definition). Also Wikidata Q7899053
History
- 2026-11-02: add by m2/dev
Cauchy-Binet formula JZ869MH2T6
| URI | m2://inv/JZ869MH2T6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#TS71, Cauchy-Binet formula (statement)
History
- 2026-11-02: add by m2/dev
Cognitive pretesting JZ8APPW9ZY
| URI | m2://inv/JZ8APPW9ZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#IZKI, Cognitive pretesting (definition)
History
- 2026-11-02: add by m2/dev
JZ8B3PQX5F JZ8B3PQX5F
| URI | m2://inv/JZ8B3PQX5F |
|---|---|
| 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.21934#VTWT (statement). In YKD51BX3XB/e1, lemma 6.5
History
- 2026-10-27: add by m2/v0.4.2
JZ8NKKNC9M JZ8NKKNC9M
| URI | m2://inv/JZ8NKKNC9M |
|---|---|
| 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.28893#V67A (statement)
History
- 2026-11-01: add by m2/v0.6.15
JZ8YNCNP1M JZ8YNCNP1M
| URI | m2://inv/JZ8YNCNP1M |
|---|---|
| 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.10243#2PSZ (statement). In 6N7EAD1PYD/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
JZ907WWZCG JZ907WWZCG
| URI | m2://inv/JZ907WWZCG |
|---|---|
| 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.01561#124Q (statement). In W4G7BCHYEW/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Vitali's covering theorem for the Lebesgue measure JZ98ZEZPRF
| URI | m2://inv/JZ98ZEZPRF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vitali covering lemma#THJJ, Vitali's covering theorem for the Lebesgue measure (statement)
History
- 2026-11-02: add by m2/dev
Integer partition JZ9BTCADD3
| URI | m2://inv/JZ9BTCADD3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#8Q74, Integer partition (definition)
History
- 2026-11-02: add by m2/dev
Pierre-Simon Laplace JZ9C7J7D8K
| URI | m2://inv/JZ9C7J7D8K |
|---|---|
| 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 Q44481, Pierre-Simon Laplace (unknown). Also EoM Laplace,_Pierre-Simon_Marquis_de
- wikipedia: Wikipedia Pierre-Simon Laplace, Pierre-Simon Laplace (topic). Also Wikidata Q44481
History
- 2026-10-26: add by m2/dev
JZ9DJDJ0EA JZ9DJDJ0EA
| URI | m2://inv/JZ9DJDJ0EA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.33651#6VIG (statement). In 69DBD2HKGK/e1, corollary 5.1
History
- 2026-10-30: add by m2/v0.4.12
JZ9FMB0KZN JZ9FMB0KZN
| URI | m2://inv/JZ9FMB0KZN |
|---|---|
| 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.25656#VRI8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
JZ9JYDQCVW JZ9JYDQCVW
| URI | m2://inv/JZ9JYDQCVW |
|---|---|
| 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.28674#LSAR (statement)
History
- 2026-11-01: add by m2/v0.6.15
JZ9N84G2PH JZ9N84G2PH
| URI | m2://inv/JZ9N84G2PH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#thm:isset-forall (example). In N54F33XE07, eg, section 9.1
History
- 2026-11-01: add by m2/v0.6.13
Monotonicity JZ9WN1QAJ4
| URI | m2://inv/JZ9WN1QAJ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/proof-theoretic-notions.tex#prop:monotonicity, Monotonicity (statement). In PKGMM3P5QY, prop, section 17.5
History
- 2026-11-01: add by m2/v0.6.13
Moderateness JZ9Z2PSN41
| URI | m2://inv/JZ9Z2PSN41 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2110.12380#GJNL, Moderateness (definition). In M6MQPEDQ8N/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Continuity in the species proportions JZ9ZSYHDG9
| URI | m2://inv/JZ9ZSYHDG9 |
|---|---|
| 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#FUUM, Continuity in the species proportions (statement). In KVYG6R7CGJ/e1, lemma 6.5
History
- 2026-10-31: add by m2/v0.5.6
Definitions JZA0EK2QV7
| URI | m2://inv/JZA0EK2QV7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral of a correspondence#11AB, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Applications JZA7ZZFS44
| URI | m2://inv/JZA7ZZFS44 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unimodular lattice#HS4D, Applications (example)
History
- 2026-11-02: add by m2/dev
Freidlin–Wentzell theorem JZA8X80NJ3
| URI | m2://inv/JZA8X80NJ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#4XG1, Freidlin–Wentzell theorem (statement)
History
- 2026-11-02: add by m2/dev
JZA92N4KXG JZA92N4KXG
| URI | m2://inv/JZA92N4KXG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08655#LT4B (statement). In ZT7H1ZDN96/e1, lemma 7.1
History
- 2026-10-29: add by m2/v0.4.10
Vojtěch Jarník JZAB0BE3WT
| URI | m2://inv/JZAB0BE3WT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#4ZJH, Vojtěch Jarník (topic)
History
- 2026-11-02: add by m2/dev
JZAF2TEFHD JZAF2TEFHD
| URI | m2://inv/JZAF2TEFHD |
|---|---|
| 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.31300#K1SI (statement). In ERHQDB8M41/e1, theorem 3.12
History
- 2026-10-31: add by m2/v0.5.6
Parallel algorithms for numerical solution of ordinary differential equations JZAH72HQN2
| URI | m2://inv/JZAH72HQN2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerical methods for ordinary differential equations#0KI0, Parallel algorithms for numerical solution of ordinary differential equations (unknown)
History
- 2026-11-02: add by m2/dev
matrix element JZAN4P4FKQ
| URI | m2://inv/JZAN4P4FKQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q58215060, matrix element (unknown). Also MathWorld MatrixElement
History
- 2026-10-26: add by m2/dev
acyclic JZAN5R07NZ
| URI | m2://inv/JZAN5R07NZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#CJM4, acyclic (definition)
History
- 2026-11-02: add by m2/dev
Switching lemma JZAVN4P8M0
| URI | m2://inv/JZAVN4P8M0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#FGRD, Switching lemma (unknown)
History
- 2026-11-02: add by m2/dev
JZAYQSRQT5 JZAYQSRQT5
| URI | m2://inv/JZAYQSRQT5 |
|---|---|
| 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 2506.16491#7ICC (statement). In P9J6P06Y40/e1, lemma 5.14
History
- 2026-10-27: add by m2/v0.3.5
Seven Wells JZAZA0ZV8B
| URI | m2://inv/JZAZA0ZV8B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#FWEH, Seven Wells (unknown)
History
- 2026-11-02: add by m2/dev
JZB6KE6X3W JZB6KE6X3W
| URI | m2://inv/JZB6KE6X3W |
|---|---|
| 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 2303.14022#BG2T (definition). In NSYR6W27FP/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.3.5
Poisson's equation JZBCK6CN6M
| URI | m2://inv/JZBCK6CN6M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Poisson's equation DWK5N5SKTK |
Mentions
- wikidata: Wikidata Q827688, Poisson's equation (unknown). Also EoM Poisson_equation, MathWorld PoissonsEquation
- wikipedia: Wikipedia Poisson's equation, Poisson's equation (definition). Also Wikidata Q827688
History
- 2026-10-26: add by m2/dev
Diagnostic test interpretation JZBDZ83PWX
| URI | m2://inv/JZBDZ83PWX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Medical test#BA2B, Diagnostic test interpretation (unknown)
History
- 2026-11-02: add by m2/dev
JZBKS30FCP JZBKS30FCP
| URI | m2://inv/JZBKS30FCP |
|---|---|
| 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 2609.24593#M4ZR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Representation JZBM8HV8ZK
| URI | m2://inv/JZBM8HV8ZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biochemical systems theory#AAU9, Representation (definition)
History
- 2026-11-02: add by m2/dev
Peter M. Higgins JZBNWPGX3Y
| URI | m2://inv/JZBNWPGX3Y |
|---|---|
| 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 Q112412861, Peter M. Higgins (unknown). Also ProofWiki Mathematician:Peter_M._Higgins
History
- 2026-10-26: add by m2/dev
homology JZBVP8FMVD
| URI | m2://inv/JZBVP8FMVD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1144780, homology (unknown). Also MathWorld Homology
- wikipedia: Wikipedia Homology (mathematics), Homology (definition). Also Wikidata Q1144780
History
- 2026-10-26: add by m2/dev
JZBVTRRVBW JZBVTRRVBW
| URI | m2://inv/JZBVTRRVBW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 30-XX, 32-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 math/0512416#G2R2 (statement). In WJD9YPGGYH/e1, lemma 6.4
History
- 2026-10-27: add by m2/v0.3.5
JZC27F5EQY JZC27F5EQY
| URI | m2://inv/JZC27F5EQY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04179#KHQ1 (definition). In D64RQ09KBP/e1, definition 3.4
History
- 2026-10-29: add by m2/v0.4.12
JZCG0R8MQ9 JZCG0R8MQ9
| URI | m2://inv/JZCG0R8MQ9 |
|---|---|
| Kind | example |
| 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.09694#Y4R8 (example). In 7VXBVQ5SAC/e1, example 3.7
History
- 2026-10-29: add by m2/v0.4.10
JZCSVH4WJT JZCSVH4WJT
| URI | m2://inv/JZCSVH4WJT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 51-XX, 52-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 2610.07728#VAMT (statement). In B1VVAKFCKZ/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
Properties JZCV2HT82K
| URI | m2://inv/JZCV2HT82K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riordan array#BWGT, Properties (statement)
History
- 2026-11-02: add by m2/dev
integral domain JZCW37FSDA
| URI | m2://inv/JZCW37FSDA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Integral domain 09S3PFBEPM |
Mentions
- wikidata: Wikidata Q628792, integral domain (definition). Also EoM Integral_domain, LMFDB knowl ring.integral_domain, MathWorld IntegralDomain, nLab integral domain, ProofWiki Definition:Integral_Domain
- wikipedia: Wikipedia Integral domain, Integral domain (definition). Also Wikidata Q628792
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
JZD53XJXEW JZD53XJXEW
| URI | m2://inv/JZD53XJXEW |
|---|---|
| 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.35678#DL9G (statement). In 4X4ZS7CEKD/e1, corollary 1
History
- 2026-10-30: add by m2/v0.4.12
Properties JZDCCS9G4V
| URI | m2://inv/JZDCCS9G4V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power set#OMR7, Properties (statement)
History
- 2026-11-02: add by m2/dev
JZDG5ECV31 JZDG5ECV31
| URI | m2://inv/JZDG5ECV31 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25000#3GEO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Marjorie V. Butcher JZDG6PZTS4
| URI | m2://inv/JZDG6PZTS4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marjorie V. Butcher, Marjorie V. Butcher (topic). Also Wikidata Q98807206
History
- 2026-11-02: add by m2/dev
cubic JZDNQ4RHKH
| URI | m2://inv/JZDNQ4RHKH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#ZLCA, cubic (definition)
History
- 2026-11-02: add by m2/dev
Absence of non-maximal plateaux JZDS2BG4VY
| URI | m2://inv/JZDS2BG4VY |
|---|---|
| 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.05313#GN5V, Absence of non-maximal plateaux (statement). In 8XPN1A2GR0/e1, lemma 5.16
History
- 2026-10-29: add by m2/v0.4.10
Planar Lipschitz stability JZDTGG18N2
| URI | m2://inv/JZDTGG18N2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.11814#C7YF, Planar Lipschitz stability (statement). In MXG9FV78NP/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.3
JZE4EP2TM3 JZE4EP2TM3
| URI | m2://inv/JZE4EP2TM3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37815#6N0D (definition). In SVJYA0171G/e1, definition 3.2
History
- 2026-10-30: add by m2/v0.4.12
JZEFDHPXS9 JZEFDHPXS9
| URI | m2://inv/JZEFDHPXS9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#sintro:carts-example (example). In E9HS8K3A52, example, section 10.1.2
History
- 2026-11-01: add by m2/v0.6.13
Ascoli JZEGJKFCDM
| URI | m2://inv/JZEGJKFCDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#QN69, Ascoli (definition)
History
- 2026-11-02: add by m2/dev
JZEJBJFD8B JZEJBJFD8B
| URI | m2://inv/JZEJBJFD8B |
|---|---|
| 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#OZG1 (statement). In V7VCEA0VAA/e1, theorem 4.7
History
- 2026-10-29: add by m2/v0.4.10
JZEZQM33S2 JZEZQM33S2
| URI | m2://inv/JZEZQM33S2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.08723#C94F (statement). In HGE2NCQW29/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
JZF2TX38GV JZF2TX38GV
| URI | m2://inv/JZF2TX38GV |
|---|---|
| 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.39706#O0JU (statement). In 79Y8JJMKP4/e1, lemma 11.1
History
- 2026-10-30: add by m2/v0.4.12
JZF6KA8EH6 JZF6KA8EH6
| URI | m2://inv/JZF6KA8EH6 |
|---|---|
| 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 2011.07352#GU54 (statement). In 3VPC1GGZ3E/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
Henry Cohn JZFDNRSVX5
| URI | m2://inv/JZFDNRSVX5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henry Cohn, Henry Cohn (topic). Also Wikidata Q34550580
History
- 2026-11-02: add by m2/dev
Properties JZFF9SW00B
| URI | m2://inv/JZFF9SW00B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotient space (linear algebra)#4EKQ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Discrepancy function JZFFQBV7A3
| URI | m2://inv/JZFFQBV7A3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#W08L, Discrepancy function (definition)
- wikipedia: Wikipedia List of number theory topics#SJUY, Discrepancy function (definition)
History
- 2026-11-02: add by m2/dev
JZG0BMP37K JZG0BMP37K
| URI | m2://inv/JZG0BMP37K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20909#Y96W (statement). In 7ZBX5WVEZP/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.4.2
JZG49R5C3H JZG49R5C3H
| URI | m2://inv/JZG49R5C3H |
|---|---|
| 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.17585#OCUN (statement). In FBWDPA01XY/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Tableau Criterion JZG4SHHZBV
| URI | m2://inv/JZG4SHHZBV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04809#WMV4, Tableau Criterion (statement). In 2VHV0RNTNV/e1, theorem 7.23
History
- 2026-10-29: add by m2/v0.4.12
Definition JZGAH134WA
| URI | m2://inv/JZGAH134WA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Core (group theory)#2YAA, Definition (definition)
History
- 2026-11-02: add by m2/dev
Felix Frankl JZGD2G4SZT
| URI | m2://inv/JZGD2G4SZT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Felix Frankl, Felix Frankl (topic). Also Wikidata Q4492377
History
- 2026-11-02: add by m2/dev
JZGKY78NB9 JZGKY78NB9
| URI | m2://inv/JZGKY78NB9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23527#RY3W (definition)
History
- 2026-11-02: add by m2/v0.6.17
Quasi-likelihood JZGMWT2V3F
| URI | m2://inv/JZGMWT2V3F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#C3L8, Quasi-likelihood (definition)
History
- 2026-11-02: add by m2/dev
Π2-formulas and concepts JZGREDEDSY
| URI | m2://inv/JZGREDEDSY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lévy hierarchy#5YDQ, Π2-formulas and concepts (statement)
History
- 2026-11-02: add by m2/dev
Equality and its axioms JZGVQWNKQ8
| URI | m2://inv/JZGVQWNKQ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia First-order logic#QMK6, Equality and its axioms (statement)
History
- 2026-11-02: add by m2/dev
Great rhombihexahedron JZH1CN3RJ8
| URI | m2://inv/JZH1CN3RJ8 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#87VI, Great rhombihexahedron (object)
History
- 2026-11-02: add by m2/dev
JZH1T054R4 JZH1T054R4
| URI | m2://inv/JZH1T054R4 |
|---|---|
| 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.30363#608P (statement). In QHBBP180QJ/e1, proposition 12
History
- 2026-10-31: add by m2/v0.5.6
Computation JZH4Q5E2PP
| URI | m2://inv/JZH4Q5E2PP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permanent (mathematics)#YN3D, Computation (definition)
History
- 2026-11-02: add by m2/dev
Matsuyama's paradox JZH7KMFP2Z
| URI | m2://inv/JZH7KMFP2Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Missing square puzzle#ZS6Y, Matsuyama's paradox (unknown)
History
- 2026-11-02: add by m2/dev
JZHKSRJX1Q JZHKSRJX1Q
| URI | m2://inv/JZHKSRJX1Q |
|---|---|
| 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 2507.17002#AR0I (statement). In 2EEBP88T16/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.5
Donsker's theorem: Wiener process as a limit of a random walk JZHR9AVPA4
| URI | m2://inv/JZHR9AVPA4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener process#97D5, Donsker's theorem: Wiener process as a limit of a random walk (statement)
History
- 2026-11-02: add by m2/dev
Peter Jones JZHSY8BXMZ
| URI | m2://inv/JZHSY8BXMZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#3NAW, Peter Jones (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VQVM, Peter Jones (topic)
History
- 2026-11-02: add by m2/dev
Construction JZHV65JHS4
| URI | m2://inv/JZHV65JHS4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational normal scroll#VTEX, Construction (definition)
History
- 2026-11-02: add by m2/dev
Use of the lemma to prove non-regularity JZHVF0ZZAE
| URI | m2://inv/JZHVF0ZZAE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pumping lemma for regular languages#3CIH, Use of the lemma to prove non-regularity (statement)
History
- 2026-11-02: add by m2/dev
Use JZHWY41KRP
| URI | m2://inv/JZHWY41KRP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marquois scales#1JB0, Use (example)
History
- 2026-11-02: add by m2/dev
Example JZHZWPBPE3
| URI | m2://inv/JZHZWPBPE3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correlation ratio#Z94S, Example (example)
History
- 2026-11-02: add by m2/dev
Formal statement JZJ0N98D30
| URI | m2://inv/JZJ0N98D30 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of union#IUPW, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
Mixture model JZJ10GT8WG
| URI | m2://inv/JZJ10GT8WG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixture model, Mixture model (definition). Also Wikidata Q2260434
History
- 2026-11-02: add by m2/dev
JZJ4NQMF5F JZJ4NQMF5F
| URI | m2://inv/JZJ4NQMF5F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04164#CLSW (statement). In KR7WXN4EWR/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.12
truth JZJ5EYWJN2
| URI | m2://inv/JZJ5EYWJN2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#BTGP, truth (definition)
History
- 2026-11-02: add by m2/dev
JZJAVGPP9H JZJAVGPP9H
| URI | m2://inv/JZJAVGPP9H |
|---|---|
| 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.19360#VB0Q (statement). In MFCW5CY96C/e1, lemma 21
History
- 2026-10-28: add by m2/v0.4.2
JZJDKF725T JZJDKF725T
| URI | m2://inv/JZJDKF725T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03865#Q0AT (definition). In G3D1YR20BJ/e1, definition 3.20
History
- 2026-10-29: add by m2/v0.4.12
Taha Yasseri JZJRGN12KY
| URI | m2://inv/JZJRGN12KY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CPV7, Taha Yasseri (unknown)
History
- 2026-11-02: add by m2/dev
Minlos–Sasonov theorem JZJXJDBT6C
| URI | m2://inv/JZJXJDBT6C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minlos–Sazonov theorem#QVUN, Minlos–Sasonov theorem (statement)
History
- 2026-11-02: add by m2/dev
JZKB9V6TDX JZKB9V6TDX
| URI | m2://inv/JZKB9V6TDX |
|---|---|
| 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.21339#F744 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Soundness JZKC7ZWA3K
| URI | m2://inv/JZKC7ZWA3K |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q693083, Soundness theorem (statement). Also Wikidata Q693083
- thousand_plus: thousand_plus Q693083, Soundness theorem (statement). Also Wikidata Q693083, Wikipedia Soundness theorem
- wikipedia: Wikipedia Soundness, Soundness (definition). Also Wikidata Q693083
History
- 2026-10-26: add by m2/dev
JZKEEN8ARB JZKEEN8ARB
| URI | m2://inv/JZKEEN8ARB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.21092#BDEK (statement). In AGJE43FTF8/e1, lemma 4.15
History
- 2026-10-27: add by m2/v0.4.2
Special cases JZKETH1AS2
| URI | m2://inv/JZKETH1AS2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph labeling#I9TP, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Richard M. Schoen JZKJJ1GNJ2
| URI | m2://inv/JZKJJ1GNJ2 |
|---|---|
| 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#IV5X, Richard M. Schoen (unknown)
History
- 2026-11-02: add by m2/dev
An inhomogeneous linear energy estimate JZKJM1S46P
| URI | m2://inv/JZKJM1S46P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.18739#HOCV, An inhomogeneous linear energy estimate (statement). In VGJXQRC44C/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
JZKSHQA3TP JZKSHQA3TP
| URI | m2://inv/JZKSHQA3TP |
|---|---|
| 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.21359#5IDL (statement)
History
- 2026-11-02: add by m2/v0.6.18
Galley division JZM3B3DNEC
| URI | m2://inv/JZM3B3DNEC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Galley division, Galley division (definition). Also Wikidata Q5519035
History
- 2026-11-02: add by m2/dev
argument principle JZM3MF46G9
| URI | m2://inv/JZM3MF46G9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#MH1P, argument principle (definition)
History
- 2026-11-02: add by m2/dev
Ruth Silverman JZM4CD2F6B
| URI | m2://inv/JZM4CD2F6B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7O3C, Ruth Silverman (topic)
History
- 2026-11-02: add by m2/dev
Approximation of null energy condition JZM6NDBEDQ
| URI | m2://inv/JZM6NDBEDQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11911#8T4R, Approximation of null energy condition (statement). In 5BYE5NYB89/e1, proposition 3.9
History
- 2026-10-28: add by m2/v0.4.3
Examples JZMC4853VK
| URI | m2://inv/JZMC4853VK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach space#X6PL, Examples (example)
History
- 2026-11-02: add by m2/dev
JZMCHEGEH4 JZMCHEGEH4
| URI | m2://inv/JZMCHEGEH4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08196#9V9D (example). In 8QVWZ23N42/e1, example 3.8
History
- 2026-10-29: add by m2/v0.4.10
Giorgio Bidone JZMEB5CSC1
| URI | m2://inv/JZMEB5CSC1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#SNXF, Giorgio Bidone (topic)
History
- 2026-11-02: add by m2/dev
Applications JZMK3RJNWF
| URI | m2://inv/JZMK3RJNWF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sedenion#L8DU, Applications (example)
History
- 2026-11-02: add by m2/dev
Joseph Ehrenfried Hofmann JZMPR4JZ4W
| URI | m2://inv/JZMPR4JZ4W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Ehrenfried Hofmann, Joseph Ehrenfried Hofmann (topic). Also Wikidata Q109387
History
- 2026-11-02: add by m2/dev
Stericated 24-cell honeycomb JZMQY74BF7
| URI | m2://inv/JZMQY74BF7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stericated 24-cell honeycomb, Stericated 24-cell honeycomb (definition). Also Wikidata Q17078465
History
- 2026-11-02: add by m2/dev
JZMTY020DY JZMTY020DY
| URI | m2://inv/JZMTY020DY |
|---|---|
| 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.02689#GU6K (statement). In 7BWXR38MNE/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
JZN2Z77DTS JZN2Z77DTS
| URI | m2://inv/JZN2Z77DTS |
|---|---|
| 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.28597#TS0B (statement)
History
- 2026-11-01: add by m2/v0.6.15
Descent lemma JZN82XBHSE
| URI | m2://inv/JZN82XBHSE |
|---|---|
| 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.21461#UWWD, Descent lemma (statement). In DWQANBV7B7/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
Chao, Anne JZN9QNSNYZ
| URI | m2://inv/JZN9QNSNYZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#750R, Chao, Anne (topic)
History
- 2026-11-02: add by m2/dev
Definition JZNBE28MSH
| URI | m2://inv/JZNBE28MSH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniformly convex space#UGHE, Definition (definition)
History
- 2026-11-02: add by m2/dev
Timothy M. Chan JZNM74XBAH
| URI | m2://inv/JZNM74XBAH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NZSC, Timothy M. Chan (unknown)
History
- 2026-11-02: add by m2/dev
JZNMTZJQ29 JZNMTZJQ29
| URI | m2://inv/JZNMTZJQ29 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.10505#P2IM (statement). In JW8HH6EPG2/e1, lemma 3.24
History
- 2026-10-29: add by m2/v0.4.10
JZNNXRG71Z JZNNXRG71Z
| URI | m2://inv/JZNNXRG71Z |
|---|---|
| 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.13214#YD2Q (statement). In 4GRNWWH88J/e1, theorem 6.2
History
- 2026-10-28: add by m2/v0.4.2
Polytropic process JZNZ5BBH5C
| URI | m2://inv/JZNZ5BBH5C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polytropic process, Polytropic process (definition). Also Wikidata Q831024
History
- 2026-11-02: add by m2/dev
Morse code JZPAY24HDK
| URI | m2://inv/JZPAY24HDK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of steganography techniques#W7XE, Morse code (unknown)
History
- 2026-11-02: add by m2/dev
JZPZQGVSTC JZPZQGVSTC
| URI | m2://inv/JZPZQGVSTC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#H5IH (statement). In BDN507RN7J/e1, theorem 2.4.4
History
- 2026-10-30: add by m2/v0.4.12
degeneracy locus JZQ18W47VT
| URI | m2://inv/JZQ18W47VT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#0YFL, degeneracy locus (definition)
History
- 2026-11-02: add by m2/dev
sine wave JZQ3SFT372
| URI | m2://inv/JZQ3SFT372 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#SOTZ, sine wave (definition)
History
- 2026-11-02: add by m2/dev
Composite Bézier curve JZQ904Z1W7
| URI | m2://inv/JZQ904Z1W7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#NVFY, Composite Bézier curve (definition)
History
- 2026-11-02: add by m2/dev
E7 JZQF58BXMG
| URI | m2://inv/JZQF58BXMG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3045793, E7 (unknown). Also nLab E7
- wikipedia: Wikipedia E7 (mathematics), E7 (definition). Also Wikidata Q3045793
History
- 2026-10-26: add by m2/dev
Testimator JZQJB8GZV6
| URI | m2://inv/JZQJB8GZV6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LP5V, Testimator (definition)
History
- 2026-11-02: add by m2/dev
JZQNV6HKXA JZQNV6HKXA
| URI | m2://inv/JZQNV6HKXA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#GTPF (definition)
History
- 2026-11-01: add by m2/v0.6.15
Srivastava, J. N. JZR30Q6ZH3
| URI | m2://inv/JZR30Q6ZH3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#2961, Srivastava, J. N. (topic)
History
- 2026-11-02: add by m2/dev
Connected Mathematics JZR51KDCDH
| URI | m2://inv/JZR51KDCDH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connected Mathematics, Connected Mathematics (definition). Also Wikidata Q5161405
History
- 2026-11-02: add by m2/dev
JZR7H0N1ES JZR7H0N1ES
| URI | m2://inv/JZR7H0N1ES |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.00077#UA0G (statement). In 25WX007DJ1/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Definition JZRDG69Z5W
| URI | m2://inv/JZRDG69Z5W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sobolev orthogonal polynomials#2EO3, Definition (definition)
History
- 2026-11-02: add by m2/dev
Claim 1: Iterating the inequality JZRK8D9TZG
| URI | m2://inv/JZRK8D9TZG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grönwall's inequality#O4P1, Claim 1: Iterating the inequality (statement)
History
- 2026-11-02: add by m2/dev
JZRR36CKV5 JZRR36CKV5
| URI | m2://inv/JZRR36CKV5 |
|---|---|
| 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 2609.24323#3M6V (statement)
History
- 2026-11-01: add by m2/v0.6.15
norms $\lVert\cdot\rVert_p$ on $\R^n$ and $\C^n$ JZS4E735B1
| URI | m2://inv/JZS4E735B1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Topology > Normed vector spaces on $\R$ and $\C$ > norms $\lVert\cdot\rVert_p$ on $\R^n$ and $\C^n$, norms $\lVert\cdot\rVert_p$ on $\R^n$ and $\C^n$ (unknown). Also Mathlib PiLp.normedSpace
History
- 2026-10-26: add by m2/dev
JZS7JAFKBC JZS7JAFKBC
| URI | m2://inv/JZS7JAFKBC |
|---|---|
| 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.12857#58B1 (statement). In XJWQ6Y83F8/e1, corollary 3.7
History
- 2026-10-28: add by m2/v0.4.2
JZSCGW2PCE JZSCGW2PCE
| URI | m2://inv/JZSCGW2PCE |
|---|---|
| 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 2605.30285#MP9D (statement). In YMY0NNSM27/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.3.6
JZSKRAHFWG JZSKRAHFWG
| URI | m2://inv/JZSKRAHFWG |
|---|---|
| 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#N5S1 (example). In RK0ZMDJ23T/e1, example 2.4.5
History
- 2026-10-31: add by m2/v0.5.6
Weighted residual estimate JZSQSMTWZV
| URI | m2://inv/JZSQSMTWZV |
|---|---|
| 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.34938#MS2M, Weighted residual estimate (statement). In N57GZ5N6E1/e1, proposition 9
History
- 2026-10-30: add by m2/v0.4.12
Heptagonal number JZSVM3Z5MN
| URI | m2://inv/JZSVM3Z5MN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals#5V4U, Heptagonal number (definition)
History
- 2026-11-02: add by m2/dev
Smiley-Horn-Tarski Theorem for Left-Cancellative Monoids JZSWTADQ4N
| URI | m2://inv/JZSWTADQ4N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.10930#5FVZ, Smiley-Horn-Tarski Theorem for Left-Cancellative Monoids (statement). In HX63A1PH1W/e1, theorem 7.38
History
- 2026-10-28: add by m2/v0.4.3
Delta encoding JZSXB1KRGN
| URI | m2://inv/JZSXB1KRGN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#B2SW, Delta encoding (unknown)
History
- 2026-11-02: add by m2/dev
Parameter-choice criterion JZT46ZMJ1V
| URI | m2://inv/JZT46ZMJ1V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L-curve#34CP, Parameter-choice criterion (statement)
History
- 2026-11-02: add by m2/dev
Alexei Vasilievich Shubnikov JZT6D73Y6G
| URI | m2://inv/JZT6D73Y6G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexei Vasilievich Shubnikov, Alexei Vasilievich Shubnikov (topic). Also Wikidata Q2644032
History
- 2026-11-02: add by m2/dev
White noise JZTA5S3ZHJ
| URI | m2://inv/JZTA5S3ZHJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HL0I, White noise (definition)
History
- 2026-11-02: add by m2/dev
JZTC7ECWCK JZTC7ECWCK
| URI | m2://inv/JZTC7ECWCK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-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 2304.07398#5OME (statement). In JS5FKV1S9T/e1, proposition B.1
History
- 2026-10-27: add by m2/v0.3.5
Philbert Maurice d'Ocagne JZTNN05AGJ
| URI | m2://inv/JZTNN05AGJ |
|---|---|
| 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#JIFS, Philbert Maurice d'Ocagne (topic)
History
- 2026-11-02: add by m2/dev
JZVBWW29WZ JZVBWW29WZ
| URI | m2://inv/JZVBWW29WZ |
|---|---|
| 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 2610.20760#CGAY (definition). In 6G9JSJ5JMP/e1, definition 9
History
- 2026-10-27: add by m2/v0.4.2
JZVD046T54 JZVD046T54
| URI | m2://inv/JZVD046T54 |
|---|---|
| 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 2609.36884#496R (statement). In Z7E16PFFCP/e1, lemma 4.7
History
- 2026-10-30: add by m2/v0.4.12
Modal operator JZVGJH2JFB
| URI | m2://inv/JZVGJH2JFB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modal operator, Modal operator (definition). Also Wikidata Q638442
History
- 2026-11-02: add by m2/dev
Paratopological group JZVM03WSZX
| URI | m2://inv/JZVM03WSZX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paratopological group, Paratopological group (definition). Also Wikidata Q7136179
History
- 2026-11-02: add by m2/dev
Examples JZVRTKMY3R
| URI | m2://inv/JZVRTKMY3R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixed binomial process#D6XY, Examples (example)
History
- 2026-11-02: add by m2/dev
Euclidean minimum spanning tree JZVY534F6Q
| URI | m2://inv/JZVY534F6Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean minimum spanning tree, Euclidean minimum spanning tree (definition). Also Wikidata Q4454941
History
- 2026-11-02: add by m2/dev
tower of fields JZW373X7EH
| URI | m2://inv/JZW373X7EH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7829798, tower of fields (unknown). Also EoM Tower_of_fields
- wikipedia: Wikipedia Tower of fields, Tower of fields (definition). Also Wikidata Q7829798
History
- 2026-10-26: add by m2/dev
Block fan reduction JZW9AH11SZ
| URI | m2://inv/JZW9AH11SZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.07293#AOR1, Block fan reduction (statement). In V1GVYM0WQG/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.10
Malcolm C. Rorty JZWF1N424B
| URI | m2://inv/JZWF1N424B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#L8SX, Malcolm C. Rorty (unknown)
History
- 2026-11-02: add by m2/dev
Michael Friendly JZWSPY5FNV
| URI | m2://inv/JZWSPY5FNV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Friendly, Michael Friendly (topic). Also Wikidata Q6830430
History
- 2026-11-02: add by m2/dev
JZWT4RWNGT JZWT4RWNGT
| URI | m2://inv/JZWT4RWNGT |
|---|---|
| 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.39218#KRRW (statement). In VPZSCE8HFP/e1, corollary 3.8
History
- 2026-10-30: add by m2/v0.4.12
Cartan model JZWY0QF3K6
| URI | m2://inv/JZWY0QF3K6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartan model, Cartan model (definition). Also Wikidata Q5047044
History
- 2026-11-02: add by m2/dev
JZWYJ7YAKB JZWYJ7YAKB
| URI | m2://inv/JZWYJ7YAKB |
|---|---|
| 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.10474#B3K5 (statement). In MB29RAAQMG/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Universal entanglement distillation JZX83AA42D
| URI | m2://inv/JZX83AA42D |
|---|---|
| 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.40080#OBI7, Universal entanglement distillation (statement). In 23PX5094CQ/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
Open systems theory JZX86BSV0M
| URI | m2://inv/JZX86BSV0M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of systems theory#35KH, Open systems theory (unknown)
History
- 2026-11-02: add by m2/dev
JZX8K66CMB JZX8K66CMB
| URI | m2://inv/JZX8K66CMB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21692#4BCA (definition)
History
- 2026-11-02: add by m2/v0.6.18
JZXE0MRGZZ JZXE0MRGZZ
| URI | m2://inv/JZXE0MRGZZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/lambda-definability/primitive-recursive-functions.tex#lem:comp (statement). In PKGMM3P5QY, lem, section 38.6
History
- 2026-11-01: add by m2/v0.6.13
Strong-resistance asymptotics with explicit coefficient JZXH48PN1W
| URI | m2://inv/JZXH48PN1W |
|---|---|
| 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.21328#N5A8, Strong-resistance asymptotics with explicit coefficient (statement). In BJXVV4ZF7B/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.4.2
Nikolay Krasovsky JZXNAM1NM4
| URI | m2://inv/JZXNAM1NM4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nikolay Krasovsky, Nikolay Krasovsky (topic). Also Wikidata Q3710069
History
- 2026-11-02: add by m2/dev
rep-tile JZXRH5E48H
| URI | m2://inv/JZXRH5E48H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3661853, rep-tile (unknown). Also MathWorld Rep-Tile
- wikipedia: Wikipedia Rep-tile, Rep-tile (definition). Also Wikidata Q3661853
History
- 2026-10-26: add by m2/dev
JZXXMSC0J5 JZXXMSC0J5
| URI | m2://inv/JZXXMSC0J5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19416#7IO0 (statement). In TJVWQ0ZSGY/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
JZY1WJ5YFD JZY1WJ5YFD
| URI | m2://inv/JZY1WJ5YFD |
|---|---|
| Kind | definition |
| 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.32524#R386 (definition). In XGCND7R0B0/e1, definition 2.1
History
- 2026-10-31: add by m2/v0.5.6
JZYEQ167EJ JZYEQ167EJ
| URI | m2://inv/JZYEQ167EJ |
|---|---|
| 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.31910#C0DI (statement). In E4EK1XXPY4/e1, proposition 5.16
History
- 2026-10-31: add by m2/v0.5.6
JZYHVQNYEV JZYHVQNYEV
| URI | m2://inv/JZYHVQNYEV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37761#N6N5 (statement). In 4TAQ65KZKN/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Gibbs measure in permuton coordinates JZYQSYN7QP
| URI | m2://inv/JZYQSYN7QP |
|---|---|
| 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.14616#G7QL, Gibbs measure in permuton coordinates (statement). In 17ACAG0N9C/e1, lemma 5.10
History
- 2026-10-28: add by m2/v0.4.2
JZYXDS66NJ JZYXDS66NJ
| URI | m2://inv/JZYXDS66NJ |
|---|---|
| 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.04172#L0M4 (statement). In 9Q1D1NMTTS/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.12
Cohort study JZZ3TGRR9T
| URI | m2://inv/JZZ3TGRR9T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KV1Y, Cohort study (definition)
History
- 2026-11-02: add by m2/dev
JZZ8YRKCST JZZ8YRKCST
| URI | m2://inv/JZZ8YRKCST |
|---|---|
| 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 2606.20229#0KDZ (statement). In 1B85G2QJC2/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.6
type, unit JZZED87QDE
| URI | m2://inv/JZZED87QDE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.5/type-unit, type, unit (concept). In N54F33XE07, index, section A.5
History
- 2026-11-01: add by m2/v0.6.13
White noise (slang) JZZJ2JRZSJ
| URI | m2://inv/JZZJ2JRZSJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia White noise#R389, White noise (slang) (unknown)
History
- 2026-11-02: add by m2/dev
JZZQK8WP8R JZZQK8WP8R
| URI | m2://inv/JZZQK8WP8R |
|---|---|
| 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 1003.2117#RLZ8 (statement). In H4D4RFNH2V/e1, theorem 3.10
History
- 2026-10-27: add by m2/v0.3.5
astroid JZZXETQ4XW
| URI | m2://inv/JZZXETQ4XW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q739762, astroid (unknown). Also MathWorld Astroid
- wikipedia: Wikipedia Astroid, Astroid (definition). Also Wikidata Q739762
History
- 2026-10-26: add by m2/dev