Inventory rows ZH

ZH01QXG05R ZH01QXG05R

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

Mentions

napkin: napkin tex/set-theory/cardinal.tex#definition-6 (definition). In RZP28ERRZV, definition, section 89.3

History

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

Example ZH02F6EZYJ

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

Mentions

wikipedia: Wikipedia Taylor's theorem#RXG2, Example (example)

History

2026-11-02: add by m2/dev

Steiner inellipse ZH05QE38PK

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

Mentions

wikidata: Wikidata Q2631887, Steiner inellipse (concept). Also MathWorld SteinerInellipse
wikipedia: Wikipedia Steiner inellipse, Steiner inellipse (definition). Also Wikidata Q2631887

History

2026-10-26: add by m2/dev

\probname{3DMatching ZH0CFHBBBY

URI	`m2://inv/ZH0CFHBBBY`
Kind	problem
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.38436#5878, \probname{3DMatching (problem). In 702AF3E4AF/e1, problem 3.18

History

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

ZH0E43K9MY ZH0E43K9MY

URI	`m2://inv/ZH0E43K9MY`
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.01295#XU9B (statement). In EHGJX4ETBN/e1, proposition 2.3

History

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

Kolmogorov population model ZH0J2RMBEJ

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

Mentions

wikipedia: Wikipedia Kolmogorov population model, Kolmogorov population model (definition). Also Wikidata Q131861022

History

2026-11-02: add by m2/dev

MDS von Neumann inequality ZH0J7RQHMF

URI	`m2://inv/ZH0J7RQHMF`
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.12357#215H, MDS von Neumann inequality (statement). In 1F26AF81XP/e1, lemma 2.9

History

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

ZH0JQDF0Z5 ZH0JQDF0Z5

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

Mentions

arxiv: arXiv 2610.03661#XKL4 (statement). In ESDKTYDHC8/e1, corollary 8

History

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

Guo--Wang--Wang 2025 ZH0Q4XGSQB

URI	`m2://inv/ZH0Q4XGSQB`
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.11047#SG25, Guo--Wang--Wang 2025 (statement). In MNQAZ70XTH/e1, lemma 3.3

History

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

Fermat–Catalan conjecture ZH155VJ36G

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

Mentions

wikipedia: Wikipedia List of sums of reciprocals#HDHA, Fermat–Catalan conjecture (conjecture)

History

2026-11-02: add by m2/dev

ZH177ST6MW ZH177ST6MW

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

Mentions

arxiv: arXiv 2609.22825#Z9UA (statement)

History

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

bridge number ZH177ZKF20

URI	`m2://inv/ZH177ZKF20`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Bridge number G44YY10VC4

Mentions

wikidata: Wikidata Q4966409, bridge number (unknown). Also MathWorld BridgeNumber, nLab bridge number
wikipedia: Wikipedia Bridge number, Bridge number (definition). Also Wikidata Q4966409

History

2026-10-26: add by m2/dev

Fred S. Roberts ZH185DMRWN

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

Mentions

wikipedia: Wikipedia Fred S. Roberts, Fred S. Roberts (topic). Also Wikidata Q5496206

History

2026-11-02: add by m2/dev

Markov–Kakutani fixed-point theorem ZH1EXM0QYX

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

Mentions

wikipedia: Wikipedia Markov–Kakutani fixed-point theorem, Markov–Kakutani fixed-point theorem (statement). Also Wikidata Q6771347

History

2026-11-02: add by m2/dev

Stein's unbiased risk estimate ZH1JXW1YBF

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

Mentions

wikipedia: Wikipedia Stein's unbiased risk estimate, Stein's unbiased risk estimate (definition). Also Wikidata Q7606742

History

2026-11-02: add by m2/dev

ZH1V2ZB03M ZH1V2ZB03M

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

Mentions

napkin: napkin tex/alg-geom/proj-var.tex#definition-4 (definition). In RZP28ERRZV, definition, section 23.2

History

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

Simon Wiesenthal ZH1Y2G0HVM

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#TTWI, Simon Wiesenthal (unknown)

History

2026-11-02: add by m2/dev

Commutator collecting process ZH20M7835Z

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

Mentions

wikipedia: Wikipedia Commutator collecting process, Commutator collecting process (definition). Also Wikidata Q25303844

History

2026-11-02: add by m2/dev

ZH20QR80JG ZH20QR80JG

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

Mentions

arxiv: arXiv 2208.06310#OIPT (statement). In 9YR0E0T9XA/e1, lemma 3.3

History

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

Local impulse ramp and conditional-variance response ZH21NXWAD6

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

Mentions

arxiv: arXiv 2609.25545#EEGQ, Local impulse ramp and conditional-variance response (statement)

History

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

Properties ZH25PX3T8D

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

Mentions

wikipedia: Wikipedia Graph coloring#3K0E, Properties (statement)

History

2026-11-02: add by m2/dev

ZH2619Z7JG ZH2619Z7JG

URI	`m2://inv/ZH2619Z7JG`
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.14681#ZWW9 (statement). In 459W0NBS5Q/e1, theorem 4

History

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

Automatic continuity ZH2AKV31V2

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

Mentions

arxiv: arXiv 2609.34402#6GVP, Automatic continuity (statement). In FTTMZWSCMW/e1, lemma 3.5

History

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

ZH2BWDGT8G ZH2BWDGT8G

URI	`m2://inv/ZH2BWDGT8G`
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.21975#PQJT (statement)

History

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

ZH2K1F2PXK ZH2K1F2PXK

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

Mentions

arxiv: arXiv 2610.12846#ZRLO (definition). In GG9P59PJS2/e1, definition 2.1

History

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

Euler reconstruction ZH2KNT3YCR

URI	`m2://inv/ZH2KNT3YCR`
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.22513#XQA6, Euler reconstruction (statement)

History

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

ZH2T5GDNJ4 ZH2T5GDNJ4

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

Mentions

arxiv: arXiv 2609.21668#GXMN (definition)

History

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

Arithmetic mean ZH2VPGV5KH

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

Mentions

wikipedia: Wikipedia List of statistics articles#1S1T, Arithmetic mean (definition)

History

2026-11-02: add by m2/dev

Two envelopes problem ZH2Y7FGRGQ

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

Mentions

wikipedia: Wikipedia Two envelopes problem, Two envelopes problem (problem). Also Wikidata Q180191

History

2026-11-02: add by m2/dev

ZH2Z0TVZSA ZH2Z0TVZSA

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

Mentions

arxiv: arXiv 2605.30285#63XK (statement). In YMY0NNSM27/e1, lemma 5.1

History

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

ZH2ZHMBXBD ZH2ZHMBXBD

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

Mentions

arxiv: arXiv 2610.03422#YQGC (statement). In SF88CM0957/e1, lemma 4.3

History

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

ZH32YNHYWW ZH32YNHYWW

URI	`m2://inv/ZH32YNHYWW`
Kind	example
Layer	research
MSC	51-XX, 52-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.25468#8ZUO (example)

History

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

Single-copy estimate ZH36NK2DNA

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

Mentions

arxiv: arXiv 2609.26743#K76I, Single-copy estimate (statement)

History

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

ZH37007X2M ZH37007X2M

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

Mentions

arxiv: arXiv 2610.15180#0CD4 (problem). In AMRWRJDNKJ/e1, problem 3

History

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

ZH40M9AKRY ZH40M9AKRY

URI	`m2://inv/ZH40M9AKRY`
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.18242#GJNX (statement). In VVC2FHQZZR/e1, proposition 5.4

History

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

Askold Vinogradov ZH418GTVXW

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

Mentions

wikipedia: Wikipedia Askold Vinogradov, Askold Vinogradov (topic). Also Wikidata Q732255

History

2026-11-02: add by m2/dev

P-adic topology ZH41KTQX6E

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

Mentions

wikipedia: Wikipedia P-adic number#5NYU, P-adic topology (unknown)

History

2026-11-02: add by m2/dev

Special cases ZH45MZB0WC

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

Mentions

wikipedia: Wikipedia Set packing#TRJY, Special cases (statement)

History

2026-11-02: add by m2/dev

Transverse isotropy ZH472AFCG8

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

Mentions

wikipedia: Wikipedia Transverse isotropy, Transverse isotropy (definition). Also Wikidata Q2449817

History

2026-11-02: add by m2/dev

ZH4BKT4K7K ZH4BKT4K7K

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

Mentions

arxiv: arXiv 2610.20131#447P (definition). In 29D4TTE3J2/e1, definition 8.6

History

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

ZH4K8FS57G ZH4K8FS57G

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

Mentions

hott_book: hott_book hits.tex#thm:apd2 (statement). In N54F33XE07, lem, section 5.4

History

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

Uniform scalar estimates ZH4K8G2EE7

URI	`m2://inv/ZH4K8G2EE7`
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.12238#PHPY, Uniform scalar estimates (statement). In E31CZYM2H8/e1, proposition 3.4

History

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

quantifier, universal ZH4KS2ZT8Q

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

Mentions

hott_book: hott_book index/9.6/quantifier-universal, quantifier, universal (concept). In N54F33XE07, index, section 9.6

History

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

ZH4QMP7ZH2 ZH4QMP7ZH2

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/TasteNumberTheory.tex#thm:two consecutive ints (statement). In P1C114YBXG, theorem, section J

History

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

Properties ZH4QZBCKB6

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

Mentions

wikipedia: Wikipedia Generalized dihedral group#F5QU, Properties (statement)

History

2026-11-02: add by m2/dev

Dwork conjecture ZH4SDD04SH

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

Mentions

wikipedia: Wikipedia Dwork conjecture, Dwork conjecture (statement). Also Wikidata Q25305393

History

2026-11-02: add by m2/dev

ZH4V033X31 ZH4V033X31

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

Mentions

arxiv: arXiv 2609.20656#QMMC (example)

History

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

Aizik Volpert ZH4ZRR3JBJ

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

Mentions

wikipedia: Wikipedia Aizik Volpert, Aizik Volpert (topic). Also Wikidata Q4699433

History

2026-11-02: add by m2/dev

Profile derivatives ZH53JPQXYZ

URI	`m2://inv/ZH53JPQXYZ`
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.24931#YKEI, Profile derivatives (statement)

History

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

Biases in inductive reasoning ZH58Q3HHQ9

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

Mentions

wikipedia: Wikipedia Inductive reasoning#0JIT, Biases in inductive reasoning (unknown)

History

2026-11-02: add by m2/dev

Inverse sine ZH5BZXRRR5

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#W9XD, Inverse sine (definition)

History

2026-11-02: add by m2/dev

Cedric Smith ZH5CMS495X

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#CBBX, Cedric Smith (unknown)

History

2026-11-02: add by m2/dev

Multi-armed bandit ZH5D7ZPCHG

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

Mentions

wikipedia: Wikipedia List of statistics articles#TUHS, Multi-armed bandit (definition)

History

2026-11-02: add by m2/dev

ZH5GBZF2PM ZH5GBZF2PM

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

Mentions

arxiv: arXiv 2609.28489#I4GF (statement)

History

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

Definition ZH5HM29QTC

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

Mentions

wikipedia: Wikipedia Adequate equivalence relation#M2UF, Definition (definition)

History

2026-11-02: add by m2/dev

Displacement current density ZH5JW21YR8

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

Mentions

wikipedia: Wikipedia Displacement current density, Displacement current density (definition). Also Wikidata Q853178

History

2026-11-02: add by m2/dev

Examples ZH5NZGFMGF

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

Mentions

wikipedia: Wikipedia Congruence subgroup#A6ON, Examples (example)

History

2026-11-02: add by m2/dev

Sufficient statistic ZH5WGACAQE

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

Mentions

wikipedia: Wikipedia List of statistics articles#XY6P, Sufficient statistic (definition)

History

2026-11-02: add by m2/dev

Quantum KKL conjecture ZH5ZVR95BB

URI	`m2://inv/ZH5ZVR95BB`
Kind	conjecture
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.21900#EQMW, Quantum KKL conjecture (conjecture)

History

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

Examples ZH600TTVQB

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

Mentions

wikipedia: Wikipedia Jordan algebra#POJM, Examples (example)

History

2026-11-02: add by m2/dev

Exponential improvement for large times ZH61CYBD50

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

Mentions

arxiv: arXiv 2610.08074#AB01, Exponential improvement for large times (statement). In ZRPYF750AV/e1, corollary 3.4

History

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

Construction ZH62K9PP39

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

Mentions

wikipedia: Wikipedia Rectified tesseract#4FT9, Construction (definition)

History

2026-11-02: add by m2/dev

ZH63F44186 ZH63F44186

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

Mentions

open_logic: open_logic content/normal-modal-logic/axioms-systems/proofs-in-K.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 50.8

History

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

ZH64F6QFQF ZH64F6QFQF

URI	`m2://inv/ZH64F6QFQF`
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 2601.15010#PX1E (statement). In K3WJ6ZN184/e1, theorem 8.4

History

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

generalized moonshine ZH6A67CZYK

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#9VM6, generalized moonshine (definition)

History

2026-11-02: add by m2/dev

Leonard James Rogers ZH6BN8TJ5N

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

Mentions

wikipedia: Wikipedia List of eponyms of special functions#H6SI, Leonard James Rogers (topic)

History

2026-11-02: add by m2/dev

Wallman compactification ZH6FNFGXY0

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

Mentions

wikidata: Wikidata Q7963169, Wallman compactification (unknown). Also EoM Wallman_compactification, nLab Wallman compactification
wikipedia: Wikipedia Wallman compactification, Wallman compactification (definition). Also Wikidata Q7963169

History

2026-10-26: add by m2/dev

Wang--Zahl ZH6GFVWVYA

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

Mentions

arxiv: arXiv 2610.16114#GKMS, Wang--Zahl (statement). In JZZ3FJ382R/e1, theorem 2.5

History

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

ZH6HDQ3KFB ZH6HDQ3KFB

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_addtops-numbth.ptx#example-4 (example). In Y91XFCEVHQ, example, section 6.2.3

History

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

Emptiness of intersection of an unbounded number of deterministic finite automata ZH6MF2HPEV

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

Mentions

wikipedia: Wikipedia List of PSPACE-complete problems#4V4J, Emptiness of intersection of an unbounded number of deterministic finite automata (problem)

History

2026-11-02: add by m2/dev

ZH6MKHF46A ZH6MKHF46A

URI	`m2://inv/ZH6MKHF46A`
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.35542#FIVJ (statement). In ATVC0HYDKD/e1, lemma 2.1

History

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

Definitions ZH6N61XW9S

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

Mentions

wikipedia: Wikipedia Unavoidable pattern#QIVX, Definitions (definition)

History

2026-11-02: add by m2/dev

Examples ZH6NEZTBCW

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

Mentions

wikipedia: Wikipedia Domain of a function#WP4P, Examples (example)

History

2026-11-02: add by m2/dev

Johnson's SU-distribution ZH6PMG1C4Z

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

Mentions

wikipedia: Wikipedia Johnson's SU-distribution, Johnson's SU-distribution (definition). Also Wikidata Q6268406

History

2026-11-02: add by m2/dev

Chow, Yuan-Shih ZH6Q08EDW3

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

Mentions

wikipedia: Wikipedia List of statisticians#GIX8, Chow, Yuan-Shih (topic)

History

2026-11-02: add by m2/dev

ZH6TVCT5P0 ZH6TVCT5P0

URI	`m2://inv/ZH6TVCT5P0`
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.35466#3RIL (statement). In MVR35ZJPCC/e1, lemma 1

History

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

ZH6WGSH4MY ZH6WGSH4MY

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

Mentions

open_logic: open_logic content/proof-theory/cut-elimination/ce-largest.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 56.1

History

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

coercive function ZH72GX86CM

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

Mentions

wikidata: Wikidata Q1597436, coercive function (concept). Also MathWorld CoerciveFunctional
wikipedia: Wikipedia Coercive function, Coercive function (definition). Also Wikidata Q1597436

History

2026-10-26: add by m2/dev

Defn. 2.5 and , Defn. 5.8 ZH785GMY7B

URI	`m2://inv/ZH785GMY7B`
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 2610.15831#FXWJ, Defn. 2.5 and , Defn. 5.8 (definition). In CVESAPNMCQ/e1, definition 5.1

History

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

ZH7AS0505H ZH7AS0505H

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

Mentions

arxiv: arXiv 2610.19333#IEAL (statement). In 5Y3HF693YB/e1, proposition 3.3

History

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

Orders of magnitude ZH7HXSXK2B

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

Mentions

wikipedia: Wikipedia Orders of magnitude (probability), Orders of magnitude (definition). Also Wikidata Q17149558

History

2026-11-02: add by m2/dev

Appeal to authority ZH7KADXYS2

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

Mentions

wikipedia: Wikipedia List of fallacies#2LBQ, Appeal to authority (definition)

History

2026-11-02: add by m2/dev

Charles Smith ZH7WB95N08

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

Mentions

wikipedia: Wikipedia Charles Smith (mathematician), Charles Smith (topic). Also Wikidata Q56253229

History

2026-11-02: add by m2/dev

ZH8GVK43PE ZH8GVK43PE

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

Mentions

arxiv: arXiv 1002.0879#LQF5 (example). In M0SQY5EZN5/e1, example 2.2.7

History

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

Binomial inverse theorem ZH8VQ72YP0

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

Mentions

wikipedia: Wikipedia List of theorems#7LGM, Binomial inverse theorem (statement)

History

2026-11-02: add by m2/dev

Lottery ticket hypothesis ZH911GM7A7

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

Mentions

wikipedia: Wikipedia Lottery ticket hypothesis, Lottery ticket hypothesis (statement). Also Wikidata Q124816890

History

2026-11-02: add by m2/dev

ZH92SVYEH0 ZH92SVYEH0

URI	`m2://inv/ZH92SVYEH0`
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 2609.29450#X3W9 (statement)

History

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

Formulas ZH95VXXYAR

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

Mentions

wikipedia: Wikipedia Small stellated dodecahedron#GZBA, Formulas (statement)

History

2026-11-02: add by m2/dev

Maubach and Rauf's Jacobian Conjecture ZH98V0E110

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

Mentions

wikipedia: Wikipedia Jacobian conjecture#0INU, Maubach and Rauf's Jacobian Conjecture (statement)

History

2026-11-02: add by m2/dev

ZH98ZE164S ZH98ZE164S

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

Mentions

napkin: napkin tex/rep-theory/characters.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 79.2

History

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

Examples ZH9BR8PAD9

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#QO4J, Examples (example)

History

2026-11-02: add by m2/dev

ZH9GGGZYD6 ZH9GGGZYD6

URI	`m2://inv/ZH9GGGZYD6`
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.08104#0D5M (statement). In AH6BX8RZTW/e1, theorem 1.4

History

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

Skolem hull ZH9H6XFW26

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

Mentions

wikipedia: Wikipedia Skolem normal form#IYVL, Skolem hull (unknown)

History

2026-11-02: add by m2/dev

ZH9N7Z7KV4 ZH9N7Z7KV4

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

Mentions

arxiv: arXiv 2610.22074#AJLN (example). In F3BKXXPR3K/e1, example 2.7

History

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

Lane–Emden equation ZH9P5KCVPB

URI	`m2://inv/ZH9P5KCVPB`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Lane–Emden equation ANRZZMH2Q0

Mentions

wikidata: Wikidata Q1804812, Lane–Emden equation (unknown). Also MathWorld Lane-EmdenDifferentialEquation
wikipedia: Wikipedia Lane–Emden equation, Lane–Emden equation (definition). Also Wikidata Q1804812

History

2026-10-26: add by m2/dev

ZH9SG7THQ8 ZH9SG7THQ8

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

Mentions

arxiv: arXiv 2610.13100#Q0Y6 (statement). In CC6S1HVK0T/e1, lemma E.11

History

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

distance ZHA1AM1JJT

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

Mentions

hott_book: hott_book index/B.6/distance, distance (concept). In N54F33XE07, index, section B.6

History

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

ZHA8MG8Q84 ZHA8MG8Q84

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

Mentions

arxiv: arXiv 2609.21034#2I3D (definition)

History

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

One Mile, Queensland ZHA9XSG7XW

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

Mentions

wikipedia: Wikipedia List of places with numeric names#BDSP, One Mile, Queensland (unknown)

History

2026-11-02: add by m2/dev

Oscillator ZHACDS8X80

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

Mentions

wikipedia: Wikipedia Glossary of representation theory#6HLB, Oscillator (definition)

History

2026-11-02: add by m2/dev

Complete-prefix entry to same-step release ZHADXAYPNC

URI	`m2://inv/ZHADXAYPNC`
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.39408#177G, Complete-prefix entry to same-step release (statement). In T8E6F01RTM/e1, corollary N.3

History

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

ZHAERXA8SH ZHAERXA8SH

URI	`m2://inv/ZHAERXA8SH`
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.06529#89J8 (statement). In JFQY4CYHKP/e1, lemma 4.3

History

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

Characterizations ZHATHGWHCD

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

Mentions

wikipedia: Wikipedia Effective domain#9W29, Characterizations (statement)

History

2026-11-02: add by m2/dev

ZHAW7ZV17D ZHAW7ZV17D

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

Mentions

hott_book: hott_book hlevels.tex#proof-10 (proof). In N54F33XE07, proof, section 6.2

History

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

ZHAWMJG2VB ZHAWMJG2VB

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#proof-11 (proof). In E59CDZA4DP, proof, section 11.2.1

History

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

ZHB580E2VG ZHB580E2VG

URI	`m2://inv/ZHB580E2VG`
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 1806.00752#EYGX (statement). In GGW2N4JHXM/e1, corollary 20

History

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

ZHBBCTJEH7 ZHBBCTJEH7

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

Mentions

arxiv: arXiv 2609.29824#23XS (statement)

History

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

ZHBBHXE5AT ZHBBHXE5AT

URI	`m2://inv/ZHBBHXE5AT`
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.25543#FJY2 (statement)

History

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

ZHBCY58G8W ZHBCY58G8W

URI	`m2://inv/ZHBCY58G8W`
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.26307#0XO9 (statement)

History

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

Katia Sycara ZHBDJ55782

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#M8UM, Katia Sycara (unknown)

History

2026-11-02: add by m2/dev

ZHBFCMZR8R ZHBFCMZR8R

URI	`m2://inv/ZHBFCMZR8R`
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 2610.10570#45ZQ (statement). In V0MA250K2P/e1, theorem 3.3

History

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

Constitutive equation ZHBT9ZAJXE

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

Mentions

wikipedia: Wikipedia Constitutive equation, Constitutive equation (definition). Also Wikidata Q1937401

History

2026-11-02: add by m2/dev

Embedding theorems ZHCDH6JPH4

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

Mentions

wikipedia: Wikipedia Valuation (geometry)#F3CW, Embedding theorems (statement)

History

2026-11-02: add by m2/dev

Borel distribution ZHCE539SSZ

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

Mentions

wikipedia: Wikipedia List of probability distributions#EXN3, Borel distribution (definition)

History

2026-11-02: add by m2/dev

Five Sisters of Kintail ZHCJC0QSQQ

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

Mentions

wikipedia: Wikipedia List of places with numeric names#A89I, Five Sisters of Kintail (unknown)

History

2026-11-02: add by m2/dev

Hartmann number ZHCQHKKYKZ

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

Mentions

wikipedia: Wikipedia Hartmann number, Hartmann number (definition). Also Wikidata Q1587280

History

2026-11-02: add by m2/dev

ZHD0VWFCW0 ZHD0VWFCW0

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

Mentions

arxiv: arXiv 2605.24355#6BHE (example). In VV3AJMWWCR/e1, example 4

History

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

ZHD4V9ZEPR ZHD4V9ZEPR

URI	`m2://inv/ZHD4V9ZEPR`
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#6CKN (statement). In YYV9SHAPCZ/e1, proposition 2.3

History

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

exterior angle ZHD5D7EE7R

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

Mentions

wikidata: Wikidata Q356192, exterior angle (unknown). Also MathWorld ExteriorAngle

History

2026-10-26: add by m2/dev

ZHDMH9C4HQ ZHDMH9C4HQ

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

Mentions

arxiv: arXiv 2610.11545#WSO3 (definition). In VN084GGZGK/e1, definition 2.28

History

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

Applications ZHDQGYAZEH

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

Mentions

wikipedia: Wikipedia Stochastic logarithm#5HYF, Applications (example)

History

2026-11-02: add by m2/dev

ZHDQTHQTN5 ZHDQTHQTN5

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

Mentions

arxiv: arXiv 2610.08039#0UQN (statement). In Y1K8WE4MDP/e1, proposition 5.4

History

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

ZHDWRYR6Q5 ZHDWRYR6Q5

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

Mentions

arxiv: arXiv 2609.23469#09W7 (statement)

History

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

Mott–Schottky equation ZHE35PHFW6

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

Mentions

wikipedia: Wikipedia Mott–Schottky equation, Mott–Schottky equation (definition). Also Wikidata Q30694250

History

2026-11-02: add by m2/dev

Definition ZHE8HV0541

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

Mentions

wikipedia: Wikipedia Affine Hecke algebra#7NBQ, Definition (definition)

History

2026-11-02: add by m2/dev

ZHEG9SQ27T ZHEG9SQ27T

URI	`m2://inv/ZHEG9SQ27T`
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.18270#J72D (statement). In CPDMYJ0NJV/e1, theorem 7.3

History

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

Symmetry with domains ZHEMHM87TX

URI	`m2://inv/ZHEMHM87TX`
Kind	statement
Layer	research
MSC	46-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.03745#2K4Y, Symmetry with domains (statement). In YWXVX6AX8F/e1, proposition 8.3

History

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

SciDAVis ZHENQHS0J7

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#IN2Q, SciDAVis (unknown)

History

2026-11-02: add by m2/dev

Constructions ZHEWNE1T3X

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

Mentions

wikipedia: Wikipedia Costas array#2XVH, Constructions (definition)

History

2026-11-02: add by m2/dev

Data-driven control system ZHEWYX04D0

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

Mentions

wikipedia: Wikipedia Data-driven control system, Data-driven control system (definition). Also Wikidata Q55080131

History

2026-11-02: add by m2/dev

ZHEYX4S1NR ZHEYX4S1NR

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

Mentions

arxiv: arXiv 2510.02019#1FFO (statement). In PD607VXPY3/e1, corollary 21

History

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

Séminaire Nicolas Bourbaki ZHF3RD3ASE

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

Mentions

wikipedia: Wikipedia Séminaire Nicolas Bourbaki (1960–1969), Séminaire Nicolas Bourbaki (definition). Also Wikidata Q7666034

History

2026-11-02: add by m2/dev

Swan's theorem ZHFMS14K8Z

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

Mentions

wikipedia: Wikipedia List of theorems#ONXC, Swan's theorem (statement)

History

2026-11-02: add by m2/dev

ZHFSYFZ640 ZHFSYFZ640

URI	`m2://inv/ZHFSYFZ640`
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.20401#CCAG (statement)

History

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

ZHFXMQV399 ZHFXMQV399

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

Mentions

arxiv: arXiv 2609.21860#QNQ1 (statement)

History

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

Entropy of the discrete Gaussian ZHFYSSMXZ3

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

Mentions

arxiv: arXiv 2610.14085#GXA0, Entropy of the discrete Gaussian (statement). In T8F19ZGHF3/e1, proposition 3.5

History

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

ZHG19AY3JD ZHG19AY3JD

URI	`m2://inv/ZHG19AY3JD`
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 2508.03972#PNAN (statement). In 2JD3KNKJ1P/e1, proposition 2.8

History

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

Robert Behringer ZHG8BVY0XY

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#3HO3, Robert Behringer (unknown)

History

2026-11-02: add by m2/dev

ZHGPCPT929 ZHGPCPT929

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

Mentions

arxiv: arXiv 2304.13811#003G (definition). In HGKYMFSDEM/e1, definition 3

History

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

Universal quantum gate ZHGQZRG86C

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

Mentions

wikipedia: Wikipedia Quantum logic gate#88FK, Universal quantum gate (unknown)

History

2026-11-02: add by m2/dev

ZHGYY3AEDN ZHGYY3AEDN

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

Mentions

napkin: napkin tex/homology/cellular.tex#proof-4 (proof). In RZP28ERRZV, proof, section 50.4

History

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

ZHH0ASMEWG ZHH0ASMEWG

URI	`m2://inv/ZHH0ASMEWG`
Kind	statement
Layer	research
MSC	20-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.06699#HAYV (statement). In GXHKRV5BPY/e1, theorem 5.12

History

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

ZHH2KV6PZ8 ZHH2KV6PZ8

URI	`m2://inv/ZHH2KV6PZ8`
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.32338#3EDG (statement). In HVY45JQRNK/e1, theorem 2.10

History

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

Example ZHH88CDVFP

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

Mentions

wikipedia: Wikipedia Boothby-Wang construction#BBLZ, Example (example)

History

2026-11-02: add by m2/dev

ZHHAXRDZDX ZHHAXRDZDX

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

Mentions

arxiv: arXiv 2609.26134#I1U0 (statement)

History

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

ZHHCKK6DWN ZHHCKK6DWN

URI	`m2://inv/ZHHCKK6DWN`
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.13734#BSZ0 (statement). In XB23QP7GK9/e1, theorem 2.4

History

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

ZHHN7RV0C3 ZHHN7RV0C3

URI	`m2://inv/ZHHN7RV0C3`
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 2609.30067#M2S2 (statement)

History

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

Joel Lee Brenner ZHHP6869RX

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#9TPY, Joel Lee Brenner (topic)

History

2026-11-02: add by m2/dev

ZHHPW3GKQR ZHHPW3GKQR

URI	`m2://inv/ZHHPW3GKQR`
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 2410.18564#LISS (statement). In MC8ZBZ14PM/e1, theorem 6.1

History

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

George Barrett ZHHZ0H69BJ

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

Mentions

wikipedia: Wikipedia List of actuaries#I3NP, George Barrett (unknown)

History

2026-11-02: add by m2/dev

Berkson, Joseph ZHJ577Y6N3

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

Mentions

wikipedia: Wikipedia List of statisticians#T0A4, Berkson, Joseph (topic)

History

2026-11-02: add by m2/dev

ZHJKMAEKGN ZHJKMAEKGN

URI	`m2://inv/ZHJKMAEKGN`
Kind	conjecture
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.09171#9W84 (conjecture). In 5ZPSZFE08Q/e1, conjecture 1.2

History

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

ZHJNERM70J ZHJNERM70J

URI	`m2://inv/ZHJNERM70J`
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.37026#2WTO (statement). In QGZPH9W8GY/e1, lemma 2.8

History

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

ZHJQZAT8YH ZHJQZAT8YH

URI	`m2://inv/ZHJQZAT8YH`
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.13423#96AD (statement). In 9JWYWC92M3/e1, theorem 3

History

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

ZHJWJ2Z6MT ZHJWJ2Z6MT

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

Mentions

arxiv: arXiv 2610.13680#NYMW (unknown). In QNBFHFZ3H0/e1, unknown 135

History

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

ZHJZAS0GRY ZHJZAS0GRY

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

Mentions

arxiv: arXiv 2610.19954#BPDR (statement). In AXPPYWYJZ5/e1, theorem 3.2

History

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

Examples ZHK1NGW4P3

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

Mentions

wikipedia: Wikipedia Group scheme#G6XV, Examples (example)

History

2026-11-02: add by m2/dev

Central square, all positive feasible entropies ZHK27BMR45

URI	`m2://inv/ZHK27BMR45`
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.24931#KDP0, Central square, all positive feasible entropies (statement)

History

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

Siberian Mathematical Journal ZHK5SH413H

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

Mentions

wikipedia: Wikipedia Siberian Mathematical Journal, Siberian Mathematical Journal (definition). Also Wikidata Q4418306

History

2026-11-02: add by m2/dev

ZHK7A51K5A ZHK7A51K5A

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

Mentions

arxiv: arXiv 2610.10365#A085 (example). In PRVQPSBVHK/e1, example 2

History

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

A diagonal surface ZHK9EZG76H

URI	`m2://inv/ZHK9EZG76H`
Kind	example
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.33162#SU92, A diagonal surface (example). In RPC7VG3KHQ/e1, example 9.11

History

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

representation theory ZHKAYQS12K

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

Mentions

wikidata: Wikidata Q13220368, representation theory (topic). Also EoM Representation_theory, MathWorld RepresentationTheory, ProofWiki Definition:Representation_Theory
wikipedia: Wikipedia Representation theory, Representation theory (topic). Also Wikidata Q13220368

History

2026-10-26: add by m2/dev

Algorithms ZHKB5CYAKT

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

Mentions

wikipedia: Wikipedia Arrangement of lines#08L4, Algorithms (definition)

History

2026-11-02: add by m2/dev

Continuous optimization ZHKEZYFGQ1

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

Mentions

wikipedia: Wikipedia Continuous optimization, Continuous optimization (topic). Also Wikidata Q5165499

History

2026-11-02: add by m2/dev

Mariano Giaquinta ZHKG2S4282

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

Mentions

wikipedia: Wikipedia Mariano Giaquinta, Mariano Giaquinta (topic). Also Wikidata Q1896967

History

2026-11-02: add by m2/dev

ZHKKE5E4XT ZHKKE5E4XT

URI	`m2://inv/ZHKKE5E4XT`
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.21472#FPXV (statement)

History

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

Michelangelo Ricci ZHKY69VYD7

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#EHK2, Michelangelo Ricci (topic)

History

2026-11-02: add by m2/dev

ZHKYT44901 ZHKYT44901

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

Mentions

hott_book: hott_book basics.tex#thm:dpath-path (statement). In N54F33XE07, thm, section 1.11

History

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

Posterior and Evidence at Fixed $\lpost$ ZHM6D3MCSW

URI	`m2://inv/ZHM6D3MCSW`
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#5VQW, Posterior and Evidence at Fixed $\lpost$ (statement). In PNRHHWGHM2/e1, theorem 3.8

History

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

ZHM8M30HF4 ZHM8M30HF4

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

Mentions

arxiv: arXiv 2610.19990#0IRN (statement). In DAXT16CPTW/e1, corollary Corollary

History

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

Approximation by step data ZHMDXTHE3E

URI	`m2://inv/ZHMDXTHE3E`
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.06490#HPXT, Approximation by step data (statement). In NKXTXH59P1/e1, lemma B.6

History

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

ZHMGA4Q94Z ZHMGA4Q94Z

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

Mentions

arxiv: arXiv 2610.09333#0ILN (definition). In Z9HC1EDTQP/e1, definition 2.6

History

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

Subcritical ZHMGFAY0JD

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

Mentions

arxiv: arXiv 2609.28552#EQYJ, Subcritical (statement)

History

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

ZHMNCXK5DQ ZHMNCXK5DQ

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-103 (exercise). In E9HS8K3A52, exercise, section 10.9.4

History

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

Basic formulas ZHMPX6TWTA

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

Mentions

wikipedia: Wikipedia Vieta's formulas#C6US, Basic formulas (statement)

History

2026-11-02: add by m2/dev

ZHMV81KZHJ ZHMV81KZHJ

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_addtops-genfun.ptx#example-5 (example). In Y91XFCEVHQ, example, section 6.1.3

History

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

ZHMX0G4J2W ZHMX0G4J2W

URI	`m2://inv/ZHMX0G4J2W`
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.33162#HCHW (statement). In RPC7VG3KHQ/e1, proposition 3.13

History

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

Examples ZHMZ7038WK

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

Mentions

wikipedia: Wikipedia Nielsen transformation#50PV, Examples (example)

History

2026-11-02: add by m2/dev

Lemma ZHN47A37RB

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

Mentions

wikipedia: Wikipedia Lochs's theorem#6VUG, Lemma (statement)

History

2026-11-02: add by m2/dev

ZHNKQ3B9MR ZHNKQ3B9MR

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

History

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

Economic statistics ZHNPXEZWYE

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

Mentions

wikipedia: Wikipedia Economic statistics, Economic statistics (definition). Also Wikidata Q1047361

History

2026-11-02: add by m2/dev

Emil Artin Junior Prize in Mathematics ZHNVD78TNM

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

Mentions

wikipedia: Wikipedia Emil Artin Junior Prize in Mathematics, Emil Artin Junior Prize in Mathematics (definition). Also Wikidata Q5371160

History

2026-11-02: add by m2/dev

Algebra i Logika ZHNVGBVBPF

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

Mentions

wikipedia: Wikipedia Algebra i Logika, Algebra i Logika (definition). Also Wikidata Q4723974

History

2026-11-02: add by m2/dev

ZHPMHNXH35 ZHPMHNXH35

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

Mentions

arxiv: arXiv 2610.11478#CE3H (statement). In R81S9R1XNR/e1, lemma 4.3

History

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

ZHPVC8ZG1Q ZHPVC8ZG1Q

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

Mentions

arxiv: arXiv 2609.33590#6EI8 (statement). In WRE0P7V6Z3/e1, theorem 1.23

History

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

Laws of Form ZHPW552KRG

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

Mentions

wikipedia: Wikipedia List of graph theory topics#S6UA, Laws of Form (statement)
wikipedia: Wikipedia List of Boolean algebra topics#ZLQ2, Laws of Form (statement)

History

2026-11-02: add by m2/dev

Analyse des Infiniment Petits pour l'Intelligence des Lignes Courbes ZHPWRHCAAF

URI	`m2://inv/ZHPWRHCAAF`
Kind	definition
Layer	textbook
Sources	2
Outcome	out_of_scope (a book, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q2845214, Analyse des Infiniment Petits pour l'Intelligence des Lignes Courbes (unknown). Also ProofWiki Book:Guillaume_de_l'Hôpital/L'Analyse_des_Infiniment_Petits
wikipedia: Wikipedia Analyse des infiniment petits pour l'intelligence des lignes courbes, Analyse des infiniment petits pour l'intelligence des lignes courbes (definition). Also Wikidata Q2845214

History

2026-10-26: add by m2/dev

ZHPXE40402 ZHPXE40402

URI	`m2://inv/ZHPXE40402`
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.11823#NQJ4 (statement). In YNQHA63Z2B/e1, corollary 4.6

History

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

Lower bound $d_{\min}(\mathcal Q(7,2))\ge 8$; original, computer-assisted ZHQ4VHXYA8

URI	`m2://inv/ZHQ4VHXYA8`
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.02392#XJ30, Lower bound $d_{\min}(\mathcal Q(7,2))\ge 8$; original, computer-assisted (statement). In W066HQZQBF/e1, theorem 28

History

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

ZHQ50NN62J ZHQ50NN62J

URI	`m2://inv/ZHQ50NN62J`
Kind	definition
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.39293#TEJE (definition). In S26QVW5613/e1, definition 3.4.1

History

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

ZHQDR233C0 ZHQDR233C0

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

Mentions

arxiv: arXiv 2610.05299#N9KO (statement). In 68AE571S4P/e1, theorem 2.3

History

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

ZHQMC3AR8P ZHQMC3AR8P

URI	`m2://inv/ZHQMC3AR8P`
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 2308.05066#8JCO (statement). In 1QSCT53ZED/e1, theorem 5.11

History

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

Lens ZHQP39FCKB

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

Mentions

wikipedia: Wikipedia List of two-dimensional geometric shapes#LNZA, Lens (definition)

History

2026-11-02: add by m2/dev

bridge ZHQS0PT3HQ

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#OY32, bridge (definition)

History

2026-11-02: add by m2/dev

ZHQTMXDMFN ZHQTMXDMFN

URI	`m2://inv/ZHQTMXDMFN`
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#OIVB (example). In KM2FWKP93A/e1, example 7.7

History

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

cotangent complex ZHR82FBCTD

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

Mentions

wikidata: Wikidata Q5175289, cotangent complex (unknown). Also nLab cotangent complex
wikipedia: Wikipedia Cotangent complex, Cotangent complex (definition). Also Wikidata Q5175289

History

2026-10-26: add by m2/dev

Turán ZHRDHN6913

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#F62J, Turán (definition)

History

2026-11-02: add by m2/dev

ZHRMQ9C32M ZHRMQ9C32M

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

Mentions

applied_combinatorics: applied_combinatorics source/s_posets_subset-lattice.ptx#proof-1 (proof). In QKM9DD2H56, proof, section 6.5.1

History

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

Jennifer Tour Chayes ZHRN4ERJ57

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#S5RX, Jennifer Tour Chayes (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LEVW, Jennifer Tour Chayes (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RKQF, Jennifer Tour Chayes (topic)

History

2026-11-02: add by m2/dev

Applications ZHRP0JRY24

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

Mentions

wikipedia: Wikipedia Capacitated minimum spanning tree#6PYK, Applications (example)

History

2026-11-02: add by m2/dev

Antiderivative ZHRR3DCF7Z

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

Mentions

wikipedia: Wikipedia Antiderivative (complex analysis), Antiderivative (definition). Also Wikidata Q4774672

History

2026-11-02: add by m2/dev

Tautological covering projection ZHRV17DFFM

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

Mentions

napkin: napkin tex/topology/cover-project.tex#example-1, Tautological covering projection (example). In RZP28ERRZV, example, section 97.1

History

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

ZHS2HQT2RS ZHS2HQT2RS

URI	`m2://inv/ZHS2HQT2RS`
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 2210.12291#JHYH (statement). In PHPNFMYPPE/e1, theorem 4.2

History

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

Complex wavelet transform ZHS5JTWACY

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

Mentions

wikipedia: Wikipedia List of wavelet-related transforms#H1BC, Complex wavelet transform (unknown)

History

2026-11-02: add by m2/dev

Paul Gordan ZHSEE32SHG

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#V5T9, Paul Gordan (topic)

History

2026-11-02: add by m2/dev

Umpteen ZHSEHNB0NP

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

Mentions

wikipedia: Wikipedia Indefinite and fictitious numbers#FUQY, Umpteen (unknown)

History

2026-11-02: add by m2/dev

Examples ZHSENY89ZE

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

Mentions

wikipedia: Wikipedia Monoidal category#MJ77, Examples (example)

History

2026-11-02: add by m2/dev

Magnetic buoyancy instability ZHSGEFYRQY

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

Mentions

wikipedia: Wikipedia Magnetic buoyancy#7GY2, Magnetic buoyancy instability (unknown)

History

2026-11-02: add by m2/dev

Proximal-PL-type Inequality ZHSHBNYJHF

URI	`m2://inv/ZHSHBNYJHF`
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.10927#BJH8, Proximal-PL-type Inequality (statement). In DHEJP3YATV/e1, proposition 31

History

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

Criterion for a universal target ZHSJRWV8GY

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

Mentions

arxiv: arXiv 2609.33469#XM87, Criterion for a universal target (statement). In TC5QA4AB4Z/e1, proposition 3.13

History

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

Thom class ZHSKHG1GXA

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

Mentions

wikidata: Wikidata Q16540178, Thom class (unknown). Also EoM Thom_class

History

2026-10-26: add by m2/dev

ZHSN6ZWPK7 ZHSN6ZWPK7

URI	`m2://inv/ZHSN6ZWPK7`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 53-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 math/9902147#N2QA (statement). In 7CK21JGM5A/e1, lemma 2.3

History

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

Transfinite interpolation ZHSSCHM51B

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

Mentions

wikipedia: Wikipedia Transfinite interpolation, Transfinite interpolation (definition). Also Wikidata Q7834059

History

2026-11-02: add by m2/dev

Jacob Marschak ZHST79VHF6

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#Z5P2, Jacob Marschak (unknown)

History

2026-11-02: add by m2/dev

ZHSYR0HEZY ZHSYR0HEZY

URI	`m2://inv/ZHSYR0HEZY`
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#60GU (statement). In XEQD21EBTT/e1, lemma 4.4

History

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

ZHT0ZP16F0 ZHT0ZP16F0

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

Mentions

arxiv: arXiv 2609.31768#I179 (statement). In WC7ZECEE3P/e1, proposition 5.1

History

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

Geometric transformation ZHT288MKCD

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

Mentions

wikipedia: Wikipedia Geometric transformation, Geometric transformation (definition). Also Wikidata Q1196371

History

2026-11-02: add by m2/dev

linear diophantine equation ZHT8HN8M95

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

Mentions

applied_combinatorics: applied_combinatorics index/3.5.1/linear-diophantine-equation, linear diophantine equation (concept). In QKM9DD2H56, index, section 3.5.1

History

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

Hadjicostas's formula ZHTMABJBS5

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

Mentions

wikidata: Wikidata Q5637922, Hadjicostas's formula (unknown). Also MathWorld HadjicostassFormula
wikipedia: Wikipedia Hadjicostas's formula, Hadjicostas's formula (statement). Also Wikidata Q5637922

History

2026-10-26: add by m2/dev

Kevin Costello ZHTQ0JFMBA

URI	`m2://inv/ZHTQ0JFMBA`
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 Q17198085, Kevin Costello (unknown). Also nLab Kevin Costello
wikipedia: Wikipedia Kevin Costello, Kevin Costello (topic). Also Wikidata Q17198085

History

2026-10-26: add by m2/dev

ZHTQ7WN7NX ZHTQ7WN7NX

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

Mentions

arxiv: arXiv 2610.15593#EC10 (statement). In PREJREM4BB/e1, lemma 2.4

History

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

CLT of empirical adversarial risk ZHTSHCX0R7

URI	`m2://inv/ZHTSHCX0R7`
Kind	statement
Layer	research
MSC	60-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 2609.22240#41U3, CLT of empirical adversarial risk (statement)

History

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

percent ZHTTFE3AY8

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

Mentions

wikidata: Wikidata Q11229, percent (definition). Also MathWorld Percent, ProofWiki Definition:Percentage
wikipedia: Wikipedia Percentage, Percentage (definition). Also Wikidata Q11229

History

2026-10-26: add by m2/dev

Generalization ZHTV64216Z

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

Mentions

wikipedia: Wikipedia Weibel's conjecture#QTB7, Generalization (statement)

History

2026-11-02: add by m2/dev

ZHTWZTDDAB ZHTWZTDDAB

URI	`m2://inv/ZHTWZTDDAB`
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.21501#J557 (statement). In 1H64QT301C/e1, lemma 4.1

History

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

ZHV1WV6H4Z ZHV1WV6H4Z

URI	`m2://inv/ZHV1WV6H4Z`
Kind	statement
Layer	research
MSC	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 2609.40214#214U (statement). In XD603HRHKC/e1, proposition C.2

History

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

ZHV8RMTYMG ZHV8RMTYMG

URI	`m2://inv/ZHV8RMTYMG`
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.37897#BXGF (statement). In RBQ5FNCVNZ/e1, corollary 5.3

History

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

Definition ZHVHFZ34NP

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

Mentions

wikipedia: Wikipedia Kelvin–Voigt material#Y1C3, Definition (definition)

History

2026-11-02: add by m2/dev

ZHVQMP6M9H ZHVQMP6M9H

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

Mentions

hott_book: hott_book induction.tex#proof-7 (proof). In N54F33XE07, proof, section 8.8

History

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

ZHVST5B0RZ ZHVST5B0RZ

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

Mentions

arxiv: arXiv 2610.16362#XXT6 (statement). In 4NJ4T3DEQB/e1, corollary 3.6

History

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

canonisant ZHVWKT5SB3

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#VATW, canonisant (definition)

History

2026-11-02: add by m2/dev

Multicover bifiltration ZHVYPFVJ4E

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

Mentions

wikipedia: Wikipedia Multicover bifiltration, Multicover bifiltration (definition). Also Wikidata Q117075219

History

2026-11-02: add by m2/dev

Order theory ZHW6ZGA1J8

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#KST1, Order theory (definition)

History

2026-11-02: add by m2/dev

Conjectures ZHWJ6K7JSK

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

Mentions

wikipedia: Wikipedia Special values of L-functions#UGXB, Conjectures (statement)

History

2026-11-02: add by m2/dev

Properties ZHWKX7X78G

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

Mentions

wikipedia: Wikipedia Log-logistic distribution#XNTY, Properties (statement)

History

2026-11-02: add by m2/dev

Google DeepMind ZHWPDNXRX4

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

Mentions

wikipedia: Wikipedia List of mathematical discoveries by artificial intelligence#3R7I, Google DeepMind (unknown)

History

2026-11-02: add by m2/dev

Stechkin's lemma ZHX240GT1E

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

Mentions

wikipedia: Wikipedia List of lemmas#6LGQ, Stechkin's lemma (statement)

History

2026-11-02: add by m2/dev

ZHX6J65JEC ZHX6J65JEC

URI	`m2://inv/ZHX6J65JEC`
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 math/9602216#5AAL (statement). In SD43497T8C/e1, fact 1.5

History

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

George V Land ZHXC9MYFJJ

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

Mentions

wikipedia: Wikipedia List of places with numeric names#3CFG, George V Land (unknown)

History

2026-11-02: add by m2/dev

ZHXFAPB6TB ZHXFAPB6TB

URI	`m2://inv/ZHXFAPB6TB`
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.23558#GDLC (statement)

History

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

Castelnuovo's contraction theorem ZHXQ5TD3C5

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

Mentions

wikipedia: Wikipedia Castelnuovo's contraction theorem, Castelnuovo's contraction theorem (statement). Also Wikidata Q25303824

History

2026-11-02: add by m2/dev

ZHY3N9FP16 ZHY3N9FP16

URI	`m2://inv/ZHY3N9FP16`
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.13972#8W2P (statement). In S1KHNS8XQM/e1, lemma 1.4

History

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

Dirichlet negative multinomial distribution ZHY67JYV1K

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

Mentions

wikipedia: Wikipedia List of probability distributions#T982, Dirichlet negative multinomial distribution (definition)

History

2026-11-02: add by m2/dev

Moving average representation ZHYAGH6Q4C

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

Mentions

wikipedia: Wikipedia List of statistics articles#TCD7, Moving average representation (statement)

History

2026-11-02: add by m2/dev

ZHYBC6WMPG ZHYBC6WMPG

URI	`m2://inv/ZHYBC6WMPG`
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.00312#CTU5 (statement). In 41NFABHFXH/e1, proposition 7.2

History

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

ZHYBSXJEZ6 ZHYBSXJEZ6

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

Mentions

wikipedia: Wikipedia Bent function#P5IA (definition)

History

2026-11-02: add by m2/dev

Display Logic ZHYBX2BXA4

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

Mentions

wikipedia: Wikipedia Structural proof theory#L5L7, Display Logic (unknown)

History

2026-11-02: add by m2/dev

Boggio's formula ZHYKCAHTQJ

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

Mentions

wikipedia: Wikipedia Boggio's formula, Boggio's formula (statement). Also Wikidata Q17003524

History

2026-11-02: add by m2/dev

symmetric group ZHYM20ET3Z

URI	`m2://inv/ZHYM20ET3Z`
Kind	definition
Layer	textbook
Sources	1
Outcome	deferred (the item has its own article, page 28901)
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of group theory#N09B, symmetric group (definition)

History

2026-11-02: add by m2/dev
2026-11-03: outcome by m2 corpus adopt

Probabilistic design ZHYRCDTXAG

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

Mentions

wikipedia: Wikipedia List of statistics articles#VVV4, Probabilistic design (topic)

History

2026-11-02: add by m2/dev

ZHYSM4YXVW ZHYSM4YXVW

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

Mentions

napkin: napkin tex/H113/grp-intro.tex#definition-5 (definition). In RZP28ERRZV, definition, section 2.5

History

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

ZHYVHD1W42 ZHYVHD1W42

URI	`m2://inv/ZHYVHD1W42`
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.14681#DS6A (statement). In 459W0NBS5Q/e1, theorem 8

History

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

CERNO test ZHYXF6PYPT

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

Mentions

wikipedia: Wikipedia CERNO test, CERNO test (definition). Also Wikidata Q135970041

History

2026-11-02: add by m2/dev

Degree-constrained spanning tree ZHYZHWAZ02

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

Mentions

wikipedia: Wikipedia Degree-constrained spanning tree, Degree-constrained spanning tree (definition). Also Wikidata Q5251832

History

2026-11-02: add by m2/dev

ZHZ63AGWT9 ZHZ63AGWT9

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

Mentions

hott_book: hott_book homotopy.tex#thm:pik-conn (statement). In N54F33XE07, cor, section 7.8

History

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

Regulation of cryptocurrencies ZHZ6R6X9P3

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

Mentions

wikipedia: Wikipedia Cryptocurrency#7EGY, Regulation of cryptocurrencies (unknown)

History

2026-11-02: add by m2/dev

ZHZ8X86WNK ZHZ8X86WNK

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

Mentions

arxiv: arXiv 2610.14450#S9H5 (statement). In ZHTGQT07PE/e1, lemma 2.12

History

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

ZHZ9PYGFST ZHZ9PYGFST

URI	`m2://inv/ZHZ9PYGFST`
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.14121#LB7E (statement). In MRKCK4QYZN/e1, corollary 5.2

History

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

ZHZA8EEEW6 ZHZA8EEEW6

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

Mentions

arxiv: arXiv 2609.31126#0DP4 (statement). In GK1V5GEHTK/e1, corollary 5.3

History

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

Peter–Weyl theorem ZHZCKG3206

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

Mentions

wikipedia: Wikipedia List of representation theory topics#84HG, Peter–Weyl theorem (statement)
wikipedia: Wikipedia List of Lie groups topics#N5XS, Peter–Weyl theorem (statement)
wikipedia: Wikipedia List of harmonic analysis topics#PCSY, Peter–Weyl theorem (statement)
wikipedia: Wikipedia List of things named after Hermann Weyl#HICE, Peter–Weyl theorem (statement)
wikipedia: Wikipedia List of Fourier analysis topics#W8LR, Peter–Weyl theorem (statement)

History

2026-11-02: add by m2/dev

Lance Fortnow ZHZH8FM4P7

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#5ICB, Lance Fortnow (topic)

History

2026-11-02: add by m2/dev

Definition ZHZK896QHZ

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

Mentions

wikipedia: Wikipedia Barth–Nieto quintic#GLLI, Definition (definition)

History

2026-11-02: add by m2/dev