Inventory rows QM

Horadam QM00P6R0S6

URI	`m2://inv/QM00P6R0S6`
Kind	statement
Layer	research
MSC	57-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2501.17850#KU34, Horadam (statement). In WS5KWBEG5Q/e1, lemma 2

History

2026-10-27: add by m2/v0.4.0

Landau-type interpolation QM0FN8G5WW

URI	`m2://inv/QM0FN8G5WW`
Kind	statement
Layer	research
MSC	30-XX, 32-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 2609.24610#FF51, Landau-type interpolation (statement)

History

2026-11-01: add by m2/v0.6.15

QM0GQC3AJX QM0GQC3AJX

URI	`m2://inv/QM0GQC3AJX`
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.20391#VR3E (definition). In CTAS41TRM2/e1, definition 4.3

History

2026-10-27: add by m2/v0.4.2

Phasor sum QM0PTWB8YV

URI	`m2://inv/QM0PTWB8YV`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Phasor#83Q3, Phasor sum (unknown)

History

2026-11-02: add by m2/dev

Scale property QM0SH5VPSW

URI	`m2://inv/QM0SH5VPSW`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Scale (descriptive set theory)#XLQA, Scale property (statement)

History

2026-11-02: add by m2/dev

QM115EXDQB QM115EXDQB

URI	`m2://inv/QM115EXDQB`
Kind	unknown
Layer	research
Sources	1
Outcome	open
Node	None yet. Write the node.

History

2026-10-29: add by m2/v0.4.10

Enrico Betti QM12R8VK1M

URI	`m2://inv/QM12R8VK1M`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Enrico Betti, Enrico Betti (topic). Also Wikidata Q250920

History

2026-11-02: add by m2/dev

Jacques Touchard QM16NW2RGH

URI	`m2://inv/QM16NW2RGH`
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#D37A, Jacques Touchard (topic)

History

2026-11-02: add by m2/dev

Picard theorem QM1A51B8EC

URI	`m2://inv/QM1A51B8EC`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of probabilistic proofs of non-probabilistic theorems#PBYI, Picard theorem (statement)

History

2026-11-02: add by m2/dev

QM1CP4PFTD QM1CP4PFTD

URI	`m2://inv/QM1CP4PFTD`
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 1909.03896#PXJW (statement). In CX9RVPQVBM/e1, lemma 16

History

2026-10-27: add by m2/v0.3.5

QM1EKJ5BQG QM1EKJ5BQG

URI	`m2://inv/QM1EKJ5BQG`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-1 (exercise). In QKM9DD2H56, exercise, section 7

History

2026-11-01: add by m2/v0.6.13

Clipped edge QM1FBSKQY2

URI	`m2://inv/QM1FBSKQY2`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.12641#T2DS, Clipped edge (statement). In X5BYGZZHPF/e1, lemma J.2

History

2026-10-28: add by m2/v0.4.2

Symmetry QM1FETRD5E

URI	`m2://inv/QM1FETRD5E`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Infinite-order triangular tiling#1VCK, Symmetry (statement)

History

2026-11-02: add by m2/dev

Conditional second-moment criterion QM1QBBQH2Z

URI	`m2://inv/QM1QBBQH2Z`
Kind	statement
Layer	research
MSC	62-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.20772#WXLY, Conditional second-moment criterion (statement)

History

2026-11-02: add by m2/v0.6.18

QM1R2YYGQ5 QM1R2YYGQ5

URI	`m2://inv/QM1R2YYGQ5`
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.03517#LG97 (statement). In 3CGS9GSKTQ/e1, theorem 1.3

History

2026-10-29: add by m2/v0.4.12

Tonelli–Hobson test QM1XRKD2SB

URI	`m2://inv/QM1XRKD2SB`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Tonelli–Hobson test, Tonelli–Hobson test (definition). Also Wikidata Q7820875

History

2026-11-02: add by m2/dev

A derivative commutator estimate QM28VHAV2P

URI	`m2://inv/QM28VHAV2P`
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.05312#UDGO, A derivative commutator estimate (statement). In 1CMMK399WQ/e1, lemma 2.2

History

2026-10-29: add by m2/v0.4.10

Michael Handel QM2GQ8JX48

URI	`m2://inv/QM2GQ8JX48`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Michael Handel, Michael Handel (topic). Also Wikidata Q98442668

History

2026-11-02: add by m2/dev

Generalizations QM2NM4W2C4

URI	`m2://inv/QM2NM4W2C4`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Quadratic programming#49CN, Generalizations (statement)

History

2026-11-02: add by m2/dev

QM31SRWDKY QM31SRWDKY

URI	`m2://inv/QM31SRWDKY`
Kind	statement
Layer	research
MSC	01-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.06338#P64C (statement). In F1CYVYK7YB/e1, theorem 5.8

History

2026-10-29: add by m2/v0.4.10

QM32K5BHD8 QM32K5BHD8

URI	`m2://inv/QM32K5BHD8`
Kind	example
Layer	research
MSC	35-XX, 37-XX, 60-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.32535#XOUZ (example). In WF27F8CKD2/e1, example 2.3

History

2026-10-31: add by m2/v0.5.6

QM35HACC3V QM35HACC3V

URI	`m2://inv/QM35HACC3V`
Kind	statement
Layer	research
MSC	94-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.20087#OPOO (statement). In ZRE2WQR5XA/e1, proposition II.3

History

2026-10-27: add by m2/v0.4.2

Integral representation theorem for classical Wiener space QM3ABV796S

URI	`m2://inv/QM3ABV796S`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of theorems#8F3P, Integral representation theorem for classical Wiener space (statement)

History

2026-11-02: add by m2/dev

Addition-subtraction chain QM3C936050

URI	`m2://inv/QM3C936050`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Addition-subtraction chain, Addition-subtraction chain (definition). Also Wikidata Q4681308

History

2026-11-02: add by m2/dev

Metric property QM3C9D8RQN

URI	`m2://inv/QM3C9D8RQN`
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.08152#R4ZT, Metric property (statement). In T1GYQ6SCCZ/e1, proposition 2.6

History

2026-10-29: add by m2/v0.4.10

Quinn McNemar QM3FRY6HX1

URI	`m2://inv/QM3FRY6HX1`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Quinn McNemar, Quinn McNemar (topic). Also Wikidata Q7272279

History

2026-11-02: add by m2/dev

Definitions QM3NQNW9V5

URI	`m2://inv/QM3NQNW9V5`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Fourier transform on finite groups#LGKI, Definitions (definition)

History

2026-11-02: add by m2/dev

QM3RR1WQHT QM3RR1WQHT

URI	`m2://inv/QM3RR1WQHT`
Kind	statement
Layer	research
MSC	60-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.16875#0URV (statement). In KS30K5JXGB/e1, corollary 4.4

History

2026-10-28: add by m2/v0.4.2

QM3RXR5XVE QM3RXR5XVE

URI	`m2://inv/QM3RXR5XVE`
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 2609.34295#ARSX (statement). In A93R925Z24/e1, corollary 11.3

History

2026-10-30: add by m2/v0.4.12

Jurjen Ferdinand Koksma QM3XSD7CMQ

URI	`m2://inv/QM3XSD7CMQ`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Jurjen Ferdinand Koksma, Jurjen Ferdinand Koksma (topic). Also Wikidata Q983337

History

2026-11-02: add by m2/dev

QM42ZW5VDS QM42ZW5VDS

URI	`m2://inv/QM42ZW5VDS`
Kind	example
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.00786#Z1HN (example). In XKEE0DK6N3/e1, example 6.1

History

2026-10-29: add by m2/v0.4.12

Superposition principle for the discounted equation QM46SB0MMM

URI	`m2://inv/QM46SB0MMM`
Kind	statement
Layer	research
MSC	37-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.30821#NL5S, Superposition principle for the discounted equation (statement). In 1MZ9XBPTFQ/e1, corollary 1

History

2026-10-31: add by m2/v0.5.6

supersymmetric quantum mechanics QM4AB2BPEB

URI	`m2://inv/QM4AB2BPEB`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q587607, supersymmetric quantum mechanics (unknown). Also nLab supersymmetric quantum mechanics

History

2026-10-26: add by m2/dev

Properties QM4GH2GQG7

URI	`m2://inv/QM4GH2GQG7`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Geometric progression#F041, Properties (statement)

History

2026-11-02: add by m2/dev

\textbf{Fixed-bandwidth empirical graph Laplacian converges to the population graph Laplacian in weak metric QM4M4VQ435

URI	`m2://inv/QM4M4VQ435`
Kind	statement
Layer	research
MSC	53-XX, 62-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.17032#2P6Q, \textbf{Fixed-bandwidth empirical graph Laplacian converges to the population graph Laplacian in weak metric (statement). In MXPK9A2HK2/e1, lemma 5.1

History

2026-10-28: add by m2/v0.4.2

Fast syndrome-based hash QM4NSXMP0H

URI	`m2://inv/QM4NSXMP0H`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Fast syndrome-based hash, Fast syndrome-based hash (definition). Also Wikidata Q5436992

History

2026-11-02: add by m2/dev

Continuous comparison QM4P3NJ5KK

URI	`m2://inv/QM4P3NJ5KK`
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 2609.21513#CHTJ, Continuous comparison (statement)

History

2026-11-02: add by m2/v0.6.18

QM4P4A20FB QM4P4A20FB

URI	`m2://inv/QM4P4A20FB`
Kind	statement
Layer	research
MSC	03-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.09086#3LA2 (statement). In JPC86V77CH/e1, proposition A.3

History

2026-10-29: add by m2/v0.4.10

Rape in Latvia QM4QATBF43

URI	`m2://inv/QM4QATBF43`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Rape statistics#Q7VH, Rape in Latvia (unknown)

History

2026-11-02: add by m2/dev

Hermitian polynomials QM4REYVNDX

URI	`m2://inv/QM4REYVNDX`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of things named after Charles Hermite#41B1, Hermitian polynomials (definition)

History

2026-11-02: add by m2/dev

Examples QM4YE3W2E1

URI	`m2://inv/QM4YE3W2E1`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia L-estimator#YEXE, Examples (example)

History

2026-11-02: add by m2/dev

Subquadratic time QM4YK0GY49

URI	`m2://inv/QM4YK0GY49`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Time complexity#WFH4, Subquadratic time (unknown)

History

2026-11-02: add by m2/dev

Example QM55XPZZD5

URI	`m2://inv/QM55XPZZD5`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Test statistic#PYZW, Example (example)

History

2026-11-02: add by m2/dev

law of tangents QM56Z8SZKD

URI	`m2://inv/QM56Z8SZKD`
Kind	statement
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q468887, law of tangents (statement). Also MathWorld LawofTangents, ProofWiki Law_of_Tangents
wikipedia: Wikipedia Law of tangents, Law of tangents (statement). Also Wikidata Q468887

History

2026-10-26: add by m2/dev

Jensen's inequality QM5K2H1PDS

URI	`m2://inv/QM5K2H1PDS`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statistics articles#GFR5, Jensen's inequality (statement)
wikipedia: Wikipedia List of real analysis topics#LFTA, Jensen's inequality (statement)
wikipedia: Wikipedia List of inequalities#ANDC, Jensen's inequality (statement)
wikipedia: Wikipedia List of inequalities#SGF6, Jensen's inequality (statement)

History

2026-11-02: add by m2/dev

Reuven Rubinstein QM5M49ZKNH

URI	`m2://inv/QM5M49ZKNH`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#AF5J, Reuven Rubinstein (unknown)

History

2026-11-02: add by m2/dev

QM5SGERMNV QM5SGERMNV

URI	`m2://inv/QM5SGERMNV`
Kind	statement
Layer	research
MSC	05-XX, 37-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2411.00562#Q1G2 (statement). In 99CQPHSSYF/e1, theorem \zarabicsection.\zarabicthrm

History

2026-10-27: add by m2/v0.3.5

Dual-averaging one-step recursion QM5TP7SJ5P

URI	`m2://inv/QM5TP7SJ5P`
Kind	statement
Layer	research
MSC	49-XX, 65-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.38741#8WJY, Dual-averaging one-step recursion (statement). In 1SQH3PTYMD/e1, lemma 4

History

2026-10-30: add by m2/v0.4.12

QM5YA9B37H QM5YA9B37H

URI	`m2://inv/QM5YA9B37H`
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 2202.10212#IWE4 (definition). In E9ZQM8449P/e1, definition 2.1

History

2026-10-27: add by m2/v0.3.6

QM5YE1DS8N QM5YE1DS8N

URI	`m2://inv/QM5YE1DS8N`
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 2105.08875#GYXS (statement). In QT8HPDAYPX/e1, theorem 4.1

History

2026-10-27: add by m2/v0.3.5

double field theory QM68SVHSTA

URI	`m2://inv/QM68SVHSTA`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q42320343, double field theory (unknown). Also nLab double field theory

History

2026-10-26: add by m2/dev

QM6ACMFYPJ QM6ACMFYPJ

URI	`m2://inv/QM6ACMFYPJ`
Kind	statement
Layer	research
MSC	11-XX, 20-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.37252#6PX5 (statement). In E3EK0ESPA7/e1, corollary 1.4

History

2026-10-30: add by m2/v0.4.12

QM6B1DBSMZ QM6B1DBSMZ

URI	`m2://inv/QM6B1DBSMZ`
Kind	statement
Layer	research
MSC	26-XX, 30-XX, 32-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.24307#4S97 (statement)

History

2026-11-01: add by m2/v0.6.15

QM6EHHW0YS QM6EHHW0YS

URI	`m2://inv/QM6EHHW0YS`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

levin_dmoi: levin_dmoi ptx/exercises/gt-paths.ptx#exercise-7 (exercise). In Y91XFCEVHQ, exercise, section 5.5

History

2026-11-01: add by m2/v0.6.13

Edmund Hlawka QM6MXXAM5K

URI	`m2://inv/QM6MXXAM5K`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of people by Erdős number#O8XW, Edmund Hlawka (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#BB5R, Edmund Hlawka (topic)

History

2026-11-02: add by m2/dev

David Kazhdan QM6RC5FWD8

URI	`m2://inv/QM6RC5FWD8`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#M3UN, David Kazhdan (topic)

History

2026-11-02: add by m2/dev

Macaulay 2 QM6XWGEYJC

URI	`m2://inv/QM6XWGEYJC`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Macaulay2#1V43, Macaulay 2 (unknown)

History

2026-11-02: add by m2/dev

QM6XWTPRYZ QM6XWTPRYZ

URI	`m2://inv/QM6XWTPRYZ`
Kind	statement
Layer	research
MSC	53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.24766#NMZX (statement)

History

2026-11-01: add by m2/v0.6.15

QM70V317DJ QM70V317DJ

URI	`m2://inv/QM70V317DJ`
Kind	statement
Layer	research
MSC	30-XX, 32-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.15169#2XQR (statement). In V7SN19J84T/e1, proposition 2.1

History

2026-10-28: add by m2/v0.4.2

Moment curve QM74QPGM81

URI	`m2://inv/QM74QPGM81`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Moment curve, Moment curve (definition). Also Wikidata Q6897111

History

2026-11-02: add by m2/dev

QM79QXT0TG QM79QXT0TG

URI	`m2://inv/QM79QXT0TG`
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.09596#6N9K (statement). In HXFA55BREZ/e1, lemma 3.3

History

2026-10-29: add by m2/v0.4.10

Homoscedasticity and heteroscedasticity QM7C58W44C

URI	`m2://inv/QM7C58W44C`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Homoscedasticity and heteroscedasticity, Homoscedasticity and heteroscedasticity (definition). Also Wikidata Q1063540

History

2026-11-02: add by m2/dev

QM7CHQ6BHF QM7CHQ6BHF

URI	`m2://inv/QM7CHQ6BHF`
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.13670#F6IJ (statement). In 4PGTZ19B26/e1, lemma 2.4

History

2026-10-28: add by m2/v0.4.2

QM7DZXZ7SD QM7DZXZ7SD

URI	`m2://inv/QM7DZXZ7SD`
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.11189#228O (statement). In Q27FWV48RX/e1, theorem 2.2

History

2026-10-28: add by m2/v0.4.3

Armand Lévy QM7JK114JA

URI	`m2://inv/QM7JK114JA`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#ZONF, Armand Lévy (unknown)

History

2026-11-02: add by m2/dev

QM7X0VZ773 QM7X0VZ773

URI	`m2://inv/QM7X0VZ773`
Kind	statement
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#M87O (statement). In CY1FE8W1ZW/e1, lemma

History

2026-10-27: add by m2/v0.3.5

QM7X68G2C3 QM7X68G2C3

URI	`m2://inv/QM7X68G2C3`
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 2506.09840#NBOJ (statement). In Y7TWHSF2HC/e1, proposition 2.12

History

2026-10-27: add by m2/v0.3.5

Loni Tabb QM8627WADZ

URI	`m2://inv/QM8627WADZ`
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#O9U3, Loni Tabb (unknown)

History

2026-11-02: add by m2/dev

real vector space QM8816Q525

URI	`m2://inv/QM8816Q525`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q46996054, real vector space (unknown). Also MathWorld RealVectorSpace, nLab real vector space

History

2026-10-26: add by m2/dev

Al-Khwarizmi Concerning the Hindu Art of Reckoning QM8D8H3VNK

URI	`m2://inv/QM8D8H3VNK`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Al-Khwarizmi#5R1A, Al-Khwarizmi Concerning the Hindu Art of Reckoning (unknown)

History

2026-11-02: add by m2/dev

Applications QM8EA9ZP8X

URI	`m2://inv/QM8EA9ZP8X`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Machine learning in biology#67UY, Applications (example)

History

2026-11-02: add by m2/dev

QM8RTBH98S QM8RTBH98S

URI	`m2://inv/QM8RTBH98S`
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 0904.2839#U7EJ (statement). In 2P34N0GWS1/e1, proposition 2.6.1

History

2026-10-27: add by m2/v0.3.5

Kai Cieliebak QM8TF5NCHP

URI	`m2://inv/QM8TF5NCHP`
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#LPI4, Kai Cieliebak (topic)

History

2026-11-02: add by m2/dev

QM8XYHKDRX QM8XYHKDRX

URI	`m2://inv/QM8XYHKDRX`
Kind	proof
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/first-order-logic/syntax-and-semantics/formation-sequences.tex#proof-5 (proof). In PKGMM3P5QY, proof, section 19.8

History

2026-11-01: add by m2/v0.6.13

QM9BFR34E4 QM9BFR34E4

URI	`m2://inv/QM9BFR34E4`
Kind	statement
Layer	research
MSC	13-XX, 14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.36321#CR60 (statement). In 3KTZ6Z615H/e1, theorem 4.16

History

2026-10-30: add by m2/v0.4.12

Geometric Brownian motion QM9J8X7P40

URI	`m2://inv/QM9J8X7P40`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statistics articles#K7H9, Geometric Brownian motion (definition)

History

2026-11-02: add by m2/dev

QM9NASDR79 QM9NASDR79

URI	`m2://inv/QM9NASDR79`
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.36613#BKAI (statement). In GX0K0ZM700/e1, lemma 3.13

History

2026-10-30: add by m2/v0.4.12

QM9P5NV74G QM9P5NV74G

URI	`m2://inv/QM9P5NV74G`
Kind	example
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 2604.10080#FSL3 (example). In KM2FWKP93A/e1, example 7.5

History

2026-10-27: add by m2/v0.4.0

QM9P738SGT QM9P738SGT

URI	`m2://inv/QM9P738SGT`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_ra: lebl_ra ch-multivar-int.tex#exercise-50 (exercise). In E59CDZA4DP, exercise, section 5.5.4

History

2026-11-01: add by m2/v0.6.13

Majumdar–Ghosh model QM9VNGF4XR

URI	`m2://inv/QM9VNGF4XR`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Majumdar–Ghosh model, Majumdar–Ghosh model (definition). Also Wikidata Q6738495

History

2026-11-02: add by m2/dev

∩ QM9WWQCPWR

URI	`m2://inv/QM9WWQCPWR`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#K5BI, ∩ (definition)

History

2026-11-02: add by m2/dev

QMA45D6E0M QMA45D6E0M

URI	`m2://inv/QMA45D6E0M`
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 2105.13129#DMKJ (statement). In J5Z1JD5VKR/e1, corollary 2.1

History

2026-10-27: add by m2/v0.4.0

Logic and Logical Philosophy QMABT4XRYN

URI	`m2://inv/QMABT4XRYN`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of logic journals#SLP5, Logic and Logical Philosophy (unknown)

History

2026-11-02: add by m2/dev

Example QMACPAT7SQ

URI	`m2://inv/QMACPAT7SQ`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Fluxion#W8H1, Example (example)

History

2026-11-02: add by m2/dev

QMAD2QPBZA QMAD2QPBZA

URI	`m2://inv/QMAD2QPBZA`
Kind	proof
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/set-theory/card-arithmetic/fix.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 69.3

History

2026-11-01: add by m2/v0.6.13

Exact heterogeneity characterization of the canonical cross angle QMAEJ1E3JH

URI	`m2://inv/QMAEJ1E3JH`
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.33021#E1QL, Exact heterogeneity characterization of the canonical cross angle (statement). In GG96DW33Q9/e1, proposition D.3

History

2026-10-31: add by m2/v0.5.6

Landweber QMAH14DCSS

URI	`m2://inv/QMAH14DCSS`
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#P2ID, Landweber (statement). In A89G9GMPC9/e1, theorem 2.3

History

2026-10-29: add by m2/v0.4.12

QMAPM9PGNS QMAPM9PGNS

URI	`m2://inv/QMAPM9PGNS`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#example-4 (example). In E9HS8K3A52, example, section 4.1

History

2026-11-01: add by m2/v0.6.13

A non-volume homogenization QMAPZTDXH0

URI	`m2://inv/QMAPZTDXH0`
Kind	example
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#DBET, A non-volume homogenization (example). In PWF23QSGDX/e1, example 6.2

History

2026-10-28: add by m2/v0.4.2

QMAQSSW0K6 QMAQSSW0K6

URI	`m2://inv/QMAQSSW0K6`
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#KKR5 (statement)

History

2026-11-01: add by m2/v0.6.15

QMASDYZHXD QMASDYZHXD

URI	`m2://inv/QMASDYZHXD`
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.03144#T0K1 (statement). In 9QW88325GS/e1, corollary 4.16

History

2026-10-29: add by m2/v0.4.12

Yoshikazu Giga QMATMJYQ6M

URI	`m2://inv/QMATMJYQ6M`
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#8YDX, Yoshikazu Giga (unknown)

History

2026-11-02: add by m2/dev

QMB2PKEBSB QMB2PKEBSB

URI	`m2://inv/QMB2PKEBSB`
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.17677#MRNO (statement). In 5E9G06XJKC/e1, lemma F.25

History

2026-10-28: add by m2/v0.4.2

QMB83K815B QMB83K815B

URI	`m2://inv/QMB83K815B`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

napkin: napkin tex/rep-theory/applications.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 78.1

History

2026-11-01: add by m2/v0.6.13

QMBASZ10PW QMBASZ10PW

URI	`m2://inv/QMBASZ10PW`
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 2212.14457#PRMU (statement). In PNRHHWGHM2/e1, lemma 4.11

History

2026-10-27: add by m2/v0.3.6

Entropy influence conjecture QMBC53P8PC

URI	`m2://inv/QMBC53P8PC`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Entropy influence conjecture, Entropy influence conjecture (statement). Also Wikidata Q7732319

History

2026-11-02: add by m2/dev

Trigon Bluff QMBEA1GT7V

URI	`m2://inv/QMBEA1GT7V`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of places with numeric names#HV4O, Trigon Bluff (unknown)

History

2026-11-02: add by m2/dev

QMBJB8M418 QMBJB8M418

URI	`m2://inv/QMBJB8M418`
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 2602.13510#8NJ4 (statement). In Y75MQW7CFV/e1, lemma 2.4

History

2026-10-27: add by m2/v0.3.5

Dominated convergence in Lp-spaces (corollary) QMBRVTGCGG

URI	`m2://inv/QMBRVTGCGG`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Dominated convergence theorem#ZKRX, Dominated convergence in Lp-spaces (corollary) (statement)

History

2026-11-02: add by m2/dev

Lippmann-Schwinger Integral Representation Formula QMC46K2QXC

URI	`m2://inv/QMC46K2QXC`
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 2202.07274#04ZN, Lippmann-Schwinger Integral Representation Formula (statement). In V5WGBGKYXN/e1, theorem 2.1

History

2026-10-27: add by m2/v0.3.6

QMC5TQ8VVJ QMC5TQ8VVJ

URI	`m2://inv/QMC5TQ8VVJ`
Kind	statement
Layer	research
MSC	51-XX, 52-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.14236#36PT (statement). In XEQD21EBTT/e1, lemma 8.3

History

2026-10-28: add by m2/v0.4.2

Indian Penal Code QMCA1Q1VDB

URI	`m2://inv/QMCA1Q1VDB`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of states and union territories of India by crime rate#SQ27, Indian Penal Code (unknown)

History

2026-11-02: add by m2/dev

Good-field event QMCAFMHAT7

URI	`m2://inv/QMCAFMHAT7`
Kind	statement
Layer	research
MSC	81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.00453#R7J2, Good-field event (statement). In ESPJMBH2R2/e1, lemma 5.3

History

2026-10-30: add by m2/v0.4.12

Waring–Goldbach problem QMCAKZREXV

URI	`m2://inv/QMCAKZREXV`
Kind	conjecture
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Waring–Goldbach problem, Waring–Goldbach problem (conjecture). Also Wikidata Q7969441

History

2026-11-02: add by m2/dev

Doubly substochastic contraction QMCARGSJ69

URI	`m2://inv/QMCARGSJ69`
Kind	statement
Layer	research
MSC	94-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.02843#EHR2, Doubly substochastic contraction (statement). In 2XC1KQXA9H/e1, lemma 3

History

2026-10-29: add by m2/v0.4.12

Stiefel-Whitney number QMCEPAJVBA

URI	`m2://inv/QMCEPAJVBA`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Stiefel–Whitney class#X1AQ, Stiefel-Whitney number (unknown)

History

2026-11-02: add by m2/dev

Martin's axiom QMCF0DWXP6

URI	`m2://inv/QMCF0DWXP6`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Set-theoretic topology#44AB, Martin's axiom (statement)

History

2026-11-02: add by m2/dev

The Unitary Set QMCHD1VQ6Z

URI	`m2://inv/QMCHD1VQ6Z`
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.01932#Y246, The Unitary Set (definition). In XDKWW6NR0K/e1, definition 2.7

History

2026-10-29: add by m2/v0.4.12

open problem QMCJTCMD7E

URI	`m2://inv/QMCJTCMD7E`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q1321906, open problem (unknown). Also MathWorld UnsolvedProblems
wikidata: Wikidata Q319141, conjecture (definition). Also MathWorld UnsolvedProblems, nLab conjecture, ProofWiki Definition:Conjecture
wikidata: Wikidata Q848034, list of unsolved problems in mathematics (unknown). Also MathWorld UnsolvedProblems
wikipedia: Wikipedia Open problem, Open problem (problem). Also Wikidata Q1321906
wikipedia: Wikipedia List of unsolved problems in mathematics, List of unsolved problems in mathematics (topic). Also Wikidata Q848034
wikipedia: Wikipedia Conjecture, Conjecture (statement). Also Wikidata Q319141

History

2026-10-26: add by m2/dev

QMCND385Y1 QMCND385Y1

URI	`m2://inv/QMCND385Y1`
Kind	statement
Layer	research
MSC	26-XX, 51-XX, 52-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.21768#VE12 (statement). In VD53W58DS1/e1, lemma 2.5

History

2026-10-27: add by m2/v0.4.2

First-order limit of constrained WLS QMCP8N2BS8

URI	`m2://inv/QMCP8N2BS8`
Kind	statement
Layer	research
MSC	62-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.23339#I4D0, First-order limit of constrained WLS (statement)

History

2026-11-02: add by m2/v0.6.17

QMCS7K0DC6 QMCS7K0DC6

URI	`m2://inv/QMCS7K0DC6`
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.07673#606E (statement). In 37B1MPV8GX/e1, proposition 8.2

History

2026-10-29: add by m2/v0.4.10

QMCXBS3926 QMCXBS3926

URI	`m2://inv/QMCXBS3926`
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.38567#VMHK (statement). In 59AXA7QFTE/e1, corollary 3

History

2026-10-30: add by m2/v0.4.12

QMCYHYFNR2 QMCYHYFNR2

URI	`m2://inv/QMCYHYFNR2`
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.16554#3UVY (statement). In GWNT8HEZG1/e1, corollary 2.21

History

2026-10-27: add by m2/v0.3.6

QMD4K1QX27 QMD4K1QX27

URI	`m2://inv/QMD4K1QX27`
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 2609.30999#EMK8 (statement). In J1BWCKW2QK/e1, lemma 4.6

History

2026-10-31: add by m2/v0.5.6

QMD7GTHK8V QMD7GTHK8V

URI	`m2://inv/QMD7GTHK8V`
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.20760#9EP3 (statement). In 6G9JSJ5JMP/e1, lemma 8

History

2026-10-27: add by m2/v0.4.2

QMD7YJ26Z4 QMD7YJ26Z4

URI	`m2://inv/QMD7YJ26Z4`
Kind	statement
Layer	research
MSC	26-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.34311#D96D (statement). In YYV9SHAPCZ/e1, corollary 2.9

History

2026-10-30: add by m2/v0.4.12

Hurst exponent QMDADQ8HYA

URI	`m2://inv/QMDADQ8HYA`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statistics articles#76L2, Hurst exponent (definition)

History

2026-11-02: add by m2/dev

General Principles QMDNJ832JM

URI	`m2://inv/QMDNJ832JM`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Hankel contour#HRS9, General Principles (statement)

History

2026-11-02: add by m2/dev

primitive pseudoperfect number QMDTE229F0

URI	`m2://inv/QMDTE229F0`
Kind	object
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q2550888, primitive pseudoperfect number (object). Also MathWorld PrimitivePseudoperfectNumber, OEIS A006036

History

2026-10-26: add by m2/dev

Applications QMDZW4M3T6

URI	`m2://inv/QMDZW4M3T6`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Analytic continuation#EN5T, Applications (example)

History

2026-11-02: add by m2/dev

Properties QME8XDZCCE

URI	`m2://inv/QME8XDZCCE`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Cotangent space#YXKL, Properties (statement)

History

2026-11-02: add by m2/dev

QME9DEG20D QME9DEG20D

URI	`m2://inv/QME9DEG20D`
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.20521#E9AZ (statement)

History

2026-11-02: add by m2/v0.6.18

Third Splitting Lemma QMERGV0SHH

URI	`m2://inv/QMERGV0SHH`
Kind	statement
Layer	research
MSC	17-XX, 20-XX, 22-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 2610.13213#RRDL, Third Splitting Lemma (statement). In V97F4YZ8B0/e1, lemma 7.8

History

2026-10-28: add by m2/v0.4.2

Matérn covariance function QMEVBAT7ZB

URI	`m2://inv/QMEVBAT7ZB`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statistics articles#V5S3, Matérn covariance function (definition)

History

2026-11-02: add by m2/dev

QMF38G8BG0 QMF38G8BG0

URI	`m2://inv/QMF38G8BG0`
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.36423#1BR8 (statement). In Q5Z178SAHP/e1, corollary 4.2

History

2026-10-30: add by m2/v0.4.12

Z-order curve and successor formula QMF67VMZCG

URI	`m2://inv/QMF67VMZCG`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Moser–de Bruijn sequence#52BO, Z-order curve and successor formula (statement)

History

2026-11-02: add by m2/dev

QMFB6YH9ZZ QMFB6YH9ZZ

URI	`m2://inv/QMFB6YH9ZZ`
Kind	statement
Layer	research
MSC	03-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.20718#P6KD (statement)

History

2026-11-02: add by m2/v0.6.18

QMFHZ7AEJ1 QMFHZ7AEJ1

URI	`m2://inv/QMFHZ7AEJ1`
Kind	example
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 2504.19468#5E0B (example). In EY54F2SX08/e1, example 7.3

History

2026-10-27: add by m2/v0.3.5

Malena Español QMFM0GJ8YH

URI	`m2://inv/QMFM0GJ8YH`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Malena Español, Malena Español (topic). Also Wikidata Q102350811

History

2026-11-02: add by m2/dev

QMG2K6TABR QMG2K6TABR

URI	`m2://inv/QMG2K6TABR`
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.09494#AR5Z (statement). In H297EPZQQB/e1, lemma 5.5

History

2026-10-29: add by m2/v0.4.10

QMG2XPMQ6X QMG2XPMQ6X

URI	`m2://inv/QMG2XPMQ6X`
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 2610.22074#LOGE (definition). In F3BKXXPR3K/e1, definition A.5

History

2026-10-27: add by m2/v0.4.2

Manuel del Pino QMG30SD74Q

URI	`m2://inv/QMG30SD74Q`
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#YCYG, Manuel del Pino (unknown)

History

2026-11-02: add by m2/dev

QMG464AMSD QMG464AMSD

URI	`m2://inv/QMG464AMSD`
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.10968#DB7G (statement). In KJRV9ZW833/e1, lemma 3.2

History

2026-10-28: add by m2/v0.4.3

Results QMGASXEFKG

URI	`m2://inv/QMGASXEFKG`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Color-coding#9A3W, Results (statement)

History

2026-11-02: add by m2/dev

QMGQ73CNQR QMGQ73CNQR

URI	`m2://inv/QMGQ73CNQR`
Kind	statement
Layer	research
MSC	14-XX, 57-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.38556#7EWT (statement). In GC2H0HS7ZM/e1, lemma 3.5

History

2026-10-30: add by m2/v0.4.12

Paul Harzer QMH2H9XN7E

URI	`m2://inv/QMH2H9XN7E`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Paul Harzer, Paul Harzer (topic). Also Wikidata Q106117

History

2026-11-02: add by m2/dev

Properties QMH63K4KRF

URI	`m2://inv/QMH63K4KRF`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Tribonacci ratio#E8QR, Properties (statement)

History

2026-11-02: add by m2/dev

QMH8197JZ8 QMH8197JZ8

URI	`m2://inv/QMH8197JZ8`
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#ZUG2 (definition)

History

2026-11-01: add by m2/v0.6.15

QMHD9QKPYA QMHD9QKPYA

URI	`m2://inv/QMHD9QKPYA`
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.10469#KV0A (statement). In Q39BEKW6D9/e1, lemma 4.8

History

2026-10-29: add by m2/v0.4.10

QMHE4NY4BR QMHE4NY4BR

URI	`m2://inv/QMHE4NY4BR`
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.22040#N80J (statement). In 2QP93JHYNB/e1, theorem 6.16

History

2026-10-27: add by m2/v0.4.2

QMHHDHS9KV QMHHDHS9KV

URI	`m2://inv/QMHHDHS9KV`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

napkin: napkin tex/topology/metric-prop.tex#example-1 (example). In RZP28ERRZV, example, section 99.1

History

2026-11-01: add by m2/v0.6.13

QMHHPYCCC2 QMHHPYCCC2

URI	`m2://inv/QMHHPYCCC2`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-55 (exercise). In E9HS8K3A52, exercise, section 10.5.1

History

2026-11-01: add by m2/v0.6.13

dual complex QMHM04VJPC

URI	`m2://inv/QMHM04VJPC`
Kind	definition
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 2409.03461#65C2, dual complex (definition). In XJVZSGCX5V/e1, definition 4

History

2026-10-27: add by m2/v0.3.5

QMHQSV3ND0 QMHQSV3ND0

URI	`m2://inv/QMHQSV3ND0`
Kind	statement
Layer	research
MSC	17-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 2610.10377#FWE0 (statement). In 6HP7BR9WZM/e1, proposition 3.25

History

2026-10-29: add by m2/v0.4.10

QMHRMY9HB2 QMHRMY9HB2

URI	`m2://inv/QMHRMY9HB2`
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 2412.20238#F4T4 (statement). In V8CA0STSPB/e1, theorem 13

History

2026-10-27: add by m2/v0.3.5

One-key MAC QMHWAXBZPB

URI	`m2://inv/QMHWAXBZPB`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia One-key MAC, One-key MAC (definition). Also Wikidata Q7092316

History

2026-11-02: add by m2/dev

QMJ0WHV590 QMJ0WHV590

URI	`m2://inv/QMJ0WHV590`
Kind	definition
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#ZFJQ (definition). In JW8HH6EPG2/e1, definition 3.3

History

2026-10-29: add by m2/v0.4.10

QMJ4BMC6VN QMJ4BMC6VN

URI	`m2://inv/QMJ4BMC6VN`
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.19214#THDA (statement). In WZPD7TNNY9/e1, corollary 2.12

History

2026-10-28: add by m2/v0.4.2

QMJ5TDVRNQ QMJ5TDVRNQ

URI	`m2://inv/QMJ5TDVRNQ`
Kind	statement
Layer	research
MSC	65-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.01501#FI89 (statement). In 8Q2PXZDGB5/e1, theorem 4.10

History

2026-10-29: add by m2/v0.4.12

Group axioms QMJ80HXXWE

URI	`m2://inv/QMJ80HXXWE`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Multiplicative group of integers modulo n#4V73, Group axioms (statement)

History

2026-11-02: add by m2/dev

\bf Property $(L_{(S,j)})$ QMJ8WSE3QG

URI	`m2://inv/QMJ8WSE3QG`
Kind	definition
Layer	research
MSC	60-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2312.14445#1I80, \bf Property $(L_{(S,j)})$ (definition). In V56MKF0KW2/e1, definition 2.12

History

2026-10-27: add by m2/v0.3.5

QMJDQ97YBH QMJDQ97YBH

URI	`m2://inv/QMJDQ97YBH`
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#NMX4 (statement). In F3BKXXPR3K/e1, lemma 3.69

History

2026-10-27: add by m2/v0.4.2

category of finite-dimensional representations QMJJGEH5GE

URI	`m2://inv/QMJJGEH5GE`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_overview: mathlib_overview General algebra > Representation theory > category of finite-dimensional representations, category of finite-dimensional representations (unknown). Also Mathlib FDRep

History

2026-10-26: add by m2/dev

Summation formulas QMJQJ1FPBH

URI	`m2://inv/QMJQJ1FPBH`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Bell number#9M6T, Summation formulas (statement)

History

2026-11-02: add by m2/dev

Arnold conjecture QMJVWXZMER

URI	`m2://inv/QMJVWXZMER`
Kind	conjecture
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Arnold conjecture, Arnold conjecture (conjecture). Also Wikidata Q115803233

History

2026-11-02: add by m2/dev

Markov chains on a measurable state space QMK0CEYSS7

URI	`m2://inv/QMK0CEYSS7`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Markov chains on a measurable state space, Markov chains on a measurable state space (definition). Also Wikidata Q25304309

History

2026-11-02: add by m2/dev

Example QMK0N26HPZ

URI	`m2://inv/QMK0N26HPZ`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Spider diagram#D7D2, Example (example)

History

2026-11-02: add by m2/dev

QMKF24WQFH QMKF24WQFH

URI	`m2://inv/QMKF24WQFH`
Kind	statement
Layer	research
MSC	05-XX, 55-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2401.13523#FC58 (statement). In DDA62XQTWW/e1, lemma 4.6

History

2026-10-27: add by m2/v0.3.5

water QMKG2JDJVD

URI	`m2://inv/QMKG2JDJVD`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q2637515, water (definition). Also ProofWiki Definition:Philosophical_Element/Water

History

2026-10-26: add by m2/dev

QMKMRH0Y5R QMKMRH0Y5R

URI	`m2://inv/QMKMRH0Y5R`
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#J3P2 (statement)

History

2026-11-01: add by m2/v0.6.15

Product class with finite first moment QMKN3S7G12

URI	`m2://inv/QMKN3S7G12`
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 2610.11760#VKB5, Product class with finite first moment (definition). In NBNERWXW53/e1, definition S8.1

History

2026-10-28: add by m2/v0.4.3

QMKRK3RJ0H QMKRK3RJ0H

URI	`m2://inv/QMKRK3RJ0H`
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 2609.31269#GLDC (statement). In ZPT9XCCAPQ/e1, lemma 1.1.1

History

2026-10-31: add by m2/v0.5.6

Sensitivity and specificity QMKWARN2VA

URI	`m2://inv/QMKWARN2VA`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Sensitivity and specificity, Sensitivity and specificity (definition). Also Wikidata Q3808900

History

2026-11-02: add by m2/dev

QMKX272WHB QMKX272WHB

URI	`m2://inv/QMKX272WHB`
Kind	example
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 2007.14459#GYWC (example). In SGQ7VFEZ22/e1, example 4.8

History

2026-10-27: add by m2/v0.3.5

Exact constants for scaled indicator rows QMM17EGKWA

URI	`m2://inv/QMM17EGKWA`
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#GOTP, Exact constants for scaled indicator rows (statement). In SGQS629QNK/e1, corollary I.2

History

2026-10-31: add by m2/v0.5.6

QMM2R6K8EG QMM2R6K8EG

URI	`m2://inv/QMM2R6K8EG`
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.22218#GIM6 (statement). In 338GKREFVP/e1, theorem 37

History

2026-10-27: add by m2/v0.4.0

Symbolic method QMM5QYV051

URI	`m2://inv/QMM5QYV051`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Symbolic method (combinatorics), Symbolic method (definition). Also Wikidata Q124054218

History

2026-11-02: add by m2/dev

QMM8WAF3XD QMM8WAF3XD

URI	`m2://inv/QMM8WAF3XD`
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 2608.24190#7LQG (statement). In DW7FVA587C/e1, proposition 3.4

History

2026-10-27: add by m2/v0.3.5

QMM9K195N1 QMM9K195N1

URI	`m2://inv/QMM9K195N1`
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.22040#BBDL (statement). In 2QP93JHYNB/e1, lemma 4.2

History

2026-10-27: add by m2/v0.4.2

Kirby calculus QMMCVJ6RT6

URI	`m2://inv/QMMCVJ6RT6`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Kirby calculus AVQ9WN1MDV

Mentions

wikidata: Wikidata Q5956316, Kirby calculus (unknown). Also nLab Kirby calculus
wikipedia: Wikipedia Kirby calculus, Kirby calculus (definition). Also Wikidata Q5956316

History

2026-10-26: add by m2/dev

Hessian estimate for Gaussian argument QMMMJ9K92Y

URI	`m2://inv/QMMMJ9K92Y`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 58-XX, 60-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.17815#5OIO, Hessian estimate for Gaussian argument (statement). In GJ7N2EWACX/e1, proposition 4.5

History

2026-10-28: add by m2/v0.4.2

Properties QMMXNDVAY1

URI	`m2://inv/QMMXNDVAY1`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Binary operation#9SGH, Properties (statement)

History

2026-11-02: add by m2/dev

Weak solvability of the Poisson equation QMMYZTWD2K

URI	`m2://inv/QMMYZTWD2K`
Kind	statement
Layer	research
MSC	35-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.32561#O84A, Weak solvability of the Poisson equation (statement). In NBT0ZCHBB6/e1, corollary 1

History

2026-10-31: add by m2/v0.5.6

Lemma QMMZJBQC8T

URI	`m2://inv/QMMZJBQC8T`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Exponential mechanism#9KG4, Lemma (statement)

History

2026-11-02: add by m2/dev

web QMN2B0BZAH

URI	`m2://inv/QMN2B0BZAH`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#0W2Q, web (definition)

History

2026-11-02: add by m2/dev

Semisaturation QMN69MJAT2

URI	`m2://inv/QMN69MJAT2`
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.18600#PPOB, Semisaturation (definition). In 31D6TQVCNZ/e1, definition 1.2

History

2026-10-28: add by m2/v0.4.2

QMNDRWTNTS QMNDRWTNTS

URI	`m2://inv/QMNDRWTNTS`
Kind	statement
Layer	research
MSC	35-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.35360#8N6A (statement). In 770AQ8T366/e1, lemma 3.6

History

2026-10-30: add by m2/v0.4.12

QMNESG8461 QMNESG8461

URI	`m2://inv/QMNESG8461`
Kind	statement
Layer	research
MSC	05-XX, 16-XX, 20-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2509.04068#4BX2 (statement). In Y7TVAQE9PF/e1, theorem 4.4

History

2026-10-27: add by m2/v0.3.5

Evangelista Torricelli QMNNW9QR68

URI	`m2://inv/QMNNW9QR68`
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 Q102490, Evangelista Torricelli (unknown). Also ProofWiki Mathematician:Evangelista_Torricelli
wikipedia: Wikipedia Evangelista Torricelli, Evangelista Torricelli (topic). Also Wikidata Q102490

History

2026-10-26: add by m2/dev

QMNRP8C48S QMNRP8C48S

URI	`m2://inv/QMNRP8C48S`
Kind	statement
Layer	research
MSC	20-XX, 26-XX, 35-XX, 37-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 2311.00585#4MXU (statement). In 332PQD90SW/e1, theorem 4.15

History

2026-10-27: add by m2/v0.3.5

Challenge–dechallenge–rechallenge QMNRXCBCKA

URI	`m2://inv/QMNRXCBCKA`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Challenge–dechallenge–rechallenge, Challenge–dechallenge–rechallenge (definition). Also Wikidata Q5068976

History

2026-11-02: add by m2/dev

Correlation gain along shared edges QMNTK915Z2

URI	`m2://inv/QMNTK915Z2`
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 2609.22301#BUL7, Correlation gain along shared edges (statement)

History

2026-11-02: add by m2/v0.6.17

Convention QMP0EZDH18

URI	`m2://inv/QMP0EZDH18`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Shear and moment diagram#K49Y, Convention (definition)

History

2026-11-02: add by m2/dev

Class nominalism QMP1R0E3F1

URI	`m2://inv/QMP1R0E3F1`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Nominalism#GWB7, Class nominalism (unknown)

History

2026-11-02: add by m2/dev

Woodin QMP4E00519

URI	`m2://inv/QMP4E00519`
Kind	statement
Layer	research
MSC	03-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.19088#P25M, Woodin (statement). In 90QTB4CC31/e1, theorem 2.5

History

2026-10-28: add by m2/v0.4.2

QMP52ENGZZ QMP52ENGZZ

URI	`m2://inv/QMP52ENGZZ`
Kind	statement
Layer	research
MSC	11-XX, 14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.39505#1HE5 (statement). In WAXS6FS388/e1, lemma 4.11

History

2026-10-30: add by m2/v0.4.12

QMP6EJD5W4 QMP6EJD5W4

URI	`m2://inv/QMP6EJD5W4`
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.09648#ORVU (statement). In WB9PTPN54H/e1, lemma 2.4

History

2026-10-29: add by m2/v0.4.10

QMP82KF372 QMP82KF372

URI	`m2://inv/QMP82KF372`
Kind	statement
Layer	research
MSC	35-XX, 51-XX, 52-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.01653#L0RC (statement). In WZMHJCQPB2/e1, proposition 4.4

History

2026-10-29: add by m2/v0.4.12

median QMP84HT17B

URI	`m2://inv/QMP84HT17B`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Median 07Y2E7P9NP

Mentions

wikidata: Wikidata Q226995, median (definition). Also EoM Median_(in_statistics), MathWorld StatisticalMedian, ProofWiki Definition:Median_(Statistics)
wikipedia: Wikipedia Median, Median (definition). Also Wikidata Q226995

History

2026-10-26: add by m2/dev
2026-10-27: outcome by agent

Kurosh problem QMP8MJXHZ2

URI	`m2://inv/QMP8MJXHZ2`
Kind	conjecture
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Kurosh problem, Kurosh problem (conjecture). Also Wikidata Q6446395

History

2026-11-02: add by m2/dev

QMP8RKRBZ9 QMP8RKRBZ9

URI	`m2://inv/QMP8RKRBZ9`
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.19982#25OC (statement)

History

2026-11-02: add by m2/v0.6.18

Cloud computing security QMPE8JXY8Q

URI	`m2://inv/QMPE8JXY8Q`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Cloud computing security, Cloud computing security (definition). Also Wikidata Q370563

History

2026-11-02: add by m2/dev

Quantitative central limit theorem QMPGRZM5NQ

URI	`m2://inv/QMPGRZM5NQ`
Kind	statement
Layer	research
MSC	62-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.38267#WS16, Quantitative central limit theorem (statement). In 518V871EKW/e1, theorem 3.9

History

2026-10-30: add by m2/v0.4.12

Discrete-time Fourier transform QMPM2VYB77

URI	`m2://inv/QMPM2VYB77`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of transforms#GF3W, Discrete-time Fourier transform (definition)

History

2026-11-02: add by m2/dev

QMPVGBZ79H QMPVGBZ79H

URI	`m2://inv/QMPVGBZ79H`
Kind	definition
Layer	research
MSC	14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.30018#1R1Z (definition)

History

2026-11-01: add by m2/v0.6.15

QMPXG2Y2P4 QMPXG2Y2P4

URI	`m2://inv/QMPXG2Y2P4`
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#CQEJ (statement). In JW8HH6EPG2/e1, theorem 3.2

History

2026-10-29: add by m2/v0.4.10

Transfer QMPXQN51RK

URI	`m2://inv/QMPXQN51RK`
Kind	statement
Layer	research
MSC	62-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.02558#E61Z, Transfer (statement). In 7SMKFW1KP1/e1, corollary 1

History

2026-10-29: add by m2/v0.4.12

Variance-stabilizing transformation QMQ0XXTEWT

URI	`m2://inv/QMQ0XXTEWT`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Variance-stabilizing transformation, Variance-stabilizing transformation (definition). Also Wikidata Q7915757

History

2026-11-02: add by m2/dev

Giovanni Fagnano QMQ52F4DRG

URI	`m2://inv/QMQ52F4DRG`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Giovanni Fagnano, Giovanni Fagnano (topic). Also Wikidata Q967895

History

2026-11-02: add by m2/dev

Treynor ratio QMQ9RE60YX

URI	`m2://inv/QMQ9RE60YX`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Treynor ratio, Treynor ratio (definition). Also Wikidata Q746086

History

2026-11-02: add by m2/dev

Magnetopause QMQYG0FV4E

URI	`m2://inv/QMQYG0FV4E`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Magnetopause, Magnetopause (definition). Also Wikidata Q6981

History

2026-11-02: add by m2/dev

Königsberg QMR6M3KZBY

URI	`m2://inv/QMR6M3KZBY`
Kind	concept
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

levin_dmoi: levin_dmoi index/5/königsberg, Königsberg (concept). In Y91XFCEVHQ, index, section 5

History

2026-11-01: add by m2/v0.6.13

Upstream expansion rate estimate for $\mathrm{md}^{-\delta} \circ F$ QMREXPHCD4

URI	`m2://inv/QMREXPHCD4`
Kind	statement
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.10051#A66B, Upstream expansion rate estimate for $\mathrm{md}^{-\delta} \circ F$ (statement). In VCHH2AC34R/e1, proposition 3.6

History

2026-10-29: add by m2/v0.4.10

QMRFSGCTSN QMRFSGCTSN

URI	`m2://inv/QMRFSGCTSN`
Kind	statement
Layer	research
MSC	11-XX, 37-XX, 51-XX, 52-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.24623#Z3AR (statement)

History

2026-11-01: add by m2/v0.6.15

Analytical hierarchy QMRQX7XGH5

URI	`m2://inv/QMRQX7XGH5`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of mathematical logic topics#AS1O, Analytical hierarchy (definition)

History

2026-11-02: add by m2/dev

dual number QMRXK5AQHN

URI	`m2://inv/QMRXK5AQHN`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q751048, dual number (unknown). Also MathWorld DualNumber
wikipedia: Wikipedia Dual number, Dual number (definition). Also Wikidata Q751048

History

2026-10-26: add by m2/dev

embedding criterion for the inherited maps QMS8QQ1Q6Q

URI	`m2://inv/QMS8QQ1Q6Q`
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 2609.32733#VO9Z, embedding criterion for the inherited maps (statement). In PCAS8S14J6/e1, proposition D.6

History

2026-10-31: add by m2/v0.5.6

tangent number QMS9H6RGPA

URI	`m2://inv/QMS9H6RGPA`
Kind	concept
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q11316496, tangent number (concept). Also MathWorld TangentNumber

History

2026-10-26: add by m2/dev

Brisa Sánchez QMSC73WX0Q

URI	`m2://inv/QMSC73WX0Q`
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#5BFW, Brisa Sánchez (unknown)

History

2026-11-02: add by m2/dev

Generalization QMSJV2QSGP

URI	`m2://inv/QMSJV2QSGP`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia No-cloning theorem#V7XY, Generalization (statement)

History

2026-11-02: add by m2/dev

Hermitian wavelet QMSN1Z5PWV

URI	`m2://inv/QMSN1Z5PWV`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Hermitian wavelet, Hermitian wavelet (definition). Also Wikidata Q16983946

History

2026-11-02: add by m2/dev

Extensions QMSW1B4MCD

URI	`m2://inv/QMSW1B4MCD`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Functional data analysis#E9QK, Extensions (statement)

History

2026-11-02: add by m2/dev

Andrzej Schinzel QMSX58NN2Q

URI	`m2://inv/QMSX58NN2Q`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Andrzej Schinzel, Andrzej Schinzel (topic). Also Wikidata Q503570

History

2026-11-02: add by m2/dev

Peter–Weyl QMSXJHV1D5

URI	`m2://inv/QMSXJHV1D5`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of representation theory#UGE5, Peter–Weyl (definition)

History

2026-11-02: add by m2/dev

QMT0MQ9NG0 QMT0MQ9NG0

URI	`m2://inv/QMT0MQ9NG0`
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.20817#8Q54 (statement). In M1YRBSZT4H/e1, theorem 7

History

2026-10-27: add by m2/v0.4.2

Georg Hamel QMT1HS418J

URI	`m2://inv/QMT1HS418J`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of cryptographers#T5CU, Georg Hamel (topic)

History

2026-11-02: add by m2/dev

QMT4MQWEMM QMT4MQWEMM

URI	`m2://inv/QMT4MQWEMM`
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.01273#EUUT (statement). In RAT41DDR51/e1, theorem 4.4

History

2026-10-29: add by m2/v0.4.12

Van der Corput inequality QMT839ERV6

URI	`m2://inv/QMT839ERV6`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Van der Corput inequality, Van der Corput inequality (statement). Also Wikidata Q30716039

History

2026-11-02: add by m2/dev

QMTBK2F2MB QMTBK2F2MB

URI	`m2://inv/QMTBK2F2MB`
Kind	definition
Layer	research
MSC	14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.07644#03IM (definition). In TFAN2DR6FD/e1, definition 4

History

2026-10-27: add by m2/v0.3.5

Algorithm IMED QMTFT4Z21X

URI	`m2://inv/QMTFT4Z21X`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Algorithm IMED, Algorithm IMED (definition). Also Wikidata Q139469870

History

2026-11-02: add by m2/dev

Aryeh Dvoretzky QMTGGJ80ES

URI	`m2://inv/QMTGGJ80ES`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Aryeh Dvoretzky, Aryeh Dvoretzky (topic). Also Wikidata Q718008

History

2026-11-02: add by m2/dev

QMTGNS4AQK QMTGNS4AQK

URI	`m2://inv/QMTGNS4AQK`
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#S0WK (statement). In CSRZ9CWK69/e1, lemma 8.18

History

2026-10-29: add by m2/v0.4.12

Lochs's theorem QMTJP530X3

URI	`m2://inv/QMTJP530X3`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of theorems#MCNK, Lochs's theorem (statement)

History

2026-11-02: add by m2/dev

M/D/1 queue QMTRHPN28T

URI	`m2://inv/QMTRHPN28T`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia M/D/1 queue, M/D/1 queue (definition). Also Wikidata Q3912854

History

2026-11-02: add by m2/dev

Singular integral QMTWR5SEZP

URI	`m2://inv/QMTWR5SEZP`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Singular integral, Singular integral (definition). Also Wikidata Q888122

History

2026-11-02: add by m2/dev

Contravariant Yoneda functor QMV0FBBJJG

URI	`m2://inv/QMV0FBBJJG`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

napkin: napkin tex/cats/functors.tex#example-4, Contravariant Yoneda functor (example). In RZP28ERRZV, example, section 37.4

History

2026-11-01: add by m2/v0.6.13

QMV42MXTXT QMV42MXTXT

URI	`m2://inv/QMV42MXTXT`
Kind	unknown
Layer	research
MSC	11-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2205.15365#K17H (unknown). In R2XC1SC9NZ/e1, unknown 11

History

2026-10-27: add by m2/v0.3.5

QMVEVE0WQ8 QMVEVE0WQ8

URI	`m2://inv/QMVEVE0WQ8`
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.00144#JAQ4 (statement). In HAZGBX88B3/e1, theorem 6

History

2026-10-30: add by m2/v0.4.12

QMVZHDVPFC QMVZHDVPFC

URI	`m2://inv/QMVZHDVPFC`
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 2210.04075#J2QS (statement). In C5DZR0TC5E/e1, proposition 2.14

History

2026-10-27: add by m2/v0.3.5

Russo–Margulis formula QMW37FX74T

URI	`m2://inv/QMW37FX74T`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Analysis of Boolean functions#NOI2, Russo–Margulis formula (statement)

History

2026-11-02: add by m2/dev

Kardar-Parisi-Zhang equation QMW8KXDEQ1

URI	`m2://inv/QMW8KXDEQ1`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of named differential equations#31QT, Kardar-Parisi-Zhang equation (definition)

History

2026-11-02: add by m2/dev

Quotient LCL threshold, uniform nested ensemble QMWDCS35JP

URI	`m2://inv/QMWDCS35JP`
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.40252#NWA0, Quotient LCL threshold, uniform nested ensemble (statement). In 7MVPNFPRKB/e1, theorem 7.3

History

2026-10-30: add by m2/v0.4.12

Medial inverted pentagonal hexecontahedron QMWP4JND6G

URI	`m2://inv/QMWP4JND6G`
Kind	object
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#AFF7, Medial inverted pentagonal hexecontahedron (object)

History

2026-11-02: add by m2/dev

QMWPM79EX3 QMWPM79EX3

URI	`m2://inv/QMWPM79EX3`
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.00798#VTVA (statement). In FANG3A8NZ9/e1, lemma 5.3

History

2026-10-29: add by m2/v0.4.12

modus tollens QMWT2RJREN

URI	`m2://inv/QMWT2RJREN`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of logic#EN2R, modus tollens (definition)

History

2026-11-02: add by m2/dev

Mackey's theorem QMWV5PD5J5

URI	`m2://inv/QMWV5PD5J5`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Dual system#6X8C, Mackey's theorem (statement)

History

2026-11-02: add by m2/dev

Examples QMX0ZM57B8

URI	`m2://inv/QMX0ZM57B8`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Complementary sequences#JEKQ, Examples (example)

History

2026-11-02: add by m2/dev

Serre–Tate theorem QMXBPPKFJS

URI	`m2://inv/QMXBPPKFJS`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of things named after Jean-Pierre Serre#QRFL, Serre–Tate theorem (statement)

History

2026-11-02: add by m2/dev

Polarization QMXDVPYA5Q

URI	`m2://inv/QMXDVPYA5Q`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Polarization (waves), Polarization (definition). Also Wikidata Q193760

History

2026-11-02: add by m2/dev

QMXDYRHN32 QMXDYRHN32

URI	`m2://inv/QMXDYRHN32`
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.14847#IA1D (statement). In 2RC8WXQ9ET/e1, corollary 5.4

History

2026-10-28: add by m2/v0.4.2

Examples QMXFG6CMKS

URI	`m2://inv/QMXFG6CMKS`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Schauder basis#1ZC0, Examples (example)

History

2026-11-02: add by m2/dev

QMXH5D9EYX QMXH5D9EYX

URI	`m2://inv/QMXH5D9EYX`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

napkin: napkin tex/topology/compactness.tex#ques-5 (exercise). In RZP28ERRZV, ques, section 95.4

History

2026-11-01: add by m2/v0.6.13

Three-pass protocol QMXJEZMJ3M

URI	`m2://inv/QMXJEZMJ3M`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Three-pass protocol, Three-pass protocol (definition). Also Wikidata Q1907602

History

2026-11-02: add by m2/dev

QMXK1Z4RBR QMXK1Z4RBR

URI	`m2://inv/QMXK1Z4RBR`
Kind	proof
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#proof-26 (proof). In E59CDZA4DP, proof, section 10.5.3

History

2026-11-01: add by m2/v0.6.13

Cost-weighted hierarchy oracle QMXNBHXJJM

URI	`m2://inv/QMXNBHXJJM`
Kind	definition
Layer	research
MSC	49-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.35418#ZO2B, Cost-weighted hierarchy oracle (definition). In JHD3TW67QT/e1, definition 23

History

2026-10-30: add by m2/v0.4.12

QMY15PFNH9 QMY15PFNH9

URI	`m2://inv/QMY15PFNH9`
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.09989#LE3K (statement). In 4KZA07H3GE/e1, lemma 2.4

History

2026-10-29: add by m2/v0.4.10

QMY1TEJPRG QMY1TEJPRG

URI	`m2://inv/QMY1TEJPRG`
Kind	statement
Layer	research
MSC	14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.08935#POOF (statement). In G02N9D40B9/e1, corollary 7.3.2

History

2026-10-29: add by m2/v0.4.10

QMY2Y6YY4R QMY2Y6YY4R

URI	`m2://inv/QMY2Y6YY4R`
Kind	statement
Layer	research
MSC	53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.26357#LOOQ (statement)

History

2026-11-01: add by m2/v0.6.15

2000 QMY6ZGCAXE

URI	`m2://inv/QMY6ZGCAXE`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia 2000 (number), 2000 (definition). Also Wikidata Q241253

History

2026-11-02: add by m2/dev

hadron QMY8X83P0S

URI	`m2://inv/QMY8X83P0S`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q101667, hadron (unknown). Also nLab hadron

History

2026-10-26: add by m2/dev

The Sun QMYD6KBA76

URI	`m2://inv/QMYD6KBA76`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#HR37, The Sun (unknown)

History

2026-11-02: add by m2/dev

Ind-completion QMYPV50TGK

URI	`m2://inv/QMYPV50TGK`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Ind-completion, Ind-completion (definition). Also Wikidata Q134469743

History

2026-11-02: add by m2/dev

QMYRZ4KDAX QMYRZ4KDAX

URI	`m2://inv/QMYRZ4KDAX`
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.18673#7FWX (statement). In 7ZFD9XRKA1/e1, proposition 3.6

History

2026-10-28: add by m2/v0.4.2

QMYST1N61Y QMYST1N61Y

URI	`m2://inv/QMYST1N61Y`
Kind	definition
Layer	research
MSC	14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.32599#13C1 (definition). In E1Y93JNBJA/e1, definition 2.1

History

2026-10-31: add by m2/v0.5.6

Gaussian white noise process QMYT15YHBV

URI	`m2://inv/QMYT15YHBV`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia White noise#2CVM, Gaussian white noise process (unknown)

History

2026-11-02: add by m2/dev

Lossy audio compression QMYYTA39VX

URI	`m2://inv/QMYYTA39VX`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Data compression#HOF4, Lossy audio compression (unknown)

History

2026-11-02: add by m2/dev

Formal definition QMYYWFMFSF

URI	`m2://inv/QMYYWFMFSF`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Local time (mathematics)#9XNR, Formal definition (definition)

History

2026-11-02: add by m2/dev

First Hardy–Littlewood conjecture QMZ0K3JST1

URI	`m2://inv/QMZ0K3JST1`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Twin prime#SV0S, First Hardy–Littlewood conjecture (statement)

History

2026-11-02: add by m2/dev

Norton's theorem QMZ1CGQDNE

URI	`m2://inv/QMZ1CGQDNE`
Kind	statement
Layer	textbook
MSC	78-XX
Sources	3
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q651593, Norton's theorem (statement). Also Wikidata Q651593
thousand_plus: thousand_plus Q651593, Norton's theorem (statement). Also Wikidata Q651593, Wikipedia Norton's theorem
wikipedia: Wikipedia Norton's theorem, Norton's theorem (statement). Also Wikidata Q651593

History

2026-10-26: add by m2/dev

Laver property QMZ8ESQ652

URI	`m2://inv/QMZ8ESQ652`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Laver property, Laver property (definition). Also Wikidata Q25303788

History

2026-11-02: add by m2/dev

QMZ8Y60P4N QMZ8Y60P4N

URI	`m2://inv/QMZ8Y60P4N`
Kind	statement
Layer	research
MSC	35-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.22063#TVQ9 (statement). In JHK0EAV79D/e1, theorem 1

History

2026-10-27: add by m2/v0.4.2

QMZAKV93MM QMZAKV93MM

URI	`m2://inv/QMZAKV93MM`
Kind	definition
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 2206.14762#VVJR (definition). In ZC1B70NT4D/e1, definition 5.1

History

2026-10-27: add by m2/v0.3.5

standard deviation QMZAWM7H16

URI	`m2://inv/QMZAWM7H16`
Kind	concept
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

applied_combinatorics: applied_combinatorics index/10.5.1/standard-deviation, standard deviation (concept). In QKM9DD2H56, index, section 10.5.1

History

2026-11-01: add by m2/v0.6.13

QMZD054V17 QMZD054V17

URI	`m2://inv/QMZD054V17`
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 2403.15043#ZOXM (statement). In QDE21RT0T2/e1, proposition 6.2

History

2026-10-27: add by m2/v0.3.5

QMZKKY8JPQ QMZKKY8JPQ

URI	`m2://inv/QMZKKY8JPQ`
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 2609.21972#C3Y1 (statement)

History

2026-11-02: add by m2/v0.6.17

quantile QMZKRQPE8R

URI	`m2://inv/QMZKRQPE8R`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q578714, quantile (unknown). Also MathWorld Quantile
wikipedia: Wikipedia Quantile, Quantile (definition). Also Wikidata Q578714

History

2026-10-26: add by m2/dev

False attribution QMZS8HJ20X

URI	`m2://inv/QMZS8HJ20X`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of fallacies#TTB5, False attribution (definition)

History

2026-11-02: add by m2/dev

Beyondism QMZWYEXHPY

URI	`m2://inv/QMZWYEXHPY`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Raymond Cattell#Q2ND, Beyondism (unknown)

History

2026-11-02: add by m2/dev

James Edward Oliver QMZY95NP9P

URI	`m2://inv/QMZY95NP9P`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia James Edward Oliver, James Edward Oliver (topic). Also Wikidata Q59926899

History

2026-11-02: add by m2/dev

QMZZM52NEW QMZZM52NEW

URI	`m2://inv/QMZZM52NEW`
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.28803#ICRI (statement)

History

2026-11-01: add by m2/v0.6.15